Spaces:

DineshAI
/

gqKLmdooqZ

Running

App Files Files Community

gqKLmdooqZ / repro /src

6.63 kB

Ctrl+K

Ctrl+K

1 contributor

History: 1 commit

DineshAI's picture

Add Claim 4 (Thm 4.4: k deviations -> 2^Omega(k) tree blowup) and Claim 5 (Prop 4.2: tie-breaking exponential gap 2n+1 vs 2^(n+1)-1)

ab26939 verified 12 days ago

verify_bnc_tree_gaps.py

6.63 kB
Add Claim 4 (Thm 4.4: k deviations -> 2^Omega(k) tree blowup) and Claim 5 (Prop 4.2: tie-breaking exponential gap 2n+1 vs 2^(n+1)-1) 12 days ago