結果

問題 No.822 Bitwise AND
コンテスト
ユーザー nomi
提出日時 2019-04-26 23:20:51
言語 C++14
(gcc 13.3.0 + boost 1.87.0)
結果
AC  
実行時間 247 ms / 2,000 ms
コード長 3,648 bytes
コンパイル時間 1,804 ms
コンパイル使用メモリ 174,416 KB
実行使用メモリ 31,888 KB
最終ジャッジ日時 2024-06-25 18:16:03
合計ジャッジ時間 3,247 ms
ジャッジサーバーID
（参考情報） 		judge4 / judge5
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
other AC * 17
権限があれば一括ダウンロードができます

ソースコード

diff # 

#include <bits/stdc++.h>
using namespace std;

#define int long long
#define vvi vector<vector<int>>
#define vec vector
#define pq priority_queue
#define all(v) (v).begin(), (v).end()
#define uniqueV(x) sort(x.begin(), x.end()); x.erase(unique(x.begin(), x.end()), x.end());
#define rep(i, n) for (int (i) = (0); (i) < (n); ++(i))
#define repp(i, m, n) for (int (i) = (m); (i) < (n); ++(i))
#define dbg(x) cerr << #x << ": " << x << endl;
#define dbg2(x, y) cerr<<"("<<#x<<", "<<#y<<") = "<<"("<<x<<", "<<y<<")"<<endl;
#define dbg3(x, y, z) cerr<<"("<<#x<<", "<<#y<<", "<<#z<<") = "<<"("<<x<<", "<<y<<", "<<z<<")"<<endl;
#define dbgB(value, size) cerr<<#value<<": "<<bitset<size>(value) << endl;
#define line() cerr << "---------------" << endl;

const int dx[] = {1, -1, 0, 0};
const int dy[] = {0, 0, -1, 1};
const double PI = 3.14159265358979323846;

template<class T>bool chmax(T &a, const T &b) { if (a<b) { a = b; return 1; } return 0; }
template<class T>bool chmin(T &a, const T &b) { if (b<a) { a = b; return 1; } return 0; }

template<typename T>
void print1(T begin, T end) {
  while (begin != end) {
    cout << (*begin) << " ";
    *begin++;
  }
  cout << endl;
}

template<typename T>
void print2(T Array, int height, int width) {
  for (int i = 0; i < height; i++) {
    for (int j = 0; j < width; j++) {
      cout << " " << Array[i][j];
    }
    cout << endl;
  }
}

void print() { std::cerr << endl; }
template <class Head, class... Tail>
void print(Head&& head, Tail&&... tail) {
  std::cerr << head << " ";
  print(std::forward<Tail>(tail)...);
}

template<class T>
void Add(T &a, const T &b, const T &mod=1000000007) {
  int val = ((a % mod) + (b % mod)) % mod;
  if (val < 0) { val += mod; }
  a = val;
}

template <typename X, typename T> auto vectors(X x, T a) { return vector<T>(x, a); }
template <typename X, typename Y, typename Z, typename... Zs> auto vectors(X x, Y y, Z z, Zs... zs) { auto cont = vectors(y, z, zs...); return vector<decltype(cont)>(x, cont); }

// ------------------------------------------------------------------------------------------

int n, k;
int ans = 0;

bool check(int x, int y) {
  return (x <= y) and (y - x <= k) and ((x & y) == n);
}

/*
void dfs(int turn, int x, int y) {
  if (y - x > k) return;
  if ((1ll << turn) > (1ll << n)) {
    if (check(x, y)) {
      // dbg2(x, y)
      ans++;
    }
    return;
  }

  if ((1ll << turn) & n) {
    if (y - x <= k) dfs(turn+1, x | (1ll << turn), y | (1ll << turn));
  } else {
    if (y - x <= k) dfs(turn+1, x, y);
    if (y - x <= k) dfs(turn+1, x | (1ll << turn), y);
    if (y - x <= k) dfs(turn+1, x, y | (1ll << turn));
  }
}
*/

set<int> cand;

void dfs(int turn, int val) {
  if (turn > 18) {
    if ((val & n) == n) cand.insert(val);
    return;
  }

  dfs(turn+1, val);
  dfs(turn+1, val | (1ll << turn));
}

signed main() {
  cin >> n >> k;

  if (n < k) {
    puts("INF");
    return 0;
  }

  dfs(0, 0);

  int lim = 0;
  while (1) {
    if ((1ll << lim) > n) {
      break;
    }
    lim++;
  }

  vector<int> v(cand.size());
  int cnt = 0;
  for (int val : cand) {
    v[cnt++] = val;
    // if (val < (1<<lim) - 1) {
      // dbg(val)
    // }
  }

  int ans2 = 0;
  int v1 = -2, v2 = -1;
  rep (i, v.size()) {
    repp (j, i, v.size()) {
      if (v[j] - v[i] > k) break;
      if (check(v[i], v[j])) {
        ans2++;
        if (v1 == -2) {
          v1 = -1;
          continue;
        }
        if (v1 == -1) {
          v1 = v[j] - v[i];
          continue;
        }
        if (v1 >= 0 and v2 == -1) {
          v2 = v[j] - v[i];
          continue;
        }
      }
    }
  }

  cout << ans2 << endl;

  return 0;
}
0