Skip to content

Problems · Vela Mathematics Program

Narrowed tosolved ×graph theory ×Clear all

Problem ledger

13 problemsGraph view
declared solvederdos:136
Erdős problem 136
graph theorypossible
declared solvederdos:581
Erdős problem 581
graph theorypossible
declared solvederdos:758
Erdős problem 758
graph theorychromatic numberpossible
declared solvederdos:759
Erdős problem 759
graph theorychromatic numberpossible
declared solvederdos:777
Erdős problem 777
graph theorycombinatoricsN/A
declared solvederdos:834
Erdős problem 834
graph theoryhypergraphsN/A
declared solvederdos:915
Erdős problem 915
graph theoryN/A
declared solved · formalizederdos:920
True ↔ ∀ k ≥ 4, ∃ c > 0, (fun n => ↑n ^ (1 - 1 / (↑k - 1)) / Real.log ↑n ^ c) =O[Filter.atTop] fun n => ↑(Erdos920.f k n)
graph theorychromatic numberpossible2 sources
declared solvederdos:1012
Erdős problem 1012
graph theory
declared solvederdos:1015
Erdős problem 1015
graph theoryramsey theorypossible
declared solvederdos:1018
Erdős problem 1018
graph theoryplanar graphsN/A
declared solvederdos:1024
Erdős problem 1024
graph theoryhypergraphspossible
declared solvederdos:1079
Erdős problem 1079
graph theoryturan numberN/A