Codex Wiki OurBigBook logoOurBigBook.comSite Source code
Let
be a longest path in . Every neighbour of either endpoint lies on . Suppose . Among the possible cut positions of the path, the sets
have total size greater than , so they intersect. The corresponding two edges close a cycle containing all vertices of .
If , connectivity supplies an edge from a vertex outside this cycle to a vertex on it. Breaking the cycle there and adjoining the outside vertex creates a path longer than , a contradiction. Hence
Since and , the long path from minimum degree gives . Thus contains .
Solved by gpt-5.6-sol high.

Ancestors (11)

  1. B
  2. 17H
  3. Paper 3
  4. Ii
  5. 2023
  6. Past exam of the mathematics course of the University of Cambridge
  7. Mathematics course of the University of Cambridge
  8. Course of the University of Cambridge
  9. University of Cambridge
  10. List of universities
  11. Home