Skip to main content
Top

2015 | OriginalPaper | Chapter

Minimum Degree Up to Local Complementation: Bounds, Parameterized Complexity, and Exact Algorithms

Authors : David Cattanéo, Simon Perdrix

Published in: Algorithms and Computation

Publisher: Springer Berlin Heidelberg

Activate our intelligent search to find suitable subject content or patents.

search-config
loading …

Abstract

The local minimum degree of a graph is the minimum degree that can be reached by means of local complementation. For any n, there exist graphs of order n which have a local minimum degree at least 0.189n, or at least 0.110n when restricted to bipartite graphs. Regarding the upper bound, we show that the local minimum degree is at most \(\frac{3}{8}n+o(n)\) for general graphs and \(\frac{n}{4}+o(n)\) for bipartite graphs, improving the known \(\frac{n}{2}\) upper bound. We also prove that the local minimum degree is smaller than half of the vertex cover number (up to a logarithmic term). The local minimum degree problem is NP-Complete and hard to approximate. We show that this problem, even when restricted to bipartite graphs, is in W[2] and FPT-equivalent to the EvenSet problem, whose W[1]-hardness is a long standing open question. Finally, we show that the local minimum degree is computed by a \(\mathcal O^*(1.938^n)\)-algorithm, and a \(\mathcal O^*(1.466^n)\)-algorithm for the bipartite graphs.

Dont have a licence yet? Then find out more about our products and how to get one now:

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!

Footnotes
1
It was used by Bouchet [2] and others under the name connectivity function, and coined the cut-rank by Oum [22].
 
Literature
1.
3.
go back to reference Bouchet, A.: Connectivity of isotropic systems. In: Proceedings of the third international conference on Combinatorial mathematics, pp. 81–93. New York Academy of Sciences (1989) Bouchet, A.: Connectivity of isotropic systems. In: Proceedings of the third international conference on Combinatorial mathematics, pp. 81–93. New York Academy of Sciences (1989)
4.
go back to reference Bouchet, A.: \(\kappa \)-transformations, local complementations and switching. In: NATO Advance Research Workshop, vol. C, pp. 41–50 (1990) Bouchet, A.: \(\kappa \)-transformations, local complementations and switching. In: NATO Advance Research Workshop, vol. C, pp. 41–50 (1990)
6.
go back to reference Broadbent, A., Fitzsimons, J., Kashefi, E.: Universal blind quantum computation. In: 50th Annual IEEE Symposium on Foundations of Computer Science, FOCS 2009 (2009) Broadbent, A., Fitzsimons, J., Kashefi, E.: Universal blind quantum computation. In: 50th Annual IEEE Symposium on Foundations of Computer Science, FOCS 2009 (2009)
7.
go back to reference Cattanéo, D., Perdrix, S.: Parameterized complexity of weak odd domination problems. In: Gąsieniec, L., Wolter, F. (eds.) FCT 2013. LNCS, vol. 8070, pp. 107–120. Springer, Heidelberg (2013) CrossRef Cattanéo, D., Perdrix, S.: Parameterized complexity of weak odd domination problems. In: Gąsieniec, L., Wolter, F. (eds.) FCT 2013. LNCS, vol. 8070, pp. 107–120. Springer, Heidelberg (2013) CrossRef
8.
go back to reference Cattanéo, D., Perdrix, S.: The parameterized complexity of domination-type problems and application to linear codes. In: Gopal, T.V., Agrawal, M., Li, A., Cooper, S.B. (eds.) TAMC 2014. LNCS, vol. 8402, pp. 86–103. Springer, Heidelberg (2014) CrossRef Cattanéo, D., Perdrix, S.: The parameterized complexity of domination-type problems and application to linear codes. In: Gopal, T.V., Agrawal, M., Li, A., Cooper, S.B. (eds.) TAMC 2014. LNCS, vol. 8402, pp. 86–103. Springer, Heidelberg (2014) CrossRef
10.
11.
go back to reference Downey, R.G., Fellows, M.R., Vardy, A., Whittle, G.: The parameterized complexity of some fundabmental problems in coding theory. CDMTCS Research Report Series (1997) Downey, R.G., Fellows, M.R., Vardy, A., Whittle, G.: The parameterized complexity of some fundabmental problems in coding theory. CDMTCS Research Report Series (1997)
12.
go back to reference Fon-Der-Flaasss, D.G.: Local complementations of simple and directed graphs. Discrete Analysis and Operations Research, pp. 15–34. Springer, Netherlands (1996) CrossRef Fon-Der-Flaasss, D.G.: Local complementations of simple and directed graphs. Discrete Analysis and Operations Research, pp. 15–34. Springer, Netherlands (1996) CrossRef
13.
go back to reference Gravier, S., Javelle, J., Mhalla, M., Perdrix, S.: Quantum secret sharing with graph states. In: Kučera, A., Henzinger, T.A., Nešetřil, J., Vojnar, T., Antoš, D. (eds.) MEMICS 2012. LNCS, vol. 7721, pp. 15–31. Springer, Heidelberg (2013) CrossRef Gravier, S., Javelle, J., Mhalla, M., Perdrix, S.: Quantum secret sharing with graph states. In: Kučera, A., Henzinger, T.A., Nešetřil, J., Vojnar, T., Antoš, D. (eds.) MEMICS 2012. LNCS, vol. 7721, pp. 15–31. Springer, Heidelberg (2013) CrossRef
14.
go back to reference Gravier, S., Javelle, J., Mhalla, M., Perdrix, S.: On weak odd domination and graph-based quantum secret sharing. Theor. Comput. Sci. 598, 129–137 (2015)MathSciNetCrossRefMATH Gravier, S., Javelle, J., Mhalla, M., Perdrix, S.: On weak odd domination and graph-based quantum secret sharing. Theor. Comput. Sci. 598, 129–137 (2015)MathSciNetCrossRefMATH
16.
go back to reference Høyer, P., Mhalla, M., Perdrix, S.: Resources required for preparing graph states. In: Asano, T. (ed.) ISAAC 2006. LNCS, vol. 4288, pp. 638–649. Springer, Heidelberg (2006) CrossRef Høyer, P., Mhalla, M., Perdrix, S.: Resources required for preparing graph states. In: Asano, T. (ed.) ISAAC 2006. LNCS, vol. 4288, pp. 638–649. Springer, Heidelberg (2006) CrossRef
17.
go back to reference Javelle, J.: Cryptographie Quantique, Protocoles et Graphes. PhD thesis, Grenoble University (2014) Javelle, J.: Cryptographie Quantique, Protocoles et Graphes. PhD thesis, Grenoble University (2014)
18.
go back to reference Javelle, J., Mhalla, M., Perdrix, S.: On the minimum degree up to local complementation: bounds and complexity. In: Golumbic, M.C., Stern, M., Levy, A., Morgenstern, G. (eds.) WG 2012. LNCS, vol. 7551, pp. 138–147. Springer, Heidelberg (2012) CrossRef Javelle, J., Mhalla, M., Perdrix, S.: On the minimum degree up to local complementation: bounds and complexity. In: Golumbic, M.C., Stern, M., Levy, A., Morgenstern, G. (eds.) WG 2012. LNCS, vol. 7551, pp. 138–147. Springer, Heidelberg (2012) CrossRef
19.
go back to reference Ji, Z., Chen, J., Wei, Z., Ying, M.: The lu-lc conjecture is false (2007) Ji, Z., Chen, J., Wei, Z., Ying, M.: The lu-lc conjecture is false (2007)
20.
go back to reference Kotzig, A.: Eulerian lines in finite 4-valent graphs and their transformations. In: Colloqium on Graph Theory Tihany 1966, pp. 219–230. Academic Press (1968) Kotzig, A.: Eulerian lines in finite 4-valent graphs and their transformations. In: Colloqium on Graph Theory Tihany 1966, pp. 219–230. Academic Press (1968)
23.
24.
go back to reference Raussendorf, R., Briegel, H.J.: A one-way quantum computer. Phys. Rev. Lett. 86, 5188–5191 (2001)CrossRef Raussendorf, R., Briegel, H.J.: A one-way quantum computer. Phys. Rev. Lett. 86, 5188–5191 (2001)CrossRef
25.
go back to reference Schlingemann, D.: Local equivalence of graph states. In: Krueger, O., Werner, R.F. (eds.) Some Open Problems in Quantum Information Theory (2005). arXiv:quant-ph/0504166 Schlingemann, D.: Local equivalence of graph states. In: Krueger, O., Werner, R.F. (eds.) Some Open Problems in Quantum Information Theory (2005). arXiv:​quant-ph/​0504166
26.
go back to reference Van den Nest, M.: Local equivalence of stabilizer states and codes. PhD thesis, Faculty of Engineering, K. U. Leuven, Belgium, May 2005 Van den Nest, M.: Local equivalence of stabilizer states and codes. PhD thesis, Faculty of Engineering, K. U. Leuven, Belgium, May 2005
27.
go back to reference Van den Nest, M., Dehaene, J., De Moor, B.: Graphical description of the action of local clifford transformations on graph states. Phys. Rev. A 69, 022316 (2004)CrossRef Van den Nest, M., Dehaene, J., De Moor, B.: Graphical description of the action of local clifford transformations on graph states. Phys. Rev. A 69, 022316 (2004)CrossRef
28.
go back to reference Zeng, B., Chung, H., Cross, A.W., Chuang, I.L.: Local unitary versus local clifford equivalence of stabilizer and graph states. Phys. Rev. A 75(3), 032325 (2007)CrossRef Zeng, B., Chung, H., Cross, A.W., Chuang, I.L.: Local unitary versus local clifford equivalence of stabilizer and graph states. Phys. Rev. A 75(3), 032325 (2007)CrossRef
Metadata
Title
Minimum Degree Up to Local Complementation: Bounds, Parameterized Complexity, and Exact Algorithms
Authors
David Cattanéo
Simon Perdrix
Copyright Year
2015
Publisher
Springer Berlin Heidelberg
DOI
https://doi.org/10.1007/978-3-662-48971-0_23

Premium Partner