Sciweavers

523 search results - page 23 / 105
» Decidability of string graphs
Sort
View
76
Voted
ENDM
2010
122views more  ENDM 2010»
14 years 9 months ago
Complexity dichotomy on degree-constrained VLSI layouts with unit-length edges
Deciding whether an arbitrary graph admits a VLSI layout with unit-length edges is NP-complete [1], even when restricted to binary trees [7]. However, for certain graphs, the prob...
Vinícius G. P. de Sá, Celina M. Herr...
ISAAC
2009
Springer
131views Algorithms» more  ISAAC 2009»
15 years 4 months ago
A Certifying Algorithm for 3-Colorability of P5-Free Graphs
We provide a certifying algorithm for the problem of deciding whether a P5-free graph is 3-colorable by showing there are exactly six finite graphs that are P5-free and not 3-colo...
Daniel Bruce, Chính T. Hoàng, Joe Sa...
60
Voted
IWOCA
2009
Springer
119views Algorithms» more  IWOCA 2009»
15 years 4 months ago
Fully Decomposable Split Graphs
We discuss various questions around partitioning a split graph into connected parts. Our main result is a polynomial time algorithm that decides whether a given split graph is full...
Hajo Broersma, Dieter Kratsch, Gerhard J. Woeginge...
LFCS
2009
Springer
15 years 4 months ago
Positive Fork Graph Calculus
We introduce and illustrate a graph calculus for proving and deciding the positive identities and inclusions of fork algebras, i.e., those without occurrences of complementation. ...
Renata P. de Freitas, Sheila R. M. Veloso, Paulo A...
WG
2004
Springer
15 years 2 months ago
Finding k Disjoint Triangles in an Arbitrary Graph
We consider the NP-complete problem of deciding whether an input graph on n vertices has k vertex-disjoint copies of a fixed graph H. For H = K3
Mike Fellows, Pinar Heggernes, Frances A. Rosamond...