結果
問題 | No.93 ペガサス |
ユーザー | 👑 hos.lyric |
提出日時 | 2015-01-26 17:12:27 |
言語 | D (dmd 2.106.1) |
結果 |
AC
|
実行時間 | 3,065 ms / 5,000 ms |
コード長 | 3,233 bytes |
コンパイル時間 | 715 ms |
コンパイル使用メモリ | 109,760 KB |
実行使用メモリ | 23,440 KB |
最終ジャッジ日時 | 2023-09-02 19:42:49 |
合計ジャッジ時間 | 17,091 ms |
ジャッジサーバーID (参考情報) |
judge11 / judge13 |
(要ログイン)
テストケース
テストケース表示入力 | 結果 | 実行時間 実行使用メモリ |
---|---|---|
testcase_00 | AC | 1 ms
4,368 KB |
testcase_01 | AC | 2 ms
4,368 KB |
testcase_02 | AC | 2 ms
4,372 KB |
testcase_03 | AC | 2 ms
4,368 KB |
testcase_04 | AC | 470 ms
23,180 KB |
testcase_05 | AC | 163 ms
10,628 KB |
testcase_06 | AC | 109 ms
9,056 KB |
testcase_07 | AC | 1,645 ms
22,692 KB |
testcase_08 | AC | 769 ms
22,240 KB |
testcase_09 | AC | 2,997 ms
23,440 KB |
testcase_10 | AC | 18 ms
4,384 KB |
testcase_11 | AC | 62 ms
8,796 KB |
testcase_12 | AC | 2,468 ms
22,448 KB |
testcase_13 | AC | 674 ms
22,648 KB |
testcase_14 | AC | 247 ms
9,380 KB |
testcase_15 | AC | 2,169 ms
22,232 KB |
testcase_16 | AC | 325 ms
9,376 KB |
testcase_17 | AC | 1 ms
4,372 KB |
testcase_18 | AC | 1 ms
4,372 KB |
testcase_19 | AC | 3,065 ms
22,668 KB |
ソースコード
import core.thread; import std.conv, std.stdio, std.string; import std.algorithm, std.array, std.bigint, std.container, std.math, std.range, std.regex; // Input class EOFException : Throwable { this() { super("EOF"); } } string[] tokens; string readToken() { for (; tokens.empty; ) { tokens = readln.split; if (stdin.eof) throw new EOFException; } auto token = tokens[0]; tokens.popFront; return token; } int readInt() { return to!int(readToken); } long readLong() { return to!long(readToken); } real readReal() { return to!real(readToken); } // chmin/chmax void chmin(T)(ref T t, in T f) { if (t > f) t = f; } void chmax(T)(ref T t, in T f) { if (t < f) t = f; } // Pair struct Pair(S, T) { S x; T y; int opCmp( const Pair p) const { return (x < p.x) ? -1 : (x > p.x) ? +1 : (y < p.y) ? -1 : (y > p.y) ? +1 : 0; } int opCmp(ref const Pair p) const { return (x < p.x) ? -1 : (x > p.x) ? +1 : (y < p.y) ? -1 : (y > p.y) ? +1 : 0; } string toString() const { return "(" ~ to!string(x) ~ ", " ~ to!string(y) ~ ")"; } } auto pair(S, T)(inout(S) x, inout(T) y) { return Pair!(S, T)(x, y); } // Array int binarySearch(T)(in T[] as, in bool delegate(T) test) { int low = -1, upp = as.length; for (; low + 1 < upp; ) { int mid = (low + upp) >> 1; (test(as[mid]) ? low : upp) = mid; } return upp; } int lowerBound(T)(in T[] as, in T val) { return as.binarySearch((T a) { return (a < val); }); } int upperBound(T)(in T[] as, in T val) { return as.binarySearch((T a) { return (a <= val); }); } T[] unique(T)(in T[] as) { T[] bs; foreach (a; as) if (bs.empty || bs[$ - 1] != a) bs ~= a; return bs; } immutable long MO = 10^^9 + 7; int N; void main(string[] args) { try { for (; ; ) { N = readInt; auto crt = new long[][][][][][](3, 3, 2, 2, 2, 2); crt[0][0][0][0][0][0] = 1; foreach (i; 0 .. N) { auto nxt = new long[][][][][][](3, 3, 2, i + 3, 2, 2); foreach (b; 0 .. 3) foreach (c; 0 .. 3) foreach (d; 0 .. 2) { const a = (i + 1) - b - c - d; foreach (aa; 0 .. a + 1) foreach (bb; 0 .. 2) foreach (cc; 0 .. 2) { const tmp = crt[b][c][d][aa][bb][cc]; if (tmp != 0) { debug{ writeln(a," ",b," ",c," ",d," ",aa," ",bb," ",cc," ",0,"; ",tmp); } // small, small -> small, -1, small if (a - aa > 0) { (nxt[c + d][2][0][aa + bb][cc][0] += tmp * (a - aa)) %= MO; } if (aa > 0) { (nxt[c + d][2][0][(aa - 1) + bb][cc][0] += tmp * aa) %= MO; } // -2, small -> small,* -1, small if (b - bb > 0) { (nxt[c + d][2][0][aa + bb][cc][1] += tmp * (b - bb)) %= MO; } if (bb > 0) { (nxt[c + d][2][0][aa + (bb - 1)][cc][1] += tmp * bb) %= MO; } // -1, small -> -2, -1, small if (c - cc > 0) { (nxt[(c - 1) + d][1][1][aa + bb][cc][0] += tmp * (c - cc)) %= MO; } if (cc > 0) { (nxt[(c - 1) + d][1][1][aa + bb][cc - 1][0] += tmp * cc) %= MO; } // -2, -1 -> small,* -1, -2 if (d > 0) { (nxt[c + (d - 1)][1][1][aa + bb][cc][1] += tmp * d) %= MO; } } } } crt = nxt; } long ans; foreach (b; 0 .. 3) foreach (c; 0 .. 3) foreach (d; 0 .. 2) { (ans += crt[b][c][d][0][0][0]) %= MO; } writeln(ans); } } catch (EOFException) {} }