Timeline for Tutte's conjecture on Petersen graphs
Current License: CC BY-SA 3.0
8 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jun 19, 2017 at 19:20 | answer | added | Katie Edwards | timeline score: 5 | |
| Jun 13, 2017 at 22:03 | history | edited | Timothy Chow | CC BY-SA 3.0 |
corrected spelling of "Petersen"
|
| Jun 13, 2017 at 11:42 | comment | added | Oliver Nash | A very readable account of the 4CT is Wilson's book "Four Colours Suffice". I believe the only major innovation since then is Steinberger's proof that uses only D-reducible configurations: ams.org/journals/tran/2010-362-12/S0002-9947-2010-05092-5/… | |
| Jun 13, 2017 at 9:12 | comment | added | Shahrooz | There is an other proof for four-colour theorem (aproximately 44 pages) which is done by Robertson, Saunders, Seymour and Thomas. But again they used computer for this proof. | |
| Jun 13, 2017 at 6:45 | comment | added | J Collins | It may be worth noting that my motivation for asking this question is to ascertain whether there is a non-computer-aided proof of the Four Colour Theorem. So, if the above proof does exist, is it computer-aided or not? | |
| Jun 13, 2017 at 6:18 | answer | added | Shahrooz | timeline score: 8 | |
| Jun 13, 2017 at 4:12 | review | First posts | |||
| Jun 13, 2017 at 4:47 | |||||
| Jun 13, 2017 at 4:09 | history | asked | J Collins | CC BY-SA 3.0 |