#435718 (Python3) No.998 Four Integers

• 問題: No.998 Four Integers
• ユーザー: はむ吉🐹
• 提出日時: 2020-02-28 21:25:44
• 言語: Python3 (3.12.2 + numpy 1.26.4 + scipy 1.12.0)
• 結果: AC
• 実行時間: 15 ms / 1,000 ms
• コード長: 290 bytes
• コンパイル時間: 94 ms
• コンパイル使用メモリ: 10,520 KB
• 実行使用メモリ: 8,000 KB
• 最終ジャッジ日時: 2023-08-20 19:10:21
• 合計ジャッジ時間: 1,369 ms
• ジャッジサーバーID （参考情報）: judge15 / judge12

入力	結果	実行時間; 実行使用メモリ
testcase_00	AC	13 ms; 7,860 KB
testcase_01	AC	13 ms; 7,936 KB
testcase_02	AC	14 ms; 7,812 KB
testcase_03	AC	13 ms; 7,920 KB
testcase_04	AC	13 ms; 7,900 KB
testcase_05	AC	14 ms; 7,808 KB
testcase_06	AC	12 ms; 7,864 KB
testcase_07	AC	13 ms; 7,936 KB
testcase_08	AC	13 ms; 7,784 KB
testcase_09	AC	13 ms; 7,920 KB
testcase_10	AC	13 ms; 7,812 KB
testcase_11	AC	13 ms; 7,812 KB
testcase_12	AC	14 ms; 7,864 KB
testcase_13	AC	14 ms; 7,812 KB
testcase_14	AC	13 ms; 7,920 KB
testcase_15	AC	13 ms; 7,820 KB
testcase_16	AC	13 ms; 8,000 KB
testcase_17	AC	13 ms; 7,868 KB
testcase_18	AC	13 ms; 7,776 KB
testcase_19	AC	15 ms; 7,824 KB
testcase_20	AC	14 ms; 7,972 KB
testcase_21	AC	13 ms; 7,920 KB
testcase_22	AC	14 ms; 7,780 KB
testcase_23	AC	13 ms; 7,860 KB
testcase_24	AC	13 ms; 7,816 KB

ソースコード

#!/usr/bin/env python3


def judge(xs):
    ys = sorted(xs)
    return all(yj - yi == 1 for yi, yj in zip(ys[:-1], ys[1:]))


def main():
    xs = (int(x) for x in input().split())
    if judge(xs):
        print("Yes")
    else:
        print("No")


if __name__ == "__main__":
    main()