ABC187 C - 1-SAT

備忘録

問題

atcoder.jp

回答

import sys
import os
import math
import bisect
import itertools
import collections
import heapq
import queue
import array
import time


# 時々使う
# import numpy as np
# from decimal import Decimal, ROUND_HALF_UP
# from scipy.sparse.csgraph import csgraph_from_dense, floyd_warshall
# from collections import defaultdict, deque

# 再帰の制限設定
sys.setrecursionlimit(10000000)


def ii(): return int(sys.stdin.buffer.readline().rstrip())
def il(): return list(map(int, sys.stdin.buffer.readline().split()))
def fl(): return list(map(float, sys.stdin.buffer.readline().split()))
def iln(n): return [int(sys.stdin.buffer.readline().rstrip())
                    for _ in range(n)]


def iss(): return sys.stdin.buffer.readline().decode().rstrip()
def sl(): return list(map(str, sys.stdin.buffer.readline().decode().split()))
def isn(n): return [sys.stdin.buffer.readline().decode().rstrip()
                    for _ in range(n)]


def lcm(x, y): return (x * y) // math.gcd(x, y)


MOD = 10 ** 9 + 7
# MOD = 998244353
INF = float('inf')


def main():
    if os.getenv("LOCAL"):
        sys.stdin = open("input.txt", "r")

    N = ii()
    S = set()
    Q = set()

    for _ in range(N):
        s = iss()
        if s[0] == '!':
            Q.add(s)
        else:
            S.add(s)

    for q in Q:
        if q[1:] in S:
            print(q[1:])
            break
    else:
        print('satisfiable')


if __name__ == '__main__':
    main()

考え方

与えられる文字列Sから、!が存在する場合には、
!を取り除いたときと同じ文字列が存在するか判定します。
この問題の場合、文字の重複があり得るため、
setを用いることで高速に有無を判定することが出来ます。