isHamiltonian_iff

Mathlib.Combinatorics.SimpleGraph.Hamiltonian

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

English

A path is Hamiltonian iff every vertex lies in its support.

Русский

Путь гамильтониан iff каждый вершина принадлежит его опоре.

LaTeX

$$$$p.IsHamiltonian \iff \forall w, w \in p.support.$$$$

Lean4

theorem isHamiltonian_iff (hp : p.IsPath) : p.IsHamiltonian ↔ ∀ w, w ∈ p.support :=
  ⟨(·.mem_support), hp.isHamiltonian_of_mem⟩

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

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

Разделы

Аффилиация

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