[MAC 315] Observacoes: lista 4 + exercicios

[Leonidas O Brandao <leo@ime.usp.br>]

Ola'

 Eu havia deixado para voces "corrigirem" o programa
"enumeracao-explicita.sci", mas ninguem me comunicou de qualquer
correcao...

 Assim, eu mesmo examinei o codigo que havia feito (e como havia
comentado, funcionado em UM exemplo...) e encontrei alguns erros obvios: o
que nao quer dizer que nao tenho outros. Para facilitar ainda mais,
coloquei no codigo um exemplo derivado da lista 4 com tres funcoes
objetivo. Facam seu testes: 

 http://www.ime.usp.br/~leo/mac315/00/exemplos/enumeracao-explicita.sci

 Espero que ainda neste final de semana eu consiga preparar uma PS sobre o
exercicio 1.2 (que o algoritmo acima ajuda), para deixar mais claro cada
um dos casos \gamma e \pi.

 Para completar esta questao, volto a sugerir que voces demonstrem o
seguinte resultado:

 Sob (HND), B base otima <=> \gamma <= 0

(lembre-se que normalmente o que vale e': \gamma<=0 => B base otima)

 Sobre o exercicio 1.3, o enunciado realmente continha um erro: o
finalzinho devia ser

  < x_i=0, \forall i\not\in I, x gerado por B >

Coloquei na pagina a versao corrigida
(http://www.ime.usp.br/~leo/mac315/00/html/exercicios/lista4.ps)

Tambem pretendo colocar no PS esta demonstracao (e' precisamente a que eu
havia deduzido quando a Luciana perguntou na segunda - para quem
acompanhou a discussao).

 Por enquanto e' so', ate'

Leonidas

 --------------------------------------------------------------------------
 Leônidas de Oliveira Brandão - Computer Science Dep. of IME-USP  (Brazil)
 leo@ime.usp.br - http://www.ime.usp.br/~leo - +55 (011) 818 [6298 | 6135] 
 Interessado em Matemática?  Visite o "iMatica":  http://www.matematica.br