結果

問題 No.1035 Color Box
ユーザー ikdikd
提出日時 2020-05-02 02:26:21
言語 F#
(F# 4.0)
結果
AC  
実行時間 407 ms / 2,000 ms
コード長 1,191 bytes
コンパイル時間 15,895 ms
コンパイル使用メモリ 199,264 KB
実行使用メモリ 45,024 KB
最終ジャッジ日時 2024-06-07 16:42:17
合計ジャッジ時間 25,082 ms
ジャッジサーバーID
（参考情報） 		judge2 / judge1
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 396 ms
44,888 KB
testcase_01 AC 333 ms
37,388 KB
testcase_02 AC 329 ms
35,228 KB
testcase_03 AC 332 ms
37,132 KB
testcase_04 AC 343 ms
43,492 KB
testcase_05 AC 342 ms
38,424 KB
testcase_06 AC 326 ms
35,112 KB
testcase_07 AC 353 ms
45,004 KB
testcase_08 AC 394 ms
45,020 KB
testcase_09 AC 367 ms
45,000 KB
testcase_10 AC 336 ms
40,832 KB
testcase_11 AC 338 ms
35,760 KB
testcase_12 AC 333 ms
36,628 KB
testcase_13 AC 384 ms
45,024 KB
testcase_14 AC 387 ms
45,016 KB
testcase_15 AC 391 ms
44,764 KB
testcase_16 AC 328 ms
35,720 KB
testcase_17 AC 325 ms
35,324 KB
testcase_18 AC 340 ms
34,828 KB
testcase_19 AC 407 ms
44,996 KB
testcase_20 AC 331 ms
34,948 KB
testcase_21 AC 328 ms
35,228 KB
testcase_22 AC 327 ms
35,988 KB
testcase_23 AC 326 ms
35,352 KB
testcase_24 AC 352 ms
35,208 KB
testcase_25 AC 328 ms
34,940 KB
testcase_26 AC 322 ms
35,604 KB
testcase_27 AC 327 ms
35,096 KB
testcase_28 AC 323 ms
34,968 KB
testcase_29 AC 330 ms
35,484 KB
testcase_30 AC 332 ms
34,840 KB
testcase_31 AC 355 ms
35,576 KB
testcase_32 AC 330 ms
35,600 KB
testcase_33 AC 340 ms
35,984 KB
testcase_34 AC 326 ms
35,980 KB
testcase_35 AC 328 ms
34,832 KB
testcase_36 AC 325 ms
35,216 KB
testcase_37 AC 325 ms
35,580 KB
権限があれば一括ダウンロードができます
コンパイルメッセージ
  復元対象のプロジェクトを決定しています...
  /home/judge/data/code/main.fsproj を復元しました (325 ms)。
MSBuild のバージョン 17.9.6+a4ecab324 (.NET)
/home/judge/data/code/Main.fs(12,9): warning FS0025: この式のパターン マッチが不完全です たとえば、値 '[|_; _; _|]' はパターンに含まれないケースを示す可能性があります。 [/home/judge/data/code/main.fsproj]
  main -> /home/judge/data/code/bin/Release/net8.0/main.dll
  main -> /home/judge/data/code/bin/Release/net8.0/publish/

ソースコード

diff # 

// Learn more about F# at http://fsharp.org

open System

let rec mpow (a: int64) x m =
    if x = 1L then a
    elif x % 2L = 0L then mpow (a * a % m) (x / 2L) m
    else a * mpow a (x - 1L) m % m

[<EntryPoint>]
let main argv =
    let [| n; m |] = stdin.ReadLine().Split() |> Array.map int
    let l = [ n; m ] |> List.max
    let mo = 1000000007L
    let fact =
        Array.concat
            [ [| 1L |]
              [| for i in 1L .. int64 (l) -> i |] ]
        |> Array.mapFold (fun acc x -> acc * x % mo, acc * x % mo) 1L
        |> fst
    let inv =
        Array.concat
            [ [| for i in 1L .. int64 (l) -> i |]
              [| 1L |] ]
        |> Array.rev
        |> Array.mapFold (fun acc x -> acc * x % mo, acc * x % mo) (mpow fact.[l] (mo - 2L) mo)
        |> fst
        |> Array.rev

    let binom a b = fact.[a] * inv.[b] % mo * inv.[a - b] % mo
    let mutable ans = 0L
    for i = m downto 1 do
        if (m - i) % 2 = 0
        then ans <- (ans + (binom m i) * (mpow (i |> int64) (n |> int64) mo) % mo) % mo
        else ans <- (ans - (binom m i) * (mpow (i |> int64) (n |> int64) mo) % mo + mo) % mo
    printfn "%d" ans
    0 // return an integer exit code
0