結果
| 問題 |
No.50 おもちゃ箱
|
| コンテスト | |
| ユーザー |
Common Lisp
|
| 提出日時 | 2024-11-12 23:17:57 |
| 言語 | Common Lisp (sbcl 2.5.0) |
| 結果 |
AC
|
| 実行時間 | 27 ms / 5,000 ms |
| コード長 | 1,116 bytes |
| コンパイル時間 | 289 ms |
| コンパイル使用メモリ | 39,560 KB |
| 実行使用メモリ | 30,140 KB |
| 最終ジャッジ日時 | 2024-11-12 23:18:00 |
| 合計ジャッジ時間 | 2,343 ms |
|
ジャッジサーバーID (参考情報) |
judge5 / judge1 |
(要ログイン)
| ファイルパターン | 結果 |
|---|---|
| sample | AC * 4 |
| other | AC * 38 |
コンパイルメッセージ
; compiling file "/home/judge/data/code/Main.lisp" (written 12 NOV 2024 11:17:57 PM): ; wrote /home/judge/data/code/Main.fasl ; compilation finished in 0:00:00.016
ソースコード
(defun main (&rest argv)
(declare (ignorable argv))
(let* ((*read-default-float-format* 'double-float)
(dp1 (make-array (ash 1 10) :initial-element nil))
(dp2 (make-array (ash 1 10) :initial-element nil))
(n (read))
(a (make-array n :element-type 'integer)))
(dotimes (i n) (setf (aref a i) (read)))
(let* ((m (read))
(b (make-array m :element-type 'integer)))
(dotimes (i m) (setf (aref b i) (read)))
(sort b #'>)
(setf (aref dp1 0) t)
(dotimes (i m)
(dotimes (j (ash 1 n))
(let ((c 0))
(dotimes (k n)
(unless (evenp (ash j (- k)))
(incf c (aref a k))))
(unless (> c (aref b i))
(loop for k from (1- (ash 1 n)) downto 0 do (setf (aref dp2 (logior j k)) (or (aref dp2 (logior j k)) (aref dp1 k)))))))
(loop for k from (1- (ash 1 n)) downto 0 do (setf (aref dp1 k) (aref dp2 k)))
(when (aref dp1 (1- (ash 1 n)))
(format t "~d~%" (1+ i))
(return-from main)))
(format t "-1~%"))))
(main)
Common Lisp