結果

問題 No.939 and or
ユーザー yuppe19 😺yuppe19 😺
提出日時 2019-12-02 00:15:09
言語 C++17
(gcc 13.2.0 + boost 1.83.0)
結果
AC  
実行時間 2 ms / 2,000 ms
コード長 1,673 bytes
コンパイル時間 941 ms
コンパイル使用メモリ 76,560 KB
実行使用メモリ 4,380 KB
最終ジャッジ日時 2023-08-14 05:25:20
合計ジャッジ時間 2,060 ms
ジャッジサーバーID
（参考情報） 		judge12 / judge13
このコードへのチャレンジ
（要ログイン）

テストケース

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

ソースコード

diff # 

#include <bitset>
#include <cstdint>
#include <cstdio>
#include <string>
#include <vector>
using namespace std;
using i64 = int64_t;

string to_bin(const i64 a) {
  string s = bitset<32>(a).to_string();
  return s;
}

int cmp(int x, int y) {
  if(x <  y) { return 0; }
  if(x == y) { return 1; }
  return 2;
}

int next_state(int x, int y, int cur) {
  int res = cur;
  if(res == 1) { res = cmp(x, y); }
  return res;
}

i64 f(i64 a, i64 b) {
  string sa = to_bin(a),
         sb = to_bin(b);
  const int n = 32;
  // dp[xがyより未満/丁度/超過][x&yがaより未満/丁度/超過][x|yがbより未満/丁度/超過] := パターン数
  vector<vector<vector<i64>>> dp(3, vector<vector<i64>>(3, vector<i64>(3, 0)));
  dp[1][1][1] = 1;
  for(int i=0; i<n; ++i) {
    vector<vector<vector<i64>>> ndp(3, vector<vector<i64>>(3, vector<i64>(3, 0)));
    for(int state1=0; state1<3; ++state1) {
      for(int state2=0; state2<3; ++state2) {
        for(int state3=0; state3<3; ++state3) {
          if(!dp[state1][state2][state3]) { continue; }
          for(int xi=0; xi<2; ++xi) {
            for(int yi=0; yi<2; ++yi) {
              int nstate1 = next_state(xi,    yi,        state1),
                  nstate2 = next_state(xi&yi, sa[i]-'0', state2),
                  nstate3 = next_state(xi|yi, sb[i]-'0', state3);
              ndp[nstate1][nstate2][nstate3] += dp[state1][state2][state3];
            }
          }
        }
      }
    }
    dp = ndp;
  }
  i64 res = 0;
  for(int state1 : {0, 1}) {
    res += dp[state1][1][1];
  }
  return res;
}

int main(void) {
  i64 A, B; scanf("%ld%ld", &A, &B);
  i64 res = f(A, B);
  printf("%ld\n", res);
  return 0;
}
0