結果

問題 No.685 Logical Operations
ユーザー maspymaspy
提出日時 2020-02-26 22:34:46
言語 Python3
(3.12.2 + numpy 1.26.4 + scipy 1.12.0)
結果
WA  
実行時間 -
コード長 899 bytes
コンパイル時間 77 ms
コンパイル使用メモリ 12,416 KB
実行使用メモリ 10,880 KB
最終ジャッジ日時 2024-10-13 15:32:55
合計ジャッジ時間 1,706 ms
ジャッジサーバーID
（参考情報） 		judge3 / judge2
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 30 ms
10,496 KB
testcase_01 AC 26 ms
10,624 KB
testcase_02 AC 26 ms
10,496 KB
testcase_03 AC 28 ms
10,496 KB
testcase_04 AC 29 ms
10,624 KB
testcase_05 AC 31 ms
10,624 KB
testcase_06 AC 29 ms
10,496 KB
testcase_07 WA -
testcase_08 AC 29 ms
10,624 KB
testcase_09 WA -
testcase_10 WA -
testcase_11 WA -
testcase_12 WA -
testcase_13 WA -
testcase_14 WA -
testcase_15 WA -
testcase_16 WA -
testcase_17 WA -
testcase_18 WA -
testcase_19 WA -
testcase_20 WA -
testcase_21 WA -
testcase_22 WA -
testcase_23 WA -
testcase_24 WA -
testcase_25 WA -
testcase_26 WA -
権限があれば一括ダウンロードができます

ソースコード

diff # 

#!/usr/bin/env python3
# %%
import sys
read = sys.stdin.buffer.read
readline = sys.stdin.buffer.readline
readlines = sys.stdin.buffer.readlines
from functools import lru_cache

# %%
N = int(read())


# %%
@lru_cache(None)
def solve(N, a, b, c):
    """count x,y such that
    0 <= x + a <= y <= N, x&y + b <= x^y, x^y+c <= x|y"""
    assert a in [0, 1]
    assert b in [0, 1]
    assert c in [0, 1]

    ret = 0
    if N < 2:
        for x in range(N + 1):
            for y in range(N + 1):
                ret += all((x + a <= y, (x & y) + b <= x ^ y, (x ^ y) + c <= x | y))
        return ret
    # x = 2x, y = 2y
    ret += solve(N // 2, a, b, c)
    # x = 2x+1, y = 2y
    ret += solve(N // 2, 1, 0, c)
    # x = 2x, y = 2y+1
    ret += solve((N - 1) // 2, 0, 0, c)
    # x = 2x+1, y = 2y+1
    ret += solve((N - 1) // 2, a, 1, 0)
    return ret


# %%
answer = solve(N, 0, 1, 1)
print(answer)
0