Alinson Santos Xavier

Universidade Federal do Cear
Departamento de Computao
Curso de Computao
linson Santos Xavier
Gerao de Facetas para
Politopos de Conjuntos Independentes
Fortaleza
2011
linson Santos Xavier
Gerao de Facetas para
Politopos de Conjuntos Independentes
Dissertao apresentada ao programa
Mestrado e Doutorado em Cincia da
Computao, UFC, como requisito para a
obteno do ttulo de Mestre em Cincia
da Computao.
Orientador:
Manoel Bezerra Camplo Neto
Fortaleza
2011
Resumo
Um conjunto independente de um grafo um subconjunto de vrtices que no contm
nenhum par de vrtices vizinhos. O problema do maior conjunto independente consiste em
encontrar um conjunto independente de cardinalidade mxima. O problema do maior sub-
grafo induzido k-partido consiste em encontrar k conjuntos independentes cuja unio tenha
cardinalidade mxima. Alm de possurem aplicao em diversas reas, como viso computa-
cional, biologia molecular e projeto de circuitos integrados, estes problemas tambm modelam
outros problemas de otimizao combinatria, como empacotamento de conjuntos e colorao
de vrtices. Neste trabalho, estudamos os politopos associados aos dois problemas. Primeiro,
descrevemos um novo procedimento de gerao de facetas para o politopo de conjuntos inde-
pendentes, que unica e generaliza diversos procedimentos anteriores. Alm de gerar vrias
classes de desigualdades indutoras de facetas j conhecidas, este procedimento tambm gera
novas desigualdades que ainda no foram descritas na literatura. Em seguida, estudamos o
politopo do subgrafo induzido k-partido associado formulao por representantes de cor.
Identicamos suas facetas mais simples, mostramos que facetas podem ser geradas a partir
de subgrafos induzidos, e descrevemos duas classes de subgrafos que geram facetas deste po-
litopo. Para obter os principais resultados desta dissertao, fazemos um estudo da relao
de am-isomorsmo entre poliedros, e desenvolvemos um novo procedimento de converso
de faces em facetas que generaliza as diversas verses do procedimento de levantamento de
variveis.
Palavras-chave: conjunto independente, subgrafo induzido k-partido, combinatria poli-
drica, facetas, lifting
Abstract
A stable set of a graph is a set of pairwise non-adjacent vertices. The maximum stable
set problem is to nd a stable set of maximum cardinality in a given graph. The maximum
induced k-partite subgraph problem is to nd k stable sets such that their union has maxi-
mum cardinality. Besides having applications in various elds, including computer vision,
molecular biology and VLSI circuit design, these problems also model other important com-
binatorial problems, such as set packing and vertex coloring. In the present work, we study
the facial structure of the polytopes associated with both problems. First, we describe a new
facet generating procedure for the stable set polytope, which unies and subsumes several
previous procedures. Besides generating many well-known facet inducing inequalities, this
procedure can also generate new facet-inducing inequalities which have not been previously
described. Then, we study the maximum induced k-partite polytope formulated by asymme-
tric representatives. We describe its simplest facets, show that some of its facets arise from
vertex induced subgraphs, and identify two classes of subgraphs which generate facets of the
polytope. To reach these main results, we study the ane equivalence between polyhedra,
and also develop a new facet generating procedure for general polyhedra which subsumes the
many versions of the lifting of variables.
Keywords: stable set, induced k-partite subgraph, polyhedral combinatorics, facets, lif-
ting.
Sumrio
1 Introduo 13
2 Preliminares 17
2.1 Teoria dos Grafos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17
2.1.1 Grafos simples . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17
2.1.2 Grafos direcionados . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
2.1.3 Hipergrafos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20
2.2 lgebra Linear . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
2.3 Anlise Convexa . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22
2.3.1 Conjuntos ans . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22
2.3.2 Conjuntos convexos . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23
3 Equivalncia entre Poliedros 27
3.1 Equivalncia am . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
3.2 Exemplo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 32
4 Converso de Faces em Facetas 35
4.1 Verso para cones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37
4.1.1 Representao interna . . . . . . . . . . . . . . . . . . . . . . . . . . 37
4.1.2 Representao externa . . . . . . . . . . . . . . . . . . . . . . . . . . 40
4.1.3 Faces de dimenso dim(K) 2 . . . . . . . . . . . . . . . . . . . . . 45
4.2 Verso para poliedros . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 52
4.2.1 Homogenizao . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 52
4.2.2 Representao externa . . . . . . . . . . . . . . . . . . . . . . . . . . 57
9
10 SUMRIO
4.2.3 Faces de dimenso dim(P) 2 . . . . . . . . . . . . . . . . . . . . . . 60
5 Politopo de Conjunto Independente 63
5.1 Fixao de variveis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 66
5.2 Subgrafos induzidos k-partidos . . . . . . . . . . . . . . . . . . . . . . . . . . 71
5.2.1 Hiperrvores fortes . . . . . . . . . . . . . . . . . . . . . . . . . . . . 71
5.2.2 Caso geral . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 74
5.3 Subgrafos induzidos bipartidos . . . . . . . . . . . . . . . . . . . . . . . . . . 80
5.3.1 Bipartidos quaisquer . . . . . . . . . . . . . . . . . . . . . . . . . . . 80
5.3.2 Estrelas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 83
6 Politopo de Subgrafo Induzido k-Partido 89
6.1 Formulao . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 90
6.2 Propriedades bsicas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 92
6.3 Isomorsmos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 94
6.3.1 Subgrafos induzidos . . . . . . . . . . . . . . . . . . . . . . . . . . . . 95
6.3.2 Conjunto independente . . . . . . . . . . . . . . . . . . . . . . . . . . 103
6.4 Subgrafos geradores de faceta . . . . . . . . . . . . . . . . . . . . . . . . . . 112
6.4.1 Vrtice-clique-vrtice . . . . . . . . . . . . . . . . . . . . . . . . . . . 113
6.4.2 Vrtice-split . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 119
7 Concluso 131
Lista de Figuras
3.1 Dois poliedros am-isomrcos. . . . . . . . . . . . . . . . . . . . . . . . . . 31
4.1 Exemplos de K
F
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 38
4.2 Exemplos de K
C
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 42
4.3 Aplicao dos Teoremas 4.11 e 4.12. . . . . . . . . . . . . . . . . . . . . . . . 47
4.4 Aplicao do Teorema 4.17 . . . . . . . . . . . . . . . . . . . . . . . . . . . . 51
4.5 Exemplos de homogenizao. . . . . . . . . . . . . . . . . . . . . . . . . . . . 53
5.1 Alguns subgrafos que geram facetas de STAB. . . . . . . . . . . . . . . . . . 64
5.2 Alguns procedimentos que geram facetas de STAB. . . . . . . . . . . . . . . 65
5.3 Aplicao do Teorema 5.2 e de seus corolrios. . . . . . . . . . . . . . . . . . 68
5.4 Exemplos e no-exemplos de hiperrvores fortes. . . . . . . . . . . . . . . . . 72
5.5 Aplicao do Teorema 5.20. . . . . . . . . . . . . . . . . . . . . . . . . . . . 74
5.6 Aplicao do Teorema 5.20 a antiwebs. . . . . . . . . . . . . . . . . . . . . . 80
5.7 Aplicao do Teorema 5.23 a estrelas. . . . . . . . . . . . . . . . . . . . . . . 81
6.3 Exemplo de face am-isomrca a STAB. . . . . . . . . . . . . . . . . . . . . 104
6.6 Classe de grafos que gera facetas de P(D, k). . . . . . . . . . . . . . . . . . . 113
6.8 Outra classe de grafos que gera facetas de P(D, k). . . . . . . . . . . . . . . 119
11
12 LISTA DE FIGURAS
6.9 Classe auxiliar de grafos que gera facetas de STAB. . . . . . . . . . . . . . . 120
1 Introduo
Um subconjunto de vrtices de um grafo um conjunto independente se nenhum par de
vrtices deste conjunto est conectado por uma aresta do grafo. Dentre os diversos proble-
mas de otimizao combinatria relacionados a conjuntos independentes, destacamos dois:
o problema do maior conjunto independente, e uma de suas generalizaes mais naturais, o
problema do maior subgrafo induzido k-partido.
O problema do maior conjunto independente consiste em encontrar um conjunto indepen-
dente de cardinalidade mxima em um grafo de entrada. Este problema possui aplicaes em
diversas reas, como Viso Computacional, Casamento de Padres e Biologia Molecular [10],
e modela outros importantes problemas de otimizao combinatria, como empacotamento e
partio de conjuntos [36], e tambm colorao de vrtices [19].
O problema do subgrafo induzido k-partido consiste em encontrar k conjuntos independen-
tes em um grafo de entrada cuja unio tenha cardinalidade mxima. Este problema generaliza
tanto o problema do maior conjunto independente, quanto o problema do maior subgrafo in-
duzido bipartido, e modela problemas que surgem no projeto de circuitos integrados [18, 23],
e em Biologia Computacional [32, 24].
Embora esses problemas possam ser resolvidos em tempo polinomial para algumas classes
particulares de grafos, eles so NP-difceis para grafos em geral [31], e nenhum algoritmo de
tempo polinomial para esses problemas pode obter um fator de aproximao menor que n
1
,
para qualquer > 0, a menos que NP = ZPP [30].
Diversas abordagens tem sido consideradas para gerar boas solues em um tempo razo-
vel. Neste trabalho, focamos na abordagem por programao inteira, que tem sido utilizada
com sucesso em outros problemas de otimizao combinatria NP-difceis, como o problema
do caixeiro viajante.
13
14 CAPTULO 1. INTRODUO
Dados um vetor c Z
n
, uma matriz A Z
mn
e um vetor b Z
m
, um problema de
programao linear inteira zero-um consiste em encontrar:
max
_
c
T
x : Ax b, x B
n
_
.
A todo problema de programao linear inteira zero-um est associado um politopo
convx B
n
: Ax b,
formado pelo fecho convexo de todos os vetores binrios x que satisfazem o sistema Ax b.
Problemas de programao linear inteira so geralmente resolvidos pelo mtodo branch-and-
bound. Tambm se pode utilizar planos de corte para acelerar esse mtodo. Embora seja
possvel gerar planos de corte sem nenhum conhecimento da estrutura facial do politopo
associado ao problema, em geral, quanto melhor se conhece a estrutura facial deste politopo,
melhores so os planos de cortes gerados, e melhores so os ganhos computacionais. Os cortes
mais fortes possveis so aqueles que induzem facetas do politopo. Isto motivou o estudo
dos politopos associados a diversos problemas de programao inteira, e em particular, a
identicao das facetas destes politopos.
Neste trabalho, estudamos os politopos associados ao problema do maior conjunto inde-
pendente e ao problema do maior subgrafo induzido k-partido.
O estudo do politopo de conjunto independente foi iniciado por Padberg [36]. Nemhauser
& Trotter [34] demonstraram que facetas de politopos associados a subgrafos induzidos podem
ser convertidas em facetas do politopo associado ao grafo original. Desde ento, outros
procedimentos semelhantes, baseados em outras operaes elementares sobre grafos, foram
descritos. No Captulo 5, descrevemos um novo procedimento de gerao de facetas que
unica e generaliza diversos procedimentos descritos na literatura. Alm de gerar diversas
classes de desigualdades indutoras de facetas j conhecidas, esse procedimento tambm gera
novas classes de desigualdades indutoras de facetas que ainda no haviam sido descritas.
Uma verso resumida desse captulo foi publicada [45] e apresentada no VI Simpsio Latino-
Americano de Algoritmos, Grafos e Otimizao (LAGOS).
Para o problema do maior subgrafo induzido k-partido, Camplo & Corra [14] propem
15
uma formulao linear inteira, baseada na formulao por representantes de cor, que utiliza
uma quantidade polinomial de variveis e restries. No Captulo 6, estudamos o politopo
associado a esta formulao. Identicamos suas facetas mais simples, mostramos que algumas
de suas facetas podem ser geradas a partir de subgrafos induzidos, e descrevemos duas classes
de subgrafos que geram facetas deste politopo.
Para obter os principais resultados dos Captulos 5 e 6, utilizamos sempre uma mesma
estratgia. Primeiro, identicamos faces do politopo que sejam am-isomrcas a politopos
mais simples, e, em seguida, convertemos facetas destas faces em facetas do politopo.
No Captulo 3, estudamos a relao de am-isomorsmo entre poliedros, como denida
em [47], e apresentamos alguns resultados que, embora bastante fundamentais, no foram
enunciados explicitamente na literatura.
No Captulo 4, descrevemos um novo procedimento para converter uma face qualquer
de um poliedro em todas as facetas deste poliedro que contenham a face original. Este
procedimento de converso generaliza as diversas verses do procedimento de levantamento
de variveis.
Toda a notao usada ao longo do texto, bem como as denies dos principais conceitos
utilizados, apresentada no Captulo 2. Uma breve reviso dos resultados e direes para
trabalhos futuros so apresentadas no Captulo 7.
16 CAPTULO 1. INTRODUO
2 Preliminares
Neste captulo, revisamos os principais conceitos de Teoria dos Grafos, lgebra Linear e
Anlise Convexa que sero teis ao longo do texto, e apresentamos a notao utilizada.
Leitores interessados em mais detalhes sobre os tpicos tratados e nas demonstraes das
proposies podem consultar, por exemplo, [9, 11] para Teoria dos Grafos, [29] para lgebra
Linear, e [38, 39] para Anlise Convexa.
2.1 Teoria dos Grafos
2.1.1 Grafos simples
Um grafo simples G um par ordenado (V, E) composto por um conjunto nito V , cujos
elementos so denominados vrtices, e por um conjunto E u, v : u, v V, u ,= v,
cujos elementos so denominados arestas. Para todo grafo G, denotamos por V (G) e E(G),
respectivamente, os conjuntos de vrtices e arestas de G.
Para cada aresta e = u, v, dizemos que u e v so as suas extremidades, e que e as
conecta. Uma aresta incidente nas suas extremidades, assim como as extremidades so
tambm incidentes na aresta. O conjunto de arestas incidentes em um vrtice denotado
por E
G
(v), ou por E(v), quando o grafo estiver claro pelo contexto.
Dois vrtices u, v so vizinhos, ou adjacentes, se alguma aresta os conecta. A vizi-
nhana de um vrtice v, denotada por N
G
(v) ou N(v), o conjunto de todos os vrtices
vizinhos a v. O grau de um vrtice a cardinalidade da sua vizinhana. Vrtices de grau
0, 1 e [V [ 1, so chamados, respectivamente, de vrtices isolados, folhas e vrtices
universais. A vizinhana fechada de um vrtice v, denotada por N
G
[v] ou N[v], a unio
17
18 CAPTULO 2. PRELIMINARES
da vizinhana de v com o conjunto v. Utilizamos tambm as seguintes abreviaes:
E
G
(R) :=
vR
E
G
(v) R V
N
G
(R) :=
vR
N
G
(v) R V
N
G
[R] :=
vR
N
G
[v] R V
Grafos cujos vrtices so todos universais so grafos completos. Grafos cujos vrtices so
todos isolados so grafos vazios. Um grafo composto por um nico vrtice e nenhuma aresta
um grafo trivial.
Se S for um subconjunto de vrtices e todo par de vrtices de S for conectado por alguma
aresta, ento S uma clique. Se nenhum par for conectado, ento S um conjunto
independente. Se o conjunto de vrtices de um grafo puder ser particionado em k conjuntos
independentes, o grafo k-partido. Grafos 2-partidos so tambm chamados de grafos
bipartidos.
Um passeio em um grafo uma sequncia nita de vrtices (v
1
, . . . , v
k
) tal que v
i
vizinho
de v
i+1
. Se nenhum vrtice se repetir na sequncia, o passeio tambm um caminho. Se
v
1
= v
k
e, exceto esta, no houver nenhuma outra repetio de vrtices, o passeio um ciclo.
Um grafo conexo se possui um caminho (v
1
, . . . , v
k
) para todo par de vrtices v
1
, v
k
. Uma
rvore um grafo conexo que no possui ciclos. Uma estrela uma rvore que possui um
vrtice universal, e portanto, [V [ 1 folhas.
O vetor de incidncia de um conjunto de vrtices S uma tupla x B
V
tal que x
v
= 1
se v S, para todo v V . A matriz de incidncia de um grafo uma matriz cujas colunas
so os vetores de incidncia das arestas deste grafo.
Sobre um grafo G = (V, E) esto denidas diversas operaes elementares, como remoo
de vrtices, remoo de arestas e identicao de vrtices. O grafo obtido removendo-
se a aresta e, denotado por G e, o par (V, E e). O grafo obtido removendo-se o vrtice
v (e todas as arestas nele incidentes), denotado por G v, o par (V v, E E
G
(v)). O
2.1. TEORIA DOS GRAFOS 19
grafo obtido identicando-se um par de vrtices u, v em um vrtice w o par
_
_
V v, u
_
w,
_
E E
G
(v, u)
_
_
w, i : i N
G
(v, u)
_
_
.
Utilizamos tambm as seguintes abreviaes:
Gv
1
, . . . , v
p
:= (((Gv
1
) v
2
) . . . v
p
) v
1
, . . . , v
p
V
G e
1
, . . . , e
p
:= (((G e
1
) e
2
) . . . e
p
) e
1
, . . . , e
p
E
Um grafo obtido por sucessivas remoes de vrtices e arestas um subgrafo do grafo
original. O subgrafo induzido por um subconjunto de vrtices S, denotado por G[S], o
subgrafo obtido removendo-se de G todos os vrtices, exceto os pertencentes ao conjunto S.
O complemento de um grafo G = (V, E), denotado por

G, o par (V,

E), composto pelo
mesmo conjunto de vrtices V e pelo conjunto de arestas
E :=
_
u, v : u, v V, u ,= v, u, v / E
_
.
2.1.2 Grafos direcionados
Um grafo direcionado D um par ordenado (V, A) composto por um conjunto nito V ,
cujos elementos so tambm denominados vrtices, e por um conjunto A (u, v) : u, v
V, u ,= v, cujos elementos so denominados arcos. Diferente das arestas, os arcos so pares
ordenados; logo a ordem dos elementos relevante.
Para cada arco (u, v), dizemos que u a sua extremidade inicial e que v a sua
extremidade nal. Dizemos tambm que u domina v, e que v dominado por u.
Vrtices que no so dominados por nenhum outro so fontes, enquanto vrtices que no
dominam nenhum outro so sumidouros.
Para cada vrtice v, os conjuntos A
+
D
(v), A
D
(v), N
+
D
(v) e N
D
(v) so, respectivamente,
o conjunto de arcos com extremidade inicial v; o conjunto de arcos com extremidade nal
v; a vizinhana positiva de v, denida como o conjunto de vrtices dominados por v; e
a vizinhana negativa de v, denida como o conjunto de vrtices que dominam v. O
conjunto A
D
(v) a unio dos conjuntos A
+
D
(v) e A
D
(v). Utilizamos tambm as abreviaes:
A
D
(R) :=
vR
A
D
(v) R V
A
+
D
(R) :=
vR
A
+
D
(v) R V
A
D
(R) :=
vR
A
D
(v) R V
N
+
D
(R) :=
vR
N
+
D
(v) R V
N
D
(R) :=
vR
N
D
(v) R V
Quando o grafo est claro pelo contexto, omitimos o subscrito D.
Um passeio orientado em um grafo direcionado uma sequncia nita de vrtices
(v
1
, v
2
, . . . , v
k
) tal que v
i
domina v
i+1
. Se no houver repetio de vrtices, o passeio
um caminho orientado. Se v
1
= v
k
e, exceto esta, no houver nenhuma outra repetio
de vrtices, o passeio um ciclo orientado. Um grafo direcionado que no possui ciclos
orientados um DAG (do ingls, directed acyclic graph).
A cada grafo direcionado D = (V, A) est associado um grafo simples G(D), denominado
o grafo subjacente a D, que corresponde ao par ordenado (V, u, v : (u, v) A).
Conceitos equivalentes aos denidos para grafos simples podem tambm ser denidos para
grafo direcionados. Dois vrtices so vizinhos em D se eles forem vizinhos em G(D). Um
subconjunto de vrtices S um conjunto independente ou uma clique de D quando S ,
respectivamente, um conjunto independente ou uma clique de G(D).
Uma forma de se obter um grafo direcionado a partir de um grafo simples G substituir
cada aresta u, v por exatamente um dos arcos (u, v), (v, u). Grafos direcionados obtidos
desta forma so orientaes de G. Claramente, um mesmo grafo G pode possuir diversas
orientaes, algumas das quais so DAGs.
2.1.3 Hipergrafos
Um hipergrafo uma generalizao de um grafo simples em que se permite que as arestas
contenham apenas um, ou mais que dois vrtices. Mais precisamente, um hipergrafo H
2.2. LGEBRA LINEAR 21
um par ordenado (V, c) composto por um conjunto nito V , cujos elementos so tambm
denominados vrtices, e por uma famlia de conjuntos c e : e V, e ,= , cujos
elementos so denominados hiperarestas. Se todas as hiperarestas do hipergrafo possurem
uma mesma cardinalidade k, este hipergrafo k-uniforme. Hipergrafos 2-uniformes so
grafos simples.
Dizemos que uma hiperaresta conecta todos os vrtices pertencentes a ela. Uma hi-
peraresta incidente nos seus vrtices, assim como os vrtices so tambm incidentes na
hiperaresta. As denies de adjacncia, vizinhana e grau de um vrtice, folhas, vetor de in-
cidncia de um subconjunto de vrtices e matriz de incidncia de um hipergrafo, assim como
as denies das operaes de remoo de vrtices e hiperarestas, so identicas s denies
para grafos simples.
Um hipergrafo obtido atravs de sucessivas remoes de vrtices e hiperarestas um sub-
hipergrafo do hipergrafo original. O hipergrafo-clique de um grafo simples G, denotado
por ((G), o par (V, Q), onde Q o conjunto de todas as cliques maximais de G.
2.2 lgebra Linear
Um subespao linear de R
n
um subconjunto L de R
n
tal que, para todos x, y L e para
todos , R, tem-se x+y L. (y a tupla obtida a partir de y multiplicando-se cada
componente por , e x+y a tupla obtida somando-se as componentes correspondentes das
tuplas x e y). Exemplos de subespaos lineares em R
3
so as retas e os planos que passam
pela origem. Os elementos de L so geralmente chamados de vetores. Se x um vetor,
ento x
i
sua i-sima componente. Denimos tambm os vetores
0
n
:= (0, . . . , 0
. .
n
),
1
n
:= (1, . . . , 1
. .
n
),
e
i
:= (0, . . . , 0
. .
i1
, 1, 0, . . . , 0
. .
ni
) i 1, . . . , n ,
e
R
:=

rR
e
r
.
Um vetor x uma combinao linear dos vetores y
1
, . . . , y
m
se existem nmeros reais
1
, . . . ,
m
tais que
1
y
1
+. . . +
m
y
m
= x.
Um conjunto nito linearmente independente se nenhum dos seus elementos uma
combinao linear dos demais e se este conjunto no contm o vetor 0
n
. Qualquer conjunto
que contenha um subconjunto linearmente dependente tambm linearmente dependente.
Qualquer subconjunto de um conjunto linearmente independente tambm linearmente in-
dependente.
Se M for uma matriz mn e R 1, . . . , n, ento M
R
a submatriz obtida a partir de M
mantendo-se apenas as colunas indexadas por R. De maneira semelhante, se S 1, . . . , m,
a matriz M
S
a submatriz obtida a partir de M mantendo-se apenas as linhas indexadas
por S. O smbolo T sobrescrito reservado para denotar a matriz transposta M
T
de M.
Uma matriz 1 m um vetor-linha, e uma matriz n 1 um vetor-coluna. No
fazemos distino entre vetores-coluna de dimenso n 1 e n-tuplas. Escrevemos o produto
escalar x, y) entre dois vetores x, y como a multiplicao matricial x
T
y. Representamos,
tambm, conjuntos de n-tuplas com m elementos por matrizes de dimenso n m.
2.3 Anlise Convexa
2.3.1 Conjuntos ans
Generalizando o conceito de subespao linear, um subconjunto M de R
n
um conjunto am
se, para todo x, y M e todo real , tem-se (1 )x + y M. Exemplos de conjuntos
ans em R
3
so todas as retas e planos (passando ou no pela origem).
Um vetor x uma combinao am dos vetores y
1
, . . . , y
m
se existem nmeros reais
1
, . . . ,
m
tais que
1
y
1
+. . . +
m
y
m
= x
1
+. . . +
m
= 1
Um conjunto nito am independente se nenhum dos seus elementos uma combinao
am dos demais. Um conjunto y
1
, . . . , y
m
am independente se, e somente se, o conjunto
2.3. ANLISE CONVEXA 23
y
2
y
1
, . . . , y
m
y
1
linearmente independente. O menor conjunto am (com relao
incluso) que contm um conjunto de vetores S, denotado por a(S), o fecho am de S.
A dimenso de um conjunto no vazio S R
n
, denotada por dim(S), k se S contm
um conjunto am independente maximal de cardinalidade k + 1. O conjunto vazio, por
conveno, tem dimenso 1. Se S estiver contido em um conjunto de dimenso l, ento
dim(S) l. Se, por outro lado, existirem l + 1 vetores am independentes em S, ento
dim(S) l. Quando S possui dimenso n, dizemos que S tem dimenso plena. Conjuntos
ans de dimenso 0, 1, 2 e n 1 so chamados, respectivamente, de pontos, retas, planos
e hiperplanos.
Retas e hiperplanos possuem dimenses complementares, e esto naturalmente associados
entre si. Qualquer hiperplano pode ser representado como a translao do conjunto de vetores
ortogonais a uma reta que contenha a origem. Ou seja, hiperplanos so conjuntos de vetores
x tais que
T
x =
0
, onde um vetor no nulo (algum vetor que gere a reta), e
0
um
real (associado distncia transladada). Dois hiperplanos x :
T
x =
0
}, x :
T
x =
0
so linearmente independentes se os vetores , so linearmente independentes.

Todo conjunto am a interseo de um nmero nito de hiperplanos. Logo, pode ser
descrito como o conjunto de vetores x que satisfazem um sistema nito de equaes Ax = b,
onde A uma matriz real e b um vetor.
2.3.2 Conjuntos convexos
Um subconjunto C de R
n
um conjunto convexo se, para todos x, y C e todo real
no intervalo (0, 1), tem-se x + (1 )y C. Geometricamente, um conjunto convexo
se contm todo o segmento de reta entre dois quaisquer dos seus pontos. A soma C
1
+ C
2
de dois conjuntos convexos C
1
, C
2
, chamada de soma de Minkowski destes conjunto, o
conjunto tambm convexo a +b : a C
1
, b C
2
.
A todo hiperplano x :
T
x =
0
est associado um conjunto convexo, chamado de um
semi-espao fechado, formado pelos vetores x tais que
T
x
0
. Um conjunto que possa
ser escrito como a interseo de um nmero nito de semi-espaos fechados um poliedro.
Um vetor x uma combinao convexa dos vetores y
1
, . . . , y
m
se existem reais
1
, . . . ,
m
tais que
1
y
1
+. . . +
m
y
m
= x
1
+. . . +
m
= 1
i
0 i 1, . . . , m
O menor conjunto convexo (com relao incluso) que contm um conjunto de vetores S,
denotado por conv(S), o fecho convexo de S. O fecho convexo de um nmero nito de
vetores um politopo. Politopos so tambm poliedros e tambm podem ser descritos,
portanto, como a interseo de um nmero nito de semi-espaos fechados.
Uma desigualdade vlida para um conjunto se todo ponto pertencente ao conjunto a
satisfaz. Um conjunto F uma face de um conjunto convexo C se existe uma desigualdade
T
x
0
vlida para C tal que
F = x C :
T
x =
0
.
Neste caso, dizemos que a desigualdade
T
x
0
induz a face F em C. Uma face prpria
de C uma face no vazia de C que possui dimenso menor que dim(C). Uma k-face
uma face que possui dimenso k. Faces de dimenso 0, 1 e dim(C) 1 so chamadas,
respectivamente, de vrtices, arestas e facetas. O conjunto de vrtices de um poliedro P
denotado por vert(P). Todas as faces das faces de um conjunto convexo so faces do prprio
conjunto. Em particular, todos os vrtices e arestas das faces de um conjunto convexo so
tambm vrtices e arestas do prprio conjunto.
Um conjunto K R
n
um cone se, para todo vetor x K e todo real 0, o vetor
x pertence a K. Um vetor x uma combinao cnica dos vetores y
1
, . . . , y
m
se existem
reais
1
, . . . ,
m
tais que
1
y
1
+. . . +
m
y
m
= x
i
0 i 1, . . . , m
O menor cone que contm um conjunto S, denotado por cone(S), o fecho cnico de S. O
2.3. ANLISE CONVEXA 25
fecho cnico de um nmero nito de vetores um cone polidrico.
Um vetor r uma direo de recesso de um conjunto S se, para todo x S e todo
0, o vetor x + r pertence a S. O cone de recesso de S, denotado por rec(S),
o conjunto das direes de recesso de S. Um vetor r uma direo extrema de S se o
fecho cnico de r uma aresta de rec(S). Perceba que, se r uma direo extrema de S, e
r =
1
2
r
1
+
1
2
r
2
, onde r
1
, r
2
rec(S), ento r
1
, r
2
so mltiplos positivos de r.
O polar de um conjunto S o cone
S
:= :
T
x 0, x S.
Quando S um cone polidrico com dimenso plena,
T
x 0 induz faceta de S se e somente
se uma direo extrema de S
.
Todo poliedro P por ser descrito como a soma conv(S) + cone(R) do fecho convexo de
um conjunto nito S com o fecho cnico de um conjunto nito R. Dizemos que esta uma
descrio interna de P. Todo poliedro P tambm pode ser descrito como o conjunto das
solues de um sistema nito de desigualdades lineares Ax b. Dizemos que esta uma
descrio externa de P. Uma desigualdade redundante para a descrio externa de
um poliedro se sua omisso no altera o conjunto de solues do sistema de desigualdades
desta descrio. Se a desigualdade
T
x
0
vlida para um poliedro descrito pelo sistema
Ax b, o Lema de Farkas arma que, ou existe vetor c 0 tal que c
T
A =
T
, c
T
b
0
,
ou o poliedro vazio.
3 Equivalncia entre Poliedros
Para certos tipos de anlise, a relao de igualdade entre poliedros, como denida para
conjuntos em geral, demasiadamente restrita. Outras relaes de equivalncia capturam de
forma muito mais adequada o conceito intuitivo ao qual nos referimos quando dizemos que
dois objetos geomtricos so iguais.
Neste breve captulo, estudamos o isomorsmo am de poliedros, como denido em [47],
e apresentamos alguns resultados que, embora bastante fundamentais, no foram enunciados
explicitamente na literatura. Estes resultados sero utilizados frequentemente nos prximos
captulos.
3.1 Equivalncia am
Dois poliedros P R
n
, Q R
m
so am-isomrcos (denotado por P

= Q) se existem
funes ans f : R
n
R
m
, g : R
m
R
n
que denem uma bijeo entre os pontos dos dois
poliedros. Ou seja, se existem
f : x Fx +F
0
F R
mn
F
0
R
m
,
g : y Gy +G
0
G R
nm
G
0
R
n
,
tais que
f(x) Q x P,
g(y) P y Q,
g(f(x)) = x x P,
f(g(y)) = y y Q.
27
28 CAPTULO 3. EQUIVALNCIA ENTRE POLIEDROS
Intuitivamente, dois poliedros so am-isomrcos se podemos obter um a partir do ou-
tro atravs de transformaes ans como translao, rotao, escala, reexo ou projeo
ortogonal. Note que am-isomorsmo uma relao de equivalncia.
Sejam, ao longo desta seo, P e Q poliedros am-isomrcos, e sejam f, g funes que
denem uma bijeo entre os pontos dos dois poliedros. Para pontos pertencentes a P e Q,
as funes f e g preservam a indepndencia am, e consequentemente, tambm a dimenso,
como mostram o lema e a proposio seguintes.
Lema 3.1. Se x
1
, . . . , x
p
P so am independentes, ento f(x
1
), . . . , f(x
p
) Q so am
independentes.
Demonstrao. Vamos demonstrar a contrapositiva. Se f(x
1
), . . . , f(x
p
) Q no forem am
independentes, existem
1
, . . . ,
p1
R tais que

p1
i=1

i
= 1 e que f(x
p
) =

p1
i=1

i
f(x
i
).
Temos
x
p
= g (f (x
p
)) = g
_
_
p1
i=1
i
f
_
x
i
_
_
_
= g
_
_
f
_
_
p1
i=1
i
x
i
_
_
_
_
=
p1
i=1
i
x
i
Logo x
1
, . . . , x
p
P no so am independentes.
Proposio 3.2. Se R P, ento dim(R) = dim(f(R)).
Demonstrao. Seja
_
x
1
, . . . , x
d+1
_
R um conjunto de dim(R)+1 pontos am independen-
tes. Pelo Lema 3.1,
_
f(x
1
), . . . , f(x
d+1
)
_
f(R) um conjunto am independente. Logo,
dim(f(R)) dim(R). Por simetria, dim(R) dim(f(R)).
Como am-isomorsmo uma relao simtrica, podemos enunciar verses alternativas
do Lema 3.1 e da Proposio 3.2 que mostram que a funo g, ao invs da funo f, preserva
a independncia am e a dimenso para pontos pertencentes a Q. Por brevidade, no faremos
isso.
Segue diretamente da Proposio 3.2 que P e Q possuem a mesma dimenso.
Proposio 3.3. P e Q possuem a mesma dimenso.
Desigualdades vlidas para P podem ser facilmente transformadas em desigualdades v-
lidas para Q, como mostra a proposio seguinte. Note, porm, que no h uma correspon-
dncia de um-para-um entre as desigualdades vlidas dos dois conjuntos.
3.1. EQUIVALNCIA AFIM 29
Proposio 3.4. Se a desigualdade x
0
vlida para P, ento a desigualdade Gy
0
G
0
vlida para Q.
Demonstrao. Tome y Q. Seja x P tal que y = Fx +F
0
. Sabemos que
x P g(f(x)) = x GFx +GF
0
= x G
0
.
Logo,
Gy = G(Fx +F
0
) = (GFx +GF
0
) = (x G
0
)
0
G
0
.
Conclumos que a desigualdade vlida para Q.
Mostramos agora que existe uma correspondncia entre as faces de P e Q.
Proposio 3.5. Se R = x P : x =
0
, ento f(R) = y Q : Gy =
0
G
0
Demonstrao. () Seja y f(R). Como R P, ento y Q. Resta provar que Gy =
0
G
0
. Como y f(R), existe x R tal que y = f(x) = Fx +F
0
. Sabemos que x =
0
,
GFx +GF
0
= x G
0
. Logo,
Gy = G(Fx +F
0
) = (GFx +GF
0
) = (x G
0
) =
0
G
0
.
() Seja y Q tal que Gy =
0
G
0
. Sabemos que existe x P tal que x = Gy +G
0
.
Temos
x = (Gy +G
0
) = Gy +G
0
=
0
G
0
+G
0
=
0
.
Logo, x R. Consequentemente, f(x) = f(g(y)) = y f(R).
Proposio 3.6. Se R uma k-face de P, ento f(R) uma k-face de Q.
Demonstrao. Pela Proposio 3.2, sabemos que R e f(R) possuem a mesma dimenso.
Resta provar que f(R) face de Q. Se R for face de P, ento existe uma desigualdade
x
0
vlida para P tal que
R = x P : x =
0
.
Pela Proposio 3.5, sabemos que
f(R) = y Q : Gy =
0
G
0
.
Alm disso, pela Proposiao 3.4, sabemos que Gy
0
G
0
desigualdade vlida para
Q. Conclumos que f(R) face de Q.
Proposio 3.7. Se x vrtice de P, ento f(x) vrtice de Q.
Proposio 3.8. Se x
0
induz faceta de P, ento Gy
0
G
0
induz faceta de Q.
Mostramos, nalmente, que os cones de recesso de P e Q tambm so am-isomrcos, e
que tambm h, portanto, uma correspondncia entre as direes extremas dos dois poliedros.
Lema 3.9. Se r rec(P), ento r = GFr.
Demonstrao. Temos
x P g(f(x)) = x GF
0
+G
0
= x GFx.
Ou seja, x GFx constante para todo x P. Seja x P. Como x, x +r P, temos
x GFx = (x +r) GF(x +r) r = GFr.
Lema 3.10. Se r rec(P), ento Fr rec(Q).
Demonstrao. Sejam y Q, R
+
. Existe x P tal que f(x) = y. Como r direo de
recesso de P,
x +r P f(x +r) Q Fx +Fr +F
0
Q f(x) +(Fr) Q
Logo, y +Fr Q.
Proposio 3.11. Os cones de recesso de P e Q so am-isomrcos.
Demonstrao. Pelo Lema 3.10, sabemos que Fr rec(Q), para todo r rec(P), e que
Gr rec(P), para todo r rec(Q). Alm disso, pelo Lema 3.9, sabemos que r = GFr, para
3.1. EQUIVALNCIA AFIM 31
(a) Poliedro P. (b) Poliedro Q.
Figura 3.1: Dois poliedros am-isomrcos.
todo r rec(P), e que r = FGr, para todo r rec(Q). Conclumos que os dois cones so
am-isomrcos.
Proposio 3.12. Se r direo extrema de P, ento Fr direo extrema de Q.
Demonstrao. Se r for direo extrema de P, ento
R = r : R
+
uma aresta de rec(P). Logo, pela Proposio 3.6 e pelo isomorsmo da Proposio 3.11,
f(R) = Fr : R
+
uma aresta de rec(Q). Como f(R) = cone(Fr), conclumos que Fr uma direo extrema
de Q.
3.2 Exemplo
Considere os poliedros P R
3
, Q R
2
, apresentados na Figura 3.1, dados por
P = conv
_
_
1 0 0
0 1 0
0 0 1
_
_
, Q = conv
_
_
0 1 1
1 1 1
_
_.
Podemos vericar que as funes
f(x) =
_
_
1 2 0
2 0 0
_
_x +
_
_
1
1
_
_
g(y) =
_
_
0
1
2
1
2

1
4
1
2

1
4
_
_
y +
_
_
1
2
1
4
1
4
_
_
denem um isomorsmo am entre P e Q. Como as desigualdades Ax b induzem facetas
de P, onde
A =
_
_
0 1 1
0 1 0
0 0 1
_
_
, b =
_
_
1
0
0
_
_
,
podemos utilizar a Proposio 3.8 para obter as seguintes desigualdades que induzem facetas
de Q.
AGy bAG
0

_
_
0 1 1
0 1 0
0 0 1
_
_
_
_
0
1
2
1
2

1
4
1
2

1
4
_
_
y
_
_
1
0
0
_
_
0 1 1
0 1 0
0 0 1
_
_
_
_
1
2
1
4
1
4
_
_
y
2
1
2y
1
+y
2
1
2y
1
+y
2
1
Por outro lado, como as desigualdades
y
2
1
3.2. EXEMPLO 33
2y
1
+y
2
1
2y
1
+y
2
1
induzem facetas de Q, pela Proposio 3.8, as seguintes desigualdades induzem facetas de P:
_
_
0 1
2 1
2 1
_
_
_
_
1 2 0
2 0 0
_
_x
_
_
1
1
1
_
_
0 1
2 1
2 1
_
_
_
_
1
1
_
_
_
_
x
1
0
x
2
0
x
1
+x
2
1
4 Converso de Faces em Facetas
Um problema clssico em combinatria polidrica determinar o conjunto de desigualdades
lineares que induzem facetas de um poliedro P R
n
, denido como a soma da envoltria
convexa de um conjunto nito S com o fecho cnico de um conjunto nito R. Quando
no temos nenhuma informao adicional sobre P, podemos determinar estas desigualdades
atravs do estudo do cone
P
=
_
(,
0
) P :
T
x
0
, x P
_
=
_
_
(,
0
) P :
s
T

0
0, s S
r
T
0, r R
_
_
.
Se P tem dimenso plena, cada desigualdade que induz faceta de P est associada a uma
direo extrema de P
. Estas direes podem ser enumeradas, por exemplo, atravs da

Eliminao de Fourier-Motzkin [47] ou do Algoritmo de Busca Reversa [3]. Quando temos
informaes adicionais sobre P, ou quando estamos interessados apenas em um subconjunto
das desigualdades indutoras de facetas, podemos utilizar algoritmos mais especcos.
Se conhecemos uma desigualdade que induz faceta de uma face F de P, podemos transform-
la em uma desigualdade que induza faceta de P. O estudo desse procedimento teve incio
com um mtodo descrito por Padberg [36] para uma classe particular de politopos, e poste-
riormente generalizado para politopos zero-um por Nemhauser & Trotter [34] e Wolsey [42].
Supondo que P seja um politopo, que seus vrtices estejam em B
n
, que F seja da forma
F = x P : x
i
= 0, i 1, . . . , m ,
e que a desigualdade
n
i=m+1
i
x
i

0
(4.1)
35
36 CAPTULO 4. CONVERSO DE FACES EM FACETAS
seja vlida para F, o procedimento calcula, de forma sequencial, coecientes
1
, . . . ,
m
tais
que
n
i=1
i
x
i

0
(4.2)
seja vlida para P. Este procedimento, conhecido como levantamento sequencial de
variveis, tem sido crucial na resoluo de problemas de programao inteira de grande
porte [20, 26]. Perceba que, quando (4.2) induz faceta de P, esta faceta contm a face que a
desigualdade (4.1) induz em F.
Em geral, diferentes ordenaes das variveis x
1
, . . . , x
m
geram diferentes desigualdades.
O estudo de condies sucientes e necessrias para que esta ordenao no inuencie o
clculo dos coecientes foi iniciado por Wolsey [44], e posteriormente generalizado para pro-
blemas de programao inteira-mista zero-um por Gu et al. [27].
Um algoritmo alternativo para o clculo dos coecientes, conhecido como levantamento
simultneo de variveis, foi proposto por Zemel [46]. Este algoritmo calcula todos os
coecientes simultaneamente, atravs da enumerao dos vrtices de um politopo auxiliar,
geralmente bem mais simples do que o politopo original. Diferentemente do levantamento
sequencial de variveis, ele gera todas as possveis combinaes de coecientes que denem
desigualdades vlidas para P.
As desigualdades vlidas geradas pelo levantamento simultneo de variveis s induzem
facetas de P quando a diferena entre as dimenses de P e F exatamente m. Para o
levantamento sequencial, ainda mais condies precisam ser satisfeitas. Oosten [35] prope
um outro algoritmo, denominado levantamento estendido de variveis, que capaz de
gerar desigualdades indutoras de facetas mesmo quando a diferena entre as dimenses da
face e do poliedro maior do que m.
Neste captulo, descrevemos um novo procedimento, que generaliza os trs procedimentos
apresentados acima. Diferentemente desses procedimentos, fazemos poucas suposies sobre
a face e sobre o poliedro. Em particular, no supomos que P seja um politopo, que seus
vrtices estejam em B
n
, que os hiperplanos que denem F sejam ortogonais aos eixos, nem
que as desigualdades usadas na descrio de F sejam vlidas para P. Ao invs de transfor-
marmos uma desigualdade vlida para uma face em uma desigualdade vlida para o politopo,
ns mostramos como obter, a partir da descrio interna de um poliedro qualquer P, e da
4.1. VERSO PARA CONES 37
descrio interna ou externa de uma face qualquer F de P, todas as facetas de P que contm
F, atravs da enumerao apenas das direes extremas de uma face de P
.
Na Seo 4.1, apresentamos o procedimento e demonstramos que ele funciona para o caso
onde P um cone polidrico. Na Seo 4.2, estendemos estes resultados para poliedros em
geral, atravs de homogenizao.
4.1 Verso para cones
Nesta seo, estudamos o caso particular do procedimento quando P um cone polidrico.
Primeiro, trabalhamos com uma representao interna de F. Em seguida, com uma represen-
tao externa. Finalmente, consideramos o caso particular onde F tem dimenso dim(P)2,
e portanto est contido em exatamente duas facetas de P. Os resultados desta seo so es-
tendidos para poliedros em geral na seo seguinte, utilizando homogenizao.
4.1.1 Representao interna
Ao longo desta subseo, seja K R
n
um cone polidrico com dimenso plena e seja F uma
face no vazia de K. Estamos interessados em determinar as facetas de K que contm F.
Considere o cone
K
F
:= K + (F).
Demonstramos nesta subseo que as desigualdades que induzem facetas de K que contm
F so exatamente as desigualdades que induzem facetas de K
F
.
Exemplo 4.1. Faa
K = cone
_
_
2 1
1 2
_
_, F = cone
_
_
1
2
_
_.
Por denio, temos
K
F
= cone
_
_
2 1 1
1 2 2
_
_.
A Figura 4.1(a) mostra estes trs conjuntos. Note que, neste caso, K
F
possui uma nica
faceta, induzida pela desigualdade 2x
1
+x
2
0. Esta a nica faceta de K que contm F.
(a) (b)
Figura 4.1: Exemplos de K
F
.
Exemplo 4.2. Faa agora
K = cone
_
_
0 2 2 1 0
0 0 1 2 2
1 1 1 1 1
_
_
=
_
_
x R
3
:
x
2
+ 2x
3
0
x
1
+ 2x
3
0
x
1
+x
2
+ 3x
3
0
x
1
0
x
2
0
_
_
,
F = cone
_
_
1
2
1
_
_
.
Temos
K
F
= cone
_
_
0 2 2 1 0
0 0 1 2 2
1 1 1 1 1
_
_
+ cone
_
_
1
2
1
_
_
.
A Figura 4.1(b) mostra a interseo do hiperplano x R
3
: x
3
= 1 com estes trs
conjuntos. As facetas de K
F
so induzidas pelas desigualdades
x
2
+ 2x
3
0, (4.3)
x
1
+x
2
+ 3x
3
0. (4.4)
Estas desigualdades induzem as nicas facetas de K que contm F.
Para demonstrarmos esse resultado, utilizaremos o seguinte lema, que descreve o polar
de K
F
.
Lema 4.3. (K
F
)
= K
:
T
x = 0, x F
Demonstrao. () Seja (K
F
)
. Para todo x K, temos x K

F
, e portanto
T
x 0.
Logo, K
. Alm disso, para todo x F, temos x, x K

F
, e portanto
T
x 0,
T
x 0.
() Seja K
tal que
T
x = 0, x F. Para todo x K
F
, existem x
1
K, x
2
F
tais que x = x
1
x
2
, e portanto
T
x =
T
x
1
T
x
2
=
T
x
1
0.
Conclumos que (K
F
)
.
Em particular, esse lema mostra que o polar de K
F
uma face do polar de K. Todas as
suas direes extremas, portanto, so direes extremas do polar de K, e esto associadas a
certas facetas de K. O prximo lema mostra que estas facetas so exatamente aquelas que
nos interessam.
Lema 4.4. A desigualdade
T
x 0 induz faceta de K que contm F se e somente se
direo extrema de (K
F
)
.
Demonstrao. () Se
T
x 0 induz faceta de K que contm F, ento direo extrema
de K
e
T
x = 0, x F. Pelo Lema 4.3, pertence a (K
F
)
, e (K
F
)
face de K
. Logo,
direo extrema de (K
F
)
.
() Se for direo extrema de (K
F
)
, ento direo extrema de K
, pois (K
F
)

face de K
. Alm disso,
T
x = 0, x F. Logo,
T
x 0 induz faceta de K que contm
F.
Por consequncia direta deste lema, temos o seguinte teorema, que prova que as desigual-
dades que induzem facetas de K que contm F so exatamente as desigualdades que induzem
facetas de K
F
.
Teorema 4.5. A desigualdade
T
x 0 induz faceta de K que contm F se e somente se
T
x 0 induz faceta de K
F
.
4.1.2 Representao externa
Como na subseo anterior, seja, ao longo desta subseo, K R
n
um cone polidrico com
dimenso plena e seja F uma face prpria de K com dimenso n m. Se C R
mn
uma
matriz de posto cheio tal que
F = x K : Cx = 0,
ento qualquer desigualdade da forma
T
Cx 0, onde R
m
, se vlida para K, induz uma
face que contm F. Nesta subseo, estamos interessados em determinar que vetores so
tais que
T
Cx 0 induz uma faceta de K. Note que as desigualdades Cx 0 no precisam
ser vlidas para K.
Seja (L, R) uma partio de 1, . . . , n tal que C
L
seja inversvel. Vimos na subseo
anterior que o polar de K
F
uma face do polar de K. O lema seguinte fornece uma outra
descrio deste polar, com base na matriz C.
Lema 4.6. (K
F
)
=
_
K
:
T
R
=
T
L
(C
L
)
1
C
R
_
Demonstrao. Seja X R
n(nm)
uma matriz cujas colunas sejam linearmente independen-
tes e pertenam a F. Pelo Lema 4.3,
(K
F
)
=
_
K
:
T
X = 0
_
=
_
K
:
T
L
X
L
+
T
R
X
R
= 0
_
.
Temos duas armaes:
Armao 1. X
R
inversvel.
Demonstrao da Armao 1. Sabemos que X tem posto n m, pois as colunas de
X so linearmente independentes. Alm disso, CX = 0, ou seja, X
L
+ (C
L
)
1
C
R
X
R
= 0.
Temos X
L
= (C
L
)
1
C
R
X
R
. As linhas de X
L
so, portanto, uma combinao das linhas de
X
R
. A remoo destas linhas no altera o posto de X. Conclumos que X
R
tem posto nm
e inversvel.
Armao 2. X
L
X
1
R
= (C
L
)
1
C
R
.
Demonstrao da Armao 2. Sabemos que X
L
= (C
L
)
1
C
R
X
R
. Como X
R
inver-
svel, podemos multiplicar direita por X
1
R
ambos os lados deste sistema para obtermos a
identidade desejada.
Com estas duas armaes, podemos facilmente vericar que o lema vale, pois:
(K
F
)
=
_
K
:
T
L
X
L
+
T
R
X
R
= 0
_
=
_
K
:
T
L
X
L
X
1
R
+
T
R
X
R
X
1
R
= 0
_
=
_
K
:
T
R
=
T
L
(C
L
)
1
C
R
_
.
Exemplo 4.2 (continuao) Temos F = x K : Cx = 0, onde
C =
_
_
2 1 0
1 1 1
_
_.
Note que as desigualdades Cx 0 no so vlidas para K. O ponto (2, 0, 1), por exemplo,
no satisfaz estas desigualdades. Sejam L = 1, 2, R = 3. Pelo Lema 4.6, temos
(K
F
)
=
_
_
K
:
3
=
_
1

2
_
_
_
2 1
1 1
_
_
1
_
_
0
1
_
_
_
_
= K
:
3
=
1
+ 2
2
.
Logo, uma desigualdade
T
x 0 indutora de faceta de K induz uma faceta que contm
F se e somente se
3
=
1
+ 2
2
. As desigualdades (4.3) e (4.4), de fato, satisfazem esta
propriedade. A desigualdade x
1
+2x
3
0, que induz faceta de K, por outro lado, no satisfaz
(a) (b)
Figura 4.2: Exemplos de K
C
.
esta propriedade, e portanto no induz faceta que contm F.
Consideramos agora um outro cone, contido em um espao de dimenso apenas m, denido
como
K
C
:= Cx : x K.
Nesta subseo, provamos que o polar de K
C
isomrco ao polar de K
F
. Consequentemente,
assim como acontece com K
F
, existe uma forte relao entre as facetas de K
C
e as facetas
de K que contm F.
Exemplo 4.2 (continuao) Neste caso, temos
K
C
= cone
_
_
_
_
_
_
_
_
_
2 1 0
1 1 1
_
_
_
_
0 2 2 1 0
0 0 1 2 2
1 1 1 1 1
_
_
_
_
_
_
_
_
_
= cone
_
_
0 4 3 0 2
1 3 2 0 1
_
_.
A Figura 4.2(a) mostra uma representao grca deste cone.
Exemplo 4.7. Para ilustrar a diferena entre as complexidades dos cones K e K
C
, apresen-
tamos um exemplo numrico maior. Sejam
K = cone
_
_
0 0 1 2 0 1 2
2 2 2 0 1 0 1
0 1 1 2 2 2 2
0 2 1 1 2 0 2
0 1 0 1 2 2 1
1 2 1 2 1 0 1
_
_
, C =
_
_
2 0 5 0 4 2
0 1 0 1 0 1
0 1 0 1 0 3
_
_
.
Como F = x K : Cx = 0 uma face tridimensional de K, podemos determinar que
facetas de K contm F atravs do seguinte cone, que consideravelmente mais simples do
que K:
K
C
= cone
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
2 0 5 0 4 2
0 1 0 1 0 1
0 1 0 1 0 3
_
_
_
_
0 0 1 2 0 1 2
2 2 2 0 1 0 1
0 1 1 2 2 2 2
0 2 1 1 2 0 2
0 1 0 1 2 2 1
1 2 1 2 1 0 1
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
= cone
_
_
2 3 1 2
3 2 2 1
1 2 0 5
_
_
.
A Figura 4.2(b) mostra a interseo deste cone com o hiperplano x : x
2
= 1 .
O prximo lema mostra que o polar de K
C
exatamente o conjunto de vetores tais que
a desigualdade
T
Cx 0 vlida para K. Claramente, todas as desigualdades vlidas da
forma
T
Cx 0 induzem uma face de K que contm F.
Lema 4.8. (K
C
)
= R
m
:
T
Cx 0, x K.
Demonstrao. () Seja (K
C
)
e x K. Sabemos que Cx K
C
. Logo,
T
Cx 0.
() Seja R
m
tal que
T
Cx 0, x K, e seja k K
C
. Sabemos que existe x K
tal que Cx = k. Logo,
T
k =
T
Cx 0. Conclumos que (K
C
)
.
Alm disso, os polares de K
C
e K
F
so equivalentes, como mostra o lema seguinte. Em
particular, isso signica que toda desigualdade indutora de faceta de K que contm F pode
ser representada como um combinao das desigualdades Cx 0.
Lema 4.9. (K
C
)

= (K
F
)
.
Demonstrao. () Tome y (K
C
)
e faa
T
:= y
T
C. Pelo Lema 4.8, sabemos que
T
x = y
T
Cx 0, x K.
Logo K
. Alm disso,
T
R
= y
T
C
R
= y
T
C
L
(C
L
)
1
C
R
=
T
L
(C
L
)
1
C
R
.
Conclumos, por consequncia do Lema 4.6, que (K
F
)
.
() Tome (K
F
)
e faa y
T
:=
T
L
(C
L
)
1
. Temos, para todo x K,
y
T
Cx = y
T
C
L
x
L
+y
T
C
R
x
R
=
T
L
(C
L
)
1
C
L
x
L
+
T
L
(C
L
)
1
C
R
x
R
=
T
L
x
L
+
T
R
x
R
0,
onde a ltima igualdade segue do Lema 4.6. Logo, por consequncia do Lema 4.8, y (K
C
)
.
Como consequncia dos dois lemas anteriores, temos o seguinte teorema, que mostra como
transformar uma faceta de K
C
em uma faceta de K que contm F, e tambm o contrrio.
Teorema 4.10. Se
T
x 0 induz faceta de K que contm F, ento
T
L
(C
L
)
1
x 0 induz
faceta de K
C
. Se
T
C
, ento
T
Cx 0 induz faceta de K que
contm F.
Demonstrao. Se
T
x 0 induz faceta de K que contm F, ento, pelo Teorema 4.5,
sabemos que
T
F
. Pelo isomorsmo apresentado no Lema 4.9,
conclumos que
T
(C
L
)
1
y 0 induz faceta de K
C
.
Por outro lado, se y
T
C
, ento, pelo isomorsmo apresentado no
Lema 4.9, a desigualdade y
T
Cx 0 induz faceta de K
F
. Pelo Teorema 4.5, conclumos que
a faceta induzida por y
T
Cx 0 contm a face F.
Exemplo 4.2 (continuao) Pela Figura 4.2(a), podemos ver que as duas facetas de K
C
_
_
1 2
2 3
_
_x 0.
Logo, pelo Teorema 4.10, as duas facetas de K que contm F so induzidas pelas desigual-
dades
_
_
1 2
2 3
_
_
_
_
2 1 0
1 1 1
_
_x =
_
_
0 1 2
1 1 3
_
_x 0.
Exemplo 4.7 (continuao) Pela Figura 4.2(b), podemos ver que as quatro facetas de K
C
_
_
8 11 1
2 1 7
4 1 5
2 1 1
_
_
x 0.
Logo, pelo Teorema 4.10, todas as seguintes desigualdades induzem faceta de K:
_
_
8 11 1
2 1 7
4 1 5
2 1 1
_
_
_
_
2 0 5 0 4 2
0 1 0 1 0 1
0 1 0 1 0 3
_
_
x =
_
_
8 5 20 6 16 1
2 4 5 3 4 8
4 2 10 3 8 4
2 1 5 0 4 1
_
_
x 0.
4.1.3 Faces de dimenso dim(K) 2
Consideramos agora o caso particular em que F possui dimenso dim(K) 2. Neste caso,
sabemos que F est contido em exatamente duas facetas de K. Estamos interessados em
determinar quais so estas facetas. Estudamos este caso particular porque, como veremos,
ele estende para cones em geral o procedimento de levantamento sequencial de variveis.
Ao longo desta subseo, sejam K R
n
um cone polidrico (no necessariamente com
dimenso plena), S K um conjunto nito tal que cone(S) = K, e F uma face de K com
dimenso dim(K) 2. Seja tambm C R
2n
uma matriz de posto cheio, com linhas C
1
, C
2
,
tal que
F = x K : Cx = 0.
Considere tambm os conjuntos S
<
= x S : C
2
x < 0, S
>
= x S : C
2
x > 0. Pelos
resultados da subseo anterior, sabemos que as desigualdades que induzem facetas de K que
contm F so da forma
1
C
1
x +
2
C
2
x 0.
Os dois teoremas seguintes nos mostram como calcular os coecientes
1
,
2
quando um
dos hiperplanos x : C
1
x = 0, x : C
2
x = 0 no corta o interior de K. Neste caso, podemos
supor, sem perda de generalidade, que C
2
x 0 vlida para K. O segundo teorema teve
a sua demonstrao omitida, j que podemos obt-lo a partir do primeiro se substituirmos
C
1
x = 0 por C
1
x = 0 na denio de F.
Teorema 4.11. Suponha que a desigualdade C
2
x 0 seja vlida para S. Se existe x S tal
que C
1
x > 0, C
2
x = 0, ento C
2
x 0 induz faceta de K. Se no existe, ento a desigualdade
C
1
x C
2
x 0 (4.5)
induz faceta de K, onde
= min
_
C
1
x
C
2
x
: x S
<
_
.
Demonstrao. Seja
_
x
1
, . . . , x
d
_
F um conjunto de dim(K) 2 pontos linearmente inde-
pendentes. Suponha que exista x S tal que C
1
x > 0, C
2
x = 0. Como x KF, o conjunto
_
x
1
, . . . , x
d
, x
_
K possui dim(K) 1 pontos linearmente independentes que satisfazem a
desigualdade vlida C
2
x 0 na igualdade. Conclumos que C
2
x 0 induz faceta de K.
Suponha agora que no exista x S tal que C
1
x > 0, C
2
x = 0. Tome x S. Se
C
2
x = 0, temos C
1
x C
2
x = C
1
x 0. Se C
2
x < 0, ento
C
1
x
C
2
x
C
1
x C
2
x 0. A
desigualdade (4.5), portanto, vlida para S, e, consequentemente, tambm vlida para K.
Seja x
S
<
tal que =
C
1
x
C
2
x
. No difcil vericar que o conjunto

_
x
1
, . . . , x
d
, x
_
K
contm dim(K) 1 pontos linearmente independentes que satisfazem (4.5) na igualdade.
Conclumos que (4.5) induz faceta de K.
Figura 4.3: Aplicao dos Teoremas 4.11 e 4.12.
2
x 0 seja vlida para S. Se existe x S tal
que C
1
x < 0, C
2
x = 0, ento C
2
x 0 induz faceta de K. Se no existe, ento a desigualdade
C
1
x +C
2
x 0
induz faceta de K, onde
= max
_
C
1
x
C
2
x
: x S
<
_
.
Exemplo 4.13. Sejam
S =
_
_
0 2 2 1 0
0 0 1 2 2
1 1 1 1 1
_
_
, C =
_
_
1 0 1
1 1 3
_
_.
Note que a desigualdade C
2
x 0 vlida para K. Temos
K
C
= cone(CS) = cone
_
_
_
_
_
_
_
_
_
1 0 1
1 1 3
_
_
_
_
0 2 2 1 0
0 0 1 2 2
1 1 1 1 1
_
_
_
_
_
_
_
_
_
= cone
_
_
1 1 1 0 1
3 1 0 0 1
_
_.
A Figura 4.3 mostra o cone K
C
, como denido na subseo anterior. Como existe x S
tal que C
1
x > 0, C
2
x = 0, ento, pelo Teorema 4.11, uma das desigualdades que induz
faceta de K que contm F x
1
+ x
2
+ 3x
3
0. Pelo Teorema 4.12, a outra desigualdade
(x
1
+x
3
) +(x
1
+x
2
+ 3x
3
) 0, onde
= max
_
1
3
,
1
1
,
1
1
_
= 1.
Ou seja, x
2
+ 2x
3
0.
Quando uma das desigualdades induz faceta de K, os teoremas podem ser simplicados.
Corolrio 4.14. Se C
2
x 0 induz faceta de K, e C
1
x 0 induz faceta de x K : C
2
x =
0, ento a desigualdade C
1
x C
2
x 0 induz faceta de K, onde
= min
_
C
1
x
C
2
x
: x S
<
_
.
Corolrio 4.15. Se C
2
x 0 induz faceta de K, e C
1
x 0 induz faceta de x K : C
2
x =
0, ento a desigualdade C
1
x +C
2
x 0 induz faceta de K, onde
= max
_
C
1
x
C
2
x
: x S
<
_
.
Restringindo ainda mais os corolrios anteriores, obtemos uma verso para cones do
levantamento sequencial de variveis [42].
Corolrio 4.16. Seja S B
n
um conjunto nito e S
0
= x S : x
1
= 0. Se cone(S
0
)
faceta de cone(S) e

n
j=2
j
x
j
0 induz faceta de cone(S
0
), ento

n
j=2
j
x
j
x
1
0
induz faceta de cone(S), onde
= max
_
_
_
n
j=2
j
x
j
: x S, x
1
= 1
_
_
_
.
Demonstrao. A desigualdade x
1
0 induz faceta de cone(S), e a desigualdade
n
j=2
j
x
j
0
induz faceta de x cone(S) : x
1
= 0. Pelo Corolrio 4.14, a desigualdade
n
j=2
j
x
j

(x
1
) 0
induz faceta de cone(S), onde
= min
_
n
j=2
j
x
j
x
1
: x S, x
1
< 0
_
= max
_
_
_
n
j=2
j
x
j
: x S, x
1
= 1
_
_
_
= .
Quando os hiperplanos x : C
1
x = 0, x : C
2
x = 0 cortam o interior de K, podemos
supor, sem perda de generalidade, que no existe x K tal que C
1
x > 0 e C
2
x > 0. O
seguinte teorema mostra como calcular os coecientes
1
,
2
, neste caso.
Teorema 4.17. Se as desigualdades C
1
x 0, C
2
x 0 no so vlidas para S, e no existe
x K tal que C
1
x > 0, C
2
x > 0, ento as desigualdades
C
1
x
1
C
2
x 0 (4.6)
2
C
1
x +C
2
x 0 (4.7)
induzem facetas de K, onde
1
= max
_
C
1
x
C
2
x
: x S, C
2
x > 0
_
,
2
= max
_
C
2
x
C
1
x
: x S, C
1
x > 0
_
.
Demonstrao. suciente demonstrar que (4.6) induz faceta de K, j que o outro resultado
pode ser obtido permutando-se as duas linhas de C. Temos duas armaes:
Armao 1.
1
< 0.
Demonstrao da Armao 1. Como C
1
x 0 para todo x S
>
, ento
1
0. Suponha,
por contradio, que
1
= 0. Existe x
1
S
>
tal que C
1
x
1
= 0. Alm disso, como C
1
x 0 no
desigualdade vlida, existe x
2
K tal que C
1
x
2
> 0. Sabemos que C
2
x
2
0. Se C
2
x
2
= 0,
faa x
3
=
1
2
x
1
+
1
2
x
2
. Se C
2
x
2
< 0, faa =
C
2
x
1
C
2
x
2
, x
3
=
2
3
x
1
+
1
3
x
2
. Em ambos os ca-
sos, temos C
1
x
3
> 0, C
2
x
3
> 0, o que contradiz uma das premissas do teorema. Logo,
1
< 0.
Armao 2. C
1
x
1
C
2
x 0 uma desigualdade vlida para K.
Demonstrao da Armao 2. Tome x
1
S. Temos trs possveis casos. Se C
1
x
1
0, C
2
x
1
0, ento, pela Armao 1,
C
1
x
1
1
C
2
x
1
C
1
x
1
0.
Se C
1
x
1
0, C
2
x
1
> 0, ento, pela denio de
1
,
1

C
1
x
1
C
2
x
1
C
1
x
1
1
C
2
x
1
0.
Finalmente, suponha C
1
x
1
> 0, C
2
x
1
0. Suponha tambm, por contradio, que
C
1
x
1
1
C
2
x
1
> 0.
Tome x
2
S
>
tal que
1
=
C
1
x
2
C
2
x
2
. Note que, pela Armao 1, C
1
x
2
< 0. Se C
2
x
1
= 0, faa
=
C
1
x
1
C
1
x
2
, x
3
=
2
3
x
1
+
1
3
x
2
. Se C
2
x
1
< 0, faa
1
=
C
1
x
1
C
1
x
2
,
2
=
C
2
x
1
C
2
x
2
, =
1
2
1
+
1
2
2
, x
3
=
1
2
x
1
+
1
2
x
2
. Em ambos os casos, temos C
1
x
3
> 0, C
2
x
3
> 0, o que contradiz uma das premis-
sas do teorema. Conclumos que C
1
x
1
1
C
2
x
1
0 para todo x
1
S. Como todo x K
uma combinao cnica de pontos de S, podemos facilmente vericar que C
1
x
1
C
2
x 0
desigualdade vlida para K.
Pela Armao 2, sabemos que (4.6) desigualdade vlida para K. Seja
_
x
1
, . . . , x
d
_
F
um conjunto de dim(K) 2 pontos linearmente independentes. Tome x
S
>
tal que
1
=
C
1
x
C
2
x
. O conjunto
_
x
1
, . . . , x
d
, x
_
possui dim(K) 1 pontos linearmente independentes
que satisfazem a desigualdade (4.6) na igualdade. Conclumos que (4.6) induz faceta de
K.
Figura 4.4: Aplicao do Teorema 4.17
Exemplo 4.13 (continuao) Faa agora
C =
_
_
2 1 0
1 1 1
_
_.
Este exemplo foi obtido a partir do Exemplo 4.2 multiplicando-se a segunda linha da matriz
C por 1, para que nenhum x K fosse tal que C
1
x > 0, C
2
x > 0. Note que as duas
desigualdades cortam o interior de K. Temos
K
C
= cone(CS) = cone
_
_
_
_
_
_
_
_
_
0 2 2 1 0
0 0 1 2 2
1 1 1 1 1
_
_
_
_
2 1 0
1 1 1
_
_
_
_
_
_
_
_
_
= cone
_
_
0 4 3 0 2
1 3 2 0 1
_
_.
A Figura 4.4 mostra esse cone. Os coecientes calculados no Teorema 4.17 so
1
= max
_
2
1
_
= 2
2
= max
_
3
4
,
2
3
_
=
2
3
Logo, as duas desigualdades que induzem facetas de K que contm F so
(2x
1
x
2
) (2)(x
1
+x
2
+x
3
) = x
2
+ 2x
3
0
2
3
(2x
1
x
2
) + (x
1
+x
2
+x
3
) =
1
3
x
1
+
1
3
x
2
+x
3
0
4.2 Verso para poliedros
Estendemos agora os resultados da seo anterior para poliedros em geral. Antes, fazemos
uma breve reviso da tcnica conhecida por homogenizao.
4.2.1 Homogenizao
Dado um poliedro no vazio P = x R
n
: Ax b, podemos associar a P um cone
polidrico
hog(P) =
_
_
(x, z) R
n+1
:
Ax +bz 0
z 0
_
_
obtido atravs da homogenizao das desigualdades que denem P. Existem fortes relaes
entre as propriedades do cone hog(P) e as propriedades do poliedro P, o que nos permite
estender para poliedros em geral resultados obtidos para cones. Nesta subseo, revisamos
aquelas relaes que utilizamos nas subsees seguintes. Estamos particularmente interessa-
dos na correspondncia entre as desigualdades que induzem facetas de hog(P) e as desigual-
dades que induzem facetas de P. Para uma abordagem mais geral desta tcnica, veja [40,
Captulo 2, Seo 11] ou [4, Seo 6].
Exemplo 4.18. A Figura 4.5(a) mostra a homogenizao do poliedro
P =
_
_
x R :
x 1
x 2
_
_
,
enquanto a Figura 4.5(b) mostra a homogenizao do poliedro
P =
_
x R :
x 1
_
.
4.2. VERSO PARA POLIEDROS 53
(a) (b)
Figura 4.5: Exemplos de homogenizao.
Ao longo desta subseo, seja P um poliedro no vazio.
A proposio seguinte mostra que podemos facilmente converter desigualdades vlidas de
P em desigualdades vlidas de hog(P), e tambm o contrrio.
Proposio 4.19. A desigualdade
T
x
0
vlida para P se e somente se a desigualdade
T
x +
0
z 0 vlida para hog(P).
Demonstrao. () Pelo lema de Farkas, existe y R
m
+
tal que y
T
A =
T
, y
T
b
0
. Seja
(x, z) hog(P). Temos
T
x +
0
z = y
T
Ax +
0
z y
T
(Ax +bz) 0.
() Seja x P. Como (x, 1) hog(P), temos
T
x +
0
(1) 0.
Estudamos agora a relao entre as faces de P e de hog(P).
Proposio 4.20. Se F = x P : Cx = d no vazio, ento
hog(F) = (x, z) hog(P) : Cx +dz = 0 .
Demonstrao. Temos
hog(F) = hog
_
_
x R
n
:
Ax b
Cx d
Cx d
_
_
=
_
_
(x, z) R
n+1
:
Ax +bz 0
Cx +dz 0
Cx dz 0
z 0
_
_
= (x, z) hog(P) : Cx +dz = 0
A proposio seguinte mostra que a dimenso de hog(P) sempre uma unidade maior
que a dimenso que P. Em particular, se P tem dimenso plena, ento hog(P) tambm tem
dimenso plena.
Proposio 4.21. dim(hog(P)) = dim(P) + 1.
Demonstrao. () Seja
_
x
1
, . . . , x
d+1
_
P um conjunto de dim(P)+1 pontos am indepen-
dentes. O conjunto
_
(x
1
, 1), . . . , (x
d+1
, 1)
_
est contido em hog(P) e contm dim(P) + 1
pontos linearmente independentes. Logo, dim(hog(P)) dim(P) + 1.
() Suponha P x R
n
: Cx = d, onde C R
mn
uma matriz de posto ndim(P),
e d R
m
. Temos
hog(P) (x, z) R
n+1
: Cx +dz = 0.
Como P no vazio, o sistema Cx = d tem soluo, e portanto,
posto(C, d) = posto(C) = n dim(P) = (n + 1) (dim(P) + 1).
Logo, dim(hog(P)) dim(P) + 1.
Proposio 4.22. Se F uma face no vazia de P, ento hog(F) uma face de hog(P).
Demonstrao. Seja
T
x
0
uma desigualdade vlida para P tal que
F = x P :
T
x =
0
.
Pela Proposio 4.20, temos
hog(F) = x hog(P) :
T
x +
0
z = 0.
Pela Proposio 4.19, a desigualdade
T
x +
0
z 0 vlida para hog(P). Logo, hog(F)
face de hog(P).
A correspondncia entre as k-faces de P e as (k +1)-faces de hog(P) no to direta. No
exemplo da Figura 4.5(b), hog(P) possui duas facetas, enquanto P possui apenas uma. Como
mostra a proposio seguinte, apenas as (k + 1)-faces de hog(P) que no esto contidas em
(x, z) : z = 0 possuem uma k-face correspondente em P. Por outro lado, todas as k-faces
de P possuem uma (k + 1)-face correspondente em hog(P).
Proposio 4.23. A desigualdade
T
x
0
induz uma k-face no vazia de P se, e somente
se, a desigualdade
T
x +
0
z 0 induz uma (k +1)-face de hog(P) que no est contida em
(x, z) : z = 0.
Demonstrao. () Suponha que F = x P :
T
x =
0
seja k-face no vazia de P.
Pela Proposio 4.20, hog(F) =
_
(x, z) hog(P) :
T
x +
0
z = 0
_
. Pela Proposio 4.19, a
desigualdade
T
x+
0
z 0 vlida para hog(P). Logo, hog(F) uma face de hog(P). Pela
Proposio 4.21, dim(hog(F)) = dim(F) +1 = k +1. Tome x F. O ponto ( x, 1) pertence
a hog(F). Logo, hog(F) no est contida em (x, z) : z = 0.
() Suponha que a desigualdade
T
x +
0
z 0 induza uma (k + 1)-face de hog(P) que
no esteja contida em (x, z) : z = 0. Seja F = x P :
T
x =
0
. Pela Proposio 4.19,
a desigualdade
T
x
0
vlida para P. Logo, F face de P. Tome ( x, z) hog(P) tal que
T
x +
0
z = 0 e z < 0. O ponto
_
x
z
_
pertence a F. Logo, F no vazio. Pela Proposio
4.20, hog(F) =
_
(x, z) hog(P) :
T
x +
0
z = 0
_
. Por hiptese, dim(hog(F)) = k+1. Logo,
pela Proposio 4.21, dim(F) = k.
Quando P tem dimenso plena, e estamos interessados apenas nas desigualdades que
induzem facetas dos dois poliedros, podemos simplicar o teorema anterior.
Corolrio 4.24. Suponha que P tenha dimenso plena. A desigualdade
T
x
0
induz
faceta de P se e somente se ,= 0 e
T
x +
0
z 0 induz faceta de hog(P).
Demonstrao. () Suponha que F = x P :
T
x =
0
seja faceta de P. Suponha, por
absurdo, que = 0. Se
0
= 0, ento F = P. Se
0
,= 0, ento F = . Ambos os casos
contradizem a premissa de que F faceta de P. Logo, ,= 0. Como F no vazio, segue da
Proposio 4.23 que
T
x +
0
() Suponha que ,= 0 e que F
= (x, z) hog(P) :
T
x +
0
z = 0 seja faceta de
hog(P). Como dim(P) = n, existem n pontos linearmente independentes (x
1
, z
1
), . . . , (x
n
, z
n
)
em F
. Suponha, por absurdo, que z

p
= 0, para todo p 1, . . . , n. Logo, x
1
, . . . , x
n
um
conjunto de pontos linearmente independentes, e a nica soluo do sistema
T
x
i
= 0, i =
1, . . . , n, = 0, o que contradiz uma das nossas premissas. Logo, existe p 1, . . . , n tal
que z
p
< 0. A face F
, portanto, no est contida em (x, z) : z = 0. Pela proposio 4.23,
T
x
0
induz faceta de P.
Quando P um politopo, o Teorema 4.23 se torna ainda mais simples, j que existe uma
correspondncia perfeita entre as facetas de P e as facetas hog(P).
Corolrio 4.25. Suponha que P seja um politopo com dimenso maior que zero. A de-
sigualdade
T
x
0
induz faceta de P se e somente se
T
x +
0
z 0 induz faceta de
hog(P).
Demonstrao. () Se F = x P :
T
x =
0
for faceta de P, ento F no vazio, e pela
Proposio 4.23,
T
x +
0
() Suponha que F
= (x, z) hog(P) :
T
x +
0
z = 0 seja faceta de hog(P). Pela
Proposio 4.21, hog(P) tem dimenso maior que 1. Logo, F
tem dimenso maior que zero,

e contm um ponto ( x, z) que no a origem. Suponha, por absurdo, que z = 0. Como
( x, z) hog(P), A x 0. Ou seja, x direo de recesso de P, o que contradiz o fato de
P ser um politopo. Logo, z < 0. A face F
, portanto, no est contida em (x, z) : z = 0.

Pela proposio 4.23,
T
x
0
induz faceta de P.
Finalmente, descrevemos hog(P) a partir de uma representao interna de P. Note que
o polar (hog(P))
igual ao cone P
, mencionado na introduo. Este cone composto por

todos os vetores (,
0
) tais que a desigualdade
T
x
0
vlida para P.
Proposio 4.26 ([40]). Se P = conv(S) + cone(R), ento
(hog(P))
=
_
_
(,
0
) R
n+1
:

T
s
0
0, s S
T
r 0, r R
_
_
,
hog(P) = cone((S 1) (R 0)).
Demonstrao. Pela Proposio 4.19, sabemos que
(hog(P))
= (,
0
) R
n+1
:
T
x
0
, x P.
Como P um poliedro,
(hog(P))
=
_
_
(,
0
) R
n+1
:

T
s
0
0, s S
T
r 0, r R
_
_
.
Como (K
= K e K
= cone(M
T
), para todo cone polidrico K = x : Mx 0, temos
hog(P) = cone((S 1) (R 0)).
4.2.2 Representao externa
Estendemos agora os resultados apresentados na Subseo 4.1.2 para poliedros em geral. Ao
longo desta subseo, sejam P um poliedro com dimenso plena e F P uma face prpria
de P com dimenso nm, sejam C R
mn
uma matriz com posto cheio e d R
m
um vetor
tais que
F = x P : Cx = d,
e seja tambm (L, R) uma partio de 1, . . . , n tal que C
L
seja inversvel. Estamos inte-
ressados em determinar os vetores para os quais a desigualdade
T
Cx
T
d induz uma
faceta de P.
Seja H = hog(P). Pela Proposio 4.20, sabemos que
hog(F) = x H : Cx +dz = 0.
Pela Proposio 4.22, hog(F) face de hog(P). Alm disso, pela Proposio 4.21, sabemos
que H tem dimenso plena, e que dim(hog(F)) = dim(H) m. A matriz (C, d) tem posto
cheio, pois C tem posto cheio. Logo, podemos utilizar os resultados da Subseo 4.1.2 para
converter faces de hog(F) em faces de H.
Naquela subseo, estudamos o cone H
C,d
= Cx + dz : (x, z) H. Nesta subseo,
consideramos o fecho cnico
P
C,d
= coneCx d : x P.
Como mostra o lema seguinte, os dois conjuntos so iguais.
Lema 4.27. P
C,d
= H
C,d
.
Demonstrao. () Tome k P
C,d
. Existem x P, R
+
tais que k = (Cxd). Sabemos
que (x, 1) H. Como H um cone, (x, ) H. Temos
H
C,d
C(x) +d() = Cx d = (Cx d) = k.
() Tome k H
C,d
. Existe (x, z) H tal que k = Cx +dz. Temos dois casos. Se z < 0,
ento
1
z
x P. Logo,
P
C,d
C
_
1
z
x
_
d =
1
z
Cx d.
Como P
C,d
um cone, e como z R
+
,
P
C,d
z
_
1
z
Cx d
_
= Cx +zd = k.
Suponha agora que z = 0, e tome x
F. Como Ax 0, sabemos que x +x
P. Temos
P
C,d
C(x +x
) d = (Cx
d) +Cx = Cx = Cx +dz = k.
Exemplo 4.28. Sejam
P = conv
_
_
0 2 2 1 0
0 0 1 2 2
_
_, C =
_
_
2 1
1 1
_
_, d =
_
_
0
1
_
_.
O cone
P
C,d
= cone
_
_
0 4 3 0 2
1 3 2 0 1
_
_
exatamente igual ao cone K
C
do Exemplo 4.2.
A proposio seguinte nos fornece uma descrio do polar de P
C,d
. Assim como antes,
este polar exatamente o conjunto de vetores tais que
T
Cx
T
d desigualdade vlida
para P.
Proposio 4.29. (P
C,d
)
= R
m
:
T
(Cx d) 0, x P.
Demonstrao. () Tome (P
C,d
)
, x P. Como Cx d P
C,d
, temos
T
(Cx d) 0.
() Seja R
m
tal que
T
(Cx d) 0 para todo x P. Tome k P
C,d
. Existe x
P, R
+
tais que k = (Cx d). Temos,
T
k =
T
(Cx d) 0. Logo,
T
(P
C,d
)
.
Utilizando os resultados da Subseo 4.1.2 e as proposies de homogenizao, podemos
enunciar o seguinte teorema.
Teorema 4.30. Se
T
x
0
induz faceta de P que contm F, ento
T
L
(C
L
)
1
x 0 induz
faceta de P
C,d
. Se
T
x 0 induz faceta de P
C,d
, ento
T
Cx
T
d induz faceta de P que
contm F.
Demonstrao. Suponha que
T
x
0
induza faceta de P que contenha F. Pelo Corolrio
4.24,
T
x +
0
z 0 induz faceta de H. Pela Proposio 4.20,
T
x +
0
z = 0, para todo
(x, z) hog(F). Logo, pelo Teorema 4.10,
T
L
(C
L
)
1
x 0 induz faceta de H
C,d
. Conclumos,
pelo Lema 4.27, que
T
L
(C
L
)
1
x 0 induz faceta de P
C,d
.
Por outro lado, suponha que
T
x 0 induza faceta de P
C,d
. Pelo Lema 4.27,
T
x 0
induz faceta de H
C,d
. Pelo Teorema 4.10,
T
Cx +
T
dz 0 induz faceta de H. Como ,= 0
e C tem posto-linha cheio, ento
T
C ,= 0. Pelo Corolrio 4.24,
T
Cx
T
d induz faceta
de P. Alm disso, como Cx = d para todo x F, ento
T
Cx =
T
d para todo x F.
Conclumos que
T
Cx
T
d induz faceta de P que contm F.
4.2.3 Faces de dimenso dim(P) 2
Estendemos agora os resultados apresentados na Subseo 4.1.3 para politopos em geral. Ao
longo desta subseo, sejam S R
n
um conjunto nito, P = conv(S) o fecho convexo de S,
e F P uma face no vazia de P com dimenso dim(P) 2. Sejam C R
2n
uma matriz
com posto cheio e d R
2
tais que
F =
_
x P : Cx = d
_
.
Considere tambm os conjuntos S
<
= x S : C
2
x < d
2
, S
>
= x S : C
2
x > d
2
.
Os teoremas a seguir podem ser facilmente obtidos a partir dos resultados da Subseo
4.1.3 e dos teoremas de homogenizao.
2
x d
2
seja vlida para S. Se existe x S
tal que C
1
x > d
1
, C
2
x = d
2
, ento C
2
x d
2
induz faceta de P. Se no existe, ento a
desigualdade
(C
1
x d
1
) (C
2
x d
2
) 0 (4.8)
induz faceta de P, onde
= min
_
C
1
x d
1
C
2
x d
2
: x S
<
_
.
Demonstrao. Sejam H = hog(P), S
= (S 1). Sabemos, pela Proposio 4.26, que

H = cone(S
), e pela Proposio 4.22, que hog(F) face de hog(P). Pela Proposio 4.21,
dim(hog(F)) = dim(H) 2. Pela Proposio 4.20,
hog(F) = (x, z) H : Cx +dz = 0.
Como C tem posto 2, a matriz (C, d) tambm tem posto 2. O cone H, a face hog(F) e a
matriz (C, d) satisfazem, portanto, todas as condies da Subseo 4.1.3. Seja
S
<
= (x, z) S
: C
2
x +d
2
z < 0.
Temos dois possveis casos.
(Caso 1) Suponha que exista x S tal que C
1
x > d
1
, C
2
x = d
2
. O ponto ( x, 1) pertence
a S
e satisfaz C
1
x +d
1
(1) > 0, C
2
x +d
2
(1) = 0. Logo, pelo Teorema 4.11, C
2
x +d
2
z 0
induz faceta de H. Pelo Corolrio 4.25, C
2
x d
2
induz faceta de P.
(Caso 2) Suponha agora que no exista x S tal que C
1
x > d
1
, C
2
x = d
2
. Ento tambm
no existe ( x, z) S
tal que C
1
x+d
1
z > 0, C
2
x+d
2
z = 0. Pelo Teorema 4.11, a desigualdade
(C
1
x +d
1
z) (C
2
x +d
2
z) 0
induz faceta de H, onde
= min
_
C
1
x +d
1
z
C
2
x +d
2
z
: (x, z) S
<
_
= min
_
C
1
x d
1
C
2
x d
2
: x S
<
_
.
Pelo Corolrio 4.25, conclumos que a desigualdade
(C
1
x d
1
) (C
2
x d
2
) 0
induz faceta de P.
As demonstraes dos demais teoremas so bastante semelhantes demonstrao do
teorema anterior, e sero omitidas. Apresentamos apenas os enunciados dos teoremas.
2
x d
2
seja vlida para S. Se existe x S
tal que C
1
x < d
1
, C
2
x = d
2
, ento C
2
x d
2
induz faceta de P. Se no existe, ento a
desigualdade
(C
1
x d
1
) +(C
2
x d
2
) 0
= max
_
C
1
x d
1
C
2
x d
2
: x S
<
_
.
Corolrio 4.33. Se C
2
x d
2
induz faceta de P, e C
1
x d
1
induz faceta de x P : C
2
x =
d
2
, ento a desigualdade
(C
1
x d
1
) (C
2
x d
2
) 0 (4.9)
= min
_
C
1
x d
1
C
2
x d
2
: x S
<
_
.
Corolrio 4.34. Se C
2
x d
2
induz faceta de P, e C
1
x d
1
induz faceta de x P : C
2
x =
d
2
, ento a desigualdade
(C
1
x d
1
) +(C
2
x d
2
) 0
= max
_
C
1
x d
1
C
2
x d
2
: x S
<
_
.
Corolrio 4.35. Seja S B
n
um conjunto nito e S
0
= x S : x
1
= 0. Se conv(S
0
)
faceta de conv(S) e

n
j=2
j
x
j

0
induz faceta de conv(S
0
), ento

n
j=2
j
x
j
x
1

0
induz faceta de conv(S), onde
= max
_
_
_
n
j=2
j
x
j

0
: x S, x
1
= 1
_
_
_
.
Teorema 4.36. Se C
1
x d
1
, C
2
x d
2
no so vlidas para S, e no existe x P tal que
C
1
x > d
1
, C
2
x > d
2
, ento as desigualdades
(C
1
x d
1
)
1
(C
2
x d
2
) 0
2
(C
1
x d
1
) + (C
2
x d
2
) 0
induzem facetas de P, onde
1
= max
_
C
1
x d
1
C
2
x d
2
: x S, C
2
x > d
2
_
,
2
= max
_
C
2
x d
2
C
1
x d
1
: x S, C
1
x > d
1
_
.
5 Politopo de Conjunto Independente
O politopo de conjunto independente de um grafo simples G, denotado por STAB(G) ,
a envoltria convexa dos vetores de incidncia de todos os conjuntos independentes de G.
STAB(G) := conv
_
x B
V (G)
: x
u
+x
v
1, u, v E(G)
_
.
O problema do maior conjunto independente, denotado por MSS, consiste em encontrar
um conjunto independente de cardinalidade mxima em um grafo de entrada.
MSS(G) := max
_
_
_
vV (G)
x
v
: x STAB(G)
_
_
_
O problema do maior conjunto independente possui aplicaes em diversas reas, como
Viso Computacional, Casamento de Padres e Biologia Molecular [10], e modela outros
importantes problemas de otimizao combinatria, como empacotamento e partio de con-
juntos [36], e tambm colorao de vrtices [19]. Por conta disto, ele tem sido bastante
estudado e possui uma vasta literatura. Para uma viso geral de suas propriedades, aplica-
es, e algoritmos, veja [37], [10] e [28].
O politopo de conjunto independente tambm tem sido bastante estudado, no somente
para o desenvolvimento de algoritmos polidricos para o problema do maior conjunto inde-
pendente, mas tambm por outros motivos. Liptk & Lszl [33] argumentam, por exemplo,
que facetas de STAB generalizam o conceito de -criticalidade em grafos. Atamturk et al. [2]
utilizam desigualdades vlidas de STAB para acelerar a resoluo de problemas de progra-
mao inteira em geral, e Borndrfer & Weismantel [12] mostram que vrios resultados sobre
STAB podem ser transferidos para politopos associados a outros problemas de otimizao
63
64 CAPTULO 5. POLITOPO DE CONJUNTO INDEPENDENTE
(a) Clique. (b) Buraco mpar. (c) Antiweb. (d) Wheel.
Figura 5.1: Alguns subgrafos que geram facetas de STAB.
combinatria.
Dando incio ao estudo do politopo de conjunto independente, Padberg [36] identicou
as primeiras classes de desigualdades que induzem facetas de STAB. Nemhauser & Trotter
[34] demonstraram que, se H um subgrafo induzido de G, ento desigualdades que indu-
zem facetas de STAB(H) podem ser convertidas em desigualdades que induzem facetas de
STAB(G). Muitos subgrafos do origem a desigualdades interessantes. Alguns exemplos
so cliques, buracos mpares e wheels [36], anti-buracos mpares [34], webs e anti-webs [41],
wheels subdivididas [8], antiweb-wheels [16], ciclos de ciclos [12], grilles [21] e fans [22]. A
Figura 5.1 ilustra alguns destes subgrafos.
Tambm foram descritos, desde ento, procedimentos para gerar facetas de STAB(G) a
partir de facetas de STAB(H) quando H obtido a partir de G atravs de outras operaes
elementares, como subdiviso de arestas [43], subdiviso de estrelas [8], substituio de vr-
tices por estrelas [22], substituio de vrtices por gril les [25]. A Figura 5.2 ilustra algumas
destas operaes.
Neste captulo, ns apresentamos um novo procedimento que unica e generaliza vrios
dos procedimentos anteriores, incluindo subdiviso de arestas, subdiviso de estrelas e subs-
tituio de vrtices por estrelas. Alm de gerar diversas classes de desigualdades indutoras
de facetas j conhecidas, como desigualdades de buracos, webs e wheels subdivididas, esse
procedimento tambm gera novas classes de desigualdades indutoras de facetas que ainda
no foram descritas na literatura.
Para obtermos esse procedimento, utilizamos as tcnicas apresentadas nos Captulos 3 e 4.
65
(a) Diviso de aresta. (b) Diviso de estrela. (c) Substituio de vrtice por
estrela.
Figura 5.2: Alguns procedimentos que geram facetas de STAB.
Primeiro, identicamos faces de STAB(G) que so am-isomrcas a politopos de conjunto
independente de grafos mais simples do que G, obtidos a partir de G atravs da contrao das
parties de certos grafos induzidos k-partidos. Em seguida, convertemos as facetas destas
faces em facetas de STAB(G).
Este captulo est organizado da seguinte forma. Na Seo 5.1, identicamos algumas
classes de faces de STAB que so isomrcas a politopos de conjunto independente de grafos
mais simples. Uma destas classes d origem ao procedimento de gerao de facetas descrito
por Nemhauser & Trotter [34]. Na Seo 5.2, identicamos uma outra classe de faces, e
apresentamos o novo procedimento de gerao de facetas. Para denirmos precisamente
esta classe de faces, introduzimos, na Subseo 5.2.1, uma nova classe de hipergrafos, que
chamamos de hiperrvores fortes, e estudamos algumas de suas propriedades. Finalmente,
na Seo 5.3, consideramos o caso particular do procedimento quando o subgrafo induzido
escolhido bipartido.
5.1 Fixao de variveis
Nesta seo, identicamos algumas classes de faces de STAB que so isomrcas a politopos
de conjunto independente de grafos mais simples. Apesar de alguns resultados aqui apresen-
tados serem clssicos, eles ilustram como as tcnicas apresentadas nos Captulos 3 e 4 podem
ser utilizadas para criar procedimentos de gerao de facetas.
Seja G = (V, E) um grafo simples. Quando interceptamos STAB(G) com um hiperplano
x : x
v
= 0, onde v V , obtemos uma face am-isomrca a STAB(G v). Esta classe
de faces d origem ao procedimento de gerao de facetas descrito por Nemhauser & Trotter
[34].
Proposio 5.1. Para todo v V ,
STAB(Gv)

= F := x STAB(G) : x
v
= 0.
Demonstrao. Como STAB(Gv) e F possuem vrtices inteiros, suciente descrever duas
tranformaes ans que denam uma bijeo entre os pontos inteiros destes politopos.
() Tome x STAB(Gv) B
V \{v}
, e faa, para todo i V ,
x
i
=
_
_
0 se i = v
x
i
caso contrrio.
Vamos provar que x F B
V
. Claramente, x B
V
. Alm disso, sabemos que x
v
= 0.
Resta provar que x
r
+ x
s
1, para toda aresta r, s de G. Seja r, s E. Se r = v,
temos x
r
+ x
s
= x
v
+ x
s
= x
s
1. Se s = v, temos um caso semelhante. Se r, s ,= v, ento
r, s E(Gv). Temos x
r
+ x
s
= x
r
+x
s
1. Conclumos que x F B
V
.
() Tome x F B
V
, e faa x
i
:= x
i
, para todo i V v. Vamos provar que
x STAB(G v) B
V \{v}
. Claramente, x B
V \{v}
. Resta provar que x
r
+ x
s
1
para toda aresta r, s de G v. Seja r, s E(G v). Como r, s E(G), temos
x
r
+x
s
= x
r
+ x
s
1. Conclumos que x STAB(Gv) B
V \{v}
.
5.1. FIXAO DE VARIVEIS 67
Teorema 5.2 ([34], Teorema 3.1). Para todo v V , se
iV \v
i
x
i

0
(5.1)
induz faceta de STAB(Gv), ento
iV \v
i
x
i
+
v
x
v

0
induz faceta de STAB(G), onde
v
=
0
max
_
_
_
iV \v
i
x
i
: x STAB(G), x
v
= 1
_
_
_
.
Demonstrao. Seja
F := x STAB(G) : x
v
= 0.
Pelo isomorsmo da Proposio 5.1 e pela Proposio 3.8, a desigualdade (5.1) induz faceta
de F. Como x
v
0 induz faceta de STAB(G), ento, pelo Corolrio 4.33, a desigualdade
_
_

iV \v
i
x
i
0
_
_
(x
v
0) 0
= min
_
iV \v

i
x
i
0
x
v
0
: x vert(STAB(G)), x
v
< 0
_
=
0
max
_
_
_
iV \v
i
x
i
: x vert(STAB(G)), x
v
= 1
_
_
_
=
0
max
_
_
_
iV \v
i
x
i
: x STAB(G), x
v
= 1
_
_
_
.
Exemplo 5.3. Seja G o grafo da Figura 5.3(b). O grafo G6, 7, representado na Figura
(a) Grafo original. (b) Adio de dois vr-
tices, em diferentes or-
dens.
(c) Adio de vrtice
cuja vizinhana est
contida em R.
(d) Cpia de dois vrti-
ces.
Figura 5.3: Aplicao do Teorema 5.2 e de seus corolrios.
5.3(a), um buraco mpar. Logo,

5
i=1
x
i
2 induz faceta de STAB(G 6, 7). Pelo
Teorema 5.2, a desigualdade
5
i=1
x
i
+
6
x
6
2
dene faceta de STAB(G7), onde
6
= 2 max
_
5
i=1
x
i
: x STAB(G7), x
6
= 1
_
.
Este mximo atingido pelo vetor de incidncia do conjunto independente 5, 6. Logo,
6
= 1, e a desigualdade
5
i=1
x
i
+x
6
2
induz faceta de STAB(G7). Aplicando novamente o Teorema 5.2, temos que a desigual-
dade
5
i=1
x
i
+x
6
+
7
x
7
2
7
= 2 max
_
5
i=1
x
i
+x
6
: x STAB(G), x
7
= 1
_
.
Este mximo atingido pelo vetor de incidncia do conjunto 6, 7. Logo,
7
= 1, e a
5.1. FIXAO DE VARIVEIS 69
desigualdade
5
i=1
x
i
+x
6
+x
7
2
induz faceta de STAB(G). Se invertermos a ordem de remoo dos vrtices 6, 7, obtemos
outra desigualdade,
5
i=1
x
i
+ 2x
7
2,
que tambm induz faceta de STAB(G).
Em alguns casos, calcular o coeciente
v
uma tarefa trivial, como mostram os dois
corolrios seguintes.
Corolrio 5.4. Para todo v V e todo R N(v), se
iR
i
x
i

0
induz faceta de STAB(Gv), ento
iR
i
x
i
+
0
x
v

0
induz faceta de STAB(G)
Exemplo 5.5. Seja G o grafo da Figura 5.3(c). A desigualdade

5
i=1
x
i
2 induz faceta de
STAB(G 6). Note tambm que 1, . . . , 5 N(6). Pelo Corolrio 5.4, conclumos que
5
i=1
x
i
+ 2x
6
2 induz faceta de STAB(G).
Corolrio 5.6. Se v
1
, v
2
V so tais que N[v
1
] = N[v
2
], e se
iV \{v
1
,v
2
}
i
x
i
+
v
1
x
v
1

0
induz faceta de STAB(Gv
2
), ento
iV \{v
1
,v
2
}
i
x
i
+
v
1
(x
v
1
+x
v
2
)
0
induz faceta de STAB(G).
Exemplo 5.7. Seja G o grafo da Figura 5.3(d). A desigualdade

5
i=1
x
i
2 induz faceta de
STAB(G6, 7). Note que N[6] = N[5] e N[7] = N[2]. Aplicando duas vezes o Corolrio
5.6, conclumos que

5
i=1
x
i
+x
6
+x
7
2 induz faceta de STAB(G).
Quando interceptamos STAB(G) com um hiperplano x : x
v
= 1, onde v V , tambm
obtemos uma face am-isomrca ao politopo de conjunto independente de um outro grafo.
STAB(GN[v])

= F := x STAB(G) : x
v
= 1
Demonstrao. Como STAB(Gv) e F possuem vrtices inteiros, suciente descrever duas
() Seja x STAB(GN[v]) B
V \N[v]
. Para todo i V , faa
x
i
:=
_
_
1 se i = v
0 se i N(v),
x
i
caso contrrio.
Vamos provar que x F B
V
. Claramente, x B
V
. Alm disso, x
v
= 1. Resta provar que
x
r
+ x
s
1, para toda aresta r, s de G. Seja r, s E(G). Se r = v, ento s N(v).
Temos x
r
+ x
s
= 1 + 0 1. Suponha r, s ,= v. Se r N(v), ento x
r
+ x
s
= x
s
1. Se
r, s / N(v), ento r, s E(G N[v]). Logo, x
r
+ x
s
= x
r
+ x
s
1. Em todos os casos,
x
r
+ x
s
1. Conclumos que x F B
V
.
() Seja x F B
V
. Faa x
v
:= x
v
, para todo v V N[v]. Vamos provar que
x STAB(G N[v]) B
V \N[v]
. Claramente, x B
V \N[v]
r
+ x
s
1,
para toda aresta r, s de GN[v]. Seja r, s E(GN[v]). Como r, s E(G), temos
x
r
+x
s
= x
r
+ x
s
1. Conclumos que, x STAB(GN[v]) B
V \N[v]
.
Estas faces no do origem a nenhum procedimento de gerao de facetas interessante, mas
mostram, por exemplo, que o problema resolvido para calcular o coeciente
v
no Teorema
5.2 equivalente ao problema do maior conjunto independente ponderado. Utilizando as
5.2. SUBGRAFOS INDUZIDOS K-PARTIDOS 71
Proposies 5.1 e 5.8, tambm podemos relacionar os vrtices isolados de G com alguns eixos
de simetria de STAB(G).
Corolrio 5.9. Se v V um vrtice isolado, ento
x STAB(G) : x
v
= 0

= x STAB(G) : x
v
= 1.
5.2 Subgrafos induzidos k-partidos
Na Seo 5.1, mostramos que certas faces de STAB(G) so am-isomrcas a politopos de
conjunto independente de grafos mais simples do que G. Aquelas, porm, no so as nicas
faces de STAB(G) que possuem esta propriedade.
Nesta seo, apresentamos uma outra classe de faces de STAB(G) que tambm so am-
isomrcas a politopos de conjunto independente de grafos mais simples, obtidos a partir de
G atravs da contrao das parties de certos grafos induzidos k-partidos. Esta classe de
faces d origem a um novo procedimento de gerao de facetas que unica e generaliza vrios
procedimentos descritos na literatura.
Primeiro, introduzimos uma nova classe de hipergrafos, que chamamos de hiperrvores
fortes, e estudamos algumas de suas propriedades. Em seguida apresentamos a classe de
faces e o procedimento de gerao de facetas.
5.2.1 Hiperrvores fortes
Seja H = (V, c) um hipergrafo. Dizemos que duas hiperarestas de H so fortemente
adjacentes se ambas possuem a mesma cardinalidade k e exatamente k 1 vrtices em
comum. O hipergrafo H uma hiperrvore forte se
(i) c = V ; ou
(ii) Existe uma folha v V incidente a uma hiperaresta e c tal que (V v, c e)
uma hiperrvore forte e e fortemente adjacente a alguma outra hiperaresta de H.
Um hipercaminho forte uma hiperrvore forte que possui exatamente duas folhas. Di-
zemos que o hipercaminho conecta as duas folhas. Uma sub-hiperrvore forte um sub-
(a) Hiperrvore forte 3-uniforme. (b) Hiperrvore
forte 2-uniforme.
(c) No hiperr-
vore forte.
(d) No hipe-
rrvore forte.
Figura 5.4: Exemplos e no-exemplos de hiperrvores fortes.
hipergrafo que uma hiperrvore forte. A Figura 5.4 mostra alguns exemplos e no-exemplos
de hiperrvores fortes (hiperarestas esto representadas como cliques maximais).
Observao 5.10. Para hipergrafos 2-uniformes no triviais, os conceitos aqui introduzidos
so equivalentes aos conceitos usuais de adjacncia, rvore e caminho.
A seguir, enunciamos algumas propriedades sobre hiperrvores fortes que sero teis na
subseo seguinte. Perceba que, diferente de outras hiperrvores, as hiperrvores fortes so
muito semelhantes a rvores convencionais.
Proposio 5.11. Toda hiperrvore forte um hipergrafo uniforme.
Demonstrao. Por induo estrutural. Seja H = (V, c) uma hiperrvore forte. Se c = V ,
a proposio vale. Se no, existem v, e tais como descritos no Item (ii) da denio de
hiperrvores fortes. Por hiptese de induo, todas as hiperarestas c e possuem a mesma
cardinalidade, digamos k. Como e fortemente adjacente a uma destas hiperarestas, ela
tambm possui cardinalidade k.
Proposio 5.12. Toda hiperrvore forte k-uniforme com n vrtices possui exatamente n
k + 1 hiperarestas.
Demonstrao. Por induo estrutural. Seja H = (V, c) uma hiperrvore forte k-uniforme.
Se c = V , ento n = k, e a proposio vale. Se no, existem v, e tais como descritos no
Item (ii) da denio de hiperrvores fortes. Por hiptese de induo, (V v, c e)
uma hiperrvore forte k-uniforme, e portanto [c e[ = [V v[ k +1, o que implica em
[c[ = [V [ k + 1.
Proposio 5.13. A matriz de incidncia de uma hiperrvore forte tem posto cheio [c[.
Demonstrao. Por induo estrutural. Seja H = (V, c) uma hiperrvore forte k-uniforme.
Se c = V , a matriz de incidncia H possui uma nica coluna no nula, e portanto a propo-
sio vale. Se no, existem v, e tais como descritos no Item (ii) da denio de hiperrvores
fortes. A matriz de incidncia de H tem a forma
M
H
=
_
_
_
_
_
_
_
_
_
_
M M
e
0 . . . 0 1
_
_
_
_
_
_
_
_
_
_
,
onde M a matriz de adjacncia de (V v, c e) e M
e
vetor de incidncia de e v.
Por hiptese de induo, M tem posto cheio. Logo, M
H
tambm tem posto cheio.
Proposio 5.14. Toda hiperrvore forte que possui pelo menos dois vrtices possui pelo
menos duas folhas.
Demonstrao. Por induo estrutural. Seja H = (V, c) uma hiperrvore forte. Se c = V ,
todos os vrtices de H so folhas, e a proposio vale. Se no, existem v, e tais como descritos
no Item (ii) da denio de hiperrvores fortes. Alm disso, H v possui pelo menos dois
vrtices. Logo, por hiptese de induo, Hv possui pelo menos duas folhas u
1
, u
2
. Se u
1
e
u
2
forem adjacentes em Hv, ento Hv possui exatamente uma hiperaresta, e H possui
exatamente duas folhas. Se u
1
e u
2
no forem adjacentes em Hv, ento e no contm u
1
,
sem perda de generalidade; os vrtices v e u
1
so, portanto, folhas de H.
Proposio 5.15. Em uma hiperrvore forte, existe um hipercaminho forte entre cada par
de vrtices no adjacentes.
Demonstrao. Por induo na quantidade de hiperarestas. Seja H = (V, c) uma hiperrvore
forte. Se c for um conjunto unitrio, todo par de vrtices adjacente, e a proposio vlida
por vacuidade. Suponha que c no seja um conjunto unitrio, e tome dois vrtices no
adjacentes v
1
, v
2
. Temos dois casos possveis:
(Caso 1) Se v
2
no for uma folha, ento, pela Proposio 5.14, existe um folha u em H
tal que u ,= v
1
. Alm disso, Hu uma hiperrvore forte com menos hiperarestas que H, e
(a) Grafo original G, com a hi-
perrvore forte T em destaque.
(b) Grafo modicado G
Figura 5.5: Aplicao do Teorema 5.20.

existe em Hu, por hiptese de induo, um hipercaminho forte que conecta v
1
e v
2
. Este
hipercaminho forte pertence a H.
(Caso 2) Se v
1
e v
2
forem ambos folhas, ou existe uma terceira folha u, e podemos aplicar
raciocnio semelhante ao anterior; ou no existe uma terceira folha, e H , por denio, um
hipercaminho forte que conecta v
1
e v
2
.
5.2.2 Caso geral
Descrevemos agora uma outra classe de faces que so am-isomrcas a politopos do conjunto
independente de grafos mais simples do que G, e o procedimento de gerao de facetas ao
qual esta classe d origem.
Ao longo desta subseo, sejam G = (V, E) um grafo simples, e T = (V
T
, Q
T
) uma sub-
hiperrvore forte k-uniforme de ((G), o hipergrafo-clique de G. Suponha que G[V
T
] seja
um subgrafo k-partido, e seja V
1
, . . . , V
k
uma k-partio de G[V
T
]. Suponha tambm que
nenhum v V
0
:= V V
T
possua vizinhos em todas as classes V
1
, . . . , V
k
. Nesta subseo,
demonstramos que, sob certas condies, a face
F
T
:= x STAB(G) : x
Q
= 1, Q Q
T
,
onde x
Q
:=

qQ
x
q
, am-isomrca ao politopo de conjunto independente do grafo G
=
(V
, E
), obtido a partir de G atravs da remoo dos vrtices de V

k
e da identicao de
cada conjunto V
i
em um vrtice v
i
V
i
, para todo i 1, . . . , k 1.
Exemplo 5.16. Seja G o grafo da Figura 5.5(a), e seja T a hiperrvore forte com hiperarestas
1, 2, 3, 1, 3, 4, 1, 4, 5. Note que G[V
T
] um grafo 3-partido, com classes
V
1
= 2, 4,
V
2
= 3, 5,
V
3
= 1.
Nesta subseo, mostramos que a face
F
T
:=
_
_
x STAB(G) :
x
1
+x
2
+x
3
= 1
x
1
+x
3
+x
4
= 1
x
1
+x
4
+x
5
= 1
_
_
am-isomrca a STAB(G
), o politopo associado ao grafo da Figura 5.5(b).

Para demonstrarmos esse resultado, utilizamos um lema auxiliar. Ele diz que, quando
adicionamos as restries x
Q
= 1 a STAB(G), cada conjunto V
1
, . . . , V
k
se comporta como
um nico vrtice: se escolhermos um vrtice de um dos conjuntos V
1
, . . . , V
k
, precisamos
escolher todos os demais vrtices deste mesmo conjunto; se no escolhermos um vrtice de
um conjunto, tambm no podemos escolher nenhum outro vrtice deste mesmo conjunto.
Lema 5.17. Se x F
T
ento x
u
= x
v
, u, v V
i
, i 1, . . . , k.
Demonstrao. Existe um hipercaminho forte Q
1
, . . . , Q
p
em T que conecta u, v. Vamos
demonstrar por induo em p que x
u
= x
v
. Se p = 2, ento x
Q
1
x
Q
2
= x
u
x
v
= 0. Se
p > 2 ento existe w V
i
Q
2
tal que w ,= u, v. Como Q
1
, Q
2
um hipercaminho forte
de tamanho 2 que conecta u, w, temos x
u
= x
w
. Seja s = maxj : w Q
j
. Sabemos que
Q
s
, . . . , Q
p
um hipercaminho forte com menos que p hiperarestas que conecta dois vrtices
de V
i
. Por hiptese de induo, x
w
= x
v
. Logo, x
u
= x
v
.
Proposio 5.18. Se nenhum v V
0
possui vizinhos em V
k
, ento F
T

= STAB(G
).
Demonstrao. Como STAB(G
) e F
T
possuem vrtices inteiros, suciente descrever duas
() Seja x STAB(G
) B
V
. Para cada u V , faa

x
u
=
_
_
x
u
se u V
0
x
v
i
se u V
i
, i 1, . . . , k 1
1
k1
i=1
x
v
i
se u V
k
Vamos demonstrar que x F
T
B
V
. fcil ver que x
u
B, para todo u V V
k
. Como
v
1
, . . . , v
k1
uma clique em G
, ento

k1
i=1
x
v
i
0, 1. Logo x
u
B, para todo u V
k
.
Conclumos que x B
V
Q
= 1, para todo Q Q
T
, e que x
r
+ x
s
1,
para toda aresta r, s de G. Seja Q Q
T
. Como Q contm exatamente um vrtice de cada
V
1
, . . . , V
k
, temos
x
Q
=
k1
i=1
x
v
i
+
_
1
k1
i=1
x
v
i
_
= 1.
Tome r, s E. Suponha que r V
0
. Se s V
0
, ento r, s E
, e temos x
r
+ x
s
=
x
r
+ x
s
1. Se no, ento s V
i
, para algum i 1, . . . , k 1, pois r no possui vizinhos
em V
k
. Alm disso, r, v
i
E
. Temos x
r
+ x
s
= x
r
+x
v
i
1. Suponha agora que r, s / V
0
.
Se r V
k
, ento s V
j
, para algum j 1, . . . , k 1, e temos
x
r
+ x
s
= 1
k1
i=1
x
v
i
+x
v
j
= 1
k1
i=1
i=j
x
v
i
1.
Se r, s / V
k
, ento r V
i
, s V
j
, para i, j distintos pertencentes a 1, . . . , k 1. Como
v
i
, v
j
E
, temos x
r
+ x
s
= x
v
i
+ x
v
j
1. Em todos os casos, x
r
+ x
s
1. Conclumos
que x F
T
B
V
.
() Seja x F
T
B
V
. Faa x
v
:= x
v
, para cada v V
. Vamos provar que x

STAB(G
) B
V
. Claramente, x B
V

r
+ x
s
1, para toda aresta
r, s de G
. Seja r, s E
. Suponha que r V
0
. Se s V
0
, ento r, s E, e
temos x
r
+ x
s
= x
r
+ x
s
1. Se no, ento s = v
i
, para algum i 1, . . . , k 1.
Alm disso, existe

i V
i
tal que r,
i E. Pelo Lema 5.17, temos x

v
i
= x
i
. Logo,
x
r
+x
s
= x
r
+ x
v
i
= x
r
+ x
i
1. Suponha agora que r, s / V
0
. Ento r = v
i
, s = v
j
, para i, j
distintos pertencentes a 1, . . . , k 1. Alm disso, existem
i V
i
,
j V
j
tais que
i,
j E.
Logo, x
r
+ x
s
= x
v
i
+ x
v
j
= x
i
+ x
j
1. Em todos os casos, x
r
+ x
s
1. Conclumos que
x STAB(G
) B
V
.
Para convertermos sequencialmente facetas de STAB(G
) em facetas de STAB(G), preci-

samos de um lema sobre a dimenso de F
T
.
Lema 5.19. F
T
tem dimenso [V [ [Q
T
[.
Demonstrao. Pela Proposio 5.13, a matriz de incidncia de T tem posto [Q
T
[. Logo,
dim(F
T
) [V [ [Q
T
[. Tome i 1, . . . , k e seja x
i
o vetor de incidncia de V
i
. Claramente,
x
i
STAB(G). Vamos demonstrar que x
i
Q
= 1, para todo Q Q
T
. Suponha que exista Q tal
que x
i
Q
= 0. Pelo princpio da casa dos pombos, dois vrtices de Q pertencem a alguma outra
classe V
j
, mas isso contradiz o fato de que V
j
um conjunto independente. Logo x
i
F
T
.
Tome v V
0
. Existe i 1, . . . , k tal que v no possui vizinhos em V
i
. Seja y
v
= x
i
+e
v
.
fcil ver que y
v
F
T
. Os pontos x
i
k
i=1
y
v
vV
0
so am independentes. Isto demonstra
que dim(F
T
) [V
0
[ +k 1 = [V [ [Q
T
[.
Teorema 5.20. Suponha que nenhum v V
0
possua vizinhos em V
k
. Seja Q
1
, . . . , Q
r
uma
ordenao de Q
T
tal que, para todo s r, o hipergrafo induzido por Q
s
, . . . , Q
r
tambm seja
uma hiperrvore forte. Se
vV
0

v
x
v
+
k1
i=1

v
i
x
v
i

0
induz faceta de STAB(G
), ento
vV
0

v
x
v
+
k1
i=1

v
i
x
v
i
+
r
i=1
i
(x
Q
i
1)
0
induz faceta de STAB(G), onde, para todo t 1, . . . , r,
t
:= max
_
vV
0

v
x
v
+
k1
i=1

v
i
x
v
i
+
t1
i=1

i
(x
Q
i
1) : x P
t
_
0
P
t
:=
_
_
x STAB(G) :
x
Qt
= 0
x
Q
i
= 1, para i = t + 1, . . . , r
_
_
.
Demonstrao. Para cada t 0, . . . , r, seja
F
t
:= x STAB(G) : x
Q
i
= 1, para i = t + 1, . . . , r,
f
t
(x) :=

vV
0

v
x
v
+
k1
i=1

v
i
x
v
i
+
t
i=1
i
(x
Q
i
1).
Vamos demonstrar, por induo em t, que f
t
(x)
0
induz faceta de F
t
. Pela Proposio
5.18, F
0

= STAB(G
). Por esse isomorsmo am e pela Proposio 3.8, f

0
(x)
0
induz
faceta de F
0
. Tome t 1, . . . , r. Pelo Lema 5.19, dim(F
t1
) = dim(F
t
) 1, e como
F
t1
= x F
t
: x
Qt
= 1, sabemos que x
Qt
1 induz faceta de F
t
. Por hiptese de induo,
f
t1
(x)
0
induz faceta de F
t1
. Pelo Corolrio 4.33, a desigualdade
(f
t1
(x)
0
)
t
(x
Qt
1) 0
induz faceta de F
t
, onde
t
= min
_
f
t1
(x)
0
x
Qt
1
: x vert(F
t
), x
Qt
< 1
_
= min
_
f
t1
(x)
0
x
Qt
1
: x vert(F
t
), x
Qt
= 0
_
= min
_
f
t1
(x)
0
x
Qt
1
: x F
t
, x
Qt
= 0
_
=
0
max f
t1
(x) : x F
t
, x
Qt
= 0
=
t
Em particular,
f
r
(x) =

vV
0

v
x
v
+
k1
i=1

v
i
x
v
i
+
r
i=1
i
(x
Q
i
1)
0
induz faceta de F
r
= STAB(G).
Exemplo 5.16 (continuao) Como G
uma clique,
8
i=4
x
i
1
). Sejam Q
1
= 1, 2, 3, Q
2
= 1, 3, 4, Q
3
= 1, 4, 5. Pelo
Teorema 5.20, a desigualdade
8
i=4
x
i
+
1
(x
1
+x
2
+x
3
1) +
2
(x
1
+x
3
+x
4
1) +
3
(x
1
+x
4
+x
5
1) 1
1
= max
_
_
8
i=4
x
i
1 :
x STAB(G),
x
1
+x
2
+x
3
= 0,
x
1
+x
3
+x
4
= 1,
x
1
+x
4
+x
5
= 1
_
_
= 1,
2
= max
_
_
8
i=1
x
i
2 :
x STAB(G),
x
1
+x
3
+x
4
= 0
x
1
+x
4
+x
5
= 1
_
_
= 1,
3
= max
_
_
2x
1
+x
2
+ 2x
3
+ 2x
4
+
8
i=5
x
i
3 :
x STAB(G),
x
1
+x
4
+x
5
= 0
_
_
= 0.
Logo, a desigualdade
2x
1
+x
2
+ 2x
3
+ 2x
4
+
8
i=5
x
i
3
Exemplo 5.21. O Teorema 5.20 pode ser utilizado para encontrar facetas associadas a an-
tiwebs e outros grafos semelhantes. Considere a (10, 3)-antiweb representada na Figura 5.6(a).
Quando escolhemos a sub-hiperrvore forte destacada e aplicamos a transformao descrita
nesta subseo, obtemos a (7, 3)-antiweb da Figura 5.6(b). Repetindo esse procedimento,
obtemos uma (4, 3)-antiweb da Figura 5.6(c), que uma clique. Aplicando repetidamente
o Teorema 5.20, transformamos a desigualdade de clique

4
i=1
x
i
1, na desigualdade de
(a) (10, 3)-antiweb (b) (7, 3)-antiweb (c) (4, 3)-antiweb
Figura 5.6: Aplicao do Teorema 5.20 a antiwebs.
antiweb

10
i=1
x
i
3.
5.3 Subgrafos induzidos bipartidos
Nesta seo, consideramos o caso particular do procedimento descrito na Seo 5.2 quando o
subgrafo induzido escolhido bipartido. Primeiro, consideramos grafos bipartidos quaisquer,
incluindo as estrelas. Em seguida, consideramos apenas estrelas cuja ordem de escolha das
arestas no altera a desigualdade resultante.
5.3.1 Bipartidos quaisquer
Ao longo desta subseo, sejam G = (V, E) um grafo simples e T = (V
T
, E
T
) uma sub-rvore
de G. Suponha que G[V
T
] seja um subgrafo bipartido, e seja V
1
, V
2
a bipartio de G[V
T
].
Suponha tambm que nenhum vrtice v V
0
:= V V
T
possua vizinhos em ambos V
1
e V
2
.
Sob certas condies, a face
F
T
:= x STAB(G) : x
e
= 1, e E
T
,
onde x
{u,v}
:= x
u
+ x
v
, am-isomrca ao politopo de conjunto independente do grafo G
obtido a partir de G atravs da remoo dos vrtices de V

2
e da identicao do conjunto V
1
em um vrtice v
1
V
1
.
Os resultados seguintes so consequncia direta da Proposio 5.18 e do Teorema 5.20,
para o caso particular onde T uma subrvore de G.
5.3. SUBGRAFOS INDUZIDOS BIPARTIDOS 81
(a) Grafo original G, com a hiperr-
vore forte T em destaque.
(b) Grafo modicado G
Figura 5.7: Aplicao do Teorema 5.23 a estrelas.

Proposio 5.22. Se nenhum v V
0
possui vizinhos em V
2
, ento STAB(G
)

= F
T
.
Teorema 5.23. Suponha que nenhum v V
0
possua vizinhos em V
2
. Seja e
1
, . . . , e
r
uma
ordenao de E
T
tal que o subgrafo induzido por e
1
, . . . , e
s
, para todo s r, tambm uma
rvore. Se
vV
0
v
x
v
+
v
1
x
v
1

0
), ento
vV
0
v
x
v
+
v
1
x
v
1
+
r
i=1
i
(x
e
i
1)
0
t
:= max
_
vV
0

v
x
v
+
v
1
x
v
1
+
t1
i=1

i
(x
e
i
1) : x P
t
_
0
,
P
t
:=
_
_
x STAB(G) :
x
et
= 0
x
e
i
= 1, para i = t + 1, . . . , r
_
_
.
Exemplo 5.24. Este exemplo, proveniente de [22], mostra que o Teorema 5.23 gera facetas
de STAB(G) que o Teorema 3.6 (substituio de vrtice por garra) de [22] no capaz de
gerar. Seja G o grafo da Figura 5.7(a), e seja T a rvore em destaque. Como o grafo G
,
ilustrado na Figura 5.7(b), uma wheel, sabemos que
3x
4
+
11
i=5
x
i
3
). Sejam e
1
= 1, 2, e
2
= 1, 3, e
3
= 1, 4. Pelo Teorema 5.23, a
desigualdade
3x
4
+
11
i=5
x
i
+
1
(x
1
+x
2
1) +
2
(x
1
+x
3
1) +
3
(x
1
+x
4
1) 3
1
= max
_
_
3x
4
+
11
i=5
x
i
3 :
x STAB(G),
x
1
+x
2
= 0,
x
1
+x
3
= 1,
x
1
+x
4
= 1
_
_
= 1,
2
= max
_
_
x
1
+x
2
+ 3x
4
+
11
i=5
x
i
4 :
x STAB(G),
x
1
+x
3
= 0,
x
1
+x
4
= 1
_
_
= 2,
3
= max
_
_
3x
1
+x
2
+ 2x
3
+ 2x
4
+ 3x
4
+
11
i=5
x
i
6 :
x STAB(G),
x
1
+x
4
= 0
_
_
= 1.
2x
1
+x
2
+ 2x
3
+ 2x
4
+
11
i=5
x
i
5
induz faceta de STAB(G). Com diferentes ordenaes de E
T
, obtemos outras desigualdades,
2x
1
+ 2x
2
+x
3
+ 2x
4
+
11
i=5
x
i
5
2x
1
+ 2x
2
+ 2x
3
+x
4
+
11
i=5
x
i
5
que tambm denem facetas de STAB(G).
Observao 5.25. Tambm podemos calcular os coecientes
i
simultaneamente, com o
procedimento descrito na Subseo 4.2.2, como ilustramos a seguir.
Exemplo 5.24 (continuao) Seja F := x STAB(G) : Cx = d, onde
C =
_
_
1 1 0 0 0 . . . 0
1 0 1 0 0 . . . 0
1 0 0 1 0 . . . 0
0 0 0 3 1 . . . 1
_
_
, d =
_
_
1
1
1
3
_
_
.
Sabemos que F uma face de STAB(G) com dimenso [V [ 4. As desigualdades
_
_
1 2 1 1
2 1 1 1
2 2 2 1
3 3 3 2
_
_
x
_
_
0
0
0
0
_
_
denem facetas do cone P
C,d
:= coneCx d : x STAB(G). Logo, as desigualdades
_
_
2 1 2 2 1 . . . 1
2 2 1 2 1 . . . 1
2 2 2 1 1 . . . 1
3 3 3 3 2 . . . 2
_
_
x
_
_
5
5
5
9
_
_
.
induzem facetas de STAB(G).
5.3.2 Estrelas
Consideramos agora apenas aquelas estrelas cuja ordem de escolha das arestas no altera a
desigualdade resultante.
Ao longo desta subseo, sejam G = (V, E) um grafo simples e T = (V
T
, E
T
) G uma
estrela induzida com vrtice central u e demais vrtices v
1
, . . . , v
p
. Suponha que u no possua
vizinhos em H := V V
T
. Seja G
o grafo obtido a partir de G atravs da remoo do vrtice

u e da identicao dos vrtices v
1
, . . . , v
p
no vrtice v
1
. Suponha tambm que a desigualdade
hH
h
x
h
+
v
1
x
v
1

0
induza faceta de STAB(G
), e faa, para todo R 1, . . . , p,

Q
R
:=
_
_
x STAB(G) :
x
u
= 0
x
v
i
= 0, i R
x
v
i
= 1, i 1, . . . , p R
_
_
,
M
R
:= max
_
_
_
hH
h
x
h
: x Q
R
_
_
_
.
Para simplicar a notao, utilizaremos as seguintes abreviaes
(i) Q
t,R
:= Q
{t}R
,
(ii) Q
r
1
,...,rt
:= Q
{r
1
,...,rt}
, para todo r
1
, . . . , r
t
1, . . . , p,
(iii) M
r
1
,...,rt
:= M
{r
1
,...,rt}
, para todo r
1
, . . . , r
t
1, . . . , p,
(iv) N
i
:= N
G
(v
i
) H, para todo i 1, . . . , p.
Teorema 5.26. Se, para todo R 1, . . . , p,
iR
M
i
M
R
[R 1[(
0
v
1
)
ento a desigualdade
hH
h
x
h
+
p
i=1
(M
i
+
v
1

0
)(x
u
+x
v
i
1) (
v
1
x
u
v
1
)
0
(5.2)
Demonstrao. Podemos reescrever (5.2) como
hH
h
x
h
+
v
1
x
v
1
+ (M
1
0
)(x
u
+x
v
1
1) +
p
i=2
(M
i
+
v
1

0
)(x
u
+x
v
i
1)
0
Assim, suciente demonstrar que, para todo i 1, . . . , p,
i
=
_
_
M
1
0
se i = 1
M
t
+
v
1

0
se i 2, . . . , p
quando aplicamos o Teorema 5.23. Vamos provar esta identidade por induo em t. Quando
t = 1, temos
1
= max
_
_
_
hH
h
x
h
+
v
1
x
v
1
: x P
1
_
_
_
0
= max
_
_
_
hH
h
x
h
+
v
1
x
v
1
: x Q
1
_
_
_
0
= max
_
_
_
hH
h
x
h
: x Q
1
_
_
_
0
= M
1
0
.
Tome t 2, . . . , p, e suponha que a identidade vale para todo i 1, . . . , t 1. Temos
t
=max
_
_
_
hH
h
x
h
+
v
1
x
v
1
+ (M
1
0
)(x
u
+x
v
1
1)+
t1
i=2
(M
i
+
v
1

0
)(x
u
+x
v
i
1) : x P
t
_
_
_
0
=max
_
_
_
hH
h
x
h
+
t1
i=1
(M
i
+
v
1

0
)(x
u
+x
v
i
1)+
v
1
x
u
+
v
1
: x P
t
_
_
_
0
=max
_
_
_
hH
h
x
h
+
t1
i=1
(M
i
+
v
1

0
)(x
v
i
1) : x P
t
_
_
_
+
v
1

0
=max
_
_
_
max
_
_
_
hH
h
x
h
+
iR
(M
i
+
v
1

0
)(x
v
i
1) : x Q
t,R
_
_
_
:
R 1, . . . , t 1
_
_
_
+
v
1

0
=max
_
_
_
max
_
_
_
hH
h
x
h
: x Q
t,R
_
_
_
iR
(M
i
+
v
1

0
) :
R 1, . . . , t 1
_
_
_
+
v
1

0
=max
_
M
t,R

iR
M
i
[R[(
v
1

0
) : R 1, . . . , t 1
_
+
v
1

0
=M
t
+
v
1

0
.
Observao 5.27. O Teorema 2 (subdiviso de estrela) de [8] consequncia do Teorema
3.11 de [22], que , por sua vez, o Teorema 5.26 com a premissa adicional de que os conjuntos
N
i
so unitrios e disjuntos.
Estudamos agora alguns casos particulares do Teorema 5.26.
Corolrio 5.28 ([22], Teorema 3.1). Se
(i) p = 2,
(ii) M
1
+M
2
2
0
v
1
,
ento a desigualdade
hH
h
x
h
+
2
i=1
(M
i
+
v
1

0
)(x
u
+x
v
i
1) (
v
1
x
u
v
1
)
0
Observao 5.29. A Proposio 2 de [43] pode ser obtida a partir do Corolrio 5.28 (ver
Corolrio 3.2 de [22]).
Corolrio 5.30 ([22], Teorema 3.6, Parte 1). Se
(i) p = 3,
(ii) M
1
+M
2
M
1,2

0
v
1
,
(iii) M
1
+M
3
M
1,3

0
v
1
,
(iv) M
2
+M
3
M
2,3

0
v
1
,
(v) M
1
+M
2
+M
3
3
0
2
v
1
,
ento a desigualdade
hH
h
x
h
+
3
i=1
(M
i
+
v
1

0
)(x
u
+x
v
i
1) (
v
1
x
u
v
1
)
0
Quando M
i
=
0
, para todo i 1, . . . , p, as condies do Teorema 5.26 so automati-
camente satisfeitas, como mostra o corolrio seguinte.
Corolrio 5.31 ([21], Teorema 1). Se M
i
=
0
, para todo i 1, . . . , p, ento a desigualdade
hH
h
x
h
+ (p 1)
v
1
x
u
+
v
1
_
p
i=1
x
v
1
_

0
+ (p 1)
v
1
Corolrio 5.32 ([43], Proposio 3). Se
(i) p = 2,
(ii) M
1
= M
2
=
0
,
ento a desigualdade
hH
h
x
h
+
v
1
(x
u
+x
v
1
+x
v
2
)
0
+
v
1
Observao 5.33. O enunciado original da Proposio 3 de [43] contm a premissa adicional
de que N
i
so disjuntos.
Quando

p
i=1
N
i
= H, temos necessariamente
v
1
=
0
. Podemos ento obter verses
alternativas dos corolrios anteriores se adicionarmos a eles esta premissa e substituirmos
v
1
por
0
nas desigualdades, como ilustra o corolrio seguinte.
Corolrio 5.34 ([22], Corolrio 3.9, Parte 1). Se
(i)

p
i=1
N
i
= H,
(ii) M
i
=
0
, para todo i 1, . . . , p,
ento a desigualdade
hH
h
x
h
+ (p 1)
0
x
u
+
0
_
p
i=1
x
v
1
_
p
0
Corolrio 5.35 ([22], Corolrio 3.9, Parte 2). Se
(i)

p
i=1
N
i
= H,
(ii) N
i
so cliques disjuntas,
ento a desigualdade
hH
h
x
h
+
_
p
i=1
m
i
0
_
x
u
+
p
i=1
m
i
x
v
i

p
i=1
m
i
induz faceta de STAB(G), onde m
i
= max
v
: v N
i
, para i = 1, . . . , p
Observao 5.36. A Proposio 1 de [43] pode ser obtida aplicando-se o Corolrio 5.4 e,
em seguida, o Corolrio 5.35. O Teorema 2.3 de [17] tambm pode ser obtido a partir do
Corolrio 5.35 (ver [22]).
6 Politopo de Subgrafo Induzido k-
Partido
O problema do maior subgrafo induzido k-partido consiste em encontrar k conjuntos
independentes de um grafo de entrada cuja unio tenha cardinalidade mxima. Este problema
generaliza tanto o problema do maior conjunto independente, que estudamos no Captulo 5,
quanto o problema do maior subgrafo induzido bipartido.
O problema do maior subgrafo induzido bipartido, denotado por BISP, modela problemas
que surgem no projeto de circuitos integrados [18, 23], e tambm problemas de Biologia
Computacional que surgem na reconstruo de pares de hapltipos a partir de dados que
contm erros [32, 24]. Embora seja NP-difcil para grafos em geral, BISP pode ser resolvido
em tempo polinomial para grafos srie-paralelos [7] e grafos planares cujo grau mximo trs
[18]. Fouilhoux & Barahona [23] propem uma formulao linear inteira para esse problema
que utiliza uma quantidade exponencial de restries, e estudam o politopo associado a
esta formulao. Este politopo um caso particular do politopo dos subgrafos induzidos
balanceados, estudado por Barahona & Mahjoub [6, 7].
O problema do subgrafo induzido k-partido tambm , naturalmente, NP-difcil, mas
pode ser resolvido em tempo polinomial para a classe de grafos i-triangulados [1]. Camplo
& Corra [14] propem uma formulao linear inteira para esse problema que utiliza uma
quantidade polinomial de variveis e restries. Esta formulao se baseia na formulao por
representantes de cor, proposta inicialmente para o problema de colorao de vrtices [13], e
utilizada, desde ento, para modelar outros problemas relacionados a conjuntos independen-
tes [15, 5].
Neste captulo, estudamos o politopo do problema do subgrafo induzido k-partido asso-
89
90 CAPTULO 6. POLITOPO DE SUBGRAFO INDUZIDO K-PARTIDO
ciado formulao proposta por Camplo & Corra. Na Seo 6.1, denimos precisamente
esse politopo. Na Seo 6.2, mostramos que ele possui dimenso plena e identicamos suas
facetas mais simples. Na Seo 6.3, mostramos que diversas de suas faces so am-isomrcas
a outros politopos, e apresentamos os procedimentos de gerao de facetas aos quais estas
faces do origem. Finalmente, na Seo 6.4, identicamos duas classes de subgrafos que
geram facetas deste politopo.
6.1 Formulao
Encontrar uma famlia de conjuntos independentes de um grafo simples equivalente a en-
contrar uma famlia de cliques do complemento deste grafo. Seja, ento, D = (V, A) uma
orientao sem ciclos direcionados deste complemento. Se W V uma clique de D, ento
D[W] possui exatamente uma fonte. Dizemos que esta fonte representa tanto o conjunto
W, como tambm os demais vrtices de W, ou ainda que esta fonte representante de W
e dos demais vrtices de W. A cada famlia de cliques W
1
, . . . , W
p
, podemos associar um
vetor (x, y) B
V
B
A
denido como:
x
i
=
_
_
1, se i representa algum W
1
, . . . , W
p
0, caso contrrio
y
i,j
=
_
_
1, se i representa j em algum W
1
, . . . , W
p
0, caso contrrio
Neste captulo, estudamos as propriedades do politopo P(D, k), denido como a envoltria
convexa de todos os vetores (x, y) que esto associados a alguma famlia formada por, no
mximo, k cliques disjuntas de D, onde k 1. Por convenincia, nos referimos a esse politopo
por P quando D, k esto claros pelo contexto, e utilizamos as seguintes abreviaes:
x
R
:=

rR
x
r
R V
y
R
:=

rR
y
r
R A
6.1. FORMULAO 91
y
R,i
:=

rR
y
r,i
i V, R N
D
(i)
y
i,R
:=

rR
y
i,r
i V, R N
+
D
(i)
Observao 6.1. Utilizar um grafo direcionado sem ciclos, ao invs de um grafo simples,
remove a indeciso na escolha do representante de cada clique. Assim, somos capazes de
associar cada famlia de cliques a exatamente um vetor inteiro de P(D, k), e cada vetor
inteiro de P(D, k) a exatamente uma famlia de cliques.
Uma denio equivalente para o politopo P(D, k) a seguinte.
P(D, k) := conv
_
_
(x, y) B
V
B
A
:
x
V
k,
x
v
+y
A
(v)
1 v V
y
v,S
x
v
v V, S N
+
D
(v) tal que S
conjunto independente de D
_
_
A primeira restrio garante que no mximo k cliques sejam representadas. O segundo
conjunto de restries garante que cada vrtice seja representado por ele mesmo ou por no
mximo um outro vrtice, e portanto, que as cliques sejam disjuntas. Estas restries tambm
impedem que vrtices representantes sejam representados por outros vrtices. Finalmente, o
terceiro conjunto de restries garante que cada vrtice representante represente no mximo
um vrtice de cada conjunto independente, e tambm que cada vrtice no-representante no
represente nenhum vrtice do grafo.
Observao 6.2. No precisamos de todas as restries y
v,S
x
v
. Bastam aquelas relativas
a conjuntos independentes de tamanho menor ou igual a dois. Inclumos todas as restries na
denio para simplicar as demonstraes das proposies nas sees seguintes. Limitando
o tamanho dos conjuntos independentes, obtemos uma quantidade polinomial de restries
na formulao.
6.2 Propriedades bsicas
Estudamos agora algumas propriedades bsicas de P. Mostramos que ele tem dimenso plena
e identicamos suas facetas mais simples. Mostramos, em particular, sob que condies as
desigualdades da denio induzem facetas de P.
Proposio 6.3. P tem dimenso plena. Ou seja, dim(P) = [V [ +[A[.
Demonstrao. Os seguintes [V [ +[A[ + 1 pontos pertencem a P e so am independentes:
(0
|V |
, 0
|A|
)
(e
v
, 0
|A|
) v V
(e
v
, e
v,u
) (v, u) A
Proposio 6.4. Para todo a A, a desigualdade y
a
0 induz faceta de P.
Demonstrao. Como P R
V
+
R
A
+
, a desigualdade vlida. Alm disso, os seguintes
[V [ +[A[ pontos pertencentes a P so am independentes e satisfazem esta desigualdade na
igualdade:
(0
|V |
, 0
|A|
)
(e
v
, 0
|A|
) v V
(e
v
, e
v,u
) (v, u) A a
Proposio 6.5. Para todo v V e todo S N
+
D
(v), a desigualdade y
v,S
x
v
induz faceta
de P se e somente se S um conjunto independente maximal de D[N
+
D
(v)].
Demonstrao. Suponha que S seja um conjunto independente maximal de D[N
+
(v)]. A
desigualdade
y
v,S
x
v
(6.1)
vlida, pela prpria denio de P. Note que, para todo u N
+
D
(v)S, existe vrtice u S
tal que u, u sejam adjacentes. Do contrrio, S u seria um conjunto independente, e S
6.2. PROPRIEDADES BSICAS 93
no seria maximal. Os seguintes [V [ + [A[ pontos pertencentes a P so am independentes
e satisfazem a desigualdade (6.1) na igualdade:
(0
|V |
, 0
|A|
)
(e
v
, e
v,r
) r S
(e
v
, e
v,u
+e
v, u
) u N
+
D
(v) S
(e
u
, 0
|A|
) u V v
(e
u
, e
u,w
) (u, w) A A
+
(v)
Para a recproca, observe que, se S no for um conjunto independente, a desigualdade no
vlida, e se S for um conjunto independente, mas no for maximal, a desigualdade
dominada.
Corolrio 6.6. Para todo v V , a desigualdade x
v
0 induz faceta de P se e somente se
v um sumidouro de D.
Proposio 6.7. Se k 2, ento, para todo v V , a desigualdade x
v
+ y
A
(v)
1 induz
faceta de P.
Demonstrao. A desigualdade vlida, pela prpria denio de P. Alm disso, se k 2,
os seguintes [V [ + [A[ pontos pertencentes a P so am independentes e a satisfazem na
igualdade.
(e
v
, 0
|A|
)
(e
v
, e
v,u
) v N
+
D
(v)
(e
u
, e
u,v
) u N
D
(v)
(e
v
+e
u
, 0
|A|
) u V v
(e
v
+e
u
, e
u,w
) (u, w) A A(v)
Corolrio 6.8. Se k 2, ento, para toda fonte v V , a desigualdade x
v
1 induz faceta
de P.
Proposio 6.9. Se k [V [ 1, ento x
V
k induz faceta de P. Para D no trivial, a
recproca tambm verdadeira.
Demonstrao. A desigualdade vlida, pela prpria denio de P. Suponha, sem perda
de generalidade, que V = 1, . . . , [V [. Para todos a, b N tais que b a, seja c
a
b
B
b
um
vetor-linha de dimenso b que possua exatamente a componentes 1; e sejam
M
1
b
:= I
b
b N, b 1
M
a
b
:=
_
_
1
M
a1
b1
.
.
.
1
0 c
a
b1
_
_
a N, b N, b > a 2
Note que M
a
b
uma matriz binria b b com linhas linearmente independentes. Alm disso,
cada linha de M
a
b
possui exatamente a componentes 1. Para todo i 1, . . . , [V [, seja m
i
a
i-sima linha da matriz M
k
|V |
, e seja d
i
B
V
um vetor-linha tal que sua i-sima componente
e exatamente outras k 1 componentes valham 1. Os seguintes [V [ +[A[ pontos pertencem
a P, so am independentes e satisfazem a desigualdade na igualdade.
(m
v
, 0
|A|
) v V
(d
v
, e
v,u
) (v, u) A
Para a recproca, se D for no trivial e k [V [, a desigualdade dominada por x
V
+y
A
[V [,
obtida pela soma das desigualdades indutoras de faceta x
v
+y
A
(v)
1, v V .
6.3 Isomorsmos
Diversas faces de P(D, k) so am-isomrcas a politopos P(D
, k
) associados a grafos D
mais simples, ou so am-isomrcas a politopos de outros problemas bem estudados. Nesta

seo, identicamos algumas destas faces.
Na Subseo 6.3.1, mostramos que algumas faces de P so am-isomrcas a politopos
associados a subgrafos induzidos de D, e na Subseo 6.3.2, mostramos que algumas faces de
6.3. ISOMORFISMOS 95
P so am-isomrcas a politopos de conjuntos independentes associados a certos grafos.
6.3.1 Subgrafos induzidos
Quando xamos a varivel de um vrtice v em zero, e tambm as variveis de todos os arcos
incidentes a este vrtice em zero, obtemos uma face isomrca ao politopo associado ao grafo
D v, como mostra a proposio seguinte.
P(D v, k)

= F :=
_
_
(x, y) P(D, k) :
x
v
= 0,
y
a
= 0 a A(v)
_
_
Demonstrao. Tome (x, y) P(D v, k). Para todo u V e todo a A, faa
x
u
:=
_
_
0, se u = v
x
u
, caso contrrio;
y
a
:=
_
_
0, se a A(v)
y
a
, caso contrrio.
Podemos vericar que ( x, y) F. Para a recproca, tome ( x, y) F. Faa
x
u
:= x
u
u V v
y
a
:= y
a
a A A(v)
Podemos vericar que (x, y) P(D v, k). As duas transformaes ans descritas denem
um isomorsmo am entre os dois conjuntos.
Apresentamos a seguir o procedimento de gerao de facetas ao qual esta classe de faces
d origem. Precisamos de um lema sobre a dimenso destas faces.
Lema 6.11. Para todo V
0
V e A
0
A tais que A
+
(V
0
) A
0
,
F :=
_
_
(x, y) P :
x
v
= 0 v V
0
,
y
a
= 0 a A
0
_
_
uma face de P de dimenso [V [ +[A[ [V
0
[ [A
0
[.
Demonstrao. Todas as desigualdades x
v
0, y
a
0 so vlidas. Logo, F uma face.
Como F est contido em [V
0
[ + [A
0
[ hiperplanos linearmente independentes, sabemos que
dim(F) [V [ +[A[ [V
0
[ [A
0
[. Alm disso, os seguintes [V [ +[A[ [V
0
[ [A
0
[ + 1 pontos
so am independentes e pertencem a F:
(0
|V |
, 0
|A|
)
(e
v
, 0
|A|
) v V V
0
(e
v
, e
v,u
) (v, u) A A
0
Logo dim(F) [V [ +[A[ +[V
0
[ +[A
0
[.
Teorema 6.12. Tome v V . Suponha, sem perda de generalidade, que N
D
(v) = 1, . . . , p
e N
+
D
(v) = p + 1, . . . , q. Se
aA\A(v)
a
y
a
+

uV \v
u
x
u

0
induz faceta de P(D v, k), ento
aA
a
y
a
+

uV
u
x
u

0
induz faceta de P(D, k), onde
t,v
:=
0
max
_
aA\A(v)
a
y
a
+
uV \v

u
x
u
+
t1
i=1

i,v
y
i,v
:
(x, y) P(D, k),
y
t,v
= 1,
y
i,v
= 0 i t + 1, . . . , p ,
x
v
= 0,
y
v,i
= 0 i p + 1, . . . , q
_
_
t 1, . . . , p ,
v
:=
0
max
_
aA\A
+
(v)
a
y
a
+
uV \v

u
x
u
:
(x, y) P(D, k),
x
v
= 1,
y
v,i
= 0 i p + 1, . . . , q
_
_
,
v,t
:=
0
max
_
aA\A
+
(v)
a
y
a
+
uV

u
x
u
+
t1
i=p+1
v,i
y
v,i
:
(x, y) P(D, k),
y
v,t
= 1,
y
v,i
= 0 i t + 1, . . . , q
_
_
t p + 1, . . . , q .
Demonstrao. Demonstraremos o teorema em trs passos.
(Passo 1) Para cada t 0, . . . , p, sejam
F
t,v
:=
_
_
(x, y) P(D, k) :
y
i,v
= 0 i t + 1, . . . , p ,
x
v
= 0,
y
v,i
= 0 i p + 1, . . . , q
_
_
f
t,v
(x, y) :=

aA\A(v)
a
y
a
+

uV \v
u
x
u
+
t
i=1
i,v
y
i,v
t,v
(x, y)
0
induz faceta de F
t,v
. Pelo iso-
morsmo entre F
0,v
e P(D v, k) apresentado na demonstrao da Proposio 6.10, e pela
Proposio 3.8, a desigualdade f
0,v
(x, y)
0
induz faceta de F
0,v
. Tome t 1, . . . , p.
Pelo Lema 6.11, dim(F
t1,v
) = dim(F
t,v
) 1, e como F
t1,v
= (x, y) F
t,v
: y
t,v
= 0, ento
y
t,v
0 induz faceta de F
t,v
. Por hiptese de induo, f
t1,v
(x, y)
0
induz faceta de
F
t1,v
. Logo, pelo Corolrio 4.33, a desigualdade
(f
t1
(x, y)
0
) (y
t,v
) 0
induz faceta de F
t,v
, onde
= min
_
f
t1
(x, y)
0
y
t,v
: (x, y) vert(F
t,v
), y
t,v
< 0
_
=
0
max f
t1
(x, y) : (x, y) F
t,v
, y
t,v
= 1
=
t,v
Conclumos que f
t1,v
(x, y) +
t,v
y
t,v
= f
t,v
(x, y)
0
induz faceta de F
t,v
.
(Passo 2) Seja
F
v
:=
_
(x, y) P(D, k) :
y
v,i
= 0 i p + 1, . . . , q
_
f
v
(x, y) :=

aA\A
+
(v)
a
y
a
+

uV
u
x
u
Pelo passo anterior, f
p,v

0
induz faceta de F
p,v
. Pelo Lema 6.11, dim(F
p,v
) = dim(F
v
) 1,
e como F
p,v
= (x, y) F
v
: x
v
= 0, ento x
v
0 induz faceta de F
v
. Podemos utilizar o
Corolrio 4.33 para concluir que f
p,v
(x, y) +
v
x
v
= f
v
(x, y)
0
induz faceta de F
v
.
(Passo 3) Para cada t p, . . . , q, sejam
F
v,t
:=
_
(x, y) P(D, k) :
y
v,i
= 0 i t + 1, . . . , q
_
f
v,t
(x, y) :=

aA\A
+
(v)
a
y
a
+

uV
u
x
u
+
t1
i=p+1
v,i
y
v,i
v,t
(x, y)
0
induz faceta de F
v,t
. Pelo passo
anterior, f
v,p
(x, y)
0
induz faceta de F
v,p
. Tome t p + 1, . . . , q. Pelo Lema 6.11,
dim(F
v,t1
) = dim(F
v,t
) 1, e como F
v,t1
= (x, y) F
v,t
: y
v,t
= 0, ento y
v,t
0 induz
faceta de F
v,t
. Por hiptese de induo, f
v,t1
(x, y)
0
induz faceta de F
v,t1
. Podemos
utilizar o Corolrio 4.33 para concluir que f
v,t1
(x, y) +
v,t
y
v,t
= f
v,t
(x, y)
0
induz faceta
de F
v,t
, e em particular, que
f
v,q
(x, y) =

aA
a
y
a
+

uV
u
x
u

0
induz faceta de F
v,q
= P(D, k).
Exemplo 6.13. Seja D o grafo da Figura 6.1. Vamos provar na Seo 6.4 que a desigualdade
f(x, y) := 2x
1
+ (y
1,2
+y
1,3
+y
1,4
) + (y
2,5
+y
3,5
+y
4,5
) 2
induz faceta de P(D 6, 7, 2). Pelo Teorema 6.12, a desigualdade
f(x, y) + (
1,6
y
1,6
+
2,6
y
2,6
+
6
x
6
) 2
induz faceta de P(D 7, 2), onde
1,6
:= 2 max
_
_
f(x, y) :
(x, y) P(D 7, 2)
y
1,6
= 1
y
2,6
= 0
x
6
= 0
_
_
= 1,
2,6
:= 2 max
_
_
f(x, y) +y
1,6
:
(x, y) P(D 7, 2)
y
2,6
= 1
x
6
= 0
_
_
= 0,
6
:= 2 max
_
_
f(x, y) +y
1,6
:
(x, y) P(D 7, 2)
x
6
= 1
_
_
= 0.
2x
1
+ (y
1,2
+y
1,3
+y
1,4
) + (y
2,5
+y
3,5
+y
4,5
) +y
1,6
2
induz faceta de P(D 7, 2). Aplicando o Teorema 6.12 novamente, conclumos que
2x
1
+ (y
1,2
+y
1,3
+y
1,4
) + (y
2,5
+y
3,5
+y
4,5
) +y
1,6
+y
1,7
2
induz faceta de P(D, 2). Se invertermos a ordem de remoo dos vrtices 6, 7, obtemos
outra desigualdade,
2x
1
+ (y
1,2
+y
1,3
+y
1,4
) + (y
2,5
+y
3,5
+y
4,5
) + 2y
1,7
2
que tambm induz faceta de P(D, 2).
Quando xamos a varivel de um vrtice v em 1, e tambm as variveis de todas os arcos
incidentes a este vrtice em zero, obtemos novamente uma face am-isomrca ao politopo
associado a D v. Neste caso, porm, a quantidade de representantes k 1.
Proposio 6.14. Se k 2, ento, para todo v V ,
P(D v, k 1)

= F :=
_
_
(x, y) P(D, k) :
x
v
= 1,
y
a
= 0 a A(v)
_
_
Demonstrao. Tome (x, y) P(D v, k 1). Para todo u V e todo a A, faa
x
u
:=
_
_
1, se u = v
x
u
, caso contrrio;
y
a
:=
_
_
0, se a A(v)
y
a
, caso contrrio.
Podemos vericar que ( x, y) F. Para a recproca, tome ( x, y) F. Faa
x
u
:= x
u
para todo u V v,
y
a
:= y
a
para todo a A A(v).
Podemos vericar que (x, y) P(D v, k 1). As duas transformaes ans descritas
denem um isomorsmo am entre os dois conjuntos.
Apresentamos agora o procedimento de gerao de facetas associado a estas faces.
Lema 6.15. Para todo V
1
V e A
0
A tais que A
(V
1
) A
0
, se k [V
1
[ + 1 ento
F =
_
_
(x, y) P :
x
v
= 1 v V
1
,
y
a
= 0 a A
0
_
_
uma face de dimenso [V [ +[A[ [V
1
[ [A
0
[ de P.
Demonstrao. Todas as desigualdades x
v
1, y
a
0 so vlidas para P. Logo, F uma
face. Como F est contido em [V
1
[ + [A
0
[ hiperplanos linearmente independentes, sabemos
que dim(F) [V [ + [A[ [V
1
[ [A
0
[. Alm disso, os seguintes [V [ + [A[ [V
1
[ [A
0
[ + 1
pontos so am independentes e pertencem a F:
(e
V
1
, 0
|A|
),
(e
V
1
+e
v
, 0
|A|
) para todo v V V
1
,
(e
V
1
{v}
, e
v,u
) para todo (v, u) A A
0
.
Logo dim(F) [V [ +[A[ +[V
0
[ +[A
0
[.
As demonstrao do teorema seguinte bastante semelhante demonstrao do Teorema
6.12, e ser omitida.
Teorema 6.16. Tome v V . Suponha, sem perda de generalidade, que N
+
D
(v) = 1, . . . , p
e N
D
(v) = p + 1, . . . , q. Se k 2 e
aA\A(v)
a
y
a
+

uV \v
u
x
u

0
induz faceta de P(D v, k 1), ento
aA
a
y
a
+

uV
u
x
u

0
+
v
induz faceta de P(D, k), onde
v,t
:=
0
max
_
aA\A(v)
a
y
a
+
uV \v

u
x
u
+
t1
i=1

v,i
y
v,i
:
(x, y) P(D, k),
y
v,t
= 1,
y
v,i
= 0 i t + 1, . . . , p ,
x
v
= 1,
y
i,v
= 0 i p, . . . , q
_
_
t 1, . . . , p
v
:=
0
+ max
_
aA\A
(v)
a
y
a
+
uV \v

u
x
u
:
(x, y) P(D, k),
x
v
= 0,
y
i,v
= 0 i p, . . . , q
_
t,v
:=
0
+
v
max
_
aA\A
(v)
a
y
a
+
uV

u
x
u
+
t1
i=p+1
i,v
y
i,v
:
(x, y) P(D, k),
y
t,v
= 1,
y
i,v
= 0 i t + 1, . . . , q
_
_
t p + 1, . . . , q
Exemplo 6.17. Seja D o grafo da Figura 6.2. Vamos provar na Seo 6.4 que a desigualdade
f(x, y) := x
1
+ (x
4
+x
5
+x
6
) + 2y
1,2
+ (y
1,4
+y
1,5
+y
1,6
) 2
induz faceta de P(D 3, 2). Pelo Teorema 6.16, a desigualdade
f(x, y) +
3
x
3
+
1,3
y
1,3
2 +
3
induz faceta de P(D, 3), onde
3
:= 2 + max
_
_
f(x, y) :
(x, y) P(D, 3)
x
3
= 0
y
1,3
= 0
_
_
= 1,
1,3
:= 3 max
_
_
f(x, y) +x
3
:
(x, y) P(D, 3)
y
1,3
= 1
_
_
= 2.
x
1
+ (x
4
+x
5
+x
6
) + 2y
1,2
+ (y
1,4
+y
1,5
+y
1,6
) + (x
3
+ 2y
1,3
) 3
induz faceta de P(D, 3).
6.3.2 Conjunto independente
Sejam (V
0
, V
1
, V
L
) uma partio de V e (A
0
, A
=
, A
L
) uma partio de A. Nesta subseo,
mostramos que, sob certas condies, existe grafo G
F
tal que a face
F :=
_
_
(x, y) P(D, k) :
x
v
= 0 v V
0
,
x
v
= 1 v V
1
,
y
a
= 0 a A
0
,
y
u,v
= x
u
(u, v) A
=
_
_
seja am-isomrca ao politopo do conjunto independente de G
F
.
Exemplo 6.18. Seja D o grafo direcionado da Figura 6.3(a). Faa
(V
0
, V
1
, V
L
) := (3, 4, , 1, 2, 5)
A
0
:= (1, 2), (3, 5),
A
=
:= ,
A
L
:= (1, 3), (1, 4), (1, 5), (2, 5), (2, 4).
(a) (b)
Figura 6.3: Exemplo de face am-isomrca a STAB.
Nesta subseo, demonstramos que existe um grafo G tal que
F =
_
_
(x, y) P(D, 3) :
x
3
= x
4
= 0
y
1,2
= y
3,5
= 0
_
_
seja am isomrco a STAB(G). Este grafo est ilustrado na Figura 6.3(b).
Seja A
1
= (v, u) A
=
: v V
1
. Ao longo desta subseo, fazemos as seguintes
suposies sobre as parties (V
0
, V
1
, V
L
), (A
0
, A
=
, A
L
) para garantir que F no est contido
em nenhum hiperplano alm daqueles apresentados na denio de F.
(i) [V
1
[ k ,
(ii) Se [V
1
[ = k, ento V
0
= V V
1
,
(iii) Se (v, u) A
1
, ento u V
0
,
(iv) A
+
(V
0
) A
(V
1
) A
0
,
(v) Para todo v V e para todo par de vrtices r, s N
D
(v), se (r, v) A
1
ento
(s, v) A
0
,
(vi) Para todo v V e para todo par de vrtices no vizinhos r, s N
+
D
(v), se (v, r) A
=
ento (v, s) A
0
.
Explicamos brevemente cada suposio. Pela suposio (i), no xamos mais vrtices em 1 do
que o permitido. Pela suposio (ii), se xarmos k vrtices em 1, tambm xamos os demais
vrtices em zero. Pela suposio (iii), se forarmos v a representar u, ento tambm foramos
u a no ser representante. Pela suposio (iv), arcos que saem de vrtices impedidos de serem
representantes, e arcos que chegam a vrtices forados a serem representantes, so xados em
zero. Pela suposio (v), se forarmos um vrtice a representar v, ento tambm foramos
os demais vrtices a no representarem v. Finalmente, pela suposio (vi), se forarmos um
vrtice v a representar um vrtice u quando v for representante, ento tambm foramos v a
nunca representar os vrtices que no so vizinhos de u.
Com estas suposies, podemos facilmente calcular a dimenso de F.
Lema 6.19. F uma face de P com dimenso [V
L
[ +[A
L
[.
Demonstrao. Pela denio de P, todas as desigualdades x
v
0, x
v
1, y
a
0, y
u,v
x
u
so vlidas. Logo, F face de P. Como F est contido em [V
0
[+[V
1
[+[A
0
[+[A
=
[ hiperplanos
linearmente independentes, temos
dim(F) [V [ +[A[ [V
0
[ [V
1
[ [A
0
[ [A
=
[ = [V
L
[ +[A
L
[.
Faa A
+
=
(v) := A
+
(v) A
=
, para todo v V , e considere os pontos
(e
V
1
, e
A
1
),
(e
V
1
+e
r
, e
A
1
+e
A
+
=
(r)
) r V
L
(e
V
1
{r}
, e
A
1
A
+
=
(r)
+e
r,s
) (r, s) A
L
Vamos demonstrar que estes [V
L
[ + [A
L
[ + 1 pontos am independentes pertencem a F, e
portanto que dim(F) [V
L
[ +[A
L
[ +1. Dividimos esta demonstrao em trs partes. Como
fcil vericar que os pontos satisfazem as igualdades que denem F, vamos demonstrar
apenas que eles pertencem a P.
(Parte 1) Seja (x, y) = (e
V
1
, e
A
1
). Temos x
V
= [V
1
[ k. Logo, x
V
k. Tome v V .
Temos dois possveis casos.
(i) Se v V
1
, ento x
v
= 1. Como v / V
0
, no existe u N
D
(v) tal que (u, v) A
1
.
Logo, y
A
(v)
= 0, e y
A
(v)
+ x
v
1. Seja R N
+
D
(v) tal que R seja um conjunto
independente, e suponha, por contradio, que existam vrtices distintos s, t R tais
que y
v,s
= y
v,t
= 1. Sem perda de generalidade, (v, s) A
=
. Consequentemente,
(v, t) A
0
, e y
v,t
= 0, o que contradiz nossa suposio. Portanto, y
v,R
x
v
= 1.
Conclumos que (x, y) P.
(ii) Se v / V
1
, ento x
v
= 0. Alm disso, y
A
+
(v)
= 0. Logo, y
v,R
x
v
, para todo
R N
+
D
(v). Suponha, por contradio, que existam vrtices distintos s, t N
D
(v)
tais que y
s,v
= y
t,v
= 1. Sem perda de generalidade, (s, v) A
1
. Consequentemente,
(t, v) A
0
, e y
t,v
= 0, o que contradiz nossa suposio. Portanto, y
A
(v)
1. Logo,
y
A
(v)
+x
v
1. Conclumos que (x, y) P.
(Parte 2) Seja agora (x, y) = (e
V
1
+ e
r
, e
A
1
+ e
A
+
=
(r)
), onde r V
L
. Se [V
1
[ = k, ento
V
L
= , e o resultado segue por vacuidade. Suponha [V
1
[ k 1. Temos x
V
= [V
1
[ + 1 k.
Logo, x
V
k. Seja v V . Temos dois possveis casos:
(i) Suponha v V
1
ou v = r. Temos um caso semelhante ao caso (i) da Parte 1.
(ii) Suponha v / V
1
e v ,= r. Temos um caso semelhante ao caso (ii) da Parte 1.
(Parte 3) Finalmente, seja (x, y) = (e
V
1
\r
+ e
r
, e
A
1
+ e
A
+
=
(r)
+ e
r,s
), onde (r, s) A
L
. Se
[V
1
[ = k, ento r V
1
. Logo, x
V
= x
V
1
= [V
1
[. Se [V
1
[ k 1, temos x
V
[V
1
[ +1 k. Em
ambos os casos, x
V
k. Seja v V . Temos dois casos identicos aos casos da Parte 2.
Para mostrar que, sob certas condies, a face F am-isomrca ao politopo do conjunto
independente de um grafo, demonstraremos que F

= convx : Mx 1, onde M uma
matriz binria, e utilizaremos o seguinte lema.
Lema 6.20 ([36]). Para todo M B
mn
,
convx B
n
: Mx 1 = STAB(G
M
),
onde G
M
um grafo simples tal que
V (G
M
) = 1, . . . , n ,
E(G
M
) =
_
_
a, b :
a, b V (G
M
), a ,= b,
i 1, . . . , m tal que M
a
i
= M
b
i
= 1.
_
_
Demonstrao. Seja C := convx B
n
: Mx 1. suciente demonstrar que x
STAB(G
M
) B
n
se e somente se x C B
n
.
() Seja x STAB(G
M
) B
n
. Vamos provar que Mx 1, e, portanto, que x C B
n
.
Para todo i 1, . . . , m, o conjunto de vrtices K
i
:= v V (G
M
) : M
v
i
= 1 uma clique
de G
M
, e, portanto, M
i
x =

kK
i
x
k
1. Conclumos que Mx 1.
() Seja x C B
n
. Vamos provar que x
a
+ x
b
1 para todo a, b E(G
M
), e,
portanto, que x STAB(G
M
) B
n
. Tome a, b E(G
M
). Existe i 1, . . . , m tal que
M
a
i
= M
b
i
= 1. Conclumos que x
a
+x
b
M
i
x 1.
Proposio 6.21. Se a desigualdade x
V
L
1 vlida para F e, para todo v V
L
, temos
A
+
(v) A
0
A
=
, ento existe G
F
tal que F

= STAB(G
F
).
Demonstrao. Como x
V
L
1 desigualdade vlida para F, ento
F = conv
_
_
(x, y) B
V
B
A
:
x
V
L
1
x
V
k
x
v
+y
A
(v)
1 v V
y
v,R
x
v
v V, R N
+
D
(v) tal que
R conjunto independente
x
v
= 0 v V
0
x
v
= 1 v V
1
y
a
= 0 a A
0
y
u,v
= x
u
(u, v) A
=
_
_
Vamos mostrar que, para todo v V
0
V
L
, as desigualdades y
v,R
x
v
so redundantes.
Seja (x, y) B
V
B
A
, e suponha que (x, y) satisfaa todas as igualdades da descrio de F.
Sejam v V
0
V
L
um vrtice, e R N
+
D
(v) um conjunto independente. Se v V
0
, ento
A
+
(v) A
0
. Logo, y
v,R
= 0 x
v
. Suponha agora que v V
L
. Se existe r R tal que
y
v,r
= 1, ento (v, r) / A
0
. Logo, (v, r) A
=
, e (v, s) A
0
, para todo s R r. Portanto,
y
v,R
= y
v,r
= x
v
. Conclumos que as desigualdades so redundantes.
Vamos mostrar agora que a desigualdade x
V
k tambm redundante. Seja (x, y)
B
V
B
A
tal que x
V
L
1, e suponha que (x, y) satisfaa todas as igualdades da descrio de
F. Se [V
1
[ = k, ento V
L
= . Logo, x
V
= x
V
1
= k. Se [V
1
[ k 1, temos
x
V
= x
V
L
+[V
1
[ x
V
L
+ (k 1) = k + (x
V
L
1) k.
A desigualdade, portante, redundante. Logo,
F = conv
_
_
(x, y) B
V
B
A
:
x
V
L
1
x
v
+y
A
(v)
1 v V
y
v,R
1 v V
1
, R N
+
D
(v) tal que
x
v
= 0 v V
0
x
v
= 1 v V
1
y
a
= 0 a A
0
y
u,v
= x
u
(u, v) A
=
_
_
.
Pelo Lema 6.20, existe grafo G
tal que
STAB(G
) = conv
_
_
(x, y) B
V
B
A
:
x
V
L
1
x
v
+y
A
(v)
1 v V
y
v,R
1 v V
1
, R N
+
D
(v) tal que
_
_
.
Conclumos que existe grafo G
F
, obtido a partir de G
atravs de remoo e identicao de

vrtices, tal que STAB(G
F
)

= F.
Exemplo 6.22. Sejam D o grafo da Figura 6.4(a), k = 2. Faa
(V
0
, V
1
, V
L
) := (2, 1, 3, 4, 5),
A
0
:= (2, 3), (4, 5),
A
=
:= (3, 4),
A
L
:= (1, 2), (1, 3), (1, 4), (1, 5).
(a) (b) (c)
Estas parties satisfazem todas as suposies desta subseo, e tambm as suposies da
Proposio 6.21. A Figura 6.4(b) mostra o grafo G
, descrito na demonstrao da Proposio

6.21. Removendo os vrtices 1, 2, (4, 5), (2, 3) e identicando o par de vrtices no vizinhos
3, (3, 4), obtemos o grafo G
F
, ilustrado na Figura 6.4(c). O politopo de conjunto independente
deste grafo am-isomrco face F. Podemos, portanto, converter facetas de STAB(G
F
)
em facetas de P(D, 2). As desigualdades de buraco mpar
x
4
+x
5
+x
(1,5)
+x
(1,2)
+x
(1,4)
2
x
3
+x
(1,3)
+x
(1,5)
+x
(1,2)
+x
(1,4)
2
induzem facetas de STAB(G
F
). Utilizando a tcnica descrita na Subseo 4.2.2, obtemos as
seguintes desigualdades que induzem facetas de P(D, 2):
x
4
+x
5
+y
1,5
+y
1,2
+y
1,4
2
x
1
+y
1,3
+y
1,5
+y
1,2
+y
1,4
+y
3,4
1
Proposio 6.23. Se a restrio x
V
k redundante na descrio de F, e existe uma
partio (V
+
L
, V
L
) de V
L
tal que
(i) A
(v) A
0
, A
+
(v) A
=
= , para todo v V
+
L
(ii) A
+
(v) A
0
A
=
, para todo v V
L
ento existe G
F
tal que F

= STAB(G
F
).
Demonstrao. Como a restrio x
V
k redundante, ento
F = conv
_
_
(x, y) B
V
B
A
:
x
v
+y
A
(v)
1 v V
y
v,R
x
v
v V, R N
+
D
(v) tais que
x
v
= 0 v V
0
x
v
= 1 v V
1
y
a
= 0 a A
0
y
u,v
= x
u
(u, v) A
=
_
_
.
Pelo mesmo argumento da demonstrao da Proposio 6.21, quando v V
0
V
L
, as de-
sigualdades y
v,R
x
v
so redundantes. Alm disso, para todo v V
+
L
, a desigualdade
x
v
+y
A
(v)
1 tambm redundante, pois A
(v) A
0
, e portanto y
A
(v)
= 0. Logo,
F = conv
_
_
(x, y) B
V
B
A
:
x
v
+y
A
(v)
1 v V V
+
L
,
y
v,R
x
v
v V
+
L
, R N
+
D
(v) tais que
R conjunto independente,
y
v,R
1 v V
1
, R N
+
D
(v) tais que
x
v
= 0 v V
0
x
v
= 1 v V
1
y
a
= 0 a A
0
y
u,v
= x
u
(u, v) A
=
_
_
.
Note que os termos x
v
associadas aos vrtices v V
+
L
s aparecem no segundo grupo de res-
tries. Substituindo estes termos pelos termos 1x
v
, obtemos um politopo am-isomrco.
F

= conv
_
_
(x, y) B
V
B
A
:
x
v
+y
A
(v)
1 v V V
+
L
,
x
v
+y
v,R
1 v V
+
L
, R N
+
D
(v) tais que
y
v,R
1 v V
1
, R N
+
D
(v) tais que
x
v
= 0 v V
0
x
v
= 1 v V
1
y
a
= 0 a A
0
y
u,v
= x
u
(u, v) A
=
_
_
.
Pelo Lema 6.20, existe grafo G
tal que
STAB(G
) = conv
_
_
(x, y) B
V
B
A
:
x
v
+y
A
(v)
1 v V V
+
L
,
x
v
+y
v,R
1 v V
+
L
, R N
+
D
(v) tais que
y
v,R
1 v V
1
, R N
+
D
(v) tais que
_
_
Conclumos que existe grafo G
F
, obtido a partir de G
atravs de remoo e identicao de

vrtices, tal que STAB(G
F
)

= F.
Exemplo 6.24. Sejam D o grafo da Figura 6.5(a), k = 3. Faa
(V
0
, V
1
, V
L
) := (3, 4, , 1, 2, 5),
A
0
:= (1, 2), (3, 5),
A
=
:= ,
A
L
:= (1, 3), (1, 4), (1, 5), (2, 4), (2, 5).
Estas parties satisfazem todas as suposies desta subseo, e tambm as suposies da
(a) (b) (c)
Proposio 6.23. A Figura 6.4(b) mostra o grafo G
, descrito na demonstrao da Proposio

6.23. Removendo os vrtices 3, 4, (1, 2), (3, 5), obtemos o grafo G
F
, ilustrado na Figura 6.4(c).
O politopo de conjunto independente deste grafo am-isomrco face F.
Corolrio 6.25. Se (V
0
, V
1
) uma partio de V , e [V
1
[ k ento existe grafo G
F
tal que
F

= STAB(G
F
).
Demonstrao. Faa
V
L
= ,
A
0
= A
+
(V
0
) A
(V
1
),
A
=
= ,
A
L
= A A
0
.
fcil vericar que as parties (V
0
, V
1
, V
L
) e (A
0
, A
=
, A
L
) satisfazem todas as suposies
desta subseo. Alm disso, como V
L
vazio, e como x
V
= [V
1
[ k para todo (x, y) F,
ento existe, pela Proposio 6.23, um grafo G
F
tal que F

= STAB(G
F
).
6.4 Subgrafos geradores de faceta
Na Subseo 6.3.1, vimos que subgrafos induzidos de D do origem a facetas de P. Nesta
seo, utilizamos os resultados da Seo 6.3.2 para determinar duas classes de grafos que do
6.4. SUBGRAFOS GERADORES DE FACETA 113
Figura 6.6: Classe de grafos que gera facetas de P(D, k).
origem a facetas no descritas na seo 6.2.
6.4.1 Vrtice-clique-vrtice
A primeira classe contm grafos formados por dois vrtices a, b e por uma clique R, que est
contida na vizinhana positiva de a, e na vizinhana negativa de b. A Figura 6.6 ilustra esta
classe.
Teorema 6.26. Se D = (V, A) um grafo direcionado tal que
(i) V = a, b R, onde R = 1, . . . , q e a, b / R
(ii) A = (a, r), (r, b) : r R (r, r
) : r, r
R, r r
, onde uma ordem de R

(iii) [R[ 2
ento a desigualdade
(1 q)x
a
+y
a,R
+y
R,b
1
induz faceta de P(D, k), para todo k 2.
Demonstrao. Faa
V
0
= b,
V
1
= ,
V
L
= a R,
A
0
= (r, r
) : r, r
R, r r
,
A
1
= ,
A
=
= (a, r), (r, b) : r R.
Estas parties satisfazem as condies da Subseo 6.3.2. Seja F como denido naquela
subseo, ou seja,
F :=
_
_
(x, y) P(D, k) :
x
v
= 0 v V
0
,
x
v
= 1 v V
1
,
y
a
= 0 a A
0
,
y
u,v
= x
u
(u, v) A
=
_
_
.
Vamos provar que estas parties satisfazem as condies da Proposio 6.21. Claramente,
A
+
(v) A
0
A
=
, para todo v V
L
. Seja (x, y) vert(F). Vamos mostrar que x
V
L
=
x
a
+ x
R
1. Se x
a
= x
R
= 0, ento, claramente, x
V
L
1. Suponha x
a
= 1. Para todo
r R, temos y
a,r
= 1, e consequentemente, x
r
= 0. Logo, x
V
L
= x
a
+ x
R
= x
a
= 1.
Suponha agora que x
r
= 1, para algum r R. Como y
a,r
= 0, ento x
a
= 0. Como
y
r,b
= 1, ento, para todo r
R r, temos y
r
,b
= 0, e consequentemente, x
r
= 0. Logo,
x
V
L
= x
a
+ x
R
= x
r
= 1. Conclumos que x
V
L
1, para todo (x, y) F. Pela Proposio
6.21, F

= STAB(G
F
), onde
V (G
F
) =a R,
E(G
F
) =a, r : r R r, r
: r, r
R, r r
.
Observe que G
F
uma clique. Logo, a desigualdade
x
a
+x
R
1
F
). Pelo isomorsmo entre F e STAB(G
F
) e pela Proposio 3.8,
esta desigualdade tambm induz faceta de F. Vamos converter, sequencialmente, esta desi-
gualdade em uma desigualdade que induz faceta de P(D, k).
(Passo 1) Sejam
F
1
:=
_
_
(x, y) P(D, k) :
y
r,r
= 0 r, r
R, r r
,
y
r,b
x
r
= 0 r R,
y
a,r
x
a
= 0 r R
_
_
f
1
(x, y) := x
a
+x
R
1
Vimos que a desigualdade f
1
(x, y) 0 induz faceta de F. Pelo Lema 6.19, dim(F) =
dim(F
1
) 1, e como F = (x, y) F
1
: x
b
= 0, sabemos que x
b
0 induz faceta de F
1
.
Pelo Corolrio 4.33, a desigualdade f
1
(x, y) +(x
b
) 0 induz faceta de F
1
, onde
= maxf
1
(x, y) : (x, y) F
1
, x
b
= 1.
Seja (x, y) F
1
tal que x
b
= 1. Para todo r R, temos y
r,b
= 0, e consequentemente,
x
r
= 0. Logo, f
1
(x, y) = x
a
1. Esta funo no assume valor maior que zero. O ponto
(e
a
+e
b
, e
a,R
)
pertence a F
1
, satisfaz x
b
= 1, e atinge esse valor. Logo, = 0. Conclumos que f
1
(x, y) 0
induz faceta de F
1
.
(Passo 2) Seja a
1
, . . . , a
p
uma ordenao de (r, r
) : r, r
R, r r
. Para todo t
0, . . . , p, sejam
F
2
t
:=
_
_
(x, y) P(D, k) :
y
a
i
= 0 i t + 1, . . . , p ,
y
r,b
x
r
= 0 r R,
y
a,r
x
a
= 0 r R
_
_
f
2
(x, y) := x
a
+x
R
1
2
(x, y) 0 induz faceta de F
2
t
. Pelo passo
anterior, f
1
1
. Como f
1
(x, y) = f
2
(x, y) e F
1
= F
2
0
, ento
f
2
2
0
. Tome t 1, . . . , p. Por hiptese de induo, f
2
(x, y) 0
induz faceta de F
2
t1
2
t1
) = dim(F
2
t
) 1, e como F
2
t1
= (x, y)
F
2
t
: y
at
= 0, sabemos que y
at
0 induz faceta de F
2
t
f
2
(x, y) +(y
at
2
t
, onde
= maxf
2
(x, y) : (x, y) F
2
t
, y
at
= 1.
Seja (x, y) F
2
t
tal que y
at
= 1. Suponha a
t
= (u, v). Como y
u,b
= x
u
= y
u,v
= 1, ento
x
r
= y
r,b
= 0, para todo r R u. Alm disso, x
a
= y
a,u
= 0. Logo, f
2
(x, y) = x
u
1.
Esta funo no assume valor maior que zero. O ponto
(e
u
, e
u,v
+e
u,b
)
pertence a F
2
t
, satisfaz y
a,t
= 1, e atinge esse valor. Logo, = 0. Conclumos que f
2
(x, y) 0
induz faceta de F
2
t
.
(Passo 3) Para todo t 0, . . . , q, sejam
F
3
t
:=
_
_
(x, y) P(D, k) :
y
r,b
x
r
= 0 r t + 1, . . . , q ,
y
a,r
x
a
= 0 r R
_
_
f
3
t
(x, y) := x
a
+
q
r=t+1
x
r
+
t
r=1
y
r,b
1
3
t
3
t
. Pelo passo
anterior, f
2
2
p
. Como f
2
(x, y) = f
3
0
(x, y) e F
2
p
= F
3
0
, ento
f
3
0
3
0
3
t1
(x, y) 0
induz faceta de F
3
t1
3
t1
) = dim(F
3
t
) 1, e como F
3
t1
= (x, y)
F
3
t
: y
t,b
x
t
= 0, sabemos que y
t,b
x
t
0 induz faceta de F
3
t
. Pelo Corolrio 4.33, a
desigualdade f
3
t1
(x, y) +(y
t,b
x
t
3
t
, onde
= maxf
3
t1
(x, y) : (x, y) vert(F
3
t
), y
t,b
x
t
< 0
= maxf
3
t1
(x, y) : (x, y) F
3
t
, y
t,b
= 0, x
t
= 1.
Seja (x, y) F
3
t
tal que y
t,b
= 0, x
t
= 1. Temos x
a
= y
a,t
= 0. Alm disso, x
r
= y
r,b
para
todo r t + 1, . . . , q. Logo, f
3
t1
(x, y) = x
t
+
q
r=1
y
r,b
1. Como

q
r=1
y
r,b
1, esta funo
no assume valor maior que 1. Tome r R diferente de t. Tal vrtice existe, pois [R[ 2.
O ponto
(e
t
+e
r
, e
r,b
)
pertence a F
3
t
, satisfaz y
t,b
= 0, x
t
= 1, e atinge esse valor. Logo, = 1. Conclumos que a
desigualdade f
3
t1
(x, y) + (y
t,b
x
t
) = f
3
t
3
t
.
(Passo 4) Finalmente, para todo t 0, . . . , q, sejam
F
4
t
:=
_
(x, y) P(D, k) :
y
a,r
x
a
= 0 r t + 1, . . . , q
_
f
4
t
(x, y) := (1 t)x
a
+y
R,b
+
t
r=1
y
a,r
1
4
t
4
t
. Pelo passo
anterior, f
3
q
3
q
. Como f
3
q
(x, y) = f
4
0
(x, y) e F
3
q
= F
4
0
, ento
f
4
0
4
0
. Tome t 1, . . . , q. Por hiptese de induo, f
4
t1
(x, y) 0
induz faceta de F
4
t1
4
t1
) = dim(F
4
t
) 1, e como F
4
t1
= (x, y)
F
4
t
: y
a,t
x
a
= 0, sabemos que y
a,t
x
1
0 induz faceta de F
4
t
. Pelo Corolrio 4.33, a
desigualdade f
4
t1
(x, y) +(y
a,t
x
a
4
t
, onde
= maxf
4
t1
(x, y) : (x, y) vert(F
4
t
), y
a,t
x
a
< 0
= maxf
4
t1
(x, y) : (x, y) F
4
t
, y
a,t
= 0, x
a
= 1.
Seja (x, y) F
4
t
tal que y
a,t
= 0, x
a
= 1. Para todo r t + 1, . . . , q, temos x
a
= y
a,r
= 1,
e, consequentemente, y
r,b
= x
r
= 0, Logo,
f
4
t1
(x, y) = (2 t) +
t
r=1
y
r,b
+
t
r=1
y
a,r
1.
Como y
a,r
+ y
r,b
1 para todo r 1, . . . , t, esta funo no assume valor maior que 1. O
ponto
_
e
a
+e
t
,
t1
r=1
e
a,r
+
q
r=t+1
e
a,r
+e
t,b
_
pertence a F
4
t
, satisfaz y
a,t
= 0, x
a
= 1, e atinge esse valor. Logo, = 1. Conclumos que a
desigualdade f
4
t1
(x, y) + (y
a,t
x
a
) = f
4
t
4
t
. Em particular,
f
4
q
(x, y) = (1 q)x
a
+y
a,R
+y
R,b
1 0
induz faceta de F
4
q
= P(D, k).
Exemplo 6.27. Seja D o grafo direcionado da Figura 6.7. Faa
a = 1, R = 2, 3, 4, b = 5.
Pelo Teorema 6.26, a desigualdade
2x
1
+y
1,2
+y
1,3
+y
1,4
+y
2,5
+y
3,5
+y
4,5
1
induz faceta de P(D, k), para todo k 2. Note que tambm podemos aplicar o Teorema
6.26 ao grafo D 2. Neste caso, conclumos que
x
1
+y
1,3
+y
1,4
+y
3,5
+y
4,5
1
induz faceta de P(D 2, 2). Utilizando a tcnica descrita na Subseo 4.2.2, podemos
transformar esta faceta nas seguintes facetas de P(D, 2):
x
1
+y
1,3
+y
1,4
+y
3,5
+y
4,5
x
2
+y
2,3
+y
2,4
1,
x
1
+y
1,3
+y
1,4
+y
3,5
+y
4,5
x
2
+y
2,3
+y
2,5
1,
x
1
+y
1,3
+y
1,4
+y
3,5
+y
4,5
x
2
+y
2,4
+y
2,5
1,
Figura 6.8: Outra classe de grafos que gera facetas de P(D, k).
2x
1
+ 2y
1,3
+ 2y
1,4
+ 2y
3,5
+ 2y
4,5
x
2
+y
2,3
+y
2,4
+y
2,5
2.
As trs primeiras facetas tambm podem ser obtidas atravs do Teorema 6.12.
6.4.2 Vrtice-split
A segunda classe de grafos contm aqueles grafos formados por um vrtice a, um conjunto
independente R, que est contido na vizinhana positiva de a, e uma clique S, tambm
contida na vizinhana positiva de a. No h arestas entre S e R. A Figura 6.8 ilustra esta
classe.
Teorema 6.28. Sejam D = (V, A) um grafo direcionado e k 2. Se
(i) V = a R S, onde R, S, a so conjuntos disjuntos
(ii) A = (a, i) : i R S (s, s
) S, s s
, onde uma ordem de S

(iii) (R
0
, R
1
) uma partio de R tal que [R
1
[ = k 2, [R
0
[ 1
(iv) [S[ 2
ento
(2 [S[)x
a
+ ([S[ 1)y
a,R
+y
a,S
+x
S
+x
R
1
k
induz faceta de P(D, k).
Para demonstrar esse teorema, precisamos de um lema auxiliar que determina uma faceta
de STAB(G) para grafos G formados por uma clique (aR), uma clique S, e um conjunto
Figura 6.9: Classe auxiliar de grafos que gera facetas de STAB.
independente (a S). Cada vrtice (a, r) (a R) vizinho de cada vrtice (a, s)
(a S), e cada vrtice (a, s) (a S) vizinho do vrtice s. A Figura 6.9 ilustra esta
classe de grafos.
Lema 6.29. Se G = (V
G
, E
G
) um grafo tal que
(i) V
G
= S (a, i) : i R S, onde R, S, a so conjuntos disjuntos,
(ii) E
G
=
_
s, s
: s S, s
S s
_
_
s, (a, s) : s S
_
_
(a, r), (a, i) : r R, i S R r
_
,
(iii) [R[ 1,
(iv) [S[ 2,
ento a desigualdade
([S[ 1)
rR
x
(a,r)
+

sS
x
(a,s)
+

sS
x
s
[S[
Demonstrao. Seja G
1
o grafo completo com vrtices a S. Sabemos que
x
a
+

sS
x
s
1
1
). Seja G
2
o grafo que obtemos a partir de G
1
quando, para cada
s S,
(i) removemos a aresta a, s,
(ii) adicionamos um vrtice isolado (a, s),
(iii) adicionamos as arestas a, (a, s), (a, s), s.
Pelo Corolrio 5.35, a desigualdade
([S[ 1)x
a
+

sS
x
(a,s)
+

sS
x
s
[S[
2
). Suponha, sem perda de generalidade, que R = 1, . . . , p. Seja
G
3
o grafo obtido a partir de G
2
quando
(i) substitumos o vrtice a por um novo vrtice (a, 1),
(ii) adicionamos os vrtices isolados (a, t), para t 2, . . . , p,
(iii) adicionamos as arestas (a, t), (a, i), para t 2, . . . , p , i 1, . . . , t 1 S.
Note que G
3
= G. Como N[(a, 1)] = N[(a, r)], para todo r R, ento, pelo Corolrio 5.6, a
desigualdade
([S[ 1)
rR
x
(a,r)
+

sS
x
(a,s)
+

sS
x
s
[S[
Exemplo 6.30. Seja G o grafo da Figura 6.10. Faa
S := 1, 2, 3, 4, R := 5, 6, 7.
Pelo Lema 6.29, a desigualdade
3x
(0,7)
+ 3x
(0,6)
+ 3x
(0,5)
+x
(0,1)
+x
(0,2)
+x
(0,3)
+x
(0,4)
+x
1
+x
2
+x
3
+x
4
4
induz faceta de STAB(G). Note que tambm podemos aplicar esse lema a todo GS
, onde
S
S um subconjunto tal que [S S
[ 2. Obtemos, com auxlio do Teorema 5.2, as

seguintes desigualdades indutoras de faceta de STAB(G).
x
(0,7)
+x
(0,6)
+x
(0,5)
+x
(0,1)
+x
(0,2)
+x
1
+x
2
2
x
(0,7)
+x
(0,6)
+x
(0,5)
+x
(0,1)
+x
(0,3)
+x
1
+x
3
2
x
(0,7)
+x
(0,6)
+x
(0,5)
+x
(0,1)
+x
(0,4)
+x
1
+x
4
2
x
(0,7)
+x
(0,6)
+x
(0,5)
+x
(0,2)
+x
(0,3)
+x
2
+x
3
2
x
(0,7)
+x
(0,6)
+x
(0,5)
+x
(0,2)
+x
(0,4)
+x
2
+x
4
2
x
(0,7)
+x
(0,6)
+x
(0,5)
+x
(0,3)
+x
(0,4)
+x
3
+x
4
2
2x
(0,7)
+ 2x
(0,6)
+ 2x
(0,5)
+x
(0,1)
+x
(0,2)
+x
(0,3)
+x
1
+x
2
+x
3
3
2x
(0,7)
+ 2x
(0,6)
+ 2x
(0,5)
+x
(0,1)
+x
(0,2)
+x
(0,4)
+x
1
+x
2
+x
4
3
2x
(0,7)
+ 2x
(0,6)
+ 2x
(0,5)
+x
(0,1)
+x
(0,3)
+x
(0,4)
+x
1
+x
3
+x
4
3
2x
(0,7)
+ 2x
(0,6)
+ 2x
(0,5)
+x
(0,2)
+x
(0,3)
+x
(0,4)
+x
2
+x
3
+x
4
3
Demonstramos agora o Teorema 6.28.
Demonstrao. Faa
V
0
= R
0
,
V
1
= R
1
a,
V
L
= S,
A
0
= (a, i) : i R
1
(s, s
) : s, s
S, s s
,
A
L
= (a, i) : i R
0
S,
A
=
= .
Estas parties satisfazem as condies da Subseo 6.3.2. Seja F como denido naquela
subseo, ou seja,
F :=
_
_
(x, y) P(D, k) :
x
v
= 0 v V
0
,
x
v
= 1 v V
1
,
y
a
= 0 a A
0
,
y
u,v
= x
u
(u, v) A
=
_
_
.
Como [V
1
[ = k 1, ento x
V
L
1, para todo x F. Alm disso, A
+
(v) A
0
A
=
, para
todo v V
L
. Pela Proposio 6.21, F

= STAB(G
F
), onde
V (G
F
) = S (a, i) : i R S ,
E(G
F
) = s, s
: s, s
S, s s

s, (a, s) : s S
(a, r), (a, i) : r R
0
, i S R
0
.
Pelo Lema 6.29, a desigualdade
([S[ 1)

rR
0
x
(a,r)
+

sS
x
(a,s)
+

sS
x
s
[S[
F
). Pelo isomorsmo entre F e STAB(G
F
) e pela Proposio 3.8, a
desigualdade
([S[ 1) y
a,R
0
+y
a,S
+x
S
[S[
induz faceta de F. Vamos converter, sequencialmente, esta desigualdade em uma desigual-
dade que induz faceta de P(D, k).
(Passo 1) Sejam
F
1
:=
_
_
(x, y) P(D, k) :
x
r
= 0 r R
0
,
x
r
= 1 r R
1
,
y
a,r
= 0 r R
1
,
y
s,s
= 0 s, s
S, s s
_
f
1
(x, y) := ([S[ 1)y
a,R
0
+y
a,S
+x
S
[S[
Vimos que a desigualdade f
1
(x, y) 0 induz faceta de F. Pelo Lema 6.19, dim(F) =
dim(F
1
) 1, e como F = (x, y) F
1
: x
a
= 0, sabemos que x
a
1 induz faceta de F
1
.
Pelo Corolrio 4.33, a desigualdade f
1
(x, y) +(x
a
1) 0 induz faceta de F
1
, onde
= maxf
1
(x, y) : (x, y) F
1
, x
a
= 0.
Seja (x, y) F
1
tal que x
a
= 0. Temos y
a,R
0
= y
a,S
= 0. Logo, f
1
(x, y) = x
S
[S[. Como
[R
1
[ = k 2, ento x
S
2. Portanto, a funo f
1
(x, y) no assume valor maior que 2 [S[.
Como [S[ 2, existem vrtices distintos s, s
S. O ponto
( x, y) :=
_
e
R
1
+e
s
+e
s
, 0
|A|
_
,
pertence a F
1
, satisfaz x
a
= 1, e tal que f
1
( x, y) = 2 [S[. Logo, = 2 [S[. Conclumos
que
(2 [S[)x
a
+ ([S[ 1)y
a,R
0
+y
a,S
+x
S
2
induz faceta de F
1
.
(Passo 2) Suponha R
0
= 1, . . . , p. Para todo t 0, . . . , p sejam
F
2
t
:=
_
_
(x, y) P(D, k) :
x
r
= 0 r t + 1, . . . , p ,
x
r
= 1 r R
1
,
y
a,r
= 0 r R
1
,
y
s,s
= 0 s, s
S, s s
_
f
2
(x, y) := (2 [S[)x
a
+ ([S[ 1)y
a,R
0
+y
a,S
+x
S
2
Vamos provar, por induo em t, que f
2
2
t
. Pelo passo anterior,
f
2
2
0
2
(x, y) 0
induz faceta de F
2
t1
2
t1
) = dim(F
2
t
) 1, e como F
2
t1
= (x, y)
F
2
t
: x
t
= 0, sabemos que x
t
0 induz faceta de F
2
t
f
2
(x, y) +(x
t
2
t
, onde
= maxf
2
(x, y) : (x, y) F
2
t
, x
t
= 1
Seja (x, y) F
2
t
tal que x
t
= 1. Vamos provar que f
2
(x, y) 0. Se x
a
= 0, ento f
2
(x, y) =
x
S
2. Como [R
1
[ = k 2, ento x
S
2. Temos f
2
(x, y) 0. Suponha agora que x
a
= 1.
Temos x
S
1. Se y
a,R
0
= 1, ento y
a,S
= 0, f
2
(x, y) = x
S
1 0. Se y
a,R
0
= 0, ento
f
2
(x, y) = 2 [S[ + y
a,S
+ x
S
2. Como y
a,S
+ x
S
[S[, temos f
2
(x, y) 0. Conclumos
que a funo f
2
no assume valor maior que zero. O ponto
(e
R
1
+e
t
+e
a
, e
a,S
)
pertence a F
2
, satisfaz x
t
= 1, e atinge esse valor. Logo, = 0. Portanto, f
2
(x, y) 0 induz
faceta de F
2
t
.
(Passo 3) Suponha agora R
1
= 1, . . . , k 2. Para todo t 0, . . . , k 2 sejam
F
3
t
:=
_
_
(x, y) P(D, k) :
x
r
= 1 r t + 1, . . . , k 2 ,
y
a,r
= 0 r R
1
,
y
s,s
= 0 s, s
S, s s
_
f
3
t
(x, y) := (2 [S[)x
a
+ ([S[ 1)y
a,R
0
+y
a,S
+x
S
+
t
r=1
x
r
(2 +t)
3
t
3
t
f
3
0
3
0
. Se k 3, tome t 1, . . . , k 2. Por hiptese de induo,
f
3
t1
3
t1
3
t1
) = dim(F
3
t
) 1, e como
F
3
t1
= (x, y) F
3
t
: x
t
= 1, sabemos que x
t
1 induz faceta de F
3
t
. Pelo Corolrio 4.33,
a desigualdade f
3
t1
(x, y) +(x
t
1) 0 induz faceta de F
3
t
, onde
= maxf
3
t1
(x, y) : (x, y) F
3
t
, x
t
= 0
Seja (x, y) F
3
t
tal que x
t
3
t1
(x, y) 1. Se x
a
= 0, ento
y
a,R
0
= y
a,S
= 0. Alm disso, x
S
+

t1
r=1
x
r
t + 2. Logo, f
3
t1
(x, y) 1. Suponha agora
x
a
= 1. Se y
a,R
0
= 1, ento y
a,S
= 0. Como x
S
+
t1
r=1
x
r
t + 1, temos f
3
t1
(x, y) 1. Se
y
a,R
0
= 0, como y
a,S
+ x
S
[S[ e

t1
r=1
x
r
t 1, ento f
3
t1
(x, y) 0. Em todos os casos,
f
3
t1
(x, y) 1. Como [S[ 2, existem vrtices distintos s, s
S, e como [R
0
[ 1, existe
r R
0
. O ponto
( x, y) = (e
R
1
e
t
+e
a
+e
s
+e
s
, e
a,r
)
pertence a F
3
, satisfaz x
t
= 0, e tal que f
3
t1
( x, y) = 1. Logo, = 1. Portanto, f
3
t1
(x, y) +
(x
t
1) = f
3
t
3
t
.
(Passo 4) Suponha, novamente, R
1
= 1, . . . , k 2. Para todo t 0, . . . , k 2, sejam
F
4
t
:=
_
_
(x, y) P(D, k) :
y
a,r
= 0 r t + 1, . . . , p ,
y
s,s
= 0 s, s
S, s s
_
f
4
t
(x, y) := (2 [S[)x
a
+ ([S[ 1)y
a,R
0
+y
a,S
+x
S
+x
R
1
+ ([S[ 1)
t
r=1
y
a,r
k
4
t
4
t
f
4
0
4
0
. Se k 3, tome t 1, . . . , k 2. Por hiptese de induo,
f
4
t1
4
t1
4
t1
) = dim(F
4
t
) 1, e como
F
4
t1
= (x, y) F
4
t
: y
a,t
= 0, sabemos que y
a,t
0 induz faceta de F
4
t
. Pelo Corolrio
4.33, a desigualdade f
4
t1
(x, y) +(y
a,t
4
t
, onde
= maxf
4
t1
(x, y) : (x, y) F
4
t
, y
a,t
= 1
Seja (x, y) F
4
t
tal que y
a,t
= 1. Temos x
a
= 1, y
a,S
= y
a,R
0
= 0. Alm disso, y
a,r
= 0 para
todo r R
1
t. Logo, f
4
t1
(x, y) = 2 [S[ +x
S
+x
R
1
k. Como x
S
+x
R
1
k 1, ento
f
4
t1
(x, y) 1 [S[. Como [S[ 2, existem vrtices distintos s, s
S. O ponto
( x, y) = (e
R
1
e
t
+e
a
+e
s
+e
s
, e
a,t
)
pertence a F
4
t
, satisfaz y
a,t
= 1, e tal que f
4
t1
( x, y) = 1 [S[. Logo, = 1 [S[. Portanto,
f
4
t1
(x, y) + ([S[ 1)y
a,t
= f
4
t
4
t
.
(Passo 5) Finalmente, seja a
1
, . . . , a
q
uma ordenao de (s, s
) : s, s
S, s s
.
Para todo t 0, . . . , q, sejam
F
5
t
:=
_
(x, y) P(D, k) :
y
a
i
= 0 i t + 1, . . . , q
_
f
5
(x, y) := (2 [S[)x
a
+ ([S[ 1)y
a,R
+y
a,S
+x
S
+x
R
1
k
5
5
t
f
5
5
0
. Tome t 1, . . . , q. Por hiptese de induo, f
5
(x, y) 0
induz faceta de F
5
t1
5
t1
) = dim(F
5
t
) 1, e como F
5
t1
= (x, y)
F
5
t
: y
at
= 0, sabemos que y
at
0 induz faceta de F
5
t
f
5
(x, y) +(y
a,t
5
t
, onde
= maxf
5
(x, y) : (x, y) F
5
t
, y
at
= 1
Seja (x, y) F
5
t
tal que y
at
5
(x, y) 0. Se x
a
= 0, ento y
a,R
=
y
a,S
= 0. Logo, f
5
(x, y) = x
S
+ x
R
1
k. Como x
S
+ x
R
1
k, temos f
5
(x, y) 0. Suponha
agora x
a
= 1. Se y
a,R
= 1, ento y
a,S
= 0, e f
5
(x, y) = x
S
+x
R
1
+1k. Como x
S
+x
R
1
k1,
temos f
5
(x, y) 0. Por outro lado, se y
a,R
= 0, ento f
5
(x, y) = 2[S[ +y
a,S
+x
S
+x
R
1
k.
Como y
a,S
+x
S
[S[ e x
R
1
k 2, temos f
5
(x, y) 0. Em todos os casos, f
5
(x, y) menor
ou igual a zero. Suponha a
t
= (u, v). Como [R
0
[ 1, existe r R
0
. O ponto
( x, y) = (e
R
1
+e
a
+e
u
, e
a,r
+e
u,v
)
pertence a F
5
t
, satisfaz y
at
= 1, e tal que f
5
( x, y) = 0. Logo, = 0. Portanto, f
5
(x, y) 0
induz faceta de F
5
t
. Em particular, f
5
5
q
= P(D, k).
Exemplo 6.31. Seja D o grafo da Figura 6.11. Faa
R = 2, 3, 4, S = 5, 6, 7.
Aplicando o Teorema 6.28 s trs possveis parties (R
0
, R
1
) de R, conclumos que as trs
desigualdades
x
1
+x
4
+x
5
+x
6
+x
7
+ 2y
1,2
+ 2y
1,3
+ 2y
1,4
+y
1,5
+y
1,6
+y
1,7
3
x
1
+x
3
+x
5
+x
6
+x
7
+ 2y
1,2
+ 2y
1,3
+ 2y
1,4
+y
1,5
+y
1,6
+y
1,7
3
x
1
+x
2
+x
5
+x
6
+x
7
+ 2y
1,2
+ 2y
1,3
+ 2y
1,4
+y
1,5
+y
1,6
+y
1,7
3
induzem facetas de P(D, 3). Note que tambm podemos aplicar o Teorema 6.28, por exemplo,
ao subgrafo D 5. Neste caso, temos que as desigualdades
x
2
+x
6
+x
7
+y
1,2
+y
1,3
+y
1,4
+y
1,6
+y
1,7
3
x
3
+x
6
+x
7
+y
1,2
+y
1,3
+y
1,4
+y
1,6
+y
1,7
3
x
4
+x
6
+x
7
+y
1,2
+y
1,3
+y
1,4
+y
1,6
+y
1,7
3
induzem facetas de P(D 5, 3). Utilizando o Teorema 6.12, concluimos que as desigual-
dades
x
2
+x
6
+x
7
+x
1,2
+x
1,3
+x
1,4
+x
1,6
+x
1,7
+x
5,6
3
x
2
+x
6
+x
7
+x
1,2
+x
1,3
+x
1,4
+x
1,6
+x
1,7
+x
5,7
3
x
3
+x
6
+x
7
+x
1,2
+x
1,3
+x
1,4
+x
1,6
+x
1,7
+x
5,6
3
x
3
+x
6
+x
7
+x
1,2
+x
1,3
+x
1,4
+x
1,6
+x
1,7
+x
5,7
3
x
4
+x
6
+x
7
+x
1,2
+x
1,3
+x
1,4
+x
1,6
+x
1,7
+x
5,6
3
x
4
+x
6
+x
7
+x
1,2
+x
1,3
+x
1,4
+x
1,6
+x
1,7
+x
5,7
3
induzem facetas de P(D, 3).
7 Concluso
Neste trabalho, estudamos os politopos associados ao problema do maior conjunto indepen-
dente e ao problema do maior subgrafo induzido k-partido.
Para o politopo do conjunto independente, descrevemos um novo procedimento de gerao
de facetas, e vimos que ele unica e generaliza vrios procedimentos descritos anteriormente,
incluindo subdiviso de arestas, subdiviso de estrelas e substituio de vrtices por estrelas.
Vimos tambm que este procedimento d origem a desigualdades vlidas ainda no descritas
na literatura.
Embora o procedimento que descrevemos generalize diversos outros, existem procedimen-
tos que ele no generaliza. Um exemplo a substituio de vrtices por gril les [25]. Seria
interessante vericar se estes outros procedimentos tambm podem ser obtidos atravs da
mesma estratgia que utilizamos para obter o nosso procedimento identicao de faces
am-isomrcas e converso. Outra direo para trabalhos futuros utilizar o procedimento
descrito para identicar novas classes de subgrafos que gerem facetas para o politopo do
conjunto independente, ou expandir as classes de subgrafos j existentes.
Para o problema do subgrafo induzido k-partido, zemos um estudo da formulao por
representantes de cor, descrevemos suas facetas mais simples, mostramos que diversas de
suas faces so am-isomrcas a outros politopos, e, nalmente, identicamos duas classes
de subgrafos que geram facetas.
Por se tratar de uma formulao bastante nova, h diversas questes em aberto. Embora
tenhamos descrito duas classes de subgrafos que geram facetas, no sabemos o quo abran-
gentes as facetas geradas por estas duas classes so. Para grafos pequenos, estas duas classes,
aliadas aos procedimentos de gerao a partir de subgrafos induzidos, geram praticamente
todas as desigualdades que induzem facetas do politopo, mas no sabemos se isto verdade
131
132 CAPTULO 7. CONCLUSO
para grafos maiores. Tambm no consideramos os problemas de separao destas classes de
desigualdades. Outro trabalho futuro comparar os politopos associados a duas orientaes
distintas do mesmo complemento de um grafo.
Para obter os resultados principais desta dissertao, estudamos o isomorsmo am en-
tre poliedros, e tambm desenvolvemos um novo procedimento que nos permite converter
faces quaisquer de um poliedro em facetas que contm esta face. Vimos que este novo pro-
cedimento generaliza as diversas verses do procedimento de levantamento de variveis, e
que, aliado identicao de faces am-isomrcas, ele d origem a bons procedimentos de
gerao de facetas para politopos relacionados a conjuntos independente. Como trabalho
futuro, pretendemos aplicar esta mesma estratgia identicao de faces am-isomrcas
e converso a politopos relacionados a outros problemas de otimizao combinatria.
ndice Remissivo
rvore, 18
adjacncia, 17
forte, 71
arco, 19
aresta
de um conjunto convexo, 24
de um grafo, 17
caminho
no orientado, 18
orientado, 20
ciclo
no orientado, 18
orientado, 20
clique, 18
combinao
am, 22
cnica, 24
convexa, 23
linear, 22
cone, 24
cone de recesso, 25
cone polidrico, 25
conecta, 17, 21
conexo, 18
conjunto
am, 22
convexo, 23
independente, 18
DAG, 20
descrio
externa, 25
interna, 25
desigualdade
vlida, 24
dimenso, 23
plena, 23
direo de recesso, 25
direo extrema, 25
domina, 19
dominado, 19
estrela, 18
extremidade
de uma aresta, 17
nal de um arco, 19
inicial de um arco, 19
face, 24
133
134 NDICE REMISSIVO
prpria, 24
faceta, 24
fecho
am, 23
convexo, 24
fecho cnico, 24
folha, 17
fonte, 19
grafo
bipartido, 18
complemento, 19
completo, 18
direcionado, 19
k-partido, 18
simples, 17
subjacente, 20
trivial, 18
vazio, 18
grau, 17
hiperrvore forte, 71
hiperaresta, 21
hipercaminho forte, 71
hipergrafo, 20
hipergrafo-clique, 21
hiperplano, 23
homogenizao, 52
identicao de vrtices, 18
incidncia
de uma aresta, 17
incidente, 21
independncia
am, 22
linear, 22
linear de hiperplanos, 23
induz, 24
isomorsmo am, 27
k-face, 24
k-uniforme, 21
Lema de Farkas, 25
levantamento
estendido de variveis, 36
sequencial de variveis, 36
simultneo de variveis, 36
matriz de incidncia, 18
orientao, 20
passeio
no orientado, 18
orientado, 20
plano, 23
polar, 25
poliedro, 23
politopo, 24
de conjunto independente, 63
ponto, 23
problema
do maior conjunto independente, 63
do maior subgrafo induzido k-partido, 89
NDICE REMISSIVO 135
redundante, 25
remoo
de arestas, 18
de vrtices, 18
representa, 90
representante, 90
reta, 23
semi-espao fechado, 23
soma de Minkowski, 23
sub-hiperrvore forte, 71
sub-hipergrafo, 21
subespao linear, 21
subgrafo, 19
induzido, 19
sumidouro, 19
vrtice
de um conjunto convexo, 24
de um grafo, 17
de um hipergrafo, 21
isolado, 17
universal, 17
vetor, 21
de incidncia, 18
vetor-coluna, 22
vetor-linha, 22
vizinhana
em grafos simples, 17
fechada, 17
negativa, 19
positiva, 19
vizinho, 17
136 NDICE REMISSIVO
Referncias Bibliogrficas
[1] Louigi Addario-Berry, W.S. Kennedy, Andrew D. King, Zhentao Li, e Bruce Reed. Fin-
ding a maximum-weight induced k-partite subgraph of an i-triangulated graph. Discrete
Applied Mathematics, 158(7):765770, 2010.
[2] Alper Atamturk, George L. Nemhauser, e Martin W.P. Savelsbergh. Conict graphs
in solving integer programming problems. European Journal of Operational Research,
121(1):4055, 2000.
[3] David Avis. A revised implementation of the reverse search vertex enumeration al-
gorithm. Em Gil Kalai e Gnter M. Ziegler, editores, Polytopes: Combinatorics and
Computation, volume 29, pginas 177198. Birkhuser Verlag, 2000.
[4] Achim Bachem e Martin Grtschel. New aspects of polyhedral theory. Em Bernhard
Korte, editor, Modern Applied Mathematics: Optimization and Operations Research.
North-Holland, 1982.
[5] Laura Bahiense, Yuri Frota, Nelson Maculan, Thiago F. Noronha, e Celso C. Ribeiro.
A branch-and-cut algorithm for equitable coloring based on a formulation by represen-
tatives. Electronic Notes in Discrete Mathematics, 35:347352, 2009.
[6] Francisco Barahona e Ali R. Mahjoub. Facets of the balanced (acyclic) induced subgraph
polytope. Mathematical Programming, 45:2133, 1989.
[7] Francisco Barahona e Ali R. Mahjoub. Compositions of graphs and polyhedra I: Balanced
induced subgraphs and acyclic subgraphs. SIAM Journal on Discrete Mathematics,
7(3):344358, 1994.
137
138 REFERNCIAS BIBLIOGRFICAS
[8] Francisco Barahona e Ali R. Mahjoub. Compositions of graphs and polyhedra II: stable
sets. SIAM Journal on Discrete Mathematics, 7(3):359371, 1994.
[9] Bla Bollobs. Modern Graph Theory. Springer, corrected edition, julho de 1998.
[10] Immanuel M. Bomze, Marco Budinich, Panos M. Pardalos, e Marcello Pelillo. The
maximum clique problem. Em Handbook of Combinatorial Optimization, pginas 174.
Kluwer Academic Publishers, 1999.
[11] John A. Bondy e U. S. R. Murty. Graph Theory. Springer, novembro de 2007.
[12] Ralf Borndrfer e Robert Weismantel. Set packing relaxations of some integer programs.
Mathematical Programming, 88(3):425450, 2000.
[13] Manoel Camplo, Victor A. Campos, e Ricardo C. Corra. On the asymmetric repre-
sentatives formulation for the vertex coloring problem. Discrete Applied Mathematics,
156(7):10971111, 2008.
[14] Manoel Camplo e Ricardo C. Corra. A combined parallel lagrangian decomposition
and cutting-plane generation for maximum stable set problems. Electronic Notes in
Discrete Mathematics, 36:503510, 2010.
[15] Daniele Catanzaro, Alessandra Godi, e Martine Labb. A class representative model for
pure parsimony haplotyping. INFORMS Journal on Computing, 22(2):195209, 2010.
[16] Eddie Cheng e Sven de Vries. Antiweb-wheel inequalities and their separation problems
over the stable set polytopes. Mathematical Programming, 92(1):153175, 2002.
[17] D. Chinhyung Cho, Ellis L. Johnson, Manfred Padberg, e M.R. Rao. On the uncapaci-
tated plant location problem. i: valid inequalities and facets. Mathematics of Operations
Research, 8(4):579589, 1983.
[18] Hyeong-Ah Choi, Kazuo Nakajima, e Chong S. Rim. Graph bipartization and via mini-
mization. SIAM Journal on Discrete Mathematics, 2:3847, 1989.
[19] Denis Cornaz e Vincent Jost. A one-to-one correspondence between colorings and stable
sets. Operations Research Letters, 36(0):673676, 2008.
REFERNCIAS BIBLIOGRFICAS 139
[20] Harlan Crowder, Ellis L. Johnson, e Manfred Padberg. Solving large-scale zero-one linear
programming problems. Operations Research, 31(5):803834, 1983.
[21] Lzaro Cnovas, Mercedes Landete, e Alfredo Marn. New facets for the set packing
polytope. Operations Research Letters, 27(4):153161, 2000.
[22] Lzaro Cnovas, Mercedes Landete, e Alfredo Marn. Facet obtaining procedures for set
packing problems. SIAM Journal on Discrete Mathematics, 16(1):127155, 2003.
[23] Pierre Fouilhoux e Ali R. Mahjoub. Polyhedral results for the bipartite induced subgraph
problem. Discrete Applied Mathematics, 154(15):2149, 2006.
[24] Pierre Fouilhoux e Ali R. Mahjoub. Solving vlsi design and dna sequencing problems
using bipartization of graphs. Computational Optimization and Applications, pginas
133, 2010.
[25] Anna Galluccio, Claudio Gentile, e Paolo Ventura. Gear composition and the stable set
polytope. Operations Research Letters, 36(4):419423, 2008.
[26] Zonghao Gu, George L. Nemhauser, e Martin W.P. Savelsbergh. Lifted ow cover
inequalities for mixed 0-1 integer programs. Mathematical Programming, 85:439467,
1999.
[27] Zonghao Gu, George L. Nemhauser, e Martin W.P. Savelsbergh. Sequence independent
lifting in mixed integer programming. Journal of Combinatorial Optimization, 4(1):109
129, 2000.
[28] Gregory Gutin. Independent sets and cliques. Em Jonathan L. Gross e Jay Yellen,
editores, Handbook of graph theory, Discrete Mathematics & Its Applications, pginas
389402. CRC Press, 2004.
[29] Kenneth M. Homan e Ray Kunze. Linear Algebra. Prentice Hall, 2nd ed., abril de
1971.
140 REFERNCIAS BIBLIOGRFICAS
[30] Johan Hstad. Clique is hard to approximate within n
1
. Em Proceedings of the 37th
Annual Symposium on Foundations of Computer Science, pginas 627, Washington,
DC, USA, 1996. IEEE Computer Society.
[31] Richard M. Karp. Reducibility Among Combinatorial Problems. Em Raymond E. Miller
e James W. Thatcher, editores, Complexity of Computer Computations, pginas 85103.
Plenum Press, 1972.
[32] Giuseppe Lancia, Vineet Bafna, Sorin Istrail, Ross Lippert, e Russell Schwartz. Snps
problems, complexity, and algorithms. Em Proceedings of the 9th Annual European
Symposium on Algorithms, pginas 182193. Springer-Verlag, 2001.
[33] Lszl Liptk e Lszl Lovsz. Critical facets of the stable set polytope. Combinatorica,
21(1):6188, 2001.
[34] George L. Nemhauser e Leslie E. Trotter. Properties of vertex packing and independence
system polyhedra. Mathematical Programming, 6(1):4861, 1974.
[35] Marteen Oosten. A Polyhedral Approach to Grouping Problems. PhD thesis, University
of Maastricht, 1996.
[36] Manfred W. Padberg. On the facial structure of set packing polyhedra. Mathematical
Programming, 5(1):199215, 1973.
[37] Panos M. Pardalos e Jue Xue. The maximum clique problem. Journal of Global Opti-
mization, 4(3):301328, 1994.
[38] Ralph T. Rockafellar. Convex Analysis (Princeton Landmarks in Mathematics and Phy-
sics). Princeton University Press, dezembro de 1996.
[39] Alexander Schrijver. Theory of Linear and Integer Programming. John Wiley & Sons,
junho de 1998.
[40] Josef Stoer e Christoph Witzgall. Convexity and Optimization in Finite Dimensions I.
Springer-Verlag, 1970.
REFERNCIAS BIBLIOGRFICAS 141
[41] Leslie E. Trotter. A class of facet producing graphs for vertex packing polyhedra. Discrete
Mathematics, 12(4):373388, 1975.
[42] Laurence A. Wolsey. Facets and strong valid inequalities for integer programs. Operations
Research, 24(2):367372, 1976.
[43] Laurence A. Wolsey. Further facet generating procedures for vertex packing polytopes.
Mathematical Programming, 11(1):158163, 1976.
[44] Laurence A. Wolsey. Valid inequalities and superadditivity for 0-1 integer programs.
Mathematics of Operations Research, 2(1):6677, 1977.
[45] linson S. Xavier e Manoel Camplo. A new facet generating procedure for the stable
set polytope. Electronic Notes in Discrete Mathematics, 37:183188, 2011. LAGOS11 -
VI Latin-American Algorithms, Graphs and Optimization Symposium.
[46] Eitan Zemel. Lifting the facets of zeroone polytopes. Mathematical Programming,
15(1):268277, 1978.
[47] Gnter M. Ziegler. Lectures on polytopes. Graduate texts in mathematics. Springer-
Verlag, 1995.

Alinson Santos Xavier

Загружено:

Сведения о документе

Авторское право

Доступные форматы

Поделиться этим документом

Поделиться или встроить документ

Параметры публикации

Этот документ был вам полезен?

Это неприемлемый материал?

Авторское право:

Доступные форматы

Alinson Santos Xavier

Загружено:

Авторское право:

Доступные форматы

Universidade Federal do Cear

so linearmente independentes se os vetores , so linearmente independentes.

Demonstrao. () Seja y f(R). Como R P, ento y Q. Resta provar que Gy =

. Estas direes podem ser enumeradas, por exemplo, atravs da

. Para todo x K, temos x K

. Alm disso, para todo x F, temos x, x K

, ento direo extrema de K

. No difcil vericar que o conjunto

. Suponha, por absurdo, que z

, portanto, no est contida em (x, z) : z = 0. Pela proposio 4.23,

tem dimenso maior que zero,

, portanto, no est contida em (x, z) : z = 0.

, mencionado na introduo. Este cone composto por

F. Como Ax 0, sabemos que x +x

= (S 1). Sabemos, pela Proposio 4.26, que

Figura 5.5: Aplicao do Teorema 5.20.

), obtido a partir de G atravs da remoo dos vrtices de V

), o politopo associado ao grafo da Figura 5.5(b).

. Para cada u V , faa

. Vamos provar que x

. Resta provar que x

i E. Pelo Lema 5.17, temos x

) em facetas de STAB(G), preci-

). Por esse isomorsmo am e pela Proposio 3.8, f

obtido a partir de G atravs da remoo dos vrtices de V

Figura 5.7: Aplicao do Teorema 5.23 a estrelas.

o grafo obtido a partir de G atravs da remoo do vrtice

), e faa, para todo R 1, . . . , p,

mais simples, ou so am-isomrcas a politopos de outros problemas bem estudados. Nesta

atravs de remoo e identicao de

, descrito na demonstrao da Proposio

atravs de remoo e identicao de

, descrito na demonstrao da Proposio

, onde uma ordem de R

, onde uma ordem de S

S um subconjunto tal que [S S

[ 2. Obtemos, com auxlio do Teorema 5.2, as

Вам также может понравиться