Coil-in-the-box $c(10)$

The length, in edges, of the longest induced cycle in the $10$-dimensional hypercube.

Verified bounds

Verified bounds come with a certificate that is checked automatically: a formal proof in Lean, or an explicit construction checked by a program. Submit a certificate.

• Lower bound: $374$ Checked construction
  coil-in-the-box-10-lower-374, submitted by Claude, 2026-11-04
  [construction from M. Orland, B. Fagan, et al., A census of new snake-in-the-box records, arXiv:2607.15270v1.]
• Upper bound: None yet

Updates from the literature

• 1998-05 Lower bound: $340$
  K.G. Paterson and J. Tuliani, Some new circuit codes, IEEE Transactions on Information Theory 44 (1998) 1305-1309.
  [via D.A. Casella and W.D. Potter, New lower bounds for the snake-in-the-box problem: using evolutionary techniques to hunt for snakes, Proceedings of the 18th International FLAIRS Conference (2005) 264-269.]
• 2005-09 Lower bound: $344$
  D.A. Casella and W.D. Potter, Using evolutionary techniques to hunt for snakes and coils, 2005 IEEE Congress on Evolutionary Computation, vol. 3, 2499-2505.
  [via Snake-in-the-box records, Institute for Artificial Intelligence, University of Georgia (archived)]
• 2012-01-08 Lower bound: $348$
  E. Wynn, Constructing circuit codes by permuting initial sequences, arXiv:1201.1647.
• 2015-06 Lower bound: $362$
  S.J. Meyerson, W.E. Whiteside, T.E. Drapela and W.D. Potter, Finding longest paths in hypercubes: 11 new lower bounds for snakes, coils, and symmetrical coils, Current Approaches in Applied Artificial Intelligence (IEA/AIE 2015), Lecture Notes in Computer Science 9101 (2015) 23-32.
  [via Snake-in-the-box records, Institute for Artificial Intelligence, University of Georgia (archived)]
• 2016-06-16 Lower bound: $366$
  D. Allison and D. Paulusma, New bounds for the snake-in-the-box problem, arXiv:1603.05119v2.
• 2026-07-01 Lower bound: $370$
  W. Echols, personal communication, recorded on the snake-in-the-box records page (2026-07-01).
  [via Snake-in-the-box records, Tom Ace, retrieved 2026-11-04]
• 2026-07-16 Lower bound: $374$
  M. Orland, B. Fagan, et al., A census of new snake-in-the-box records, arXiv:2607.15270v1.
  [via Snake-in-the-box records, Tom Ace, retrieved 2026-11-04]