結果

問題 No.685 Logical Operations
ユーザー nanaenanae
提出日時 2018-05-12 00:50:27
言語 D
(dmd 2.109.1)
結果
AC  
実行時間 2 ms / 2,000 ms
コード長 1,726 bytes
コンパイル時間 1,701 ms
コンパイル使用メモリ 142,208 KB
実行使用メモリ 5,376 KB
最終ジャッジ日時 2024-06-13 01:01:48
合計ジャッジ時間 2,311 ms
ジャッジサーバーID
（参考情報） 		judge3 / judge4
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
other AC * 27
権限があれば一括ダウンロードができます

ソースコード

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