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
- For a finite group the Cayley graph is a finite simple graph in the published sense and the two distances agree Lemma
- On a finite vertex set the graph notions agree, and on connected graphs the two path distances agree Lemma
- Shortest-path distance is a metric on every connected component Lemma
- The expected number of cycles of length at most ℓ in G(n,p) Lemma
- A finite graph is bipartite if and only if it has no odd cycle Theorem
- Every P₃-free graph G satisfies hom(G)≥√|V(G)| Theorem
- For all positive k,ℓ, some finite graph has girth greater than ℓ and chromatic number greater than k Theorem
Dependency tree · two levels
15 results within two dependency steps of this one, each drawn at its shortest distance from it. An arrow runs from a result to what uses it, so the chart reads left to right and ends at this result, which carries a heavier outline. Every node is a link to that result. Click elsewhere on the chart to enlarge it.
Sources
- R. Diestel, Graph Theory, Chapter 1 preview (standard reference, not scraped)