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.
Graph distance within a component, eccentricity, diameter and girth, including the acyclic convention
Definition
Let and lie in the same connected component of a graph . Their distance is
The set being minimized is nonempty by connectivity and finite because a path has no repeated vertex and is finite (The cardinality of a finite set). No ordinary natural-number distance is assigned to vertices in different components.
For a vertex , its eccentricity is the maximum of over the vertices in its component. The diameter of a connected graph is the maximum of over all pairs of its vertices. Thus every component has its own diameter, while a disconnected graph has no single graph diameter under this convention.
The girth is the minimum length of a cycle in . If is acyclic, set by convention. This symbol records absence of a cycle and is not a distance between vertices.
Depends on
Used by
- Rooted trees, ancestors, descendants, depth, height, parents and children Definition
- Connected components, finite within-component distances, undefined cross-component distance and girth are computed in a disconnected graph Example
- The Petersen graph has ten vertices, is cubic, has girth five and has κ=λ=3 Example
- FALSE: a shortest walk between two vertices may repeat a vertex and fail to be a path False statement
- Every nonroot vertex has a unique parent, and adjacent vertices have depths differing by one Lemma
- Facial boundary walks of a connected plane graph sum to 2|E|, and if every such walk has length at least g then g|F|≤2|E| Lemma
- Shortest-path distance is a metric on every connected component Lemma
- A finite graph is bipartite if and only if it has no odd cycle Theorem
Dependency tree · next 3 levels
Direct dependencies and their dependencies through the next three levels: 31 results over 16 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
- R. Diestel, Graph Theory, Chapter 1 preview (standard reference, not scraped)