Four-Terminal Planar Case of the Dinitz-Garg-Goemans Cost Conjecture
disproved→disproved
restricted planar four-terminal case
SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review
algorithms-optimization / Combinatorial optimization
Four-Terminal Planar Case of the Dinitz-Garg-Goemans Cost Conjecture
restricted planar four-terminal case
10Significance / 100
2Frontier events
0Verification tasks
0Recorded attempts
Temporal state
Current frontier
No reconciled state yet.
Append-only history
Frontier timeline
Four-Terminal Planar Case of the Dinitz-Garg-Goemans Cost Conjecture
Prior state unknown→disproved
VibeMathed recorded: Four-Terminal Planar Case of the Dinitz-Garg-Goemans Cost Conjecture. Consult the linked registry entry for the original report and scope.
SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review
Research memory
Claims and attempts
Scoped claims
restricted planar four-terminal case
restricted planar four-terminal case
Recorded attempts
Evidence graph
Connected research record
- →Four-Terminal Planar Case of the Dinitz-Garg-Goemans Cost Conjecture
parent of · event · correction
- →Four-Terminal Planar Case of the Dinitz-Garg-Goemans Cost Conjecture
parent of · event · claim reported
- →restricted planar four-terminal case
parent of · claim · counterexample