deleteEdges — Mathlib

English

Given a graph G and a set s of edge-pairs, remove all edges from G whose edge-set lies in s.

Русский

Даны граф G и множество пар вершин s; удалить из G все рёбра, составленные из этих пар.

LaTeX

$$def deleteEdges (s : Set (Sym2 V)) : SimpleGraph V := G \ fromEdgeSet s$$

Lean4

/-- Given a set of vertex pairs, remove all of the corresponding edges from the
graph's edge set, if present.

See also: `SimpleGraph.Subgraph.deleteEdges`. -/
def deleteEdges (s : Set (Sym2 V)) : SimpleGraph V :=
  G \ fromEdgeSet s

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