Submission #3374958
Source Code Expand
let m = 1000000007 let ( +^ ) x y = (x + y) mod m let () = Scanf.scanf "%d %d\n%s" @@ fun n k s -> let dp = Array.init (n + 1) @@ fun _ -> Array.make_matrix (k + 2) (2 * k + 1) 0 in dp.(0).(k).(k) <- 1; String.iteri (fun i -> function | '0' -> for l = -k + 1 to 1 do for r = -1 to k do dp.(i + 1).(min 0 l - 1 + k).(max 0 r - 1 + k) <- dp.(i).(l + k).(r + k) +^ dp.(i + 1).(min 0 l - 1 + k).(max 0 r - 1 + k); done done | '1' -> for l = -k to 1 do for r = -1 to k - 1 do dp.(i + 1).(min 0 l + 1 + k).(max 0 r + 1 + k) <- dp.(i).(l + k).(r + k) +^ dp.(i + 1).(min 0 l + 1 + k).(max 0 r + 1 + k) done done | '?' -> for l = -k + 1 to 1 do for r = -1 to k do dp.(i + 1).(min 0 l - 1 + k).(max 0 r - 1 + k) <- dp.(i).(l + k).(r + k) +^ dp.(i + 1).(min 0 l - 1 + k).(max 0 r - 1 + k); done done; for l = -k to 1 do for r = -1 to k - 1 do dp.(i + 1).(min 0 l + 1 + k).(max 0 r + 1 + k) <- dp.(i).(l + k).(r + k) +^ dp.(i + 1).(min 0 l + 1 + k).(max 0 r + 1 + k) done done) s; Printf.printf "%d\n" @@ Array.fold_left (Array.fold_left ( +^ )) 0 dp.(n)
Submission Info
Submission Time | |
---|---|
Task | C - 偶然ジェネレータ |
User | fetburner |
Language | OCaml (4.02.3) |
Score | 40 |
Code Size | 1287 Byte |
Status | TLE |
Exec Time | 2112 ms |
Memory | 432496 KB |
Compile Error
File "./Main.ml", line 7, characters 25-990: Warning 8: this pattern-matching is not exhaustive. Here is an example of a value that is not matched: 'a'
Judge Result
Set Name | Sample | Subtask1 | Subtask2 | Subtask3 | ||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Score / Max Score | 0 / 0 | 10 / 10 | 30 / 30 | 0 / 60 | ||||||||||
Status |
|
|
|
|
Set Name | Test Cases |
---|---|
Sample | subtask0-sample-01.txt, subtask0-sample-02.txt, subtask0-sample-03.txt, subtask0-sample-04.txt |
Subtask1 | subtask0-sample-01.txt, subtask0-sample-02.txt, subtask0-sample-03.txt, subtask0-sample-04.txt, subtask1-01.txt, subtask1-02.txt, subtask1-03.txt, subtask1-04.txt, subtask1-05.txt, subtask1-06.txt, subtask1-07.txt, subtask1-08.txt, subtask1-09.txt, subtask1-10.txt |
Subtask2 | subtask0-sample-01.txt, subtask0-sample-02.txt, subtask0-sample-03.txt, subtask0-sample-04.txt, subtask2-01.txt, subtask2-02.txt, subtask2-03.txt, subtask2-04.txt, subtask2-05.txt, subtask2-06.txt, subtask2-07.txt, subtask2-08.txt, subtask2-09.txt, subtask2-10.txt |
Subtask3 | subtask0-sample-01.txt, subtask0-sample-02.txt, subtask0-sample-03.txt, subtask0-sample-04.txt, subtask1-01.txt, subtask1-02.txt, subtask1-03.txt, subtask1-04.txt, subtask1-05.txt, subtask1-06.txt, subtask1-07.txt, subtask1-08.txt, subtask1-09.txt, subtask1-10.txt, subtask2-01.txt, subtask2-02.txt, subtask2-03.txt, subtask2-04.txt, subtask2-05.txt, subtask2-06.txt, subtask2-07.txt, subtask2-08.txt, subtask2-09.txt, subtask2-10.txt, subtask3-01.txt, subtask3-02.txt, subtask3-03.txt, subtask3-04.txt, subtask3-05.txt, subtask3-06.txt, subtask3-07.txt, subtask3-08.txt, subtask3-09.txt, subtask3-10.txt |
Case Name | Status | Exec Time | Memory |
---|---|---|---|
subtask0-sample-01.txt | AC | 1 ms | 384 KB |
subtask0-sample-02.txt | AC | 1 ms | 384 KB |
subtask0-sample-03.txt | AC | 1 ms | 384 KB |
subtask0-sample-04.txt | AC | 1 ms | 384 KB |
subtask1-01.txt | AC | 1 ms | 384 KB |
subtask1-02.txt | AC | 1 ms | 384 KB |
subtask1-03.txt | AC | 1 ms | 384 KB |
subtask1-04.txt | AC | 1 ms | 384 KB |
subtask1-05.txt | AC | 1 ms | 384 KB |
subtask1-06.txt | AC | 1 ms | 384 KB |
subtask1-07.txt | AC | 1 ms | 384 KB |
subtask1-08.txt | AC | 1 ms | 384 KB |
subtask1-09.txt | AC | 1 ms | 384 KB |
subtask1-10.txt | AC | 1 ms | 384 KB |
subtask2-01.txt | AC | 1 ms | 384 KB |
subtask2-02.txt | AC | 1 ms | 384 KB |
subtask2-03.txt | AC | 2 ms | 640 KB |
subtask2-04.txt | AC | 2 ms | 640 KB |
subtask2-05.txt | AC | 2 ms | 640 KB |
subtask2-06.txt | AC | 2 ms | 768 KB |
subtask2-07.txt | AC | 2 ms | 768 KB |
subtask2-08.txt | AC | 2 ms | 768 KB |
subtask2-09.txt | AC | 2 ms | 768 KB |
subtask2-10.txt | AC | 2 ms | 768 KB |
subtask3-01.txt | AC | 9 ms | 2304 KB |
subtask3-02.txt | AC | 40 ms | 8832 KB |
subtask3-03.txt | AC | 4 ms | 1024 KB |
subtask3-04.txt | AC | 7 ms | 1920 KB |
subtask3-05.txt | AC | 22 ms | 6656 KB |
subtask3-06.txt | AC | 37 ms | 6656 KB |
subtask3-07.txt | TLE | 2112 ms | 432496 KB |
subtask3-08.txt | AC | 4 ms | 1024 KB |
subtask3-09.txt | AC | 6 ms | 1280 KB |
subtask3-10.txt | AC | 11 ms | 2176 KB |