結果

問題 No.1237 EXP Multiple!
ユーザー motoshiramotoshira
提出日時 2020-10-14 22:15:21
言語 Common Lisp
(sbcl 2.3.8)
結果
WA  
実行時間 -
コード長 770 bytes
コンパイル時間 69 ms
コンパイル使用メモリ 28,160 KB
実行使用メモリ 25,088 KB
最終ジャッジ日時 2024-07-20 19:32:09
合計ジャッジ時間 2,367 ms
ジャッジサーバーID
(参考情報)
judge5 / judge3
このコードへのチャレンジ
(要ログイン)

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 7 ms
21,888 KB
testcase_01 WA -
testcase_02 WA -
testcase_03 WA -
testcase_04 WA -
testcase_05 AC 49 ms
25,088 KB
testcase_06 WA -
testcase_07 AC 49 ms
24,960 KB
testcase_08 WA -
testcase_09 AC 51 ms
25,088 KB
testcase_10 AC 51 ms
24,960 KB
testcase_11 WA -
testcase_12 WA -
testcase_13 AC 58 ms
25,088 KB
testcase_14 AC 57 ms
25,088 KB
testcase_15 AC 57 ms
25,088 KB
testcase_16 AC 57 ms
25,088 KB
testcase_17 AC 57 ms
25,088 KB
testcase_18 AC 58 ms
25,088 KB
testcase_19 AC 52 ms
25,088 KB
権限があれば一括ダウンロードができます
コンパイルメッセージ
; compiling file "/home/judge/data/code/Main.lisp" (written 20 JUL 2024 07:32:06 PM):

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

ソースコード

diff #

(defparameter *mod* 1000000007)

(defun fact (x)
  (if (zerop x)
      1
      (* x (fact (1- x)))))

(defun main ()
  (let ((n (read)))
    (let ((a (loop repeat n collect (read))))
      (labels ((sub (xs &optional (res 1))
                 (cond
                   ((null xs) (mod *mod* res))
                   ((> res *mod*) -1)
                   (t
                    (sub (rest xs) (* (expt (first xs)
                                            (fact (first xs)))
                                      res))))))
        (princ (if (some #'zerop a)
                   -1
                   (if (every (lambda (x)
                                (<= 1 x 3))
                              a)
                       (sub a)
                       -1)))))))
(main)
0