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.

Graph distance within a component, eccentricity, diameter and girth, including the acyclic convention

Definition

Let u and v lie in the same connected component of a graph G. Their distance is

dG(u,v):=min{N:some path from u to v has length }.

The set being minimized is nonempty by connectivity and finite because a path has no repeated vertex and V(G) is finite (The cardinality A of a finite set). No ordinary natural-number distance is assigned to vertices in different components.

For a vertex v, its eccentricity is the maximum of dG(v,u) over the vertices u in its component. The diameter of a connected graph is the maximum of dG(u,v) 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 g(G) is the minimum length of a cycle in G. If G is acyclic, set g(G)= by convention. This symbol records absence of a cycle and is not a distance between vertices.

Depends on

Used by

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