結果
問題 | No.535 自然数の収納方法 |
ユーザー |
👑 |
提出日時 | 2019-01-22 16:29:05 |
言語 | D (dmd 2.109.1) |
結果 |
AC
|
実行時間 | 57 ms / 2,000 ms |
コード長 | 1,970 bytes |
コンパイル時間 | 791 ms |
コンパイル使用メモリ | 119,168 KB |
実行使用メモリ | 5,376 KB |
最終ジャッジ日時 | 2024-06-13 03:30:10 |
合計ジャッジ時間 | 2,289 ms |
ジャッジサーバーID (参考情報) |
judge2 / judge4 |
(要ログイン)
ファイルパターン | 結果 |
---|---|
other | AC * 23 |
ソースコード
import std.conv, std.stdio, std.string;import std.algorithm, std.array, std.bigint, std.container, std.math, std.numeric, std.range, std.regex, std.typecons;import core.bitop;class EOFException : Throwable { this() { super("EOF"); } }string[] tokens;string readToken() { for (; tokens.empty; ) { if (stdin.eof) { throw new EOFException; } tokens = readln.split; } auto token = tokens.front; tokens.popFront; return token; }int readInt() { return readToken.to!int; }long readLong() { return readToken.to!long; }real readReal() { return readToken.to!real; }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; }int binarySearch(T)(in T[] as, in bool delegate(T) test) { int low = -1, upp = cast(int)(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) => (a < val)); }int upperBound(T)(in T[] as, in T val) { return as.binarySearch((T a) => (a <= val)); }enum MO = 10L^^9 + 7;int N;void main() {try {for (; ; ) {N = readInt();long ans;// A[N] = 1 or A[N] > 1foreach (s; 0 .. 2) {auto dp = new long[N + 1];auto dpSum = new long[N + 2];if (s == 0) {dp[1] = 1;} else {dp[2 .. N + 1] = 1;}// A[N] < A[1] + 1// A[i - 1] < A[i] + (i - 1)foreach (i; 1 .. N) {foreach (j; 1 .. N + 1) {dpSum[j + 1] = (dpSum[j] + dp[j]) % MO;}const k = (i == 1) ? 1 : (i - 1);foreach (j; 1 .. N + 1) {dp[j] = dpSum[min(j + k, N + 1)];}}// (A[N - 1], A[N]) != (N, 1)foreach (j; 1 .. N + 1) {if (!(s == 0 && j == N)) {(ans += dp[j]) %= MO;}}}writeln(ans);}} catch (EOFException e) {}}