結果

問題 No.803 Very Limited Xor Subset
ユーザー maspymaspy
提出日時 2020-04-14 22:22:09
言語 Python3
(3.10.1 + numpy 1.22.3 + scipy 1.8.0)
結果
AC  
実行時間 146 ms / 2,000 ms
コード長 1,539 Byte
コンパイル時間 64 ms
使用メモリ 29,136 KB
最終ジャッジ日時 2022-06-14 02:48:40
合計ジャッジ時間 10,166 ms
ジャッジサーバーID
(参考情報)
judge12 / judge13
このコードへのチャレンジ(β)

テストケース

テストケース表示
入力 結果 実行時間
使用メモリ
testcase_00 AC 142 ms
28,724 KB
testcase_01 AC 145 ms
28,660 KB
testcase_02 AC 142 ms
28,616 KB
testcase_03 AC 141 ms
28,904 KB
testcase_04 AC 142 ms
28,936 KB
testcase_05 AC 141 ms
28,816 KB
testcase_06 AC 142 ms
28,956 KB
testcase_07 AC 141 ms
28,876 KB
testcase_08 AC 142 ms
28,864 KB
testcase_09 AC 141 ms
28,920 KB
testcase_10 AC 134 ms
28,900 KB
testcase_11 AC 139 ms
28,764 KB
testcase_12 AC 141 ms
28,724 KB
testcase_13 AC 142 ms
28,748 KB
testcase_14 AC 145 ms
29,040 KB
testcase_15 AC 145 ms
28,968 KB
testcase_16 AC 138 ms
29,100 KB
testcase_17 AC 138 ms
28,956 KB
testcase_18 AC 135 ms
28,836 KB
testcase_19 AC 132 ms
29,028 KB
testcase_20 AC 135 ms
29,028 KB
testcase_21 AC 133 ms
29,016 KB
testcase_22 AC 136 ms
28,952 KB
testcase_23 AC 133 ms
28,636 KB
testcase_24 AC 146 ms
28,796 KB
testcase_25 AC 144 ms
28,956 KB
testcase_26 AC 143 ms
29,032 KB
testcase_27 AC 142 ms
28,952 KB
testcase_28 AC 144 ms
29,008 KB
testcase_29 AC 145 ms
29,044 KB
testcase_30 AC 136 ms
28,860 KB
testcase_31 AC 137 ms
29,136 KB
testcase_32 AC 137 ms
29,040 KB
testcase_33 AC 135 ms
28,976 KB
testcase_34 AC 140 ms
29,044 KB
testcase_35 AC 144 ms
28,932 KB
testcase_36 AC 143 ms
29,056 KB
testcase_37 AC 143 ms
28,820 KB
testcase_38 AC 146 ms
28,672 KB
testcase_39 AC 146 ms
28,660 KB
testcase_40 AC 145 ms
29,044 KB
testcase_41 AC 134 ms
28,920 KB
testcase_42 AC 139 ms
29,004 KB
testcase_43 AC 138 ms
28,708 KB
testcase_44 AC 138 ms
28,732 KB
testcase_45 AC 135 ms
28,844 KB
testcase_46 AC 140 ms
29,020 KB
権限があれば一括ダウンロードができます

ソースコード

diff #

import sys
read = sys.stdin.buffer.read
readline = sys.stdin.buffer.readline
readlines = sys.stdin.buffer.readlines
import numpy as np

N, M, X = map(int, readline().split())
A = list(map(int, readline().split())) + [0]
A = [0] + [x ^ y for x, y in zip(A, A[1:])]

m = map(int, read().split())
graph = [[] for _ in range(N + 1)]
for t, x, y in zip(m, m, m):
    x -= 1
    graph[x].append((y, t))
    graph[y].append((x, t))

C = [0] * (N + 1)
root = [-1] * (N + 1)
is_ng = False
for v in range(N + 1):
    if root[v] != -1:
        continue
    stack = [v]
    root[v] = v
    while stack:
        v = stack.pop()
        for w, x in graph[v]:
            if root[w] == -1:
                root[w] = root[v]
                C[w] = C[v] ^ x
                stack.append(w)
                continue
            if C[w] != C[v] ^ x:
                is_ng = True

if is_ng:
    print(0)
    exit()

for v in range(N + 1):
    X ^= C[v] * A[v]
    if v != root[v]:
        A[root[v]] ^= A[v]


def row_transform_over_F2(A, highest=60):
    for k in range(highest, -1, -1):
        I = np.where((A >> k) == 1)[0]
        if len(I) == 0:
            continue
        i = I[0]
        x = A[i]
        A ^= ((A >> k) & 1) * x
        A[i] = x


nums = np.array([A[v] for v in range(N + 1) if v == root[v] != 0], np.int32)
row_transform_over_F2(nums, 31)
nums.sort()
nums = nums[::-1]

for x in nums:
    if x <= X:
        X ^= x

if X != 0:
    print(0)
else:
    MOD = 10 ** 9 + 7
    free = int(np.sum(nums == 0))
    print(pow(2, free, MOD))
0