ABC187 - Atcoder/Python精進のための解説メモ

def convert_s(x):
    return sum(map(int, x))

a, b = input().split()
print(max(convert_s(a), convert_s(b)))

sa, sb = map(lambda x: sum(map(int, x)), input().split())
print(max(sa, sb))

n = int(input())
aaa = [tuple(map(int, input().split())) for _ in range(n)]
ans = 0
for i in range(n):
    for j in range(i):
        if abs(aaa[i][1] - aaa[j][1]) <= abs(aaa[i][0] - aaa[j][0]):
            ans += 1
print(ans)

n = int(input())
sss = set(input() for _ in range(n))
ans = 'satisfiable'
for s in sss:
    if '!' + s in sss:
        ans = s
        break
print(ans)

まだ解いていません