結果

問題 No.2777 Wild Flush
ユーザー Lisp_Coder
提出日時 2024-06-15 13:57:41
言語 Common Lisp
(sbcl 2.5.0)
結果
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
このコードへのチャレンジ
(要ログイン)
ファイルパターン 結果
sample AC * 5
other AC * 24
権限があれば一括ダウンロードができます
コンパイルメッセージ
; 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