English

Layered graphs: a class that admits polynomial time solutions for some hard problems

Data Structures and Algorithms 2017-05-26 v2

Abstract

The independent set on a graph G=(V,E)G=(V,E) is a subset of VV such that no two vertices in the subset have an edge between them. The MIS problem on GG seeks to identify an independent set with maximum cardinality, i.e. maximum independent set or MIS. VVV* \subseteq V is a vertex cover G=(V,E)G=(V,E) if every edge in the graph is incident upon at least one vertex in VV*. VVV* \subseteq V is dominating set of G=(V,E)G=(V,E) if forall vVv \in V either vVv \in V* or uV\exists u \in V* and (u,v)E(u,v) \in E. A connected dominating set, CDS, is a dominating set that forms a single component in GG. The MVC problem on GG seeks to identify a vertex cover with minimum cardinality, i.e. minimum vertex cover or MVC. Likewise, CVC seeks a connected vertex cover (CVC) with minimum cardinality. The problems MDS and CDS seek to identify a dominating set and a connected dominating set respectively of minimum cardinalities. MVC, CVC, MDS, and CDS on a general graph are known to be NP-complete. On certain classes of graphs they can be computed in polynomial time. Such algorithms are known for bipartite graphs, chordal graphs, cycle graphs, comparability graphs, claw-free graphs, interval graphs and circular arc graphs for some of these problems. In this article we introduce a new class of graphs called a layered graph and show that if the number of vertices in a layer is O(logV)O(\log \mid V \mid) then MIS, MVC, CVC, MDS and CDC can be computed in polynomial time. The restrictions that are employed on graph classes that admit polynomial time solutions for hard problems, e.g. lack of cycles, bipartiteness, planarity etc. are not applicable for this class. \\ Key words: Independent set, vertex cover, dominating set, dynamic programming, complexity, polynomial time algorithms.

Keywords

Cite

@article{arxiv.1705.06425,
  title  = {Layered graphs: a class that admits polynomial time solutions for some hard problems},
  author = {Bhadrachalam Chitturi},
  journal= {arXiv preprint arXiv:1705.06425},
  year   = {2017}
}

Comments

14 pages, 1 figure. A generic algorithm is given. It can be extended to handle a wide range of hard problems. Space complexity was incorrectly given as $O(k^2)$ for MIS (identical for MVC) in the earlier version instead of $O(k 2^k)$. The edges in $LLG$ are more clearly defined. For $ V_{it}$ the only permissible edges are $(V_{it}, V_{jt})$ where $j \in \{ i-1, i+1\}$

R2 v1 2026-06-22T19:50:42.162Z