結果

問題 No.2811 Calculation Within Sequence
ユーザー Lisp_Coder
提出日時 2024-07-19 22:34:17
言語 Common Lisp
(sbcl 2.5.0)
結果
RE  
実行時間 -
コード長 1,194 bytes
コンパイル時間 918 ms
コンパイル使用メモリ 37,544 KB
実行使用メモリ 48,928 KB
最終ジャッジ日時 2024-07-19 22:34:37
合計ジャッジ時間 18,239 ms
ジャッジサーバーID
(参考情報)
judge1 / judge5
このコードへのチャレンジ
(要ログイン)
ファイルパターン 結果
sample RE * 3
other RE * 41
権限があれば一括ダウンロードができます
コンパイルメッセージ
; compiling file "/home/judge/data/code/Main.lisp" (written 19 JUL 2024 10:34:17 PM):

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

ソースコード

diff #
プレゼンテーションモードにする

#-swank
(unless (member :child-sbcl *features*)
(quit
:recklessly-p t
:unix-status
(process-exit-code
(run-program *runtime-pathname*
`("--control-stack-size" "1024MB"
"--noinform" "--disable-ldb" "--lose-on-corruption" "--end-runtime-options"
"--eval" "(push :child-sbcl *features*)"
"--script" ,(namestring *load-pathname*))
:output t :error t :input t))))
(defun parse-input ()
(let* ((a (read))
(b (read))
(seq-T (make-array a :initial-element 0))
(seq-S (make-array b :initial-element 0)))
(dotimes (i a) (setf (aref seq-T i) (read)))
(dotimes (i b) (setf (aref seq-S i) (read)))
(values seq-T seq-S)))
(defun subset-sum (set target)
(cond
((zerop target) t)
((null set) nil)
(t (or (subset-sum (cdr set) target)
(subset-sum (cdr set) (- target (car set)))))))
(defun can-make-equal (seq-T seq-S)
(if (every #'(lambda (s) (subset-sum seq-T s)) seq-S)
(format t "Yes~%")
(format t "No~%")))
(defun main ()
(multiple-value-bind (seq-T seq-S) (parse-input)
(can-make-equal seq-T seq-S)))
(main)
הההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההה
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
0