didericis
b7777cb45e
Add plane diamond coloring paper with 2-colorability theorem
...
Defines distance partition (BFS layers from a chosen vertex) and the diamond
scaffold of a maximal planar graph (G with all same-level edges removed),
then proves the diamond scaffold is 2-colorable by parity of level.
Co-Authored-By: Claude Opus 4.7 <noreply@anthropic.com >
2026-05-09 11:52:07 -04:00
didericis
927f9b7adb
Simplify d=0 case in outerplanar lemma proof
...
Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com >
2026-04-25 05:22:25 -04:00
didericis
5605e035d3
Add outerplanar lemma with Baker citation and relate depth levels to k-outerplanar graphs
...
Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com >
2026-04-25 04:39:28 -04:00
didericis
47d260b1b9
Add neutral triangle definition and use up/down/neutral triangle terms in lemma
...
Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com >
2026-04-25 04:15:36 -04:00
didericis
fe423dc7ba
Add level edge definition to plane depth sequencing paper
...
Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com >
2026-04-25 04:08:33 -04:00
didericis
9e3e525a5b
Replace plane_depth_labelling with plane_depth_sequencing paper and script, remove unused lib modules
...
Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com >
2026-04-24 21:10:06 -04:00
didericis
b343a61149
Move paper directories into papers/
...
Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com >
2026-04-21 21:19:16 -04:00
didericis