結果
| 問題 | No.685 Logical Operations |
| コンテスト | |
| ユーザー |
|
| 提出日時 | 2018-05-11 23:24:13 |
| 言語 | D (dmd 2.109.1) |
| 結果 |
AC
|
| 実行時間 | 2 ms / 2,000 ms |
| コード長 | 1,452 bytes |
| 記録 | |
| コンパイル時間 | 740 ms |
| コンパイル使用メモリ | 118,264 KB |
| 実行使用メモリ | 6,944 KB |
| 最終ジャッジ日時 | 2024-06-13 01:00:59 |
| 合計ジャッジ時間 | 1,839 ms |
|
ジャッジサーバーID (参考情報) |
judge2 / judge1 |
(要ログイン)
| ファイルパターン | 結果 |
|---|---|
| other | AC * 27 |
ソースコード
import std.stdio, std.array, std.string, std.conv, std.algorithm;
import std.typecons, std.range, std.random, std.math, std.container;
import std.numeric, std.bigint, core.bitop, std.bitmanip, std.regex;
void main() {
immutable long MOD = 10^^9 + 7;
auto N = readln.chomp.to!long;
string S = "";
while (N > 0) {
if (N % 2) S = "1" ~ S;
else S = "0" ~ S;
N /= 2;
}
auto dp = new long[][][][](S.length+1, 2, 2, 2); // 未満フラグ, 最上位ビットが立った, どこかのビットが両方1
dp[0][0][0][0] = 1;
foreach (a; 0..S.length.to!int) {
foreach (b; 0..2) {
foreach (c; 0..2) {
foreach (d; 0..2) {
foreach (i; 0..2) {
foreach (j; 0..2) {
if (!b && (S[a] - '0' < i)) continue;
if (!c && (j == 1)) continue;
int nb = b || (S[a] - '0' > i);
int nc = c || (i > j);
int nd = d || (i == 1 && j == 1);
//writeln([a, b, c, d, i, j, dp[a][b][c][d], nb, nc, nd]);
(dp[a+1][nb][nc][nd] += dp[a][b][c][d]) %= MOD;
}
}
}
}
}
}
long ans = 0;
foreach (i; 0..2) ans += dp[S.length][i][1][1];
ans %= MOD;
ans.writeln;
}