supp

Mathlib.Combinatorics.SimpleGraph.Ends.Defs

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

← MathLib Explorer

English

The set of vertices of G making up the connected component C outside K.

Русский

Множество вершин G, образующее компоненту C вне K.

LaTeX

$$$$ \mathrm{supp}(C) = \{v : V \mid \exists h : v \notin K, G.componentComplMk h = C\}. $$$$

Lean4

/-- The set of vertices of `G` making up the connected component `C` -/
def supp (C : G.ComponentCompl K) : Set V :=
  {v : V | ∃ h : v ∉ K, G.componentComplMk h = C}

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

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

Разделы

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

Аффилиация

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