Erdős problem 1037
Let be a graph on vertices in which every degree occurs at most twice, and the number of distinct degrees is . Must contain a trivial (empty or complete) subgraph of size 'much larger' than ?
- Formal statements
- 2 solved
- Erdős Problems says
- disproved (Lean)
- Decision here
- No current contribution
- Checks
- 0 checks · 2 formal
Current Result
Current Result
No result has been accepted here yet.
- Type
- —
- Evidence
- 0 artifacts
- Decision
- None
- Reviewed
- No date retained