結果
| 問題 | 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)
            
            
            
        