Sciweavers

686 search results - page 58 / 138
» Packing Cycles in Graphs
Sort
View
96
Voted
FSTTCS
2001
Springer
15 years 5 months ago
Distributed LTL Model Checking Based on Negative Cycle Detection
Abstract. This paper addresses the state explosion problem in automata based LTL model checking. To deal with large space requirements we turn to use a distributed approach. All th...
Lubos Brim, Ivana Cerná, Pavel Krcál...
102
Voted
CCCG
2008
15 years 1 months ago
Computing the Stretch Factor of Paths, Trees, and Cycles in Weighted Fixed Orientation Metrics
Let G be a graph embedded in the L1-plane. The stretch factor of G is the maximum over all pairs of distinct vertices p and q of G of the ratio LG 1 (p, q)/L1(p, q), where LG 1 (p...
Christian Wulff-Nilsen
JCT
2008
103views more  JCT 2008»
15 years 14 days ago
A bijective proof of Jackson's formula for the number of factorizations of a cycle
Factorizations of the cyclic permutation (1 2 . . . N) into two permutations with respectively n and m cycles, or, equivalently, unicellular bicolored maps with N edges and n whit...
Gilles Schaeffer, Ekaterina A. Vassilieva
DM
1998
57views more  DM 1998»
15 years 5 days ago
Note on alternating directed cycles
The problem of the existence of an alternating simple dicycle in a 2-arc-coloured digraph is considered. This is a generalization of the alternating cycle problem in 2-edgecoloure...
Gregory Gutin, Benny Sudakov, Anders Yeo
COMBINATORICS
1999
73views more  COMBINATORICS 1999»
15 years 5 days ago
A [k, k+1]-Factor Containing A Given Hamiltonian Cycle
We prove the following best possible result. Let k 2 be an integer and G be a graph of order n with minimum degree at least k. Assume n 8k - 16 for even n and n 6k-13 for odd n...
Mao-cheng Cai, Yanjun Li, Mikio Kano