Skip to main content
Log in

A refined algorithm for maximum independent set in degree-4 graphs

  • Published:
Journal of Combinatorial Optimization Aims and scope Submit manuscript

Abstract

The maximum independent set problem is one of the most important problems in theoretical analysis on time and space complexities of exact algorithms. Theoretical improvement on upper bounds on time complexity to solve this problem in low-degree graphs can lead to an improvement on that to the problem in general graphs. In this paper, we derive an upper bound \(O^*(1.1376^n)\) on the time complexity of a polynomial-space algorithm that solves the maximum independent set problem in an n-vertex graph with degree bounded by 4, improving all previous upper bounds on the time complexity of exact algorithms to this problem. Our algorithm is a branch-and-reduce algorithm and analyzed by using the measure-and-conquer method. To make an amortized analysis of the running time bound, we use an idea of “shift” to save some decrease of the measure from good branches to bad branches. Our algorithm first deals with small vertex cuts and vertices of degree \({\ge }5\), which may be created in our algorithm even if the input graph has maximum degree 4, then eliminates cycles of length 3 and 4 containing degree-4 vertices, and finally branches on degree-4 vertices. We invoke an exact algorithm for this problem in graphs with maximum degree 3 directly when the graph has no vertices of degree \({\ge }4\). Branching on degree-4 vertices on special local structures will be the bottleneck case, and we carefully design rules of choosing degree-4 vertices to branch on so that the resulting instances after branching decrease the measure effectively in the next step.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Fig. 1
Fig. 2
Fig. 3
Fig. 4
Fig. 5
Fig. 6

Similar content being viewed by others

Notes

  1. The notion of unconfined vertices is originally defined by Xiao and Nagamochi (2013a) in a more general way.

References

  • Akiba T, Iwata Y (2016) Branch-and-reduce exponential/FPT algorithms in practice: a case study of vertex cover. Theor Comput Sci 609:211–225

    Article  MathSciNet  MATH  Google Scholar 

  • Bourgeois N, Escoffier B, Paschos VT, van Rooij JMM (2010) Maximum independent set in graphs of average degree at most three in \({O}(1.08537^n)\). In: TAMC, LNCS 6108, pp 373–384

  • Bourgeois N, Escoffier B, Paschos VT, van Rooij JMM (2012) Fast algorithms for max independent set. Algorithmica 62(1–2):382–415

    Article  MathSciNet  MATH  Google Scholar 

  • Chen J, Kanj IA, Xia G (2010) Improved upper bounds for vertex cover. Theor Comput Sci 411(40–42):3736–3756

    Article  MathSciNet  MATH  Google Scholar 

  • Chor B, Fellows M, Juedes DW (2004) Linear kernels in linear time, or how to save k colors in \({O}(n^2)\) steps. In: WG 2004. LNCS 3353, Springer, pp 257–269

  • Eppstein D (2006) Quasiconvex analysis of multivariate recurrence equations for backtracking algorithms. ACM Trans Algorithms 2(4):492–509

    Article  MathSciNet  MATH  Google Scholar 

  • Fomin FV, Høie K (2006) Pathwidth of cubic graphs and exact algorithms. Inf Process Lett 97(5):191–196

    Article  MathSciNet  MATH  Google Scholar 

  • Fomin FV, Kratsch D (2010) Exact exponential algorithms. Springer, New York

    Book  MATH  Google Scholar 

  • Fomin FV, Grandoni F, Kratsch D (2009) A measure and conquer approach for the analysis of exact algorithms. J ACM 56(5):1–32

    Article  MathSciNet  MATH  Google Scholar 

  • Fürer M (2006) A faster algorithm for finding maximum independent sets in sparse graphs. In: LATIN 2006. LNCS 3887 , Springer, pp 491–501

  • Issac D, Jaiswal R (2015) An \(O^*(1.0821^n)\)-time algorithm for computing maximum independent set in graphs with bounded degree 3. arXiv:1308.1351v3

  • Jian T (1986) An \({O}(2^{0.304n})\) algorithm for solving maximum independent set problem. IEEE Trans Comput 35(9):847–851

    Article  Google Scholar 

  • Kneis J, Langer A, Rossmanith P (2009) A fine-grained analysis of a simple independent set algorithm. In: Kannan R, Kumar KN (eds) FSTTCS 2009, vol 4. Dagstuhl, Germany, LIPIcs, pp 287–298

  • Razgon I (2009) Faster computation of maximum independent set and parameterized vertex cover for graphs with maximum degree 3. J Discrete Algorithms 7(2):191–212

    Article  MathSciNet  MATH  Google Scholar 

  • Robson J (1986) Algorithms for maximum independent sets. J Algorithms 7(3):425–440

    Article  MathSciNet  MATH  Google Scholar 

  • Tarjan R, Trojanowski A (1977) Finding a maximum independent set. SIAM J Comput 6(3):537–546

    Article  MathSciNet  MATH  Google Scholar 

  • West D (1996) Introduction to graph theory. Prentice Hall, Englewood Cliffs

    MATH  Google Scholar 

  • Xiao M (2010) A simple and fast algorithm for maximum independent set in 3-degree graphs. In: Rahman M, Fujita S: WALCOM 2010, LNCS 5942, pp 281–292

  • Xiao M, Nagamochi H (2011) Further improvement on maximum independent set in graphs with maximum degree 4. In: COCOA 2011. LNCS 6831, pp 163–178

  • Xiao M, Nagamochi H (2013a) Confining sets and avoiding bottleneck cases: a simple maximum independent set algorithm in degree-3 graphs. Theor Comput Sci 469:92–104

    Article  MathSciNet  MATH  Google Scholar 

  • Xiao M, Nagamochi H (2013b) Exact algorithms for maximum independent set. In: ISAAC 2013, LNCS 8283 , pp 328–338 (Also see: Xiao M, Nagamochi H. Exact algorithms for maximum independent set. arXiv:1312.6260)

  • Xiao M, Nagamochi H (2016) An exact algorithm for maximum independent set in degree-5 graphs. Discrete Appl Math 199:137–155

    Article  MathSciNet  MATH  Google Scholar 

Download references

Acknowledgements

The first author was supported in part by National Natural Science Foundation of China under the Grants 61370071 and Fundamental Research Funds for the Central Universities under the Grant ZYGX2015J057. The second author was supported in part by Grant-in-Aid for Scientific Research from the Ministry of Education, Culture, Sports, Science and Technology of Japan.

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Mingyu Xiao.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Xiao, M., Nagamochi, H. A refined algorithm for maximum independent set in degree-4 graphs. J Comb Optim 34, 830–873 (2017). https://doi.org/10.1007/s10878-017-0115-3

Download citation

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10878-017-0115-3

Keywords

Navigation