Skip to main content

2017 | OriginalPaper | Buchkapitel

Mixed Dominating Set: A Parameterized Perspective

verfasst von : Pallavi Jain, M. Jayakrishnan, Fahad Panolan, Abhishek Sahu

Erschienen in: Graph-Theoretic Concepts in Computer Science

Verlag: Springer International Publishing

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

Abstract

In the mixed dominating set (mds) problem, we are given an n-vertex graph G and a positive integer k, and the objective is to decide whether there exists a set \(S \subseteq V(G) \cup E(G)\) of cardinality at most k such that every element \(x \in (V(G) \cup E(G)) \setminus S\) is either adjacent to or incident with an element of S. We show that mds can be solved in time \({7.465^k n^{\mathcal {O}(1)}} \) on general graphs, and in time \(2^{\mathcal {O}(\sqrt{k})} n^{\mathcal {O}(1)}\) on planar graphs. We complement this result by showing that mds does not admit an algorithm with running time \(2^{o(k)} n^{\mathcal {O}(1)}\) unless the Exponential Time Hypothesis (ETH) fails, and that it does not admit a polynomial kernel unless coNP \( \subseteq \mathsf{NP / poly}\). In addition, we provide an algorithm which, given a graph G together with a tree decomposition of width \(\mathsf{tw}\), solves mds in time \(6^{\mathsf{tw}} n^{\mathcal {O}(1)}\). We finally show that unless the Set Cover Conjecture (SeCoCo) fails, mds does not admit an algorithm with running time \(\mathcal {O}((2-\epsilon )^{\mathsf{tw}(G)} n^{\mathcal {O}(1)})\) for any \(\epsilon >0\), where \(\mathsf{tw}(G)\) is the tree-width of G.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Fußnoten
1
\(\mathcal {O}^\star \) notation suppresses the polynomial factor. That is, \(\mathcal {O}(f(k)n^{\mathcal {O}(1)})=\mathcal {O}^\star (f(k))\).
 
Literatur
1.
Zurück zum Zitat Alavi, Y., Behzad, M., Lesniak-Foster, L.M., Nordhaus, E.A.: Total matchings and total coverings of graphs. J. Graph Theor. 1(2), 135–140 (1977)CrossRefMathSciNetMATH Alavi, Y., Behzad, M., Lesniak-Foster, L.M., Nordhaus, E.A.: Total matchings and total coverings of graphs. J. Graph Theor. 1(2), 135–140 (1977)CrossRefMathSciNetMATH
3.
Zurück zum Zitat Björklund, A., Husfeldt, T., Kaski, P., Koivisto, M.: Fourier meets möbius: fast subset convolution. In: STOC, pp. 67–74 (2007) Björklund, A., Husfeldt, T., Kaski, P., Koivisto, M.: Fourier meets möbius: fast subset convolution. In: STOC, pp. 67–74 (2007)
5.
Zurück zum Zitat Bodlaender, H.L., Thomassé, S., Yeo, A.: Kernel bounds for disjoint cycles and disjoint paths. Theor. Comput. Sci. 412(35), 4570–4578 (2011)CrossRefMathSciNetMATH Bodlaender, H.L., Thomassé, S., Yeo, A.: Kernel bounds for disjoint cycles and disjoint paths. Theor. Comput. Sci. 412(35), 4570–4578 (2011)CrossRefMathSciNetMATH
7.
Zurück zum Zitat Cygan, M., Dell, H., Lokshtanov, D., Marx, D., Nederlof, J., Okamoto, Y., Paturi, R., Saurabh, S., Wahlström, M.: On problems as hard as CNF-SAT. ACM Trans. Algorithms 12(3), 41:1–41:24 (2016)CrossRefMathSciNet Cygan, M., Dell, H., Lokshtanov, D., Marx, D., Nederlof, J., Okamoto, Y., Paturi, R., Saurabh, S., Wahlström, M.: On problems as hard as CNF-SAT. ACM Trans. Algorithms 12(3), 41:1–41:24 (2016)CrossRefMathSciNet
8.
Zurück zum Zitat Dom, M., Lokshtanov, D., Saurabh, S.: Kernelization lower bounds through colors and IDS. ACM Trans. Algorithms 11(2), 13:1–13:20 (2014)CrossRefMathSciNet Dom, M., Lokshtanov, D., Saurabh, S.: Kernelization lower bounds through colors and IDS. ACM Trans. Algorithms 11(2), 13:1–13:20 (2014)CrossRefMathSciNet
9.
Zurück zum Zitat Erdös, P., Meir, A.: On total matching numbers and total covering numbers of complementary graphs. Discrete Math. 19(3), 229–233 (1977)CrossRefMathSciNetMATH Erdös, P., Meir, A.: On total matching numbers and total covering numbers of complementary graphs. Discrete Math. 19(3), 229–233 (1977)CrossRefMathSciNetMATH
11.
Zurück zum Zitat Garey, M.R., Johnson, D.S.: Computers and Intractability: A Guide to the Theory of NP-Completeness. W.H. Freeman, New York (1979)MATH Garey, M.R., Johnson, D.S.: Computers and Intractability: A Guide to the Theory of NP-Completeness. W.H. Freeman, New York (1979)MATH
12.
Zurück zum Zitat Gu, Q., Tamaki, H.: Improved bounds on the planar branchwidth with respect to the largest grid minor size. Algorithmica 64(3), 416–453 (2012)CrossRefMathSciNetMATH Gu, Q., Tamaki, H.: Improved bounds on the planar branchwidth with respect to the largest grid minor size. Algorithmica 64(3), 416–453 (2012)CrossRefMathSciNetMATH
13.
14.
Zurück zum Zitat Haynes, T.W., Hedetniemi, S., Slater, P.: Fundamentals of Domination in Graphs. CRC Press, Boca Raton (1998)MATH Haynes, T.W., Hedetniemi, S., Slater, P.: Fundamentals of Domination in Graphs. CRC Press, Boca Raton (1998)MATH
15.
Zurück zum Zitat Hedetniemi, S.M., Hedetniemi, S.T., Laskar, R., McRae, A., Majumdar, A.: Domination, independence and irredundance in total graphs: a brief survey. In: Proceedings of the 7th Quadrennial International Conference on the Theory and Applications of Graphs. vol. 2, pp. 671–683 (1995) Hedetniemi, S.M., Hedetniemi, S.T., Laskar, R., McRae, A., Majumdar, A.: Domination, independence and irredundance in total graphs: a brief survey. In: Proceedings of the 7th Quadrennial International Conference on the Theory and Applications of Graphs. vol. 2, pp. 671–683 (1995)
16.
Zurück zum Zitat Impagliazzo, R., Paturi, R., Zane, F.: Which problems have strongly exponential complexity. J. Comput. Syst. Sci. 63(4), 512–530 (2001)CrossRefMathSciNetMATH Impagliazzo, R., Paturi, R., Zane, F.: Which problems have strongly exponential complexity. J. Comput. Syst. Sci. 63(4), 512–530 (2001)CrossRefMathSciNetMATH
18.
Zurück zum Zitat Majumdar, A.: Neighborhood hypergraphs: a framework for covering and packing parameters in graphs. Ph.D. thesis, Clemson University (1992) Majumdar, A.: Neighborhood hypergraphs: a framework for covering and packing parameters in graphs. Ph.D. thesis, Clemson University (1992)
19.
Zurück zum Zitat Manlove, D.: On the algorithmic complexity of twelve covering and independence parameters of graphs. Discrete Appl. Math. 91(1–3), 155–175 (1999)CrossRefMathSciNetMATH Manlove, D.: On the algorithmic complexity of twelve covering and independence parameters of graphs. Discrete Appl. Math. 91(1–3), 155–175 (1999)CrossRefMathSciNetMATH
21.
Zurück zum Zitat Micali, S., Vazirani, V.V.: An \(\cal{O}(\sqrt{|V|} |E|)\) algorithm for finding maximum matching in general graphs. In: FOCS, pp. 17–27 (1980) Micali, S., Vazirani, V.V.: An \(\cal{O}(\sqrt{|V|} |E|)\) algorithm for finding maximum matching in general graphs. In: FOCS, pp. 17–27 (1980)
22.
Zurück zum Zitat Peled, U.N., Sun, F.: Total matchings and total coverings of threshold graphs. Discrete Appl. Math. 49(1–3), 325–330 (1994)CrossRefMathSciNetMATH Peled, U.N., Sun, F.: Total matchings and total coverings of threshold graphs. Discrete Appl. Math. 49(1–3), 325–330 (1994)CrossRefMathSciNetMATH
23.
Zurück zum Zitat Rajaati, M., Hooshmandasl, M.R., Dinneen, M.J., Shakiba, A.: On fixed-parameter tractability of the mixed domination problem for graphs with bounded tree-width. CoRR abs/1612.08234 (2016) Rajaati, M., Hooshmandasl, M.R., Dinneen, M.J., Shakiba, A.: On fixed-parameter tractability of the mixed domination problem for graphs with bounded tree-width. CoRR abs/1612.08234 (2016)
24.
26.
Zurück zum Zitat Zhao, Y., Kang, L., Sohn, M.Y.: The algorithmic complexity of mixed domination in graphs. Theor. Comput. Sci. 412(22), 2387–2392 (2011)CrossRefMathSciNetMATH Zhao, Y., Kang, L., Sohn, M.Y.: The algorithmic complexity of mixed domination in graphs. Theor. Comput. Sci. 412(22), 2387–2392 (2011)CrossRefMathSciNetMATH
Metadaten
Titel
Mixed Dominating Set: A Parameterized Perspective
verfasst von
Pallavi Jain
M. Jayakrishnan
Fahad Panolan
Abhishek Sahu
Copyright-Jahr
2017
DOI
https://doi.org/10.1007/978-3-319-68705-6_25