結果

問題 No.998 Four Integers
ユーザー mkawa2mkawa2
提出日時 2020-02-28 21:22:20
言語 Python3
(3.12.2 + numpy 1.26.4 + scipy 1.12.0)
結果
AC  
実行時間 22 ms / 1,000 ms
コード長 776 bytes
コンパイル時間 117 ms
コンパイル使用メモリ 10,920 KB
実行使用メモリ 8,720 KB
最終ジャッジ日時 2023-08-20 19:03:28
合計ジャッジ時間 1,831 ms
ジャッジサーバーID
（参考情報） 		judge13 / judge15
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 22 ms
8,584 KB
testcase_01 AC 22 ms
8,576 KB
testcase_02 AC 22 ms
8,720 KB
testcase_03 AC 21 ms
8,648 KB
testcase_04 AC 21 ms
8,552 KB
testcase_05 AC 20 ms
8,632 KB
testcase_06 AC 21 ms
8,648 KB
testcase_07 AC 21 ms
8,676 KB
testcase_08 AC 21 ms
8,708 KB
testcase_09 AC 21 ms
8,568 KB
testcase_10 AC 20 ms
8,652 KB
testcase_11 AC 20 ms
8,556 KB
testcase_12 AC 20 ms
8,640 KB
testcase_13 AC 21 ms
8,708 KB
testcase_14 AC 20 ms
8,564 KB
testcase_15 AC 20 ms
8,616 KB
testcase_16 AC 20 ms
8,708 KB
testcase_17 AC 20 ms
8,640 KB
testcase_18 AC 20 ms
8,660 KB
testcase_19 AC 21 ms
8,552 KB
testcase_20 AC 20 ms
8,604 KB
testcase_21 AC 20 ms
8,668 KB
testcase_22 AC 20 ms
8,628 KB
testcase_23 AC 20 ms
8,572 KB
testcase_24 AC 20 ms
8,560 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

import sys

sys.setrecursionlimit(10 ** 6)
from bisect import *
from collections import *
from heapq import *

def II(): return int(sys.stdin.readline())
def MI(): return map(int, sys.stdin.readline().split())
def LI(): return list(map(int, sys.stdin.readline().split()))
def SI(): return sys.stdin.readline()[:-1]
def LLI(rows_number): return [LI() for _ in range(rows_number)]
int1 = lambda x: int(x) - 1
def MI1(): return map(int1, sys.stdin.readline().split())
def LI1(): return list(map(int1, sys.stdin.readline().split()))
p2D = lambda x: print(*x, sep="\n")
dij = [(1, 0), (0, 1), (-1, 0), (0, -1)]

def main():
    aa=LI()
    aa.sort()
    for a,b in zip(aa,aa[1:]):
        if a+1!=b:
            print("No")
            break
    else:
        print("Yes")

main()
0