結果

問題 No.2777 Wild Flush
コンテスト
ユーザー Lisp_Coder
提出日時 2024-06-15 13:57:41
言語 Common Lisp
(sbcl 2.6.1)
コンパイル:
sbclc _filename_
実行:
sbcl --script Main.fasl
結果
AC  
実行時間 59 ms / 2,000 ms
コード長 558 bytes
記録
記録タグの例:
初AC ショートコード 純ショートコード 純主流ショートコード 最速実行時間
コンパイル時間 199 ms
コンパイル使用メモリ 37,396 KB
実行使用メモリ 37,704 KB
最終ジャッジ日時 2026-03-06 03:16:36
合計ジャッジ時間 2,468 ms
ジャッジサーバーID
（参考情報） 		judge3 / judge2
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 5
other AC * 24
権限があれば一括ダウンロードができます
コンパイルメッセージ
; compiling file "/home/judge/data/code/Main.lisp" (written 06 MAR 2026 03:16:34 AM):

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

ソースコード

diff #
raw source code 

(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