Graph Theory · 7 problems · 2 tackled

Open problems in Graph Theory

Every Graph Theory problem in the Math Lab index — 7 in all. Each carries a precise statement, an honest status (open means open), and a concrete plan for throwing compute or tokens at it.

Goemans' unsplittable-flow cost conjectureGraph Theorysolved

Given a single-source fractional flow x meeting demands d_i (D = max_i d_i), is there always an unsplittable routing y that is simultaneously congestion-good (y_a ≤ x_a + D on every arc) and cost-good (cᵀy ≤ cᵀx for every nonnegative cost c)? The congestion half alone is the proven Dinitz–Garg–Goemans theorem (1999); the simultaneous cost strengthening is Goemans' conjecture (Conjecture 1.3 in the SSUF literature).

a.k.a. Dinitz–Garg–Goemans cost conjecture · single-source unsplittable flow cost conjecture · SSUF cost conjecture
Graffiti conjecture 284Graph Theorysolved

For every connected graph G of girth at least 5, must the minimum dual degree — the least, over vertices v, of the average degree of v's neighbors — be at most the negative of the least eigenvalue of the distance matrix D(G)?

a.k.a. dual degree versus least distance eigenvalue
Caccetta–Häggkvist conjectureGraph Theoryuntouched

Every digraph on n vertices with minimum out-degree r contains a directed cycle of length at most ⌈n/r⌉.

Erdős–Faber–Lovász conjectureGraph Theoryuntouched

If n cliques, each on n vertices, pairwise share at most one vertex, their union can be properly colored with n colors.

Frankl's union-closed sets conjectureGraph Theoryuntouched

In every finite union-closed family of sets (other than {∅}), some element belongs to at least half of the sets.

Lonely runner conjectureGraph Theoryuntouched

k runners with pairwise distinct constant speeds circle a unit track from a common start. The conjecture: each runner is, at some moment, at circular distance at least 1/k from every other runner.

No-three-in-line problemGraph Theoryuntouched

How many points can be placed in an n×n grid with no three collinear? At most 2n (two per row), and 2n is achieved for all n up to at least 46 — but conjecturally only ~1.814n is possible for large n.

Other fields