IsHamiltonian

Mathlib.Combinatorics.SimpleGraph.Hamiltonian

URI: https://scilib.ai/kg/mathlib#SimpleGraph.Walk.IsHamiltonian

Lean4

/-- A Hamiltonian path is a walk `p` that visits every vertex exactly once. Note that while
this definition doesn't contain that `p` is a path, `p.isPath` gives that. -/
def IsHamiltonian (p : G.Walk a b) : Prop :=
  ∀ a, p.support.count a = 1

Похожие утверждения

Научная платформа российской исследовательской школы.

Разделы

MathLib Explorer
Graph RAG
Лаборатория
Блог
О проекте
Команда

Аффилиация

Вычислительный центр им. А. А. Дороницына при ФИЦ «Информатика и Управление» РАН frccsc.ru