Alphabeta Math
DefinitionDefinition: AI-adaptedProof: Not applicableSession-authored (Fable 5 assisted)audited 2026-07-31
How statement and proof provenance work

The first chip identifies the source of the statement or construction; the second identifies the source of its local proof or verification.

  • Literature-sourced — the exact statement appears in a cited source; only wording and notation differ.
  • AI-adapted — a semantically identical restatement of literature-sourced material, modulo indexing, notation, and boundary cases adopted by the library.
  • AI-generated — a genuinely novel statement formulated by AI, with no source for the claim itself.

These labels describe origin, not correctness: citations and verification chips remain separate evidence.

Adjacency, incidence, open and closed neighbourhoods, vertex degree, minimum degree and maximum degree

Definition

Let G=(V,E)G=(V,E) be a graph (A finite simple graph is a finite vertex set together with a set of two-element vertex subsets).

Distinct vertices u,vu,v are adjacent, or neighbours, when {u,v}E\{u,v\}\in E. A vertex vv and an edge ee are incident when vev\in e. The open neighbourhood and closed neighbourhood of vv are

NG(v):={uV:{u,v}E},NG[v]:=NG(v){v}.N_G(v):=\{\,u\in V:\{u,v\}\in E\,\},\qquad N_G[v]:=N_G(v)\cup\{v\}.

The degree of vv is degG(v):=NG(v)\deg_G(v):=|N_G(v)|, equivalently the number of edges incident with vv. A graph is rr-regular when every vertex has degree rr; it is cubic when it is 33-regular. The multiset of the vertex degrees, usually written in nonincreasing order, is the degree sequence.

When VV\ne\varnothing, the minimum degree and maximum degree are

δ(G):=minvVdegG(v),Δ(G):=maxvVdegG(v).\delta(G):=\min_{v\in V}\deg_G(v),\qquad \Delta(G):=\max_{v\in V}\deg_G(v).

They are defined because VV is a nonempty finite set (The cardinality A\lvert A\rvert of a finite set). Neither δ(G)\delta(G) nor Δ(G)\Delta(G) is defined for the null graph.

Depends on

Used by

Dependency tree · next 3 levels

Direct dependencies and their dependencies through the next three levels: 25 results over 12 levels. An arrow runs from a result to what uses it, and this result sits at the bottom with a heavier outline. Click the chart to enlarge it.

Sources