Sciweavers

3008 search results - page 104 / 602
» Independence in connected graphs
Sort
View
FCT
2009
Springer
16 years 28 days ago
Independence Results for n-Ary Recursion Theorems
The n-ary first and second recursion theorems formalize two distinct, yet similar, notions of self-reference. Roughly, the n-ary first recursion theorem says that, for any n algo...
John Case, Samuel E. Moelius
ICLP
1989
Springer
15 years 9 months ago
Complete and Efficient Methods for Supporting Side-effects in Independent/Restricted AND-Parallelism
It has been shown that it is possible to exploit Independent/Restricted And-parallelism in logic programs while retaining the conventional "don't know" semantics of...
Kalyan Muthukumar, Manuel V. Hermenegildo
DM
2008
110views more  DM 2008»
15 years 6 months ago
Contractible subgraphs, Thomassen's conjecture and the dominating cycle conjecture for snarks
We show that the conjectures by Matthews and Sumner (every 4-connected claw-free graph is hamiltonian), by Thomassen (every 4-connected line graph is hamiltonian) and by Fleischne...
Hajo Broersma, Gasper Fijavz, Tomás Kaiser,...
ICCSA
2004
Springer
15 years 11 months ago
Network Probabilistic Connectivity: Optimal Structures
Abstract. The problems of optimizing the network structure by the reliability criteria is discussed. The networks with absolutely reliable nodes and unreliable edges are considered...
Olga K. Rodionova, Alexey S. Rodionov, Hyunseung C...
GD
2009
Springer
15 years 11 months ago
Removing Independently Even Crossings
We show that cr(G) ≤ 2 iocr(G) 2 settling an open problem of Pach and T´oth [4, 1]. Moreover, iocr(G) = cr(G) if iocr(G) ≤ 2. 1 Crossing Numbers Pach and T´oth point out in ...
Michael J. Pelsmajer, Marcus Schaefer, Daniel Stef...