Probabilistic formulation of Hadwiger-Nelson problem: Revision history

7 May 2019

• curprev 03:5803:58, 7 May 2019‎ Domotorp talk contribs‎ 54,262 bytes +154‎ →‎Bounds on p_d for 4-colourings: added strictness for 1/2

24 April 2019

• curprev 01:1201:12, 24 April 2019‎ Domotorp talk contribs‎ m 54,108 bytes −6‎ →‎Proposition 36: deleted acute

16 April 2019

• curprev 17:0217:02, 16 April 2019‎ Aubrey talk contribs‎ 54,114 bytes −12‎ →‎Bounds on p_d for 4-colourings

3 February 2019

• curprev 08:4308:43, 3 February 2019‎ Agoston talk contribs‎ m 54,126 bytes 0‎ No edit summary
• curprev 08:4008:40, 3 February 2019‎ Agoston talk contribs‎ m 54,126 bytes +9‎ No edit summary

2 February 2019

• curprev 18:1318:13, 2 February 2019‎ Agoston talk contribs‎ 54,117 bytes +3,276‎ Expanded Lemma 39, added Lemma 40

1 February 2019

• curprev 03:2103:21, 1 February 2019‎ Agoston talk contribs‎ 50,841 bytes +158‎ Extended Lemma 39

12 December 2018

• curprev 05:4605:46, 12 December 2018‎ Domotorp talk contribs‎ 50,683 bytes +361‎ →‎Bounds on p_d for 4-colourings: fixed (\sqrt{6} \pm \sqrt{2})/2
• curprev 05:4005:40, 12 December 2018‎ Domotorp talk contribs‎ 50,322 bytes −86‎ Undo revision 10950 by Domotorp (talk)
• curprev 05:3705:37, 12 December 2018‎ Domotorp talk contribs‎ 50,408 bytes +86‎ →‎Bounds on p_d for 4-colourings: improved (\sqrt{6} \pm \sqrt{2})/2

6 November 2018

• curprev 01:4101:41, 6 November 2018‎ Domotorp talk contribs‎ 50,322 bytes +43‎ →‎Bounds on p_d for 4-colourings

7 August 2018

• curprev 11:3111:31, 7 August 2018‎ Domotorp talk contribs‎ m 50,279 bytes +1‎ →‎Bounds on p_d for 4-colourings: fixed lemma 39 placing

6 August 2018

• curprev 06:1406:14, 6 August 2018‎ Aubrey talk contribs‎ 50,278 bytes 0‎ →‎Bounds on p_d for 4-colourings
• curprev 03:2903:29, 6 August 2018‎ Domotorp talk contribs‎ m 50,278 bytes +6‎ →‎Bounds on p_d for 4-colourings: added <=2 to general lower bound
• curprev 02:3602:36, 6 August 2018‎ Domotorp talk contribs‎ 50,272 bytes +113‎ →‎Bounds on p_d for 4-colourings: added >=SQRT(2)
• curprev 02:3102:31, 6 August 2018‎ Domotorp talk contribs‎ 50,159 bytes +603‎ →‎Proofs of bounds: added lemma 39, general lower bound 1/25
• curprev 02:0702:07, 6 August 2018‎ Domotorp talk contribs‎ 49,556 bytes +147‎ →‎Bounds on p_d for 4-colourings: improved lower for 1/\sqrt{3}
• curprev 01:4701:47, 6 August 2018‎ Domotorp talk contribs‎ m 49,409 bytes +9‎ →‎Bounds on p_d for 4-colourings: added lemma 15 to \sqrt{3} lower bound

1 August 2018

• curprev 10:5610:56, 1 August 2018‎ Aubrey talk contribs‎ 49,400 bytes 0‎ →‎Bounds on p_d for 4-colourings
• curprev 10:2810:28, 1 August 2018‎ Aubrey talk contribs‎ 49,400 bytes +217‎ →‎Bounds on p_d for 4-colourings

25 July 2018

• curprev 06:3306:33, 25 July 2018‎ Aubrey talk contribs‎ 49,183 bytes +13‎ →‎Lemma 38

19 July 2018

• curprev 05:0505:05, 19 July 2018‎ Domotorp talk contribs‎ m 49,170 bytes −4‎ →‎Bounds on p_d for 4-colourings: added 0.26 to \sqrt{3}

18 July 2018

• curprev 02:4202:42, 18 July 2018‎ Aubrey talk contribs‎ 49,174 bytes −6‎ →‎Bounds on p_d for 4-colourings
• curprev 02:4102:41, 18 July 2018‎ Aubrey talk contribs‎ 49,180 bytes +89‎ →‎Bounds on p_d for 4-colourings

15 July 2018

• curprev 15:4115:41, 15 July 2018‎ Aubrey talk contribs‎ 49,091 bytes 0‎ →‎Lemma 38
• curprev 15:3215:32, 15 July 2018‎ Aubrey talk contribs‎ 49,091 bytes −6‎ →‎Lemma 38

14 July 2018

• curprev 00:5500:55, 14 July 2018‎ Domotorp talk contribs‎ 49,097 bytes 0‎ →‎Bounds on p_d for 4-colourings: fixed large d
• curprev 00:5500:55, 14 July 2018‎ Domotorp talk contribs‎ m 49,097 bytes 0‎ →‎Proposition 36: also statement
• curprev 00:5400:54, 14 July 2018‎ Domotorp talk contribs‎ 49,097 bytes −14‎ →‎Proposition 36: fixed error at the end

13 July 2018

• curprev 18:4218:42, 13 July 2018‎ Aubrey talk contribs‎ 49,111 bytes 0‎ →‎Computer-verified claim 11
• curprev 18:4118:41, 13 July 2018‎ Aubrey talk contribs‎ 49,111 bytes 0‎ →‎Lemma 9
• curprev 18:4118:41, 13 July 2018‎ Aubrey talk contribs‎ 49,111 bytes 0‎ →‎Lemma 7
• curprev 18:4018:40, 13 July 2018‎ Aubrey talk contribs‎ 49,111 bytes 0‎ →‎Proposition 36

11 July 2018

• curprev 00:0900:09, 11 July 2018‎ Domotorp talk contribs‎ m 49,111 bytes +15‎ →‎Bounds on p_d for 4-colourings: fixed bound for large d
• curprev 00:0800:08, 11 July 2018‎ Domotorp talk contribs‎ 49,096 bytes +256‎ →‎Proposition 36: fixed last case error

10 July 2018

• curprev 13:1313:13, 10 July 2018‎ Domotorp talk contribs‎ 48,840 bytes −267‎ →‎Bounds on p_d for 4-colourings: fixed incorrect lemma 2, cor 16 refs, updated upper bounds from prop 36
• curprev 13:0113:01, 10 July 2018‎ Domotorp talk contribs‎ 49,107 bytes +164‎ →‎Bounds on p_d for 4-colourings: added two more values from Prop 36
• curprev 12:5512:55, 10 July 2018‎ Domotorp talk contribs‎ 48,943 bytes +740‎ →‎Proposition 36: added new construction with iteration
• curprev 12:0912:09, 10 July 2018‎ Domotorp talk contribs‎ 48,203 bytes +1,348‎ →‎Proposition 36: added iteration arguments

8 July 2018

• curprev 20:2820:28, 8 July 2018‎ Aubrey talk contribs‎ 46,855 bytes −319‎ →‎Lemma 38
• curprev 13:4213:42, 8 July 2018‎ Aubrey talk contribs‎ 47,174 bytes +790‎ →‎Lemma 38

7 July 2018

• curprev 12:1612:16, 7 July 2018‎ Domotorp talk contribs‎ 46,384 bytes +121‎ →‎Lemma 38: added one line proof (also kept original)
• curprev 12:1112:11, 7 July 2018‎ Domotorp talk contribs‎ m 46,263 bytes +2‎ →‎Lemma 37: added missing 3
• curprev 08:1408:14, 7 July 2018‎ Aubrey talk contribs‎ 46,261 bytes +2‎ →‎Lemma 38
• curprev 08:1108:11, 7 July 2018‎ Aubrey talk contribs‎ 46,259 bytes +52‎ →‎Lemma 38
• curprev 08:0908:09, 7 July 2018‎ Aubrey talk contribs‎ 46,207 bytes +614‎ No edit summary
• curprev 08:0408:04, 7 July 2018‎ Aubrey talk contribs‎ 45,593 bytes +4‎ →‎Proofs of bounds

5 July 2018

• curprev 05:2905:29, 5 July 2018‎ Teorth talk contribs‎ 45,589 bytes +849‎ →‎Proposition 36
• curprev 03:5803:58, 5 July 2018‎ Domotorp talk contribs‎ 44,740 bytes +1‎ →‎Proposition 36: fixed note 2

4 July 2018

• curprev 13:1113:11, 4 July 2018‎ Domotorp talk contribs‎ 44,739 bytes +274‎ →‎Proposition 36: added note 2