Source · Reference

AIM · Caccetta–Häggkvist workshop survey

Overview

Directed graph questions and partial results from the 2006 workshop

Passages

The exact passages cited in OpenMath. Each passage identifies how its wording was recorded.

Passage index · 4
  1. Page 2, Conjecture 2.1
  2. §5, Theorem 5.1
  3. §2.1, Partial Results; references [5], [17], [19]
  4. §2.1, vertex-transitive case
Passage 1 · OpenMath paraphrasePermalink

Page 2, Conjecture 2.1

Must a simple directed graph with n vertices and minimum out-degree at least r ≥ 1 contain a directed cycle of length at most ⌈n/r⌉?

Replaces an earlier passage. View versioned records →

Passage details

Passage ID: caccetta-haggkvist:entry:0:v2

Source item: Page 2, Conjecture 2.1

Source record: aim-caccetta@2006-04-14-sha256-98251ac3

Replaces passage: caccetta-haggkvist:entry:0:v1

Passage 2 · OpenMath paraphrasePermalink

§5, Theorem 5.1

Shen’s theorem gives the sharp ceiling bound when the vertex count is at least 2r² − 3r + 1.

Replaces an earlier passage. View versioned records →

Passage details

Passage ID: caccetta-haggkvist:entry:large-order:v2

Source item: §5, Theorem 5.1

Source record: aim-caccetta@2006-04-14-sha256-98251ac3

Replaces passage: caccetta-haggkvist:entry:large-order:v1

Passage 3 · OpenMath paraphrasePermalink

§2.1, Partial Results; references [5], [17], [19]

The survey records the conjecture for out-degree parameters two through five, with separate proofs by Caccetta–Häggkvist (r = 2), Hamidoune (r = 3) and Hoàng–Reed (r = 4, 5).

Replaces an earlier passage. View versioned records →

Passage details

Passage ID: caccetta-haggkvist:entry:small-degree:v2

Source item: §2.1, Partial Results; references [5], [17], [19]

Source record: aim-caccetta@2006-04-14-sha256-98251ac3

Replaces passage: caccetta-haggkvist:entry:small-degree:v1

Passage 4 · OpenMath paraphrasePermalink

§2.1, vertex-transitive case

Vertex-transitive directed graphs satisfy the cycle bound, by Hamidoune’s connectivity argument.

Replaces an earlier passage. View versioned records →

Passage details

Passage ID: caccetta-haggkvist:entry:transitive:v2

Source item: §2.1, vertex-transitive case

Source record: aim-caccetta@2006-04-14-sha256-98251ac3

Replaces passage: caccetta-haggkvist:entry:transitive:v1

Used in

Explicit citations in versioned problem publications. A citation records a use; it does not confer proof or independent verification.

Caccetta–Häggkvist cycle bound →

Problem publication v11

The sharp bound when n ≥ 2r² − 3r + 1 →

Source assessment

Proved

Established result in cited source

Shen’s theorem restricts the order relative to the minimum-degree parameter.

Observed Oct 21, 2026

The sharp bound for out-degree two through five →

Source assessment

Proved

Established result in cited source

The degree parameter is restricted to two through five; the graph need not be regular.

Observed Oct 21, 2026

The sharp bound for vertex-transitive graphs →

Source assessment

Proved

Established result in cited source

Vertex-transitivity requires the automorphism group to act transitively on vertices.

Observed Oct 21, 2026

Problem context · 10 citations

History

The cycle bound is proposed

Further reading

Consult the original question and its hypotheses.

History

A theorem for sufficiently large order

Credits

Blair D. Sullivan; hosted by American Institute of Mathematics

Versions

OpenMath source records preserve exact citations. Observation dates order these records; they do not establish the latest upstream paper or proof.

  1. 2006-04-14-sha256-98251ac3 · selectedObserved Oct 21, 2026 · used in current publications

    AIM · Caccetta–Häggkvist workshop survey

  2. 2006-04-14Observed Oct 1, 2026

    AIM · Caccetta–Häggkvist workshop survey

Record details
Source ID
aim-caccetta
Record ID
aim-caccetta@2006-04-14-sha256-98251ac3
Recorded title
AIM · Caccetta–Häggkvist workshop survey
Revision
2006-04-14-sha256-98251ac3
Observed
Oct 21, 2026
Source updated
Apr 14, 2006
Content SHA-256
98251ac3eb6b4078d06de1925f983338f9d2940557eb95c60f57bd05445e5b35
Update method
Manual checked import; new observations require staff preview and publication
Identifier policy
Canonical source URL plus explicit item/declaration locator; no fuzzy identity merge
Check interval
180 days
Rights
metadata-link
License
Not established; links and OpenMath paraphrases only

Store metadata and original OpenMath paraphrases; follow the original source for authoritative wording.

Source terms ↗