結果

問題 No.685 Logical Operations
コンテスト
ユーザー mamekin
提出日時 2018-05-19 19:46:00
言語 C++14
(gcc 13.3.0 + boost 1.87.0)
結果
AC  
実行時間 2 ms / 2,000 ms
コード長 1,719 bytes
コンパイル時間 1,181 ms
コンパイル使用メモリ 104,508 KB
実行使用メモリ 5,376 KB
最終ジャッジ日時 2024-06-28 14:28:53
合計ジャッジ時間 1,983 ms
ジャッジサーバーID
（参考情報） 		judge5 / judge2
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
other AC * 27
権限があれば一括ダウンロードができます

ソースコード

diff # 

#define _USE_MATH_DEFINES
#include <cstdio>
#include <iostream>
#include <sstream>
#include <fstream>
#include <iomanip>
#include <algorithm>
#include <cmath>
#include <complex>
#include <string>
#include <vector>
#include <array>
#include <list>
#include <queue>
#include <stack>
#include <set>
#include <map>
#include <bitset>
#include <numeric>
#include <limits>
#include <climits>
#include <cfloat>
#include <functional>
#include <iterator>
using namespace std;

const int MOD = 1000000007;

int main()
{
    long long n;
    cin >> n;
    ++ n;

    vector<long long> dp(1<<4, 0);
    dp[0] = 1;
    for(int i=63; i>=0; --i){
        int z = (n >> i) & 1;
        vector<long long> nextDp(1<<4, 0);
        for(int a=0; a<(1<<4); ++a){
            for(int x=0; x<2; ++x){
                for(int y=0; y<2; ++y){
                    bitset<4> bs(a);
                    if(!bs[0] && x > y)
                        continue;
                    else if(x < y)
                        bs[0] = true;

                    if(!bs[1] && y > z)
                        continue;
                    else if(y < z)
                        bs[1] = true;

                    if(!bs[2] && (x & y) > (x ^ y))
                        continue;
                    else if((x & y) < (x ^ y))
                        bs[2] = true;

                    if(!bs[3] && (x ^ y) > (x | y))
                        continue;
                    else if((x ^ y) < (x | y))
                        bs[3] = true;

                    nextDp[bs.to_ulong()] += dp[a];
                    nextDp[bs.to_ulong()] %= MOD;
                }
            }
        }
        dp = move(nextDp);
    }
    cout << dp.back() << endl;

    return 0;
}
0