D - Scope https://atcoder.jp/contests/abc283/tasks/abc283_d

abc283_d.py

def solv():
    stack = []
    c_set = set()
    for c in S:
        if c == "(":
            stack.append(c)
        elif c == ")":
            while stack and stack[-1] != "(":
                ch = stack.pop()
                c_set.remove(ch)
            stack.pop()
        else:
            if c in c_set:
                return False
            c_set.add(c)
            stack.append(c)
    return True


S = list(input())
print("Yes") if solv() else print("No")