Combinatorics / CONCEPT
Forts and Mask Completeness
The numeric predicates agree with graph neighborhoods, vertex sets, and complete initial-force families.
Closed
DIRECT PREREQUISITES3
DIRECT CONSEQUENCES1
PROOF DEPTH3
DOCUMENT LINKS1
Agreement of the neighbor table
RELATIONSHIP ATLAS
Every connection, in context.
Direct recorded relationships
Proof dependencyStructural affinityDocument link
Certified topology / UPSTREAM
Prerequisites
Certified topology / DOWNSTREAM
Consequences
RELATED KNOWLEDGE
Structural connections
- Forts for the innerNext Anchorstructural-affinity · Closed
- Forts for the innerPrev Anchorstructural-affinity · Closed
- Forts for the innerSpoke Anchorstructural-affinity · Closed
- Forts for the outerNext Anchorstructural-affinity · Closed
- Forts for the outerPrev Anchorstructural-affinity · Closed
- Forts for the outerSpoke Anchorstructural-affinity · Closed
- Masks and Initial-Force Anchors at Thirteen Columnsstructural-affinity · Closed
- Ordinary zero forcing, symmetric maximum nullity, and minimum rank of unequal-leg spider powersstructural-affinity · Closed
- Radius-Four Column Compressionstructural-affinity · Closed
- Rotation Preserves Adjacencystructural-affinity · Closed
- The Triangular Prism Refutes Pandey's Parity Conjecturestructural-affinity · Closed
- The unrestricted grid-power zero-forcing conjecture is falsestructural-affinity · Closed
- The Zero Forcing Number of P(n,3)structural-affinity · Closed
- Zero forcing powers of equal-legged spidersstructural-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