We investigate Independent Domination Problem within hereditary classes of graphs. Boliac and Lozin [Independent domination in finitely defined classes of graphs, Theoret. Comput. Sci. 301 (1–3) (2003) 271–284] proved some sufficient conditions for Independent Domination Problem to be NP-complete within finitely defined hereditary classes of graphs. They posed a question whether the conditions are also necessary. We show that the conditions are not necessary, since Independent Domination Problem is NP-hard within -free graphs.
Moreover, we show that the problem remains NP-hard for a new hereditary class of graphs, called hereditary -satgraphs. We characterize hereditary -satgraphs in terms of forbidden induced subgraph. As corollaries, we prove that Independent Domination Problem is NP-hard within the class of all -free perfect graphs and for -free weakly chordal graphs.
Finally, we compare complexity of Independent Domination Problem with that of Independent Set Problem for a hierarchy of hereditary classes recently proposed by Hammer and Zverovich [Construction of maximal stable sets with k-extensions, Combin. Probab. Comput. 13 (2004) 1–8]. For each class in the hierarchy, a maximum independent set can be found in polynomial time, and the hierarchy covers all graphs. However, our characterization of hereditary -satgraphs implies that Independent Domination Problem is NP-hard for almost all classes in the hierarchy. This fact supports a conjecture that Independent Domination is harder than Independent Set Problem within hereditary classes.