DOMINATING SET <= P.

VERTEX
COVER
REDUO DE COBERTURA DE VRTICES PARA CONJUNTO DOMINANTE

PUC GO Maurcio Jos Benigno de Almeida Soares

Goinia Rodrigo Ferreira de Almeida Wallauer
SUMARIO
Vertex cover
Dominating set
Historia
O que ?
Propriedades
Exemplo de Algoritmo para definir o conjunto dominante
Propriedades N, NP
Algoritmo de verificao
Propriedade NP-c
Reduo
VERTEX COVER
COBERTURA DE VRTICES
VERTEX COVER:

considerado uma cobertura de vrtices, um conjunto C, a qual C pertence a

um grafo G tal que os vrtices que no esto contidos em C esto adjacentes
a algum membro de C e C cubra todas as arestas do Grafo.

A seguir vamos demonstrar de forma rpida o mtodo de cobertura de

vrtices.
 COBERTURA DE VERTICES EM G:

B C D
VERTICE
. GRAU

E F

SAIDA:
 COBERTURA DE VERTICES EM G:

B C D
VERTICE
. GRAU

E 3

C 3 A

B 3

F 2
E F
A 2

D 1

SAIDA:
 COBERTURA DE VERTICES EM G:

B C D
VERTICE
. GRAU

C 3
A
B 2

F 1

D 1 E F
A 1

SAIDA: E
 COBERTURA DE VERTICES EM G:

B C D
VERTICE
. GRAU

B 1
A
A 1

F 0

D 0 E F

SAIDA: E C
 COBERTURA DE VERTICES EM G:

B C D
VERTICE
. GRAU

A 0
A
F 0

D 0

E F

SAIDA: E C B
 COBERTURA DE VERTICES EM G:
Resultado:
Grafo G, coberto pelo B C D
. conjunto C, sendo que
que este contem
E,B e C. A

E F

SAIDA: E C B
DOMINATING SET
CONJUNTO DOMINANTE
HISTORIA

Conjunto dominante um problema de Grafos e existem indcios de que as

primeiras aparies do problemas de grafos dominantes ocorreram em
meados de 1862 com o problema das rainhas.
Sendo este problema: Considere um tabuleiro nxn e um conjunto de rainhas.
No xadrez o movimento da rainha so todas as casas seguindo quadrados
horizontalmente, verticalmente e diagonalmente.
 HISTORIA
O problema consistia em determinar o nmero mnimo de rainhas
posicionadas de tal forma que nenhuma possa atacar outra e que,
alm disso, todas as posies do tabuleiro ou esto dominadas ou
possuem uma rainha.

https://www.researchgate.net

Muitos outros problemas envolvendo conjunto

dominante apareceram
posteriormente, mas os estudos
a respeito de conjuntos dominantes
intensificaram desde 1970.
O QUE CONJUNTO DOMINANTE?

Um conjunto dominante em um grafo, um conjunto de vrtices que fazem

parte da soluo dominante, tal que todo vrtice do grafo, ou pertence a
esse conjunto da soluo, ou adjacente a pelo menos um desses elementos.
PROPRIEDADES

Grafo representado por G = (V,E)

Conjunto dominante representado por D, sendo esse D um sub conjunto de
vrtices contidos em G.
Um vrtice pode dominar a maioria dos outros K vrtices (sendo K o grau
mximo do grafo), ou seja a cardinalidade do grafo tem que ser >= n/1+K
O conjunto de todos os vrtices um conjunto dominante sobre qualquer
grafo; logo Y(G)<=n
PROPRIEDADES G = ( V, E)

Isso um grafo (G=(V,E) tal qual contm os vrtices A,B,C,D,E no orientados.

B C D

E F
PROPRIEDADES D

Os vrtices B e C representam uma soluo D dentro de um G.

B C D

E F
PROPRIEDADES D

Dentro de um G podem haver diferentes solues D , como neste outro D que

representa C e E....
B C D

E F
PROPRIEDADES D

E mais esse outro pra tirar teima, onde D contm B,C e E.

B C D

E F
COMO SELECIONAMOS OS VRTICES QUE FARO
PARTE DE D?

Existe um mtodo chamado Conjunto dominante mnimo, ele seleciona vrtices

com base em seu grau pra determinar quais vrtices sero contidos em D.
Tcnica que ser mostrada nos slides a seguir.

B C D B C D

A A
E F E F
CONJUNTO DOMINANTE MNIMO DE G:
B C D

1 - Representar o Grafo como Bipartido A

E F

A A
B B
C C
D D
E E
F F
CONJUNTO DOMINANTE MNIMO DE G:
B C D

1 - Representar o Grafo como Bipartido. A

2 - Medir e enumerar o grau de cada vrtice. E F

Vrtice Grau
A 3
A A
B 4
B B
C C
C 4
D D
D 2
E E
E 4
F F
F 3
CONJUNTO DOMINANTE MNIMO DE G:
B C D

3 - Selecionar o vrtice de maior grau e A

E F
e adicionar a sada de soluo.

Vrtice Grau Sada

A 3
A A
B 4
B B
C C
C 4
D D
D 2
E E
E 4
F F
F 3
 CONJUNTO DOMINANTE MNIMO DE G:
4 Refazer a contagem de grau, ignorando o B C D
vrtice adicionado a sada e os A
que liga com ele. E F

E repetir o 3 passo.
Vrtice Grau Sada
A 0 E
A A
B 1
B B
C C
C 2
D D
D 2
E E
E 0
F F
F 0
CONJUNTO DOMINANTE MNIMO DE G:
No existe uma regra definindo a ordem B C D

de marcao do elemento de maior grau, A

podendo ser tambm as que foram E F

mostradas alguns slides atrs.

Vrtice Grau Sada
A 0 E
A A
B 0 C
B B
C C
C 0
D D
D 0
E E
E 0
F F
F 0
CLASSE P

Propriedades:
P o conjunto de todos os problemas que podem ser resolvidos em tempo
polinomial usando algoritmos determinsticos.
 CLASSE NP

Propriedades:
NP o conjunto de todos os problemas que podem ser resolvidos por
algoritmos no deterministas em tempo polinomial.
Para mostrar que um problema est em NP, basta apresentar um algoritmo no
determinstico que resolva um problema em tempo polinomial.
Ou encontrar um algoritmo determinista que verifique se uma soluo valida
em tempo polinomial.
CLASSE NP

evidente que Conjunto Dominante est em NP. Dado um conjunto D, pode-se

verificar em tempo polinomial se D em G valido como conjunto dominante
usando um algoritmo determinstico.
Como? Pegando cada vrtice e verificando se ele est no conjunto D ou em
adjacncia a um vrtice contido no conjunto.
ALGORITMO
ALGORITMO
CLASSE NP-COMPLETO

Para provar que um problema NP-Completo, basta mostrar duas

propriedades?
1. Mostrar que o problema esta em NP.
2. Mostrar que um problema NP-Completo que j conhecemos, pode ser
transformado em tempo polinomial, no problema que queremos provar.
Neste caso a prova feita por meio de reduo.
CLASSE NP-COMPLETO

Antes de provarmos que o DS um problema NP-Completo, temos que

observar um detalhe, sendo esse os vrtices isolados, assim como em VC eles se
cobrem, em DS eles tambm se cobrem.
Em nossa prova, trabalharemos com um Grafo sem vrtices isolados.
Usaremos a reduo de Vertex Cover para Dominating Set como prova.
REDUO DE VC PARA DS

Dado um grafo G, vamos construir um outro chamado G, sendo que este possui
todas as arestas e vrtices de G.
Alm disso, para cada aresta {u, v} G, adicionaremos um novo vrtice W e
ligando arestas {u,w} e {w,v} do grafo G
Para considerar o grafo G uma reduo de G, ambos devem possuir o mesmo
numero de k, sendo k em G o tamanho da cobertura de vrtices e em G k
sendo o tamanho do conjunto dominante.
REDUO DOMINATING SET PARA VERTEX COVER

B C D

E F
REDUO VERTEX COVER PARA DOMINATING SET

B C D

E F
REDUO VERTEX COVER PARA DOMINATING SET

{u,w} e {w,v} = {A,AB} e {AB,B}

AB B C D

E F

REDUO DOMINATING SET PARA VERTEX COVER

BC

AB B C D

E F

REDUO VERTEX COVER PARA DOMINATING SET

BC BC

AB B C D

A BE CF

BC E F

BC
REDUO VERTEX COVER PARA DOMINATING SET

BC BC

AB B C D

A BE CF

BC E F
*S pra mostrar que as condies foram
satisfeitas.
BC A forma final do grafo se encontra no Slide
anterior.
 REDUO VERTEX COVER PARA DOMINATING SET

B C D

BC BC
A

AB B C D
E F

A BE CF

BC E F

BC
REFERNCIAS
http://www.inf.usi.ch/faculty/kuhn/teaching/netalg/lectures/chapter7.pdf
http://stackoverflow.com/questions/14539174/vertex-cover-vs-dominating-set
http://www.decom.ufop.br/haroldo/disciplinas/grafos/files/subconjuntos.pdf
http://www.inf.ufg.br/mestrado/sites/www.inf.ufg.br.mestrado/files/uploads/Dissertacoes/Rom
melTeodoro.pdf
https://people.mpi-inf.mpg.de/~clenzen/pubs/LW10minimum.pdf
http://cms.dm.uba.ar/academico/carreras/licenciatura/tesis/2012/Moyano_Veronica.pdf
http://cdsid.org.br/sbpo2015/wp-content/uploads/2015/08/142930.pdf
https://www.cs.umd.edu/class/spring2011/cmsc651/lec25.pdf
https://www.researchgate.net/publication/315816480_Propriedades_do_Conjunto_Dominante
_Minimo_no_Produto_Lexicografico
https://people.cs.umass.edu/~barring/cs311/exams/finpracsol.html
http://webhome.cs.uvic.ca/~wendym/courses/425/14/notes/425_03_dom_alg.pdf
http://www.tau.ac.il/~nogaa/PDFS/dominatingf.pdf
http://stackoverflow.com/questions/22159026/polynomial-time-algorithm-for-finding-
dominating-set-in-a-tree
REFERNCIAS

http://stackoverflow.com/questions/5315298/find-the-minimum-size-dominating-set-for-
a-tree-using-greedy-algorithm
http://journals.sagepub.com/doi/full/10.1177/155014771703201
https://github.com/giancarlokc/find-dominating-set
https://www.youtube.com/watch?v=HOgOQ9az_jo
https://www.youtube.com/watch?v=H4_Qk2Ijrj4
https://www.youtube.com/watch?v=xi_f8TfH_qM
https://pt.wikipedia.org/wiki/Conjunto_dominante
http://www2.dcc.ufmg.br/livros/algoritmos-edicao2/cap9/transp/completo4/cap9.pdf
Alm de mais alguns vrios PDFs que nos foram fornecidos pelo professor.
Link para todo material PDF que foi estudado:
http://www48.zippyshare.com/v/xxwCAyrB/file.html