結果

問題 No.822 Bitwise AND
コンテスト
ユーザー outline
提出日時 2020-12-24 06:40:00
言語 C++17
(gcc 13.3.0 + boost 1.87.0)
結果
AC  
実行時間 49 ms / 2,000 ms
コード長 2,080 bytes
コンパイル時間 1,174 ms
コンパイル使用メモリ 131,828 KB
最終ジャッジ日時 2025-01-17 06:37:57
ジャッジサーバーID
（参考情報） 		judge4 / judge4
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
other AC * 17
権限があれば一括ダウンロードができます

ソースコード

diff # 

#include <iostream>
#include <vector>
#include <algorithm>
#include <cmath>
#include <queue>
#include <string>
#include <map>
#include <set>
#include <stack>
#include <tuple>
#include <deque>
#include <array>
#include <numeric>
#include <bitset>
#include <iomanip>
#include <cassert>
#include <chrono>
#include <random>
#include <limits>
#include <iterator>
#include <functional>
#include <sstream>
#include <fstream>
#include <complex>
#include <cstring>
#include <unordered_map>
using namespace std;

using ll = long long;
using P = pair<int, int>;
constexpr int INF = 1001001001;
constexpr int mod = 1000000007;
// constexpr int mod = 998244353;

template<class T>
inline bool chmax(T& x, T y){
    if(x < y){
        x = y;
        return true;
    }
    return false;
}
template<class T>
inline bool chmin(T& x, T y){
    if(x > y){
        x = y;
        return true;
    }
    return false;
}

int main(){
    ios::sync_with_stdio(false);
    cin.tie(nullptr);

    int N, K;
    cin >> N >> K;

    if(N == 0){
        if(K == 0)  cout << 1 << '\n';
        else    cout << "INF\n";
        return 0;
    }

    int msb = -1;
    for(int k = 20; k >= 0; --k){
        if(N >> k & 1){
            msb = k;
            break;
        }
    }

    int x = 0;
    for(int k = 0; k < msb; ++k){
        if(N >> k & 1)  continue;
        x += 1 << k;
    }
    if((1 << (msb + 1)) - x <= K){
        cout << "INF\n";
        return 0;
    }

    vector<int> ks;
    for(int k = msb - 1; k >= 0; --k){
        if(N >> k & 1)  continue;
        ks.emplace_back(k);
    }
    int n = ks.size();
    
    ll ans = 0;
    auto dfs = [&](auto&& self, int i = 0, int sum = 0, int f = 0) -> void {
        if(i == n){
            ans += sum <= K;
            return;
        }
        int k = ks[i];
        // (x, y) -> (0, 1)
        self(self, i + 1, sum + (1 << k), f | 1);
        // (x, y) -> (0, 0)
        self(self, i + 1, sum, f);
        // (x, y) -> (1, 0)
        if(f)   self(self, i + 1, sum - (1 << k), f);
    };
    dfs(dfs);

    cout << ans << '\n';

    return 0;
}
0