結果

問題 No.685 Logical Operations
ユーザー maspymaspy
提出日時 2020-02-26 22:35:53
言語 Python3
(3.12.2 + numpy 1.26.4 + scipy 1.12.0)
結果
AC  
実行時間 34 ms / 2,000 ms
コード長 851 bytes
コンパイル時間 111 ms
コンパイル使用メモリ 12,544 KB
実行使用メモリ 10,880 KB
最終ジャッジ日時 2024-04-21 16:36:46
合計ジャッジ時間 1,899 ms
ジャッジサーバーID
(参考情報)
judge5 / judge2
このコードへのチャレンジ
(要ログイン)

テストケース

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

ソースコード

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())
MOD = 10**9 + 7

# %%
@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"""

    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 % MOD


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