104
Voted
EJC
2008
15 years 17 days ago
2008
Gerards and Seymour (see [T.R. Jensen, B. Toft, Graph Coloring Problems, Wiley-Interscience, 1995], page 115) conjectured that if a graph has no odd complete minor of order p, the...
66
Voted
DAM
2008
15 years 18 days ago
2008
In this paper, we present new structural results about the existence of a subgraph where the degrees of the vertices are pre-specified. Further, we use these results to prove a 16...
74
Voted
COMBINATORICA
2008
15 years 18 days ago
2008
Cyclic orders of graphs and their equivalence have been promoted by Bessy and Thomass
103
Voted
AMC
2010
15 years 19 days ago
2010
In this work we propose a conjecture about the stability of the periodic solutions of the Ricker equation with periodic parameters, which goes beyond the existing theory, and for ...
111
Voted
FSTTCS
2008
Springer
15 years 1 months ago
2008
Springer
ABSTRACT. In many automated methods for proving inductive theorems, finding a suitable generalization of a conjecture is a key for the success of proof attempts. On the other hand...
STACS
2000
Springer
15 years 4 months ago
2000
Springer
The k-server problem is one of the most fundamental online problems. The problem is to schedule k mobile servers to visit a sequence of points in a metric space with minimum total...
90
Voted
COCO
1995
Springer
15 years 4 months ago
1995
Springer
The instance complexity of a string x with respect to a set A and time bound t, ict (x : A), is the length of the shortest program for A that runs in time t, decides x correctly, ...
75
Voted
ANTS
2006
Springer
15 years 4 months ago
2006
Springer
For the families ax4 = by4 +z4 +v4 +w4 , a, b = 1, . . . , 100, and ax3 = by3 + z3 + v3 + w3 , a, b = 1, . . . , 100, of projective algebraic threefolds, we test numerically the co...
123
Voted
LICS
1999
IEEE
15 years 4 months ago
1999
IEEE
The ordered conjecture states that least fixed-point logic LFP is strictly more expressive than first-order logic FO on every infinite class of ordered finite structures. It has b...
115
click to vote
COCOON
2003
Springer
15 years 5 months ago
2003
Springer
Drugs and other chemical compounds are often modeled as polygonal shapes, where each vertex represents an atom of the molecule, and covalent bonds between atoms are represented by...