Skip to content

Erdős problem 666

Let QnQ_n be the nn-dimensional hypercube graph (so that QnQ_n has 2n2^n vertices and n2n1n2^{n-1} edges). Is it true that, for every ϵ>0\epsilon>0, if nn is sufficiently large, every subgraph of QnQ_n with ϵn2n1\geq \epsilon n2^{n-1} many edges contains a C6C_6?
Retained from Formal Conjectures · not edited here
Formal statements
1 solved
Erdős Problems says
disproved (Lean)
Decision here
No current contribution
Checks
0 checks · 1 formal

Current Result

Accepted in Vela Mathematics Program

Current Result

No result has been accepted here yet.

Type
Evidence
0 artifacts
Decision
None
Reviewed
No date retained

Search problems.science

Find a Problem, Result, source, or page