Proved
Established result in cited source ↗
Counting flags in triangle-free digraphs · Theorem 1.2; §2 notation; §5 computation →
Observed Oct 12, 2026
Bound · version 1
Every finite oriented graph on n ≥ 1 vertices with minimum out-degree at least 0.3465n contains a directed triangle.
Proved
Counting flags in triangle-free digraphs · Theorem 1.2; §2 notation; §5 computation →
Observed Oct 12, 2026
In this problem · publication v9 · Selected context
Bound · Proved
Scope: The directed triangle conclusion holds at degree 0.3465n.
Limit: The intended threshold n/3 is lower and remains unresolved.
These results can cover the same graphs; their coverage is not added or expressed as a percentage.
Relationship not independently reviewed. This concerns its use in this problem.
In this problem · publication v11
Bound · Proved
Scope: The directed triangle conclusion holds at degree 0.3465n.
Limit: The intended threshold n/3 is lower and remains unresolved.
These results can cover the same graphs; their coverage is not added or expressed as a percentage.
Relationship not independently reviewed. This concerns its use in this problem.
An oriented graph with minimum out-degree at least 0.3465 times its order contains a directed triangle. The paper forbids opposite arcs and uses flag algebras with auxiliary arithmetic.
paraphrase · Follow the original source for authoritative statements and reuse terms.
Jan Hladký · Daniel Král’ · Sergey Norin · Published · Publication date 2017
Source-backed selection; publication and proof assessment are separate.
Source revision: arxiv-0908.2791v4. Observed Oct 12, 2026.
AI use is not reported in the selected source.
Statement versions and problem publication versions are separate. A new publication can update context or sources while retaining the same statement.
Assessments retained in these publication records. Earlier statement versions retain their own source histories.
Proved
Observed Oct 12, 2026 · Source passage →