Sciweavers

347 search results - page 4 / 70
» Schaefer's theorem for graphs
Sort
View
DAM
1998
85views more  DAM 1998»
13 years 9 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»
13 years 7 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»
13 years 9 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»
13 years 11 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