Sciweavers

1199 search results - page 28 / 240
» Graph Theory
Sort
View
DM
2008
114views more  DM 2008»
15 years 2 months ago
Subdivisions of graphs: A generalization of paths and cycles
One of the basic results in graph theory is Dirac's theorem, that every graph of order n 3 and minimum degree n/2 is Hamiltonian. This may be restated as: if a graph of ord...
Ch. Sobhan Babu, Ajit A. Diwan
GC
2007
Springer
15 years 2 months ago
An s -Hamiltonian Line Graph Problem
For an integer k > 0, a graph G is k-triangular if every edge of G lies in at least k distinct 3-cycles of G. In (J Graph Theory 11:399–407 (1987)), Broersma and Veldman propo...
Zhi-Hong Chen, Hong-Jian Lai, Wai-Chee Shiu, Deyin...
CAV
2008
Springer
143views Hardware» more  CAV 2008»
15 years 4 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
110
Voted
ECCC
2007
109views more  ECCC 2007»
15 years 2 months ago
Logic, Graphs, and Algorithms
Algorithmic meta theorems are algorithmic results that apply to whole families of combinatorial problems, instead of just specific problems. These families are usually defined i...
Martin Grohe
PODC
2009
ACM
16 years 3 months ago
Brief announcement: self-assembly as graph grammar as distributed system
In 2004, Klavins et al. introduced the use of graph grammars to describe--and to program--systems of self-assembly. It turns out that these graph grammars can be embedded in a gra...
Aaron Sterling