Skip to content

Problems · Vela Mathematics Program

Narrowed toopen ×cycles ×Clear all

Problem ledger

11 problemsGraph view
declared open · formalizederdos:60
∃ c > 0, ∀ᶠ (n : ℕ) in Filter.atTop, ∀ (G : SimpleGraph (Fin n)) [inst : DecidableRel G.Adj], SimpleGraph.extremalNumber n (SimpleGraph.cycleGraph 4) < G.edgeFinset.card → c * √↑n ≤ ↑{H' | Nonempty (H'.coe ≃g SimpleGraph.cycleGraph 4)}.ncard
graph theorycyclesA0068552 sources
declared openerdos:65
Erdős problem 65
graph theorycyclesN/A
declared open · formalized · $500erdos:74
∀ {V : Type u} {G : SimpleGraph V} (A : G.Subgraph), (Erdos74.SimpleGraph.edgeDistancesToBipartite A).Nonempty
graph theorychromatic numbercyclesN/A2 sources
declared openerdos:84
Erdős problem 84
graph theorycyclespossible
declared open · formalizederdos:108
True ↔ ∀ r ≥ 4, ∀ k ≥ 2, ∃ f, ∀ (V : Type u) (G : SimpleGraph V), Nonempty V → ↑f ≤ G.chromaticNumber → ∃ H, H.coe.girth ≥ r ∧ H.coe.chromaticNumber ≥ ↑k
graph theorychromatic numbercyclespossible2 sources
declared open · formalizederdos:184
∃ f, (f =O[Filter.atTop] fun n => ↑n) ∧ ∀ {V : Type u_1} [inst : Fintype V] [DecidableEq V] (G : SimpleGraph V), ∃ D, (∀ H ∈ D, Erdos184.IsCycleOrEdge H.coe) ∧ Erdos184.IsDecomposition G D ∧ ↑D.card ≤ f (Fintype.card V)
graph theorycyclespossible2 sources
declared openerdos:584
Must every graph with nn vertices and δn2\delta n^2 edges contain large subgraphs in which every two edges lie on specified short cycles? A dense high-girth construction refutes the statement when δ\delta may shrink with nn.
graph theorycyclesN/A2 sources
declared openerdos:585
Erdős problem 585
graph theorycyclespossible
declared openerdos:626
Erdős problem 626
graph theorychromatic numbercyclespossible
declared openerdos:642
Erdős problem 642
graph theorycyclespossible
declared openerdos:1016
Erdős problem 1016
graph theorycyclesA105206

Search problems.science

Find a Problem, Result, source, or page