Sciweavers

46 search results - page 1 / 10
» Collapsible biclaw-free graphs
Sort
View
79
Voted
DM
2006
101views more  DM 2006»
15 years 14 days ago
Collapsible biclaw-free graphs
A graph is called biclaw-free if it has no biclaw as an induced subgraph. In this note, we prove that if G is a connected bipartite biclaw-free graph with (G) 5, then G is collap...
Hong-Jian Lai, Xiangjuan Yao
72
Voted
DM
2008
72views more  DM 2008»
15 years 16 days ago
Equivariant collapses and the homotopy type of iterated clique graphs
Francisco Larrión, Miguel A. Pizaña,...
FSTTCS
2010
Springer
14 years 9 months ago
The Complexity of Model Checking (Collapsible) Higher-Order Pushdown Systems
We study (collapsible) higher-order pushdown systems -- theoretically robust and well-studied models of higher-order programs -- along with their natural subclass called (collapsi...
Matthew Hague, Anthony Widjaja To
93
Voted
STACS
1987
Springer
15 years 4 months ago
Graph Isomorphism is in the Low Hierarchy
It is shown that the graph isomorphism problem is located in the low hierarchy in NP. This implies that this problem is not NPcomplete (not even under weaker forms of polynomial-ti...
Uwe Schöning