30/08 a 03/09

XLII SBPO

Bento gonalves rs

Partio dos grafos

P4 -tidy

em onjuntos independentes e liques

Raquel Bravo

Universidade Federal do Rio de Janeiro - UFRJ

Rio de Janeiro - RJ
raquelbr os.ufrj.br

Sulamita Klein

Universidade Federal do Rio de Janeiro - UFRJ

Rio de Janeiro - RJ
sula os.ufrj.br

Loana Nogueira

Universidade Federal Fluminense - UFF

Niteri - RJ
loanai .u.br

Fbio Protti

Universidade Federal Fluminense - UFF

Niteri - RJ
fabioi .u.br
RESUMO

Um grafo G P4 -tidy se, para qualquer P4 induzido H de G, existe no mximo um vrti e fora de H que juntamente om trs vrti es de H induzem um P4 . Neste trabalho,
onsideramos o problema de partio-(k, ) de um grafo P4 -tidy, isto , o problema de determinar se o onjunto de vrti es de um grafo P4 -tidy pode ser parti ionado em k onjuntos
independentes e liques. Apresentamos um algoritmo linear de re onhe imento dos grafos
P4 -tidy-(k, ), para k, 2.

PALAVRAS CHAVE: liques, onjuntos independentes, grafos P4 -tidy, grafos(k, ).

rea prin ipal: Teoria dos Grafos
ABSTRACT

A graph G is a P4 -tidy graph if, for any indu ed subgraph H of G isomorphi to a P4 , A, there
exists at most one vertex outside H forming an indu ed P4 along with three verti es of H .
This work onsiders (k, )-partitions of P4 -tidy graphs, that is, the problem of determining
if the set of verti es of a P4 -tidy graph an be partitioned into k independent sets and
liques. We present a linear time algorithm to re ognize if a graph is a P4 -tidy-(k, ) graph,
for k, 2.

KEYWORDS: liques, independent set, P4 -tidy graphs, (k, )-graphs.

Main area: Graph Theory

XLII SBPO

30/08 a 03/09
Bento gonalves rs

1. Introduo

Muitos problemas em grafos, tais omo o problema de olorao e o problema de obertura,

podem ser vistos omo problemas de partio. Em geral, os problemas de partio de grafos
objetivam parti ionar o onjunto dos vrti es de um grafo em sub onjuntos V1 , V2 , . . . , Vk ,
onde V1 V2 . . . Vk = V e Vi Vj = , i 6= j , 1 i k e 1 j k, exigindo-se,
porm, algumas propriedades sobre estes sub onjuntos de vrti es. Estas propriedades podem ser internas, omo por exemplo exigir que os vrti es de ada sub onjunto Vi sejam
ompletamente adja entes (isto , uma lique) ou ompletamente no-adja entes (isto , um
onjunto independente), ou externas, onde as exign ias so feitas sobre os pares (Vi , Vj ),
omo por exemplo exigir que Vi e Vj sejam ompletamente adja entes ou no-adja entes
entre si. Um dos problemas mais famosos que se insere neste ontexto o problema da
k- olorao, onde parti iona-se o onjunto de vrti es de um grafo em k onjuntos independentes V1 , . . . , Vk (sem restries externas). Sabe-se que esse problema polinomial para
k 2 e NP -Completo para k 3.
Outro problema bastante onhe ido de parti ionamento de grafos veri ar se um dado
grafo G split, ou, equivalentemente, veri ar se o onjunto dos vrti es de G pode ser
parti ionado em dois sub onjuntos, onde um deles independente e o outro uma lique.
Golumbi (1980) provou que o re onhe imento de grafos split pode ser realizado em tempo
linear. Re entemente, uma generalizao de grafos split foi proposta por Brandstdt, que
deniu uma nova lasse de grafos, a lasse dos grafos-(k, ), a qual tambm hamamos
de grafos split generalizados, omo sendo aquela formada pelos grafos ujos onjuntos de
vrti es podem ser parti ionado em k onjuntos independentes e liques. Brandstdt
(1996, 1998) onsiderou em parti ular as lasses de grafos-(2, 1), grafos-(1, 2) e grafos-(2, 2),
apresentando algoritmos polinomiais para re onhe -las. Feder et al. (1999) tambm apresentaram algoritmos polinomiais para o re onhe imento destas lasses que surgiram omo
sub-produto de algoritmos de partio em subgrafos densos e esparsos. Por outro lado,
sabe-se que re onhe er grafos-(k, ) para k 3 ou 3 N P -Completo, omo mostrado
por Brandstdt (1996).
Desde ento, tem-se estudado lasses espe iais de grafos-(k, ), tais omo grafos ordais-(k, )
e ografos-(k, ), ujo re onhe imento polinomial. Hell et al. (2004) apresentaram uma
ara terizao para os grafos ordais-(k, ) e um algoritmo de re onhe imento em tempo
polinomial para essa famlia. Bravo et al. (2005) ara terizaram os ografos-(k, ), e Demange et al. (2005) apresentaram um algoritmo de re onhe imento para esta lasse. Bravo
et al. (2009) tambm ara terizaram e re onhe eram em tempo linear a lasse dos grafos
P4 -esparsos-(k, ). Os grafos perfeitos que so grafos-(k, ) foram estudados por Feder et al.
(2005).
Neste trabalho onsideramos a lasse dos grafos P4 -tidy, lasse esta onhe ida por onter
pou os P4 's. Mais pre isamente, um grafo G P4 -tidy se, para qualquer P4 induzido H de
G, existe no mximo um vrti e fora de H que juntamente om trs vrti es de H induzem
um P4 . Essa lasse ontm estritamente a lasse dos grafos P4 -esparsos e, por onseguinte,
a dos ografos. Alm disso, essa lasse no est ontida na lasse dos grafos perfeitos, o que
a torna uma lasse interessante para estudo. Os grafos P4 -tidy que podem ser parti ionados
em k onjuntos indepedendentes e liques so denominados grafos P4 -tidy-(k, ).

1.1. Preliminares
Os grafos onsiderados neste trabalho so simples, isto , sem laos e sem arestas paralelas.
A seguir, apresentamos as denies ne essrias para o entendimento do nosso trabalho.

30/08 a 03/09

XLII SBPO

Bento gonalves rs

Denotamos por G o omplemento de G, isto , o grafo que possui o mesmo onjunto de

vrti es de G e tal que dois vrti es so adja entes em G se e somente se no so adja entes
em G. Para V V , G[V ] denota o subgrafo de G induzido por V . Uma lique ( onjunto
independente) um sub onjunto de vrti es induzindo um subgrafo ompleto (sem arestas),
no ne essariamente maximal. G um grafo-(k, ) se V pode ser partiti ionado em k
onjuntos independentes e liques. Para um grafo-(k, ) G es revemos V = S1 . . . Sk
C1 . . . Cl , onde ada Sj um onjunto independente e ada Ci uma lique. Vale a pena
men ionar que alguns onjuntos podem ser vazios. Tal partio hamada de partio-(k, )
de G. O grafo ompleto (respe tivamente, sem arestas) om r vrti es denotado por Kr
(respe tivamente, Ir ). Dados dois grafos G1 = (V1 , E1 ) e G2 = (V2 , E2 ), o grafo G1 G2
( hamado de unio de G1 e G2 ) um grafo om onjunto de vrti es V1 V2 e onjunto de
arestas E1 E2 , e o grafo G1 + G2 ( hamado de join de G1 e G2 ) o grafo om onjunto
de vrti es V1 V2 e onjunto de arestas E1 E2 {xy | x V1 , y V2 }.
Denotamos por Pk um aminho sem ordas om k vrti es e k 1 arestas. O omprimento
de um aminho Pk k 1. Denotamos por Ck um i lo sem ordas om k vrti es e k
arestas. O grafo P4 om vrti es u, v, w, x e arestas uv, vw, wx denotado por uvwx. Os
vrti es v e w so os pontos interiores e os vrti es u e x so os pontos extremos.
A lasse dos ografos pode ser denida omo a lasse de grafos que no ontm P4 omo
subgrafo induzido.
Ler hs (1971) mostrou omo asso iar um ografo G a uma ni a rvore de de omposio
T (G) hamada de o-rvore de G, denida omo segue:
- Se G um grafo no trivial ento todo n interno de T (G) possui pelo menos dois lhos.
- Ns internos so rotulados por 0 (ns tipo-0) ou 1 (ns tipo-1) de tal forma que ns tipo-0
e ns tipo-1 alternam em todo aminho em T (G) omeando pela raiz.
- Folhas de T (G) so pre isamente os vrti es de G, tais que vrti es x e y so adja entes
em G se e somente se o menor an estral omum de x e y em T (G) um n tipo-1.
Um grafo G P4 -tidy se, para qualquer P4 induzido H de G, existe no mximo um vrti e
fora de H que juntamente om trs vrti es de H induzem um P4 .
Assim omo os ografos, os grafos P4 -tidy tambm podem ser representados atravs de
uma rvore de de omposio, hamada rvore primeval. Antes de apresentarmos tal rvore,
introduzimos os grafos p- onexos e p- onexos separveis.
Dizemos que um grafo G p- onexo se para toda partio de V em dois onjuntos disjuntos
no-vazios V1 e V2 , existe um P4 induzido ruzando os onjuntos V1 e V2 , isto , um P4
induzido ontendo vrti es tanto de V1 quanto de V2 . Os omponentes p- onexos de um
grafo so os subgrafos induzidos maximais que so p- onexos. Observe que um omponente
p- onexo onsiste de um ni o vrti e ou de pelo menos quatro vrti es.
Um grafo p- onexo dito separvel se o onjunto de vrti es V pode ser parti ionado em
dois onjuntos disjuntos no-vazios V1 e V2 de tal forma que todo P4 ruzando V1 e V2 ,
possui seus pontos interiores em V1 e seus pontos extremos em V2 . Neste aso, dizemos que
(V1 , V2 ) uma separao de G.

Teorema 1.

[Teorema estrutural - Jamison e Olariu (1995) Para um grafo arbitrrio

G,

exatamente uma das seguintes ondies satisfeita:

1.

des onexo;

2.

des onexo;

3. Existe um ni o omponente
tal que todo vrti e fora de

p- onexo

separvel

de

om uma partio

adja ente a todos os vrti es de

H1

(H1 , H2 )

e a nenhum vrti e

30/08 a 03/09

XLII SBPO

4.

Bento gonalves rs

de

H2 ;

p- onexo.

Como observado por Jamison et al. (1995), esse teorema impli a, de forma natural, em um
esquema de de omposio para grafos, hamado de de omposio primeval. Para sermos
mais espe  os, vamos denir algumas operaes.
Sejam G1 = (V1 , E1 ) e G2 = (V2 , E2 ) grafos disjuntos. A unio e o join de G1 e G2 so
grafos que resultam, respe tivamente, das operaes:

G1
0 G2 = (V1 V2 , E1 E2 )
G1
1 G2 = (V1 V2 , E1 E2 {xy|x V1 , y V2 }).
0 e
1 esto rela ionadas aos dois primeiros asos do Teorema
Claramente, as operaes
1. Podemos observar que as operaes
0 e
1 tambm equivalem, respe tivamente, aos
ns tipo-0 e tipo-1 da o-rvore.
Sejam G1 = (V1 , E1 ) um grafo p- onexo separvel om separao (V11 , V12 ) e G2 = (V2 , E2 )
um grafo arbitrrio disjunto de G1 . O ter eiro aso do teorema estrutural apturado pela
seguinte operao:

G1
2 G2 = (V1 V2 , E1 E2 {xy|x V11 , y V2 })
Como mostrado por Jamison et al. (1995), todo grafo G ou um grafo p- onexo ou pode ser
obtido uni amente de seus omponentes p- onexos (p- omponente ) e de seus vrti es fra os
(i.e, aqueles que no esto em nenhuma p- omponente de G) atravs de uma sequn ia nita
de operaes
0 ,
1 e
2 . Alm disso, o Teorema 1 nos sugere uma rvore ni a (a menos
de isomorsmo) de representao, TG , para grafos arbitrrios, hamada de rvore primeval
de repla ements
G. Os ns internos de TG so rotulados por inteiros i {0, 1, 2}, onde um n i indi a
PSfrag
que o grafo asso iado sub-rvore enraizada neste n obtido pelos grafos orrespondentes
aos seus lhos por uma operao i. As folhas da rvore so omponentes p- onexos de G.
A Figura 1 ilustra um grafo G e sua rvore primeval TG .

2
c
b

e
x

d
s

y
v
b

Figura 1: Um grafo G e sua rvore primeval TG .

Um grafo G = (V, E) uma aranha se V pode ser parti ionado em trs onjuntos S , K e
R, onde S um onjunto independente, K uma lique, |S| = |K| 2 e existe uma bijeo
f : S K tal que ou NG (v) = {f (v)}, para v S (aranha magra ) ou NG (v) = K\{f (v)},
para v S (aranha gorda ). Alm disso, todo vrti e de R adja ente a todos os vrti es de

30/08 a 03/09

XLII SBPO

Bento gonalves rs

PSfrag repla ements

Figura 2: G uma aranha magra e G uma aranha gorda.

K e no-adja ente a todos os vrti es de S . R dito abea da aranha. A Figura 2 ilustra

uma aranha magra e uma aranha gorda.
Uma quase-aranha um grafo isomorfo a uma aranha S = (S, K, R) om apenas um vrti e
v S K substitudo por um K2 ou por um I2 , onde os vrti es deste K2 ou I2 tm a mesma
vizinhana de v S K. Uma quase-aranha dita magra se o vrti e substitudo perten e
ao onjunto de vrti es de uma aranha magra. Caso ontrrio, a quase-aranha dita gorda.
A Figura 3 nos mostra dois exemplos de quase-aranha: uma quase-aranha magra om um
vrti e do onjunto S substitudo por um K2 e uma quase-aranha gorda om um vrti e do
onjunto K substitudo por um I2 .

PSfrag repla ements

Figura 3: G uma quase-aranha magra e G uma quase-aranha gorda.

O seguinte teorema des reve os omponentes p- onexos dos grafos P4 -tidy.

Teorema 2 (Giakoumakis

isomorfo ou uma aranha sem

dos grafos

(1997)). Um omponente p- onexo de um grafo P4 -tidy

abea (R) ou a uma quase-aranha sem abea (R), ou a um

et al.

C5 , P5 , P5 .

As seguintes observaes so de f il veri ao.

Observao 1.

Um grafo

Observao 2.

Sejam

(k, )

ento

GS

G um
(k + 1, )

P4 -tidy-(k, )
S
GK

se e somente se

um grafo

grafo,

um onjunto independente e

P4 -tidy-(, k).

uma lique. Se

(k, + 1).

2. Resultado Prin ipal

Nesta seo apresentamos um algoritmo de re onhe imento dos grafos P4 -tidy-(k, ). Nossa
estratgia onsiste na onstruo de um ografo auxiliar G de tal forma que um grafo
P4 -tidy G (k, ) se e somente se G (k, ).

2.1. Construo do ografo auxiliar G

Regra 1: Para ada P5 de G, substitua-o pelo grafo G1 abaixo:

30/08 a 03/09

XLII SBPO

Bento gonalves rs

G1
PSfrag repla ements

Figura 4: O grafo G1 denotado por P2 P3 .

Regra 2: Para ada P5 de G, substitua-o pelo grafo G2 abaixo:

G2
PSfrag repla ements

Figura 5: O grafo G2 denotado por C3 P2 .

Regra 3: Para ada C5 de G, substitua-o pelo grafo G3 abaixo:

G3

PSfrag repla ements

Figura 6: O grafo G3 denotado por C3 P3 .

Regra 4: Para ada aranha S = (S, K, R) de G:

(1.a) se S uma aranha magra ento remova todas as arestas existentes entre os
onjuntos S e K;
(1.b) se S uma aranha gorda ento adi ione todas as arestas que faltam entre os
onjuntos S e K.

Regra 5: Para ada quase-aranha S = (S, K, R) de G:

(2.a) se S uma quase-aranha magra ento remova todas as arestas existentes entre
os onjuntos S e K;
(2.b) se S uma quase-aranha gorda ento adi ione todas as arestas que faltam entre
os onjuntos S e K.
Podemos observar que a onstruo a ima est bem-denida, j que para quaisquer duas
aranhas S 1 = (S 1 , K1 , R1 ) e S 2 = (S 2 , K2 , R2 ) de um grafo P4 -tidy G, (S 1 R1 ) (S 2
K2 ) = . As mesmas observaes valem para as quase-aranhas, os P5 's, os P5 's e os C5 's.

Lema 1.

Prova:

O grafo auxiliar

um ografo.

O resultado segue do seguinte fato: todo P4 induzido em G est em uma aranha,

em uma quase-aranha, em um C5 , em um P5 ou em um P5 .
f il ver que as Regras 1, 2 e 3 substituem os grafos que ontm P4 's por ografos.

30/08 a 03/09

XLII SBPO

Bento gonalves rs

Resta mostrar que ao apli armos as Regras 4 e 5 destruimos os demais P4 's, o que de orre
do fato de que os P4 's no podem estar inteiramente ontidos em S ou em K.
O re onhe imento dos grafos P4 -tidy-(k, ), para k = 0 (respe tivamente, = 0) orresponde
ao problema da - olorao em G (respe tivamente, o problema da k- olorao em G), que
pode ser resolvido em tempo linear, de a ordo om Giakoumakis et al. (1997). Bransdstdt
(1996) apresentou um algoritmo de tempo linear para re onhe er os grafos-(1, 1), e de tempo
polinomial para re onhe er tanto os grafos-(1, 2) quanto os grafos-(2, 1). Neste trabalho,
onsideramos que k, 2.
Vamos pre isar dos seguintes lemas.

Lema 2. [Bravo et al. (2009)

Ento

Prova:

Sejam

um grafo-(k, ) se e somente se

G = (S, K, R) uma aranha

G[R] um grafo-(k, ).

k, 2

inteiros.

() A ne essidade segue imediatamente do fato de G[R] ser um subgrafo induzido

de G.
() Suponhamos que G[R] um grafo-(k, ). Ento R = S1 S2 . . . Sk C1 . . . C .
Como S um onjunto independente e todo vrti e de S no-adja ente a todo vrti e de
R, S1 S um onjunto independente. Analogamente, omo K uma lique e todo vrti e
de K adja ente a todo vrti e de R, K C1 uma lique. Portanto, G um grafo-(k, ).

Lema 3. [Bravo et al. (2009)

Sejam G = (S, K, R) uma aranha e

Ento G um grafo-(k, ) se e somente se G [R] um grafo-(k, ).

Prova:
Lema 4.

k, 2

inteiros.

A prova anloga do Lema 2.

G = (S , K , R) uma quase-aranha
somente se G[R] um grafo-(k, ).

Sejam

grafo-(k, ) se e

k, 2

inteiros.

Ento

um

Prova:

Sejam G = (S, K, R) uma aranha e G = (S , K , R) uma quase-aranha, onde

S = S e K = (K\{v}) {v1 , v2 }, om G[v1 , v2 ] sendo isomorfo a um I2 ou K2 , ou S =
(S\{s}) {s1 , s2 } e K = K, om G[s1 , s2 ] sendo isomorfo a um I2 ou K2 .
() Suponhamos que G um grafo-(k, ). Como G[R] um subgrafo induzido de G,
onsequentemente G[R] um grafo-(k, ).
() Seja G[R] um grafo-(k, ), logo R = S1 S2 . . . Sk C1 . . . Cl .
Como G = (S , K , R) uma quase-aranha, analisaremos os quatro asos abaixo:
(i) substituio de um vrti e s S por dois vrti es s1 , s2 que induzem um I2 .
Observe que a substituio feita ainda permite que o onjunto S I2 seja um onjunto
independente. Logo, a anlise anloga do Lema 2.
(ii) substituio de um vrti e s S por dois vrti es s1 , s2 que induzem um K2 .
Como 2, temos ento no mnimo dois onjuntos independentes. Podemos ento
olo ar o onjunto S \{s2 } em um onjunto independente, S1 , j que S \{s2 } ompletamente no-adja ente a R, e o vrti e s2 em outro onjunto independente, S2 , de
R.
(iii) substituio de um vrti e v K por dois vrti es v1 , v2 que induzem um I2 .

30/08 a 03/09

XLII SBPO

Bento gonalves rs

Como k 2, temos no mnimo duas liques. Podemos, ento olo ar o onjunto

K \{v2 } em uma lique, C1 , j que K \{v2 } ompletamente adja ente a R, e o
vrti e v2 em outra lique, C2 , de R.
(iv) substituio de um vrti e v K por dois vrti es v1 , v2 que induzem um K2 .
Como K uma lique e ompletamente adja ente ao onjunto R, podemos ento
analisar este aso de forma anloga do Lema 2.
Podemos on luir que G um grafo-(k, ).

Lema 5.

grafo-(k, ) se e

Prova:

G = (S, K, R) uma quase-aranha

somente se G [R] um grafo-(k, ).

Sejam

k, 2

inteiros.

Ento

um

A prova anloga do Lema 4.

Lema 6.

Seja G isomorfo a P5 , e suponha

somente se G um grafo-(k, ).

k + = 3.

Ento

um grafo-(k, ) se e

Prova:

() Suponhamos que G um grafo-(k, ).

Temos que G isomorfo

P2 P3 , omo mostra a Figura 7.
PSfrag arepla ements

Figura 7: G isomorfo a P2 P3 .
Como k + = 3, temos que analisar quatro asos:
(i) Para k = 0 e = 3, temos G om uma partio C1 = {a, b}, C2 = {c}, C3 = {d, e}.
(ii) Para k = 1 e = 2, temos G om uma partio C1 = {a, b}, C2 = {d, e}, S1 = {c}.
(iii) Para k = 2 e = 1, temos G om uma partio C1 = {a, b}, S1 = {c, d}, S2 = {e}.
(iv) Para k = 3 e = 0, temos G om uma partio S1 = {a, c}, S2 = {b, d}, S3 = {e}.
PSfrag repla ements
Logo, G uma grafo-(k, ).

() Suponha G omo mostra a Figura 8.

a

Figura 8: G isomorfo a P5 .
Novamente, omo k + = 3, analisaremos quatro asos:

30/08 a 03/09

XLII SBPO

Bento gonalves rs

(i) Para k = 0 e = 3, temos G om uma partio C1 = {a, b}, C2 = {c, d}, C3 = {e}.
(ii) Para k = 1 e = 2, temos G om uma partio S1 = {a, c, e}, C1 = {b}, C2 = {d}.
(iii) Para k = 2 e = 1, temos G om uma partio S1 = {a, c, e}, S2 = {b, d}, C1 = .
(iv) Para k = 3 e = 0, temos G om uma partio S1 = {a, c, e}, S2 = {b, d}, S3 = .
Portanto, G um grafo-(k, ).

Lema 7.

Seja

somente se

Prova:
Lema 8.

isomorfo a

P5 ,

e suponha

k + = 3.

Ento

um grafo-(k, ) se e

k + = 3.

Ento

um grafo-(k, ) se e

um grafo-(k, ).

A prova anloga do Lema 6.

Seja

somente se

Prova:

isomorfo a

C5 ,

e suponha

um grafo-(k, ).

A prova anloga do Lema 6.

Teorema 3.
somente se

Sejam

um grafo

P4 -tidy

k, 2

inteiros. Ento

um grafo-(k, ) se e

um grafo-(k, ).

Prova:

() Suponhamos que G um grafo-(k, ).

A prova ser dada por induo em n, nmero de vrti es de G.
Para grafos om n = 1, a prova segue trivialmente.
Agora, seja G um grafo-(k, ), om n > 1 vrti es. Vamos analisar in o asos:
(1) G um grafo des onexo om p omponentes onexos, isto , G = G1 G2 . . . Gp .
Observe que |V (Gi )| < n, para i = 1, 2, . . . , p. Como G um grafo-(k, ), Gi
P
um grafo-(k, i ), i = 1, . . . , p, om pi=1 i = . Pela hiptese indutiva, (Gi ) um
grafo-(k, i ). Portanto, G um grafo-(k, ).
(2) G um grafo des onexo. A anlise anloga ao item (1).
(3) G isomorfo a uma aranha S = (S, K, R). Pelo Lema 2, G[R] um grafo-(k, ).
Como |V (G[R])| < n, temos pela hiptese indutiva que (G[R]) = G [R] um grafo(k, ). E, pelo Lema 3, G um grafo-(k, ).
(4) G isomorfo a uma quase-aranha S = (S, K, R). Pelo Lema 4, G[R] um grafo(k, ), j que k, 2. Temos adi ionalmente que |V (G[R])| < n. Logo, pela hiptese
indutiva, (G[R]) = G [R] um grafo-(k, ). Pelo Lema 5, temos que G um grafo(k, ).
(5) G isomorfo a P5 ou P5 ou C5 . Pelos Lemas 6, 7 e 8, respe tivamente, temos que G
um grafo-(k, ).

30/08 a 03/09

XLII SBPO

Bento gonalves rs

() Suponha que G um grafo-(k, ).

A prova tambm ser dada por induo em n.
Se n = 1 ento segue trivialmente que G um grafo-(k, ).
Suponha agora que G seja um grafo P4 -tidy om n > 1 vrti es. Novamente, analisaremos
in o asos:
(1) G um grafo des onexo, isto , G = G1 G2 . . . Gp e |V (Gi )| < n, i = 1, 2 . . . , p.
Observe que ada Gi satisfaz a propriedade de que Gi des onexo ou isomorfo a
uma aranha, ou quase-aranha, ou P5 , ou P5 , ou C5 .

 Se Gi des onexo ento (Gi ) tambm des onexo, e omo G um grafo-(k, ),

(Gi ) um grafo-(k, i ). Pela hiptese indutiva, Gi um grafo-(k, i ).

 Se Gi isomorfo a uma aranha S = (S, K, R), onsideremos 2 sub asos:

(a) Se Gi uma aranha magra, (Gi ) um grafo des onexo e (Gi ) = S (K+R).
Como G um grafo-(k, ), K + R um grafo-(k, i ), e portanto (Gi ) =
S (K + R) tambm um grafo-(k, i ). Pela hiptese indutiva, Gi um
grafo-(k, i ).
(b) Se Gi uma aranha gorda, (Gi ) um grafo onexo e (Gi ) = S + (K R).
Novamente, temos que (Gi ) um grafo-(k, i ), e pela hiptese indutiva Gi
um grafo-(k, i )
Em ambos os asos, Gi um grafo-(k, i ), para i = 1, 2, . . . , p.

 Se Gi isomorfo a uma quase-aranha S = (S, K, R), a anlise anloga

anterior.

 Se Gi isomorfo a P5 , temos que (Gi ) um grafo-(k, i ). Pelo Lema 6, Gi um

grafo-(k, i ).

 Se Gi isomorfo a P5 , a anlise anloga anterior. Pelo Lema 7, Gi um

grafo-(k, i ).

 Se Gi isomorfo a C5 , novamente fazemos a mesma anlise a ima. Pelo Lema 8,

Gi um grafo-(k, i ).

Como Gi um grafo-(k, i ), para i = 1, 2, . . . , p, temos que G um grafo-(k, ).

(2) G des onexo. A anlise anloga ao item (1).
(3) G isomorfo a uma aranha. Como G um grafo-(k, ), pelo Lema 3, (G[R]) um
grafo-(k, ). Como |G[R]| < n, podemos on luir, pela hiptese indutiva, que G[R]
um grafo-(k, ). E, pelo Lema 2, G um grafo-(k, ).
(4) G isomorfo a uma quase-aranha. Temos que G um grafo-(k, ), pelo Lema 5,
(G[R]) um grafo-(k, ). J que |G[R]| < n, temos, pela hiptese indutiva, que G[R]
um grafo-(k, ). Pelo Lema 4, podemos on luir que G um grafo-(k, ).
(5) G isomorfo a P5 ou P5 ou C5 . Ento, pelos Lemas 6, 7 e 8, respe tivamente, podemos
on luir que G um grafo-(k, ).
Aps analisarmos os in o asos, podemos on luir que G um grafo-(k, ).

30/08 a 03/09

XLII SBPO

Bento gonalves rs

3. Re onhe imento dos grafos

P4 -tidy-(k, )

O ografo auxiliar G uma ferramenta fundamental para o algoritmo linear de re onhe imento dos grafos P4 -tidy-(k, ).
Considere k e inteiros xos, k, 2. O algoritmo est des rito abaixo.
Seja G um grafo P4 -tidy.
Algoritmo de re onhe imento de grafos P4 -tidy-(k, )
Entrada: Grafo P4 -tidy G = (V, E)
1 Transforme G em G ;
2 G1 := G ;
3 para i = 1 at k faa
4
En ontre Si ;
5
Gi+1 := Gi \Si ;

6
|V | := |V | |Si |;
7 para j = k + 1 at k +
8
En ontre Cj ;
9
Gj+1 := Gj \Cj ;

faa

|V | := |V | |Cj |;

11 se |V | = 0 ento
12
G um grafo-(k, ) e G um grafo-(k, );
13
seno G no um grafo-(k, ) e G no um grafo-(k, );
10

Teorema 4.

Sejam

um grafo

P4 -tidy

k, 2

inteiros. Ento podemos de idir se

um grafo-(k, ) em tempo linear.

Prova:

Para transformar o grafo G no ografo G , utilizamos a rvore primeval de G,

que pode ser obtida em tempo linear, onforme Jamison et al. (1995). Examinamos ada
omponente p- onexo, e substitumos em tempo linear pelos seus respe tivos grafos dados
pelas Regras de 1 a 5. Veri ar se um ografo um grafo-(k, ) tambm pode ser feito em
tempo linear, omo apresentado por Bravo et al. (2005) e Demange et al. (2005).

4. Con luso

Neste trabalho, usamos fortemente a estrutura dos grafos P4 -tidy e a rvore de de omposio
primeval para desenvolver um algoritmo de re onhe imento de grafos P4 -tidy-(k, ).

Refern ias
[1 Bransdstdt, A. Partitions of graphs into one or two independent sets and liques.
Dis rete Mathemati s 152 (1996) 4754.
[2 Bransdstdt, A. The omplexity of some problems related to graph 3- olorability.
Dis rete Applied Mathemati s 89 (1998) 5973.
[3 Bravo, R. S. F., Klein, S., and Nogueira, L. T. Chara terizing (k, l)-partitionable
ographs. In: 7th International Colloquium on Graph Theory, 2005, Hyeres, Ele troni
Notes in Dis rete Mathemati s 22 (2005) 277280.

30/08 a 03/09

XLII SBPO

Bento gonalves rs

[4 Bravo, R. S. F., Klein, S., Nogueira, L. T., and Protti, F. Chara terization
and re ognition of P4 -sparse graphs partitionable into k independent sets and liques.
Submetido (2009).
[5 Corneil, D. G., Ler hs, H., and Burlingham, L. S. Complement redu ible graphs.
Dis rete Applied Mathemati s 3 (1981) 163174.
[6 Damas hke, P. Indu ed subgraphs and well-quasi-ordering.
14 (1990) 427435.

Journal of Graph Theory

[7 Demange, M., Ekim, T., and de Werra, D. Partitioning ographs into liques
and stable sets. Dis rete Optimization 2 (2005) 145153.
[8 Ekim, T. Generalized Vertex
EPFL, number 3629 (2006).

Coloring Problems Using Split Graphs.

PhD Thesis,

[9 Feder, T., and Hell, P. Matrix partitions of perfe t graphs. Spe ial Issue of
Mathemati s, in Memory of Claude Berge (2005).

Dis ete

[10 Feder, T., Hell, P., and Ho hstttler, W. Generalized olourings (matrix partitions) of ographs. Manus ript, 2005.
[11 Feder, T., Hell, P., Klein, S., and Motwani, R. Complexity of graph partition
problems. 31st Annual ACM Symposium on Theory of Computing, 464472. Plenum
Press, New York, 1999.
[12 Feder, T., Hell, P., Klein, S., and Motwani, R. List partitions.
on Dis rete Mathemati s 16 (2003) 449-478.

SIAM Journal

[13 Feder, T., Hell, P., Klein, S., Ho hstttler W. Generalized Colouring (Matrix
Partitions) of Cographs. Trends in Mathemati s 2006 149167
[14 Garey, M. R., Johnson, D. S., and Sto kmeyer, L. Some simplied NP- omplete
graph problems. Theoreti al Computer S ien e 1 (1976) 237267.
[15 Giakoumakis, V, Roussel, H, Thuillier, H. On P4 -tidy graphs.
mati s and Theoreti al Computer S ien e 1 (1997) 1741.
[16 Gimbel, J. The Chromati
Mi higan University, 1984.
[17 Golumbi , M. C.
New York, 1980.

and Co hromati Number of a Graph.

Dis rete Mathe-

PhD thesis, Estern

Algorithmi Graph Theory and Perfe t Graphs.

A ademi Press,

[18 Hell P., Klein, S., Nogueira, L. T., and Protti, F. On generalized split
graphs. GRACO 2001  Brazilian Symposium on Graphs, Algorithms, and Optimization. Eletroni Notes in Dis rete Mathemati s 7 (2001), Elsevier.
[19 Hell, P., Klein, S., Nogueira, L. T., and Protti, F. Partitioning hordal graphs
into independent sets and liques. Dis rete Applied Mathemati s 141 (2004) 185194.
[20 Jamison, B., Olariu, S. p- omponents and the homogeneous de omposition of graphs
SIAM Journal Dis rete Mathemati s 8 (1995) 448463.
[21 Ler hs, H. On liques and kernels. Te hni al Report, Department of Computer S ien e, University of Toronto, Mar h 1971.
[22 M Connell, R. M., and Spinrad, J. P. Modular de omposition and transitive
orientation. Dis rete Mathemati s 201 (1999) 189241.