Maximum independent sets near the upper bound

From MaRDI portal
Publication:2026337




Abstract: The size of a largest independent set of vertices in a given graph G is denoted by alpha(G) and is called its independence number (or stability number). Given a graph G and an integer K, it is NP-complete to decide whether alpha(G)geqK. An upper bound for the independence number alpha(G) of a given graph G with n vertices and m edges is given by alpha(G)leqp:=lfloorfrac12+sqrtfrac14+n2n2mfloor. In this paper we will consider maximum independent sets near this upper bound. Our main result is the following: There exists an algorithm with time complexity O(n2) that, given as an input a graph G with n vertices, m edges, p:=lfloorfrac12+sqrtfrac14+n2n2mfloor, and an integer kgeq0 with pgeq2k+1, returns an induced subgraph Gp,k of G with n0leqp+2k+1 vertices such that alpha(G)leqpk if and only if alpha(Gp,k)leqpk. Furthermore, we will show that we can decide in time O(1.27383k+kn) whether alpha(Gp,k)leqpk.











This page was built for publication: Maximum independent sets near the upper bound

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2026337)