結果

問題 No.895 MESE
ユーザー MiyamonYMiyamonY
提出日時 2019-09-28 23:00:45
言語 Scheme
(Gauche-0.9.14)
結果
AC  
実行時間 1,809 ms / 2,000 ms
コード長 1,775 bytes
コンパイル時間 310 ms
コンパイル使用メモリ 7,068 KB
実行使用メモリ 37,704 KB
最終ジャッジ日時 2024-04-14 07:04:36
合計ジャッジ時間 48,675 ms
ジャッジサーバーID
（参考情報） 		judge1 / judge4
このコードへのチャレンジ（β）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 1,374 ms
26,412 KB
testcase_01 AC 1,380 ms
26,356 KB
testcase_02 AC 1,383 ms
26,324 KB
testcase_03 AC 1,384 ms
26,256 KB
testcase_04 AC 1,389 ms
26,268 KB
testcase_05 AC 1,381 ms
26,448 KB
testcase_06 AC 1,378 ms
26,284 KB
testcase_07 AC 1,380 ms
26,384 KB
testcase_08 AC 1,389 ms
26,252 KB
testcase_09 AC 1,376 ms
26,344 KB
testcase_10 AC 1,378 ms
26,252 KB
testcase_11 AC 1,388 ms
26,328 KB
testcase_12 AC 1,382 ms
26,560 KB
testcase_13 AC 1,521 ms
31,024 KB
testcase_14 AC 1,740 ms
37,444 KB
testcase_15 AC 1,736 ms
37,492 KB
testcase_16 AC 1,598 ms
31,340 KB
testcase_17 AC 1,406 ms
26,252 KB
testcase_18 AC 1,781 ms
37,400 KB
testcase_19 AC 1,781 ms
37,424 KB
testcase_20 AC 1,781 ms
37,380 KB
testcase_21 AC 1,781 ms
37,432 KB
testcase_22 AC 1,808 ms
37,428 KB
testcase_23 AC 1,778 ms
37,428 KB
testcase_24 AC 1,780 ms
37,424 KB
testcase_25 AC 1,780 ms
37,704 KB
testcase_26 AC 1,774 ms
37,556 KB
testcase_27 AC 1,809 ms
37,388 KB
testcase_28 AC 1,793 ms
37,512 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

;;; File:  main.scm
;; Author: ymiyamoto
;;
;; Created on Sat Sep 28 20:04:17 2019
;;
(define-syntax read-number
  (syntax-rules ()
    ((_ nums)
     (define-values nums
       (apply values (map string->number (string-split (read-line) #\space)))))))

(define-syntax read-numbers
  (syntax-rules ()
    ((_ as)
     (define as (map string->number (string-split (read-line) #\space))))
    ((_ as n)
     (define as (map (lambda (_) (map string->number (string-split (read-line) #\space))) (iota n))))))

(define-syntax 1+ (syntax-rules () ((_ x) (+ x 1))))

(define-syntax 1- (syntax-rules () ((_ x) (- x 1))))

(define MOD 1000000007)

(define (mod+ x y)
  (modulo (+ x y) MOD))

(define (mod* a . b)
  (fold (lambda (x acc) (modulo (* x acc) MOD)) a b))

(define (make-comb num)
  (define fact-dp (make-vector num -1))
  (define inv-fact-dp (make-vector num -1))
  (define (fact n) (vector-ref fact-dp n))
  (define (inv-fact n) (vector-ref inv-fact-dp n))

  (vector-set! fact-dp 0 1)
  (let loop ((i 1))
    (when (< i num)
      (vector-set! fact-dp i (mod* i (fact (1- i))))
      (loop (1+ i))))

  (let loop ((i 0))
    (when (< i num)
      (vector-set! inv-fact-dp i (expt-mod (fact i) (- MOD 2) MOD))
      (loop (1+ i))))

  (lambda (n k)
    (define factn (fact n))
    (define powk (inv-fact k))
    (define pownk (inv-fact (- n k)))
    (modulo (* (modulo (* factn powk) MOD) pownk) MOD)))

(define (solve)
  (define comb (make-comb (* 3 100000)))
  (read-number (a b c))

  (print (fold mod+ 0
	       (map (lambda (i)
		      (define x (comb (- (+ a b c) i 2) (1- c)))
		      (define y (comb (- (+ a b) i 1) (1- b)))
		      (define z (1- (expt-mod 2 (- (+ a b c) i 1) MOD)))
		      (modulo (* (modulo (* x y) MOD) z) MOD))
		    (iota a 1)))))

(solve)
0