on efficient domination for some classes of h free chordal ... · efficient domination g is a split...
TRANSCRIPT
![Page 1: On Efficient Domination for Some Classes of H Free Chordal ... · Efficient domination G is a split graph if V(G) is partitionable into a clique and an independent set. Clearly, G](https://reader036.vdocuments.site/reader036/viewer/2022071004/5fc149e544b00d687e5f42b0/html5/thumbnails/1.jpg)
On Efficient Domination for Some
Classes of H–Free Chordal Graphs
Andreas Brandstädt
University of Rostock, Germany
and
Raffaele Mosca
University of Pescara, Italy
LAGOS 2017, Marseille
![Page 2: On Efficient Domination for Some Classes of H Free Chordal ... · Efficient domination G is a split graph if V(G) is partitionable into a clique and an independent set. Clearly, G](https://reader036.vdocuments.site/reader036/viewer/2022071004/5fc149e544b00d687e5f42b0/html5/thumbnails/2.jpg)
![Page 3: On Efficient Domination for Some Classes of H Free Chordal ... · Efficient domination G is a split graph if V(G) is partitionable into a clique and an independent set. Clearly, G](https://reader036.vdocuments.site/reader036/viewer/2022071004/5fc149e544b00d687e5f42b0/html5/thumbnails/3.jpg)
Exact Cover by 3-Sets (X3C)
Problem X3C [SP2] of [Garey, Johnson,
Computers and Intractability, 1979]:
INSTANCE: Set X with | X | 3q and a
collection C of 3-element subsets of X.
QUESTION: Does C contain an exact cover
for X, i.e., a subcollection D C such that
every element of X occurs in exactly one
member of D?
![Page 4: On Efficient Domination for Some Classes of H Free Chordal ... · Efficient domination G is a split graph if V(G) is partitionable into a clique and an independent set. Clearly, G](https://reader036.vdocuments.site/reader036/viewer/2022071004/5fc149e544b00d687e5f42b0/html5/thumbnails/4.jpg)
![Page 5: On Efficient Domination for Some Classes of H Free Chordal ... · Efficient domination G is a split graph if V(G) is partitionable into a clique and an independent set. Clearly, G](https://reader036.vdocuments.site/reader036/viewer/2022071004/5fc149e544b00d687e5f42b0/html5/thumbnails/5.jpg)
![Page 6: On Efficient Domination for Some Classes of H Free Chordal ... · Efficient domination G is a split graph if V(G) is partitionable into a clique and an independent set. Clearly, G](https://reader036.vdocuments.site/reader036/viewer/2022071004/5fc149e544b00d687e5f42b0/html5/thumbnails/6.jpg)
Exact Cover by 3-Sets (X3C)
Theorem [Karp 1972]
X3C is NP-complete.
(transformation from 3DM)
Remark. Exact Cover for 2-element subsets
(i.e., X2C) corresponds to Perfect Matching.
![Page 7: On Efficient Domination for Some Classes of H Free Chordal ... · Efficient domination G is a split graph if V(G) is partitionable into a clique and an independent set. Clearly, G](https://reader036.vdocuments.site/reader036/viewer/2022071004/5fc149e544b00d687e5f42b0/html5/thumbnails/7.jpg)
Efficient domination
Let G (V, E) be a finite undirected graph.
A vertex v dominates itself and its neighbors,
i.e., v dominates N[v].
[Biggs 1973, Bange, Barkauskas, Slater 1988]:
D is an efficient dominating set (e.d.s.) in G if
- D is dominating in G, and
- each v V is dominated exactly once by D.
![Page 8: On Efficient Domination for Some Classes of H Free Chordal ... · Efficient domination G is a split graph if V(G) is partitionable into a clique and an independent set. Clearly, G](https://reader036.vdocuments.site/reader036/viewer/2022071004/5fc149e544b00d687e5f42b0/html5/thumbnails/8.jpg)
![Page 9: On Efficient Domination for Some Classes of H Free Chordal ... · Efficient domination G is a split graph if V(G) is partitionable into a clique and an independent set. Clearly, G](https://reader036.vdocuments.site/reader036/viewer/2022071004/5fc149e544b00d687e5f42b0/html5/thumbnails/9.jpg)
Not every graph has an e.d.s.!
![Page 10: On Efficient Domination for Some Classes of H Free Chordal ... · Efficient domination G is a split graph if V(G) is partitionable into a clique and an independent set. Clearly, G](https://reader036.vdocuments.site/reader036/viewer/2022071004/5fc149e544b00d687e5f42b0/html5/thumbnails/10.jpg)
Efficient domination
Efficient dominating sets were introduced as
perfect codes by Biggs in 1973; they also
appear as independent perfect dominating sets.
Let N(G) closed neighborhood hypergraph
of G.
Fact. G has an e.d.s. N(G) has an exact
cover for V.
![Page 11: On Efficient Domination for Some Classes of H Free Chordal ... · Efficient domination G is a split graph if V(G) is partitionable into a clique and an independent set. Clearly, G](https://reader036.vdocuments.site/reader036/viewer/2022071004/5fc149e544b00d687e5f42b0/html5/thumbnails/11.jpg)
Efficient domination
Efficient Domination (ED) problem:
INSTANCE: A finite graph G (V, E).
QUESTION: Does G have an e.d.s.?
Theorem [Bange, Barkauskas, Slater 1988]
ED is NP–complete.
The Weighted Efficient Domination (WED)
problem asks for an e.d.s. of minimum vertex
weight.
![Page 12: On Efficient Domination for Some Classes of H Free Chordal ... · Efficient domination G is a split graph if V(G) is partitionable into a clique and an independent set. Clearly, G](https://reader036.vdocuments.site/reader036/viewer/2022071004/5fc149e544b00d687e5f42b0/html5/thumbnails/12.jpg)
Efficient edge domination
[Grinstead, Slater, Sherwani, Holmes, 1993]:
M E is an efficient edge dominating set
(e.e.d.s.) in G (also called dominating induced
matching) if
- M is dominating in L(G), and
- each e E is dominated exactly once in
L(G) by M,
that is, M is an e.d.s. in L(G).
![Page 13: On Efficient Domination for Some Classes of H Free Chordal ... · Efficient domination G is a split graph if V(G) is partitionable into a clique and an independent set. Clearly, G](https://reader036.vdocuments.site/reader036/viewer/2022071004/5fc149e544b00d687e5f42b0/html5/thumbnails/13.jpg)
Efficient edge domination
Efficient Edge Domination (EED) problem:
INSTANCE: A finite graph G (V, E).
QUESTION: Does G have an e.e.d.s.?
Theorem [Grinstead, Slater, Sherwani,
Holmes 1993]
EED is NP-complete.
Corollary. ED is NP-complete for line graphs,
and thus for claw-free graphs.
![Page 14: On Efficient Domination for Some Classes of H Free Chordal ... · Efficient domination G is a split graph if V(G) is partitionable into a clique and an independent set. Clearly, G](https://reader036.vdocuments.site/reader036/viewer/2022071004/5fc149e544b00d687e5f42b0/html5/thumbnails/14.jpg)
Not every graph (not every tree !)
has an e.e.d.s.:
![Page 15: On Efficient Domination for Some Classes of H Free Chordal ... · Efficient domination G is a split graph if V(G) is partitionable into a clique and an independent set. Clearly, G](https://reader036.vdocuments.site/reader036/viewer/2022071004/5fc149e544b00d687e5f42b0/html5/thumbnails/15.jpg)
G e1 e2 e3 e4
e5
e1 e2 e3 e4
e5
L(G)
![Page 16: On Efficient Domination for Some Classes of H Free Chordal ... · Efficient domination G is a split graph if V(G) is partitionable into a clique and an independent set. Clearly, G](https://reader036.vdocuments.site/reader036/viewer/2022071004/5fc149e544b00d687e5f42b0/html5/thumbnails/16.jpg)
2P3
P7
![Page 17: On Efficient Domination for Some Classes of H Free Chordal ... · Efficient domination G is a split graph if V(G) is partitionable into a clique and an independent set. Clearly, G](https://reader036.vdocuments.site/reader036/viewer/2022071004/5fc149e544b00d687e5f42b0/html5/thumbnails/17.jpg)
Efficient domination
Theorem [Smart, Slater 1995, Yen, Lee 1996]
ED is NP–complete for bipartite graphs and
for 2P3–free chordal graphs.
Corollary. If H contains a cycle or claw then
ED is NP–complete on H–free graphs.
If H is cycle– and claw–free then H is a linear
forest ( disjoint union of paths).
![Page 18: On Efficient Domination for Some Classes of H Free Chordal ... · Efficient domination G is a split graph if V(G) is partitionable into a clique and an independent set. Clearly, G](https://reader036.vdocuments.site/reader036/viewer/2022071004/5fc149e544b00d687e5f42b0/html5/thumbnails/18.jpg)
Efficient domination
G is a split graph if V(G) is partitionable into a
clique and an independent set. Clearly,
G is a split graph G and its complement are
chordal.
Theorem [Főldes, Hammer 1977]
G is a split graph G is (2P2 ,C4 ,C5)–free.
Theorem [M.-S. Chang, Liu 1993]
WED in time O(n + m) for split graphs.
![Page 19: On Efficient Domination for Some Classes of H Free Chordal ... · Efficient domination G is a split graph if V(G) is partitionable into a clique and an independent set. Clearly, G](https://reader036.vdocuments.site/reader036/viewer/2022071004/5fc149e544b00d687e5f42b0/html5/thumbnails/19.jpg)
Efficient domination
Theorem [B., Milanič, Nevries, MFCS 2013]
WED in linear time for 2P2–free graphs.
Theorem [B. 2015]
WED in linear time for P5–free graphs.
(based on modular decomposition)
![Page 20: On Efficient Domination for Some Classes of H Free Chordal ... · Efficient domination G is a split graph if V(G) is partitionable into a clique and an independent set. Clearly, G](https://reader036.vdocuments.site/reader036/viewer/2022071004/5fc149e544b00d687e5f42b0/html5/thumbnails/20.jpg)
2P3 K3 + P3
2K3 butterfly
extended butterfly extended co-P
extended chair double-gem
![Page 21: On Efficient Domination for Some Classes of H Free Chordal ... · Efficient domination G is a split graph if V(G) is partitionable into a clique and an independent set. Clearly, G](https://reader036.vdocuments.site/reader036/viewer/2022071004/5fc149e544b00d687e5f42b0/html5/thumbnails/21.jpg)
Efficient domination
(2P3, K3+P3, 2K3, butterfly, extended butterfly,
extended co-P, extended chair, double-gem)–
free chordal graphs represent a generalized
version of split graphs called satgraphs in
[Zverovich 2006].
Theorem. ED is NP–complete for satgraphs.
(simple standard reduction from X3C)
![Page 22: On Efficient Domination for Some Classes of H Free Chordal ... · Efficient domination G is a split graph if V(G) is partitionable into a clique and an independent set. Clearly, G](https://reader036.vdocuments.site/reader036/viewer/2022071004/5fc149e544b00d687e5f42b0/html5/thumbnails/22.jpg)
![Page 23: On Efficient Domination for Some Classes of H Free Chordal ... · Efficient domination G is a split graph if V(G) is partitionable into a clique and an independent set. Clearly, G](https://reader036.vdocuments.site/reader036/viewer/2022071004/5fc149e544b00d687e5f42b0/html5/thumbnails/23.jpg)
![Page 24: On Efficient Domination for Some Classes of H Free Chordal ... · Efficient domination G is a split graph if V(G) is partitionable into a clique and an independent set. Clearly, G](https://reader036.vdocuments.site/reader036/viewer/2022071004/5fc149e544b00d687e5f42b0/html5/thumbnails/24.jpg)
![Page 25: On Efficient Domination for Some Classes of H Free Chordal ... · Efficient domination G is a split graph if V(G) is partitionable into a clique and an independent set. Clearly, G](https://reader036.vdocuments.site/reader036/viewer/2022071004/5fc149e544b00d687e5f42b0/html5/thumbnails/25.jpg)
![Page 26: On Efficient Domination for Some Classes of H Free Chordal ... · Efficient domination G is a split graph if V(G) is partitionable into a clique and an independent set. Clearly, G](https://reader036.vdocuments.site/reader036/viewer/2022071004/5fc149e544b00d687e5f42b0/html5/thumbnails/26.jpg)
![Page 27: On Efficient Domination for Some Classes of H Free Chordal ... · Efficient domination G is a split graph if V(G) is partitionable into a clique and an independent set. Clearly, G](https://reader036.vdocuments.site/reader036/viewer/2022071004/5fc149e544b00d687e5f42b0/html5/thumbnails/27.jpg)
Efficient domination and clique-width
ED based on clique-width:
Fact. ED can be formulated in (a special kind
of) Monadic Second Order Logic.
Theorem [Golumbic, Rotics 2000]
Clique-width of gem–free chordal graphs is at
most 3.
Corollary. ED in linear time for gem–free
chordal graphs.
![Page 28: On Efficient Domination for Some Classes of H Free Chordal ... · Efficient domination G is a split graph if V(G) is partitionable into a clique and an independent set. Clearly, G](https://reader036.vdocuments.site/reader036/viewer/2022071004/5fc149e544b00d687e5f42b0/html5/thumbnails/28.jpg)
Efficient domination and clique-width
Theorem [B., Dabrowski, Huang, Paulusma,
Bounding the clique-width of H-free chordal
graphs, MFCS 2015] … There are only two
open cases for clique-width of H–free chordal
graphs …
For ED, we focus on H–free chordal graphs
with unbounded clique-width.
![Page 29: On Efficient Domination for Some Classes of H Free Chordal ... · Efficient domination G is a split graph if V(G) is partitionable into a clique and an independent set. Clearly, G](https://reader036.vdocuments.site/reader036/viewer/2022071004/5fc149e544b00d687e5f42b0/html5/thumbnails/29.jpg)
Efficient domination via G2
Let G2 (V, E2) with xy E2 if dG(x,y) 2.
N(G) closed neighborhood hypergraph of G.
Fact.
- G2 L(N(G)).
- D is an e.d.s. in G D is dominating in G
and independent in G2.
![Page 30: On Efficient Domination for Some Classes of H Free Chordal ... · Efficient domination G is a split graph if V(G) is partitionable into a clique and an independent set. Clearly, G](https://reader036.vdocuments.site/reader036/viewer/2022071004/5fc149e544b00d687e5f42b0/html5/thumbnails/30.jpg)
Efficient domination via G2
Let w(v): |N [v]|.
Fact [Leitert; Milanič 2012]
D is an e.d.s. in G D is a maximum weight
independent set in G2 with w(D) |V |.
Theorem [Friese 2013]
G P6–free with e.d.s. G2 hole–free.
![Page 31: On Efficient Domination for Some Classes of H Free Chordal ... · Efficient domination G is a split graph if V(G) is partitionable into a clique and an independent set. Clearly, G](https://reader036.vdocuments.site/reader036/viewer/2022071004/5fc149e544b00d687e5f42b0/html5/thumbnails/31.jpg)
Efficient domination via G2
Conjecture [Friese 2013]
G P6–free with e.d.s. G2 odd–antihole–free
(and thus, by the Strong Perfect Graph
Theorem, G2 would be perfect).
Theorem [B., Eschen, Friese WG 2015]
G P6–free chordal with e.d.s. G2 chordal.
![Page 32: On Efficient Domination for Some Classes of H Free Chordal ... · Efficient domination G is a split graph if V(G) is partitionable into a clique and an independent set. Clearly, G](https://reader036.vdocuments.site/reader036/viewer/2022071004/5fc149e544b00d687e5f42b0/html5/thumbnails/32.jpg)
Efficient domination
Corollary. ED in polynomial time for P6–free
chordal graphs (but NP–complete for P7–free
chordal graphs).
Theorem [B., Mosca WG 2016]
WED in polynomial time for P6–free graphs.
(direct approach)
![Page 33: On Efficient Domination for Some Classes of H Free Chordal ... · Efficient domination G is a split graph if V(G) is partitionable into a clique and an independent set. Clearly, G](https://reader036.vdocuments.site/reader036/viewer/2022071004/5fc149e544b00d687e5f42b0/html5/thumbnails/33.jpg)
net extended gem
![Page 34: On Efficient Domination for Some Classes of H Free Chordal ... · Efficient domination G is a split graph if V(G) is partitionable into a clique and an independent set. Clearly, G](https://reader036.vdocuments.site/reader036/viewer/2022071004/5fc149e544b00d687e5f42b0/html5/thumbnails/34.jpg)
Efficient domination via G2
Theorem [B., Mosca 2017]
If G is net–free chordal or extended-gem-free
chordal with e.d.s. then G2 is chordal.
(interval graphs net–free chordal)
![Page 35: On Efficient Domination for Some Classes of H Free Chordal ... · Efficient domination G is a split graph if V(G) is partitionable into a clique and an independent set. Clearly, G](https://reader036.vdocuments.site/reader036/viewer/2022071004/5fc149e544b00d687e5f42b0/html5/thumbnails/35.jpg)
Efficient domination via G2
Proof. Let G be net–free chordal with e.d.s.
First suppose to the contrary that G2 contains a
C4, say with vertices v1 ,v2 ,v3 ,v4 such that
dG (vi,vi+1) 2 and dG (vi,vi+2) ≥ 3. By the
chordality of G, dG (vi,vi+1) = 2. Let xi be the
common neighbor of vi and vi+1. Clearly, xi xj
for i j.
![Page 36: On Efficient Domination for Some Classes of H Free Chordal ... · Efficient domination G is a split graph if V(G) is partitionable into a clique and an independent set. Clearly, G](https://reader036.vdocuments.site/reader036/viewer/2022071004/5fc149e544b00d687e5f42b0/html5/thumbnails/36.jpg)
v1
v2 v3
v4
x1
x2
x3
x4
![Page 37: On Efficient Domination for Some Classes of H Free Chordal ... · Efficient domination G is a split graph if V(G) is partitionable into a clique and an independent set. Clearly, G](https://reader036.vdocuments.site/reader036/viewer/2022071004/5fc149e544b00d687e5f42b0/html5/thumbnails/37.jpg)
v1
v2 v3
v4
x1
x2
x3
x4
![Page 38: On Efficient Domination for Some Classes of H Free Chordal ... · Efficient domination G is a split graph if V(G) is partitionable into a clique and an independent set. Clearly, G](https://reader036.vdocuments.site/reader036/viewer/2022071004/5fc149e544b00d687e5f42b0/html5/thumbnails/38.jpg)
v1
v2 v3
v4
x1
x2
x3
x4
![Page 39: On Efficient Domination for Some Classes of H Free Chordal ... · Efficient domination G is a split graph if V(G) is partitionable into a clique and an independent set. Clearly, G](https://reader036.vdocuments.site/reader036/viewer/2022071004/5fc149e544b00d687e5f42b0/html5/thumbnails/39.jpg)
v1
v2 v3
v4
x1
x2
x3
x4
d
![Page 40: On Efficient Domination for Some Classes of H Free Chordal ... · Efficient domination G is a split graph if V(G) is partitionable into a clique and an independent set. Clearly, G](https://reader036.vdocuments.site/reader036/viewer/2022071004/5fc149e544b00d687e5f42b0/html5/thumbnails/40.jpg)
v1
v2 v3
v4
x1
x2
x3
x4
d
![Page 41: On Efficient Domination for Some Classes of H Free Chordal ... · Efficient domination G is a split graph if V(G) is partitionable into a clique and an independent set. Clearly, G](https://reader036.vdocuments.site/reader036/viewer/2022071004/5fc149e544b00d687e5f42b0/html5/thumbnails/41.jpg)
v1
v2 v3
v4
x1
x2
x3
x4
d2
![Page 42: On Efficient Domination for Some Classes of H Free Chordal ... · Efficient domination G is a split graph if V(G) is partitionable into a clique and an independent set. Clearly, G](https://reader036.vdocuments.site/reader036/viewer/2022071004/5fc149e544b00d687e5f42b0/html5/thumbnails/42.jpg)
v1
v2 v3
v4
x1
x2
x3
x4
d2 d3
![Page 43: On Efficient Domination for Some Classes of H Free Chordal ... · Efficient domination G is a split graph if V(G) is partitionable into a clique and an independent set. Clearly, G](https://reader036.vdocuments.site/reader036/viewer/2022071004/5fc149e544b00d687e5f42b0/html5/thumbnails/43.jpg)
v1
v2 v3
v4
x1
x2
x3
x4
d2 d3
![Page 44: On Efficient Domination for Some Classes of H Free Chordal ... · Efficient domination G is a split graph if V(G) is partitionable into a clique and an independent set. Clearly, G](https://reader036.vdocuments.site/reader036/viewer/2022071004/5fc149e544b00d687e5f42b0/html5/thumbnails/44.jpg)
v1
v2 v3
v4
x1
x2
x3
x4
d4
![Page 45: On Efficient Domination for Some Classes of H Free Chordal ... · Efficient domination G is a split graph if V(G) is partitionable into a clique and an independent set. Clearly, G](https://reader036.vdocuments.site/reader036/viewer/2022071004/5fc149e544b00d687e5f42b0/html5/thumbnails/45.jpg)
v1
v2 v3
v4
x1
x2
x3
x4
d4
d3
![Page 46: On Efficient Domination for Some Classes of H Free Chordal ... · Efficient domination G is a split graph if V(G) is partitionable into a clique and an independent set. Clearly, G](https://reader036.vdocuments.site/reader036/viewer/2022071004/5fc149e544b00d687e5f42b0/html5/thumbnails/46.jpg)
v1
v2 v3
v4
x1
x2
x3
x4
d4
d3
![Page 47: On Efficient Domination for Some Classes of H Free Chordal ... · Efficient domination G is a split graph if V(G) is partitionable into a clique and an independent set. Clearly, G](https://reader036.vdocuments.site/reader036/viewer/2022071004/5fc149e544b00d687e5f42b0/html5/thumbnails/47.jpg)
v1
v2 v3
v4
x1
x2
x3
x4
d4
d3
![Page 48: On Efficient Domination for Some Classes of H Free Chordal ... · Efficient domination G is a split graph if V(G) is partitionable into a clique and an independent set. Clearly, G](https://reader036.vdocuments.site/reader036/viewer/2022071004/5fc149e544b00d687e5f42b0/html5/thumbnails/48.jpg)
v1
v2 v3
v4
x1
x2
x3
x4
d4
d3
d1
d2
![Page 49: On Efficient Domination for Some Classes of H Free Chordal ... · Efficient domination G is a split graph if V(G) is partitionable into a clique and an independent set. Clearly, G](https://reader036.vdocuments.site/reader036/viewer/2022071004/5fc149e544b00d687e5f42b0/html5/thumbnails/49.jpg)
v1
v2 v3
v4
x1
x2
x3
x4
d4
d3
d1
d2
![Page 50: On Efficient Domination for Some Classes of H Free Chordal ... · Efficient domination G is a split graph if V(G) is partitionable into a clique and an independent set. Clearly, G](https://reader036.vdocuments.site/reader036/viewer/2022071004/5fc149e544b00d687e5f42b0/html5/thumbnails/50.jpg)
v1
v2 v3
v4
x1
x2
x3
x4
d4
d3
d1
d2
![Page 51: On Efficient Domination for Some Classes of H Free Chordal ... · Efficient domination G is a split graph if V(G) is partitionable into a clique and an independent set. Clearly, G](https://reader036.vdocuments.site/reader036/viewer/2022071004/5fc149e544b00d687e5f42b0/html5/thumbnails/51.jpg)
v1
v2 v3
v5
v4
x1
x2
x3
x4 x5
![Page 52: On Efficient Domination for Some Classes of H Free Chordal ... · Efficient domination G is a split graph if V(G) is partitionable into a clique and an independent set. Clearly, G](https://reader036.vdocuments.site/reader036/viewer/2022071004/5fc149e544b00d687e5f42b0/html5/thumbnails/52.jpg)
v1
v2 v3
v5
v4
x1
x2
x3
x4 x5
![Page 53: On Efficient Domination for Some Classes of H Free Chordal ... · Efficient domination G is a split graph if V(G) is partitionable into a clique and an independent set. Clearly, G](https://reader036.vdocuments.site/reader036/viewer/2022071004/5fc149e544b00d687e5f42b0/html5/thumbnails/53.jpg)
S1,2,3
![Page 54: On Efficient Domination for Some Classes of H Free Chordal ... · Efficient domination G is a split graph if V(G) is partitionable into a clique and an independent set. Clearly, G](https://reader036.vdocuments.site/reader036/viewer/2022071004/5fc149e544b00d687e5f42b0/html5/thumbnails/54.jpg)
Efficient domination – direct approach
Theorem [B., Mosca 2017]
WED in polynomial time for S1,2,3–free
chordal graphs.
(This generalizes the result for P6–free chordal
graphs.)
![Page 55: On Efficient Domination for Some Classes of H Free Chordal ... · Efficient domination G is a split graph if V(G) is partitionable into a clique and an independent set. Clearly, G](https://reader036.vdocuments.site/reader036/viewer/2022071004/5fc149e544b00d687e5f42b0/html5/thumbnails/55.jpg)
v
N1 N2 N3 N4
![Page 56: On Efficient Domination for Some Classes of H Free Chordal ... · Efficient domination G is a split graph if V(G) is partitionable into a clique and an independent set. Clearly, G](https://reader036.vdocuments.site/reader036/viewer/2022071004/5fc149e544b00d687e5f42b0/html5/thumbnails/56.jpg)
Efficient domination – direct approach
Theorem [B., Giakoumakis 2014]
If WED is solvable in polynomial time for H-
free graphs then WED is solvable in
polynomial time for (H + kP2)–free graphs for
every fixed k.
![Page 57: On Efficient Domination for Some Classes of H Free Chordal ... · Efficient domination G is a split graph if V(G) is partitionable into a clique and an independent set. Clearly, G](https://reader036.vdocuments.site/reader036/viewer/2022071004/5fc149e544b00d687e5f42b0/html5/thumbnails/57.jpg)
All graphs with four vertices:
![Page 58: On Efficient Domination for Some Classes of H Free Chordal ... · Efficient domination G is a split graph if V(G) is partitionable into a clique and an independent set. Clearly, G](https://reader036.vdocuments.site/reader036/viewer/2022071004/5fc149e544b00d687e5f42b0/html5/thumbnails/58.jpg)
Efficient domination
Theorem [B., Mosca 2017]
(i) For every chordal graph H with at most
four vertices, WED is solvable in polynomial
time for H–free chordal graphs.
(ii) For chordal graphs H with exactly five
vertices, there are exactly four open cases for
the complexity of WED on H–free chordal
graphs:
![Page 59: On Efficient Domination for Some Classes of H Free Chordal ... · Efficient domination G is a split graph if V(G) is partitionable into a clique and an independent set. Clearly, G](https://reader036.vdocuments.site/reader036/viewer/2022071004/5fc149e544b00d687e5f42b0/html5/thumbnails/59.jpg)
![Page 60: On Efficient Domination for Some Classes of H Free Chordal ... · Efficient domination G is a split graph if V(G) is partitionable into a clique and an independent set. Clearly, G](https://reader036.vdocuments.site/reader036/viewer/2022071004/5fc149e544b00d687e5f42b0/html5/thumbnails/60.jpg)
Thank you for your attention!
![Page 61: On Efficient Domination for Some Classes of H Free Chordal ... · Efficient domination G is a split graph if V(G) is partitionable into a clique and an independent set. Clearly, G](https://reader036.vdocuments.site/reader036/viewer/2022071004/5fc149e544b00d687e5f42b0/html5/thumbnails/61.jpg)
Thank you for your attention!
![Page 62: On Efficient Domination for Some Classes of H Free Chordal ... · Efficient domination G is a split graph if V(G) is partitionable into a clique and an independent set. Clearly, G](https://reader036.vdocuments.site/reader036/viewer/2022071004/5fc149e544b00d687e5f42b0/html5/thumbnails/62.jpg)
Thank you for your attention!
![Page 63: On Efficient Domination for Some Classes of H Free Chordal ... · Efficient domination G is a split graph if V(G) is partitionable into a clique and an independent set. Clearly, G](https://reader036.vdocuments.site/reader036/viewer/2022071004/5fc149e544b00d687e5f42b0/html5/thumbnails/63.jpg)
thin spider
![Page 64: On Efficient Domination for Some Classes of H Free Chordal ... · Efficient domination G is a split graph if V(G) is partitionable into a clique and an independent set. Clearly, G](https://reader036.vdocuments.site/reader036/viewer/2022071004/5fc149e544b00d687e5f42b0/html5/thumbnails/64.jpg)
Efficient domination
Lemma [B., Milanič, Nevries MFCS 2013]
A prime 2P2 -free graph has an e.d.s. it is a
thin spider.
Thm. [B., Milanič, Nevries MFCS 2013]
ED in linear time for 2P2-free graphs.
Thm. [B. 2015] ED in linear time for P5-free
graphs.
![Page 65: On Efficient Domination for Some Classes of H Free Chordal ... · Efficient domination G is a split graph if V(G) is partitionable into a clique and an independent set. Clearly, G](https://reader036.vdocuments.site/reader036/viewer/2022071004/5fc149e544b00d687e5f42b0/html5/thumbnails/65.jpg)