Erdős problem 621
Let be a graph on vertices, be the maximum number of edges that contain at most one edge from every triangle, and be the minimum number of edges that contain at least one edge from every triangle.
- Formal statements
- 1 solved
- Erdős Problems says
- proved (Lean)
- Decision here
- No current contribution
- Checks
- 0 checks · 1 formal
Current Result
Current Result
No result has been accepted here yet.
- Type
- —
- Evidence
- 0 artifacts
- Decision
- None
- Reviewed
- No date retained