結果

問題 No.260 世界のなんとか3
ユーザー te-shte-sh
提出日時 2017-06-01 12:21:24
言語 D
(dmd 2.106.1)
結果
AC  
実行時間 456 ms / 2,000 ms
コード長 2,128 bytes
コンパイル時間 946 ms
コンパイル使用メモリ 101,836 KB
実行使用メモリ 34,480 KB
最終ジャッジ日時 2024-06-12 19:37:15
合計ジャッジ時間 7,059 ms
ジャッジサーバーID
（参考情報） 		judge4 / judge3
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 1 ms
6,812 KB
testcase_01 AC 1 ms
6,940 KB
testcase_02 AC 1 ms
6,944 KB
testcase_03 AC 370 ms
34,480 KB
testcase_04 AC 367 ms
34,304 KB
testcase_05 AC 71 ms
8,192 KB
testcase_06 AC 46 ms
6,144 KB
testcase_07 AC 250 ms
23,808 KB
testcase_08 AC 174 ms
17,280 KB
testcase_09 AC 96 ms
10,368 KB
testcase_10 AC 273 ms
27,008 KB
testcase_11 AC 263 ms
25,408 KB
testcase_12 AC 159 ms
16,256 KB
testcase_13 AC 44 ms
5,888 KB
testcase_14 AC 226 ms
22,912 KB
testcase_15 AC 66 ms
7,808 KB
testcase_16 AC 214 ms
20,352 KB
testcase_17 AC 167 ms
16,640 KB
testcase_18 AC 166 ms
16,128 KB
testcase_19 AC 201 ms
20,352 KB
testcase_20 AC 144 ms
14,976 KB
testcase_21 AC 122 ms
13,260 KB
testcase_22 AC 230 ms
22,912 KB
testcase_23 AC 22 ms
5,376 KB
testcase_24 AC 176 ms
18,432 KB
testcase_25 AC 219 ms
18,304 KB
testcase_26 AC 140 ms
18,432 KB
testcase_27 AC 1 ms
5,376 KB
testcase_28 AC 272 ms
34,432 KB
testcase_29 AC 456 ms
34,432 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

import std.algorithm, std.conv, std.range, std.stdio, std.string;

const p = 10 ^^ 9 + 7;
alias FactorRing!(p, true) pint;
alias FactorRing!p mint;

void main()
{
  auto rd = readln.split.map!(s => s.map!(c => (c - '0').to!int).array), a = rd[0], b = rd[1];

  auto r = mint(calc!true(b).v) - mint(calc!false(a).v);

  writeln(r.v);
}

auto calc(bool includeMax)(int[] ai)
{
  auto n = ai.length;

  auto dp = new pint[][][][][](n+1, 2, 2, 3, 8);
  dp[0][0][0][0][0] = 1;

  foreach (i; 0..n)
    foreach (j; 0..2)
      foreach (k; 0..2)
        foreach (l; 0..3)
          foreach (m; 0..8) {
            int lim = j ? 9 : ai[i];
            foreach (d; 0..lim+1)
              dp[i+1][j || d < lim][k || d == 3][(l + d) % 3][(m * 10 + d) % 8] += dp[i][j][k][l][m];
          }

  auto r = pint(0);

  auto jMin = includeMax ? 0 : 1;
  foreach (j; jMin..2)
    foreach (k; 0..2)
      foreach (l; 0..3)
        foreach (m; 1..8)
          if (k == 1 || l == 0)
            r += dp[$-1][j][k][l][m];

  return r;
}

struct FactorRing(int m, bool pos = false)
{
  long v;

  //@property int toInt() { return v.to!int; }
  //alias toInt this;

  this(T)(T _v) { v = mod(_v); }

  ref FactorRing!(m, pos) opAssign(int _v)
  {
    v = mod(_v);
    return this;
  }

  pure auto mod(long _v) const
  {
    static if (pos) return _v % m;
    else return (_v % m + m) % m;
  }

  pure auto opBinary(string op: "+")(long rhs) const { return FactorRing!(m, pos)(v + rhs); }
  pure auto opBinary(string op: "-")(long rhs) const { return FactorRing!(m, pos)(v - rhs); }
  pure auto opBinary(string op: "*")(long rhs) const { return FactorRing!(m, pos)(v * rhs); }

  pure auto opBinary(string op)(FactorRing!(m, pos) rhs) const
    if (op == "+" || op == "-" || op == "*") { return opBinary!op(rhs.v); }

  auto opOpAssign(string op: "+")(long rhs) { v = mod(v + rhs); }
  auto opOpAssign(string op: "-")(long rhs) { v = mod(v - rhs); }
  auto opOpAssign(string op: "*")(long rhs) { v = mod(v * rhs); }

  auto opOpAssign(string op)(FactorRing!(m, pos) rhs)
    if (op == "+" || op == "-" || op == "*") { return opOpAssign!op(rhs.v); }
}
0