結果

問題 No.685 Logical Operations
ユーザー maspymaspy
提出日時 2020-02-26 22:35:53
言語 Python3
(3.12.2 + numpy 1.26.4 + scipy 1.12.0)
結果
AC  
実行時間 21 ms / 2,000 ms
コード長 851 bytes
コンパイル時間 162 ms
コンパイル使用メモリ 10,828 KB
実行使用メモリ 8,812 KB
最終ジャッジ日時 2023-08-03 18:27:49
合計ジャッジ時間 1,785 ms
ジャッジサーバーID
（参考情報） 		judge13 / judge12
このコードへのチャレンジ（β）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 21 ms
8,708 KB
testcase_01 AC 20 ms
8,640 KB
testcase_02 AC 19 ms
8,576 KB
testcase_03 AC 20 ms
8,568 KB
testcase_04 AC 20 ms
8,784 KB
testcase_05 AC 20 ms
8,556 KB
testcase_06 AC 20 ms
8,716 KB
testcase_07 AC 20 ms
8,720 KB
testcase_08 AC 20 ms
8,732 KB
testcase_09 AC 20 ms
8,736 KB
testcase_10 AC 20 ms
8,548 KB
testcase_11 AC 21 ms
8,764 KB
testcase_12 AC 20 ms
8,652 KB
testcase_13 AC 21 ms
8,740 KB
testcase_14 AC 20 ms
8,728 KB
testcase_15 AC 21 ms
8,700 KB
testcase_16 AC 21 ms
8,696 KB
testcase_17 AC 21 ms
8,772 KB
testcase_18 AC 21 ms
8,704 KB
testcase_19 AC 21 ms
8,740 KB
testcase_20 AC 20 ms
8,812 KB
testcase_21 AC 19 ms
8,740 KB
testcase_22 AC 19 ms
8,740 KB
testcase_23 AC 20 ms
8,772 KB
testcase_24 AC 20 ms
8,696 KB
testcase_25 AC 20 ms
8,652 KB
testcase_26 AC 21 ms
8,720 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