Apêndice B
Poliedros
Embora pertençam ao mundo discreto,
problemas de otimização combinatória
têm aspectos contínuos e geométricos que é importante explorar.
B.1 O que é um poliedro?
Um poliedro é qualquer conjunto da forma
em que e são vetores e é uma matriz.
Mais precisamente, dado um conjunto finito ,
um poliedro
(= polyhedron)
no espaço é o conjunto de todos os vetores reais
indexados por que satisfazem as restrições
sendo um vetor real
indexado por algum conjunto
e uma matriz real indexada por .
[Poderíamos nos restringir aos vetores e matrizes
racionais,
uma vez que computadores digitais desconhecem números irracionais.]
Em geral, o mesmo poliedro pode ser representado por muitos
pares diferentes.
Os exemplos abaixo mostram que
essa definição é suficientemente flexível
para acomodar restrições aparentemente diferentes
das especificadas em .
Exemplo B.1:
Considere a matriz e o vetor representados abaixo,
com o vetor na vertical à direita da matriz .
O poliedro
é o conjunto de todos os vetores que
satisfazem o sistema de desigualdades:
Exemplo B.2:
O conjunto de todos os vetores que satisfazem
o sistema de desigualdades abaixo é um poliedro.
(Todos os coeficientes são inteiros, mas isso é irrelevante.)
Exemplo B.3:
As figuras abaixo sugerem dois poliedros
em com .
Exemplo B.4:
Seja
o conjunto de todos os vetores
que satisfazem o sistema de desigualdades abaixo.
Esse sistema é equivalente ao que aparece em seguida
e tem a forma especificada
na definição .
Portanto, é um poliedro.
Em notação matricial, o poliedro é definido por ,
sendo e a matriz e o vetor exibidos na última parte da figura.
As restrições que definem um poliedro não precisam ser
independentes entre si.
Nesse exemplo, a quarta e a quinta desigualdades
do sistema à esquerda
são redundantes:
o poliedro não se altera se essas desigualdades forem apagadas.
Exemplo B.5:
Seja uma matriz indexada por
e um vetor indexado por .
O conjunto de todos os vetores que satisfazem as restrições
é igual ao conjunto
,
onde a matriz transposta de .
Como o último conjunto tem a forma especificada
na definição ,
é um poliedro.
Exercícios B.1
-
Mostre que o conjunto de todos os vetores que satisfazem as restrições
é um poliedro.
-
Mostre que o conjunto de todos os vetores que satisfazem as restrições
é um poliedro.
-
Mostre que o conjunto de todos os vetores que satisfazem as restrições
e
é um poliedro.
B.2 Vértices de poliedros
Os vetores mais interessantes de um poliedro estão da fronteira
,
ou casca
, do poliedro.
Esses vetores satisfazem de maneira justa
(isto é, com
no lugar de )
uma ou mais das restrições que definem o poliedro.
Dentre esses vetores, os mais relevantes são os bicos
,
que definiremos de uma maneira geometricamente natural.
Um vetor de um poliedro
no espaço
é extremo
se não existe vetor
tal que e estão ambos em .
Os vetores extremos de um poliedro também são conhecidos como
vértices.
O conceito de vértice não está restrito a poliedros.
Ele se aplica também
a qualquer subconjunto convexo (veja o apêndice D)
de .
Exemplo B.6:
Considere o conjunto de todos os vetores
que satisfazem as desigualdades a seguir.
(Faça uma figura.)
O vetor é um vértice nesse conjunto.
Exemplo B.7:
Considere o conjunto
de todos os vetores
que satisfazem as restrições a seguir.
Os vértices desse conjunto
são ,
e .
(Faça uma figura.)
Exemplo B.8:
Para a matriz e o vetor definidos abaixo,
considere o poliedro .
O vetor e os vetores e estão no poliedro.
Portanto, não é vértice do poliedro.
Exemplo B.9:
Nem todo poliedro tem vértices.
Considere o poliedro ,
com e dados a seguir.
(Faça uma figura.)
Para qualquer em ,
tanto quanto estão em .
Exemplo B.10:
Seja o poliedro definido pelas desigualdades .
Seja um vetor de tal que .
Suponha que não é vértice de .
Então existe um vetor não nulo tal que
e .
Segue daí que
e portanto o conjunto das colunas de é
linearmente dependente.
Lema B.1 (caracterização dos vértices)
Seja uma matriz indexada por e
um vetor indexado por .
Seja um vetor do poliedro
e o conjunto de todos os índices em tais que
O vetor é vértice de
se e somente se o conjunto das colunas da matriz é
linearmente independente.
Prova do se
:
Suponha que não é vértice do poliedro.
Então existe um vetor não nulo
tal que e .
Para cada em , temos
uma vez que .
Portanto, para cada .
Logo, o conjunto das colunas de é l.d..
Em particular, o conjunto das colunas de é l.d..
Prova do somente se
:
Suponha que o conjunto das colunas de é l.d..
Então existe um vetor não nulo indexado por tal que
.
Logo,
Por outro lado, para cada em .
Logo, para algum número positivo suficientemente pequeno
temos
Em suma, e
portanto não é vértice de . ■
O lema poderia ser enunciado assim:
é vértice do poliedro se e somente se o posto
da matriz é .
Em outras palavras, é vértice se e somente se
o posto de colunas da matriz é pleno
,
e assim é a única solução do sistema de equações .
Exemplo B.11:
O lado esquerdo da figura abaixo mostra uma matriz ,
um vetor (à direita da matriz),
e um vetor (abaixo da matriz).
Seja o conjunto
das primeiras linhas de .
Então se e somente se .
Observe que o conjunto das colunas de é l.i..
(Portanto, o conjunto das colunas de também é l.i..)
O vetor é vértice do poliedro .
Agora considere os objetos , e do lado direito da figura.
Seja o conjunto
das últimas linhas de .
Então se e somente se .
Embora o conjunto das colunas de seja l.i.,
o conjunto das colunas de é l.d..
Portanto, o vetor não é vértice do poliedro .
Exemplo B.12:
Considere novamente o poliedro do exemplo B.4.
Veja abaixo, mais uma vez,
o sistema de desigualdades que define .
O subsistema formado pela primeira, segunda e sexta desigualdades
(veja a coluna esquerda da segunda parte da figura)
é satisfeito com igualdade pelo vetor e por nenhum outro.
Esse vetor pertence a
e portanto é um vértice de .
O subsistema formado pela primeira, terceira e sexta desigualdades
(veja a coluna direita da segunda parte da figura)
é satisfeito com igualdade apenas por .
Esse vetor pertence a
e portanto é um vértice de .
Analogamente, o subsistema formado pela segunda, terceira e sexta desigualdades
define o vértice .
Esses são os três únicos vértices de .
Agora veja alguns subsistemas que não definem vértices.
O subsistema formado pela primeira, quarta, e sexta desigualdades
é satisfeito com igualdade apenas pelo vetor ,
mas esse vetor não pertence a .
O subsistema formado pela primeira, segunda, terceira e sexta desigualdades
não é satisfeito com igualdade por nenhum vetor.
O subsistema formado pela primeira e segunda desigualdades
é satisfeito com igualdade por mais de um
vetor.
Corolário B.2
O poliedro tem um vértice se e somente se
tem posto igual ao número de colunas. ■
Corolário B.3
O número de vértices do poliedro é finito. ■
Exercícios B.2
-
Complete os detalhes da prova do lema B.1.
-
Prove o corolário B.2.
-
Prove o corolário B.3.
-
★
Seja o poliedro ,
onde é uma matriz indexada por e um vetor indexado por .
Seja um vetor de e considere o conjunto de índices
.
Mostre que é vértice de
se e somente se o conjunto das linhas da matriz é l.i..
-
★
Seja o poliedro ,
onde é uma matriz indexada por e um vetor indexado por .
Seja um vetor de e considere os conjuntos de índices
e
.
Mostre que é vértice de
se e somente se o conjunto das colunas da matriz é l.i..
-
★
Seja o poliedro ,
onde é uma matriz indexada por e um vetor indexado por .
Seja um vetor de e considere o conjunto de índices
.
Mostre que é vértice de
se e somente se o conjunto das colunas da matriz é l.i..
B.3 Poliedros limitados
Um poliedro é limitado (= bounded)
se existem vetores e em tais que
para todo em .
Em termos informais, um poliedro é limitado se cabe
em um cubo.
Um poliedro é ilimitado
(= unbounded)
se não for limitado.
Exemplo B.13:
Considere o conjunto de todos os vetores que satisfazem
as desigualdades abaixo. (Faça uma figura.)
Esse poliedro é ilimitado.
Exemplo B.14:
Considere novamente o poliedro do exemplo B.4.
Trata-se do conjunto de todos os vetores
que satisfazem o sistema de desigualdades abaixo.
Esse poliedro é limitado pois para todo .
(Verifique!)
Lema B.4
Todo poliedro limitado não vazio tem pelo menos um vértice.
Esboço da prova:
Seja um poliedro limitado
e um vetor do poliedro.
Seja o conjunto dos índices tais que .
Se não é vértice,
então existe um vetor não nulo
tal que e estão no poliedro.
Seja o maior número positivo tal que
está no poliedro.
Um tal está bem definido pois o poliedro é limitado.
Seja o vetor .
O conjunto de índices para os quais
é um superconjunto próprio de .
Repita o processo com no papel de .
Depois de um número finito de iterações, teremos um vértice. ■
A recíproca do lema não é verdadeira:
muitos poliedros ilimitados têm vértices.
Por exemplo, o vetor é vértice do poliedro definido pelas desigualdades
.
Poliedros inteiros
Um poliedro limitado é inteiro
(= integral)
se todos os seus vértices forem vetores inteiros.
Poliedros limitados inteiros têm especial importância
em otimização combinatória.
Exercícios B.3
-
Prove o lema B.4.
-
Seja um poliedro não necessariamente limitado.
Suponha que para todo em .
Mostre que tem um vértice.
[CCPS 6.3]