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 be a graph (A finite simple graph is a finite vertex set together with a set of two-element vertex subsets).
Distinct vertices are adjacent, or neighbours, when . A vertex and an edge are incident when . The open neighbourhood and closed neighbourhood of are
The degree of is , equivalently the number of edges incident with . A graph is -regular when every vertex has degree ; it is cubic when it is -regular. The multiset of the vertex degrees, usually written in nonincreasing order, is the degree sequence.
When , the minimum degree and maximum degree are
They are defined because is a nonempty finite set (The cardinality of a finite set). Neither nor is defined for the null graph.
Depends on
Used by
- A finite graph on at least k+1 vertices is k-connected if and only if every two vertices have k internally disjoint paths Corollary
- Every nonnull simple planar graph has a vertex of degree at most five Corollary
- Every tree with at least two vertices has at least two leaves Corollary
- K₄ is Hamiltonian but has no Euler circuit Counterexample
- The class of regular graphs is not hereditary Counterexample
- Two dense lobes meeting at one cut vertex give κ(G)=1<λ(G)=2<δ(G)=3 Counterexample
- Two disjoint copies of Kₘ show that Dirac's bound cannot be lowered to n/2-1 for even n=2m≥4 Counterexample
- Two triangles sharing one vertex form a connected simple graph with all degrees even that is not a cycle Counterexample
- Bipartite neighbourhoods, Hall's condition and systems of distinct representatives Definition
- Edges between disjoint vertex sets; complete, anticomplete, pure and mixed pairs Definition
- The Bondy-Chvatal closure of a finite simple graph Definition
- The line graph whose vertices are the edges of the original graph and whose adjacency records a shared endpoint Definition
- Trees, forests, leaves and isolated vertices Definition
- Walks, closed walks, trails, paths and cycles, with length equal to the number of traversed edges Definition
- K₄ with one new vertex adjacent to two clique vertices satisfies Ore's condition but not Dirac's condition Example
- FALSE: a connected simple graph in which every vertex has even degree must itself be a cycle False statement
- FALSE: a finite simple graph is determined up to isomorphism by its degree sequence False statement
- Every nonempty forest has a vertex of degree at most one Lemma
- For every nontrivial connected graph, λ(G)≤δ(G) Lemma
- If nonadjacent u,v in an n-vertex graph satisfy deg(u)+deg(v)≥ n, then adding uv preserves Hamiltonicity in both directions Lemma
- The Bondy-Chvatal closure is independent of the order of eligible edge additions Lemma
- The greedy colouring bound χ(G)≤Δ(G)+1 for every nonnull finite graph Lemma
- The minimum-degree condition δ(G)≥ n/2 implies Ore's degree-sum condition Lemma
- Every nonempty finite simple graph contains a path with at least δ(G) edges Theorem
- Gallai's identity: ν(G)+ρ(G)=|V(G)| when G has no isolated vertex Theorem
- Handshake lemma: the sum of the vertex degrees is twice the number of edges Theorem
- Ore's theorem: an n-vertex graph with n≥3 and deg(u)+deg(v)≥ n for every nonadjacent pair is Hamiltonian Theorem
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
- University of Lethbridge, Combinatorics: A Guided Tour, Graphs and Walks (standard reference, not scraped)