ConceptDynamics / CONCEPT
Regular Graph Covers and Domination
Every finite regular simple graph has a positive-fold cover dominated by one section.
Closed
DIRECT PREREQUISITES0
DIRECT CONSEQUENCES8
PROOF DEPTH0
DOCUMENT LINKS1
A cover dominated by stars
RELATIONSHIP ATLAS
Every connection, in context.
Direct recorded relationships
Proof dependencyStructural affinityDocument link
Certified topology / UPSTREAM
Prerequisites
None recorded in this release.
Certified topology / DOWNSTREAM
Consequences
- A Dom-Path Longer Than the Jaco Graph Diameter Boundtruth-dependency · Closed
- An obstruction to global coalition universalitytruth-dependency · Closed
- Božović Conjecture 12: limited domination in Sierpiński graphstruth-dependency · Closed
- Finite dominating-set averagestruth-dependency · Closed
- Five paired coalition parts in the height-five binary treetruth-dependency · Closed
- Refutation of Annor Conjecture 14truth-dependency · Closed
- The Koch-Narayan bipartite edge bound is falsetruth-dependency · Closed
- The Luiz–Vieira generalized Blanuša closing conjecture is falsetruth-dependency · Closed
RELATED KNOWLEDGE
Structural connections
- A Dom-Path Longer Than the Jaco Graph Diameter Boundstructural-affinity · Closed
- An obstruction to global coalition universalitystructural-affinity · Closed
- Božović Conjecture 12: limited domination in Sierpiński graphsstructural-affinity · Closed
- Finite dominating-set averagesstructural-affinity · Closed
- Five paired coalition parts in the height-five binary treestructural-affinity · Closed
- Refutation of Annor Conjecture 14structural-affinity · Closed
- Replicated dominating-set averagesstructural-affinity · Closed
- The Domination Clause of Kok's Jaco Graph Conjecturestructural-affinity · Closed
- The Koch-Narayan bipartite edge bound is falsestructural-affinity · Closed
- The Luiz–Vieira generalized Blanuša closing conjecture is falsestructural-affinity · Closed
Documents & exposition
Other authored & advisory relationships
None recorded in this release.
LIBRARY / RELEASE VERSIONS
Content history
Loading release versions...
Browse the archiveCertified provenance