結果

問題 No.2326 Factorial to the Power of Factorial to the...
ユーザー KitataiKitatai
提出日時 2023-05-28 15:10:36
言語 Common Lisp
(sbcl 2.3.8)
結果
RE  
実行時間 -
コード長 646 bytes
コンパイル時間 1,280 ms
コンパイル使用メモリ 36,508 KB
実行使用メモリ 129,380 KB
最終ジャッジ日時 2024-06-08 07:09:20
合計ジャッジ時間 4,285 ms
ジャッジサーバーID
(参考情報)
judge3 / judge4
このコードへのチャレンジ
(要ログイン)

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 RE -
testcase_01 RE -
testcase_02 TLE -
testcase_03 RE -
testcase_04 TLE -
testcase_05 -- -
testcase_06 -- -
testcase_07 -- -
testcase_08 -- -
testcase_09 -- -
testcase_10 -- -
testcase_11 -- -
testcase_12 -- -
testcase_13 -- -
testcase_14 -- -
testcase_15 -- -
testcase_16 -- -
testcase_17 -- -
testcase_18 -- -
testcase_19 -- -
testcase_20 -- -
testcase_21 -- -
権限があれば一括ダウンロードができます
コンパイルメッセージ
; compiling file "/home/judge/data/code/Main.lisp" (written 08 JUN 2024 07:09:11 AM):

; file: /home/judge/data/code/Main.lisp
; in: DEFUN FACD
;     (MOD A P)
; 
; caught WARNING:
;   undefined variable: COMMON-LISP-USER::A

;     (* A N)
; 
; caught WARNING:
;   undefined variable: COMMON-LISP-USER::A

;     (SETQ A (* A N))
; 
; caught WARNING:
;   undefined variable: COMMON-LISP-USER::A

; 
; caught WARNING:
;   3 more uses of undefined variable A


; file: /home/judge/data/code/Main.lisp
; in: DEFUN SOLVE
;     (RUI F F)
; 
; caught WARNING:
;   undefined variable: COMMON-LISP-USER::F

;     (SETQ F (FACTORIAL N))
; 
; caught WARNING:
;   undefined variable: COMMON-LISP-USER::F
; 
; compilation unit finished
;   Undefined variables:
;     A F
;   caught 6 WARNING conditions

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

ソースコード

diff #

(defun facd (n p) 
    (if (= n 1) 0
        (prog (c)
            (setq a (* a n))
            (setq c 0)
            loop
            (if (not (equal (mod a p) 0)) (return (mod (+ (facd (- n 1) p) c) 1000000007)))
            (setq a (/ a p))
            (setq c (+ c 1))
            (go loop)
        )
    )
)

(defun factorial (n)
    (if (= n 1) 1
        (mod (* n (factorial (- n 1))) 1000000007)
    )
)

(defun rui (n p)
    (if (= n 1) p
        (mod (* p (rui (- n 1) p)) 1000000007)
    )
)

(defun solve (n p)
    (setq a 1)
    (setq f (factorial n))
    (mod (* (facd n p) (rui f f)) 1000000007) 
)

(princ (solve (read) (read)))
0