• 기본적인 2-SAT문제. 사실상 2-SAT - 3 에서 문제 시나리오만 추가한 것과 같다. (인풋 형식도 동일하다보니,.)
• 시간복잡도는 O(n+m)

"""Solution code for "BOJ 2207. 가위바위보".

- Problem link: https://www.acmicpc.net/problem/2207
- Solution link: http://www.teferi.net/ps/problems/boj/2207

Tags: [2-sat]
"""

import sys
from teflib import twosat


def main():
    N, M = [int(x) for x in sys.stdin.readline().split()]
    two_sat = twosat.TwoSat(M)
    for _ in range(N):
        x, y = [int(x) for x in sys.stdin.readline().split()]
        x = x - 1 if x > 0 else x
        y = y - 1 if y > 0 else y
        two_sat.x_or_y(x, y)

    print('^_^' if two_sat.is_satisfiable() else 'OTL')


if __name__ == '__main__':
    main()

• Dependency: teflib.twosat.TwoSat