ComponentCompl

Mathlib.Combinatorics.SimpleGraph.Ends.Defs

URI: https://scilib.ai/kg/mathlib#SimpleGraph.ComponentCompl

English

The components outside a given set of vertices K

Русский

Компоненты вне заданного множества вершин K

LaTeX

$$$$ \text{The components outside } K = G.\mathrm{induce}(K^{c}).\mathrm{ConnectedComponent}. $$$$

Lean4

/-- The components outside a given set of vertices `K` -/
abbrev ComponentCompl :=
  (G.induce Kᶜ).ConnectedComponent

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

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

Разделы

Аффилиация

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