wmctf_2020__|_sum
BKZ WMCTF 2020 | Sum こちらはmitsuくんが解いてくれた from json import load def chk(sol, A, s): return sum(x * a for x, a in zip(sol, A)) == s def solve(A, n, k, s, BS=22): N = ceil(sqrt(n)) lat = [] for i, a in enumerate(A): lat.append([(j…
BKZ WMCTF 2020 | Sum こちらはmitsuくんが解いてくれた from json import load def chk(sol, A, s): return sum(x * a for x, a in zip(sol, A)) == s def solve(A, n, k, s, BS=22): N = ceil(sqrt(n)) lat = [] for i, a in enumerate(A): lat.append([(j…