Sciweavers

347 search results - page 4 / 70
» Schaefer's theorem for graphs
Sort
View
DAM
1998
85views more  DAM 1998»
14 years 11 months ago
Separability Generalizes Dirac's Theorem
In our study of the extremities of a graph, we define a moplex as a maximal clique module the neighborhood of which is a minimal separator of the graph. This notion enables us to...
Anne Berry, Jean Paul Bordat
CPC
2010
116views more  CPC 2010»
14 years 9 months ago
A Separator Theorem for String Graphs and its Applications
A string graph is the intersection graph of a collection of continuous arcs in the plane. It is shown that any string graph with m edges can be separated into two parts of roughly...
Jacob Fox, János Pach
DM
2007
100views more  DM 2007»
14 years 11 months ago
Decompositions of signed-graphic matroids
We give a decomposition theorem for signed graphs whose frame matroids are binary and a decomposition theorem for signed graphs whose frame matroids are quaternary.
Daniel C. Slilaty, Hongxun Qin
CAV
2008
Springer
143views Hardware» more  CAV 2008»
15 years 1 months ago
Applying the Graph Minor Theorem to the Verification of Graph Transformation Systems
We show how to view certain subclasses of (single-pushout) graph transformation systems as well-structured transition systems, which leads to decidability of the covering problem v...
Salil Joshi, Barbara König