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.
Vertex cuts, edge cuts, vertex connectivity and edge connectivity , with conventions for complete and one-vertex graphs
Definition
Let be connected with . A vertex cut is a set for which is disconnected or has at most one vertex. An edge cut is a set for which is disconnected. The vertex connectivity and edge connectivity are
The finite families being minimized are nonempty: deleting all but one vertex is a vertex cut, and deleting all edges is an edge cut. For the complete graph , no deletion leaving at least two vertices disconnects it, so the first definition gives the standard exceptional convention .
For the one-vertex graph , set . The null graph and every disconnected graph are outside the domain of these two connectivity parameters under this convention. Thus the inequalities involving are stated only for nontrivial connected graphs, where the vertex set is nonempty and is defined.
Depends on
- Connected graphs and connected components defined by the existence of vertex paths
- Vertex and edge deletion, edge contraction, graph minors, subdivisions and topological minors
- Empty and complete graphs, complete bipartite graphs, and the convention that $P_n$ and $C_n$ have $n$ vertices
- The cardinality $\lvert A\rvert$ of a finite set
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 Hamiltonian graph on at least three vertices is 2-connected Corollary
- Two dense lobes meeting at one cut vertex give κ(G)=1<λ(G)=2<δ(G)=3 Counterexample
- The Petersen graph has ten vertices, is cubic, has girth five and has κ=λ=3 Example
- FALSE: vertex connectivity, edge connectivity and minimum degree are always equal False statement
- Every edge-maximal graph of order at least four with no subdivision of K₅ or K_3,3 is three-connected Lemma
- Every three-connected graph with no K₅ or K_3,3 minor is planar Lemma
- Every three-connected simple graph with more than four vertices has an edge whose simple contraction remains three-connected Lemma
- For every nontrivial connected graph, κ(G)≤λ(G) Lemma
- For every nontrivial connected graph, λ(G)≤δ(G) Lemma
- In an edge-maximal graph with no K₅ or K_3,3 subdivision, a minimum proper separation of order at most two has an adjacent two-vertex separator and edge-maximal sides Lemma
- Every face of a two-connected plane graph is bounded by a cycle Proposition
Dependency tree · next 3 levels
Direct dependencies and their dependencies through the next three levels: 34 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
- Wolfram MathWorld, Vertex Connectivity (standard reference, not scraped)