結果

問題 No.2777 Wild Flush
ユーザー Lisp_CoderLisp_Coder
提出日時 2024-06-15 13:57:41
言語 Common Lisp
(sbcl 2.3.8)
結果
AC  
実行時間 67 ms / 2,000 ms
コード長 558 bytes
コンパイル時間 308 ms
コンパイル使用メモリ 37,548 KB
実行使用メモリ 31,104 KB
最終ジャッジ日時 2024-06-15 13:57:45
合計ジャッジ時間 3,028 ms
ジャッジサーバーID
（参考情報） 		judge1 / judge4
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 8 ms
22,144 KB
testcase_01 AC 8 ms
22,144 KB
testcase_02 AC 8 ms
22,144 KB
testcase_03 AC 8 ms
22,272 KB
testcase_04 AC 7 ms
22,272 KB
testcase_05 AC 8 ms
22,272 KB
testcase_06 AC 10 ms
22,272 KB
testcase_07 AC 8 ms
22,272 KB
testcase_08 AC 8 ms
22,272 KB
testcase_09 AC 31 ms
25,600 KB
testcase_10 AC 32 ms
25,728 KB
testcase_11 AC 32 ms
25,600 KB
testcase_12 AC 67 ms
30,976 KB
testcase_13 AC 67 ms
30,976 KB
testcase_14 AC 65 ms
31,104 KB
testcase_15 AC 67 ms
31,104 KB
testcase_16 AC 12 ms
22,912 KB
testcase_17 AC 61 ms
30,848 KB
testcase_18 AC 45 ms
27,392 KB
testcase_19 AC 46 ms
27,392 KB
testcase_20 AC 23 ms
24,448 KB
testcase_21 AC 17 ms
23,552 KB
testcase_22 AC 42 ms
27,136 KB
testcase_23 AC 42 ms
27,008 KB
testcase_24 AC 49 ms
27,520 KB
testcase_25 AC 64 ms
30,976 KB
testcase_26 AC 60 ms
28,416 KB
testcase_27 AC 35 ms
26,368 KB
testcase_28 AC 19 ms
23,424 KB
権限があれば一括ダウンロードができます
コンパイルメッセージ
; compiling file "/home/judge/data/code/Main.lisp" (written 15 JUN 2024 01:57:41 PM):

; wrote /home/judge/data/code/Main.fasl
; compilation finished in 0:00:00.092

ソースコード

diff # 

(defun read-int-list ()
  (let ((line (read-line)))
    (with-input-from-string (in line)
      (loop for x = (read in nil nil)
            while x
            collect x))))

(defun main ()
  (let* ((nk (read-int-list))
         (n (first nk))
         (k (second nk))
         (a (read-int-list))
         (l (make-array (1+ n) :initial-element 0)))
    (dolist (x a)
      (incf (aref l x)))
    (loop for i from 1 to n do
      (when (>= (+ (aref l 0) (aref l i)) k)
        (format t "Yes~%")
        (return-from main)))
    (format t "No~%")))

(main)
0