結果

問題 No.685 Logical Operations
ユーザー nanaenanae
提出日時 2018-05-12 00:50:27
言語 D
(dmd 2.107.1)
結果
AC  
実行時間 2 ms / 2,000 ms
コード長 1,726 bytes
コンパイル時間 1,308 ms
コンパイル使用メモリ 142,408 KB
実行使用メモリ 4,384 KB
最終ジャッジ日時 2023-09-03 20:11:23
合計ジャッジ時間 2,111 ms
ジャッジサーバーID
(参考情報)
judge12 / judge14
このコードへのチャレンジ
(要ログイン)

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 1 ms
4,380 KB
testcase_01 AC 1 ms
4,376 KB
testcase_02 AC 1 ms
4,376 KB
testcase_03 AC 1 ms
4,380 KB
testcase_04 AC 2 ms
4,380 KB
testcase_05 AC 1 ms
4,376 KB
testcase_06 AC 1 ms
4,380 KB
testcase_07 AC 1 ms
4,380 KB
testcase_08 AC 1 ms
4,380 KB
testcase_09 AC 1 ms
4,376 KB
testcase_10 AC 1 ms
4,384 KB
testcase_11 AC 1 ms
4,380 KB
testcase_12 AC 1 ms
4,380 KB
testcase_13 AC 2 ms
4,380 KB
testcase_14 AC 1 ms
4,380 KB
testcase_15 AC 1 ms
4,380 KB
testcase_16 AC 1 ms
4,376 KB
testcase_17 AC 1 ms
4,376 KB
testcase_18 AC 1 ms
4,376 KB
testcase_19 AC 1 ms
4,376 KB
testcase_20 AC 1 ms
4,384 KB
testcase_21 AC 1 ms
4,376 KB
testcase_22 AC 1 ms
4,376 KB
testcase_23 AC 1 ms
4,380 KB
testcase_24 AC 1 ms
4,376 KB
testcase_25 AC 1 ms
4,376 KB
testcase_26 AC 1 ms
4,380 KB
権限があれば一括ダウンロードができます

ソースコード

diff #

import std.stdio, std.string, std.conv;
import std.range, std.algorithm, std.array, std.typecons, std.container;
import std.math, std.numeric, core.bitop;

enum mod = 10^^9 + 7;

void main() {
    long n;
    scan(n);

    string nb = format("%b", n);
    int L = nb.length.to!int;
    auto dp = new long[][][][](L+1, 2, 2, 2);
    dp[0][0][0][0] = 1;

    foreach (i ; 0 .. L) {
        foreach (mim ; 0 .. 2) {
            foreach (top ; 0 .. 2) {
                foreach (eq ; 0 .. 2) {
                    foreach (y ; 0 .. 2) {
                        foreach (x ; 0 .. 2) {
                            if (!mim && (nb[i] - '0') < y) {
                                continue;
                            }
                            if (!top && (x == 1)) {
                                continue;
                            }
                            (dp[i+1][mim | ((nb[i] - '0') > y)][top | (y == 1)][eq | (y == 1 && x == 1)] += dp[i][mim][top][eq]) %= mod;
                        }
                    }
                }
            }
        }
    }

    long ans;
    ans += dp[L][0][1][1];
    ans %= mod;
    ans += dp[L][1][1][1];
    ans %= mod;

    writeln(ans);
}

void scan(T...)(ref T args) {
    import std.stdio : readln;
    import std.algorithm : splitter;
    import std.conv : to;
    import std.range.primitives;

    auto line = readln().splitter();
    foreach (ref arg; args) {
        arg = line.front.to!(typeof(arg));
        line.popFront();
    }
    assert(line.empty);
}



void fillAll(R, T)(ref R arr, T value) {
    static if (is(typeof(arr[] = value))) {
        arr[] = value;
    }
    else {
        foreach (ref e; arr) {
            fillAll(e, value);
        }
    }
}
0