結果

問題 No.462 6日知らずのコンピュータ
ユーザー daleksprinterdaleksprinter
提出日時 2018-10-19 20:24:55
言語 C++14
(gcc 12.3.0 + boost 1.83.0)
結果
WA  
実行時間 -
コード長 2,906 bytes
コンパイル時間 1,609 ms
コンパイル使用メモリ 174,820 KB
実行使用メモリ 6,824 KB
最終ジャッジ日時 2024-11-18 19:19:40
合計ジャッジ時間 3,572 ms
ジャッジサーバーID
(参考情報)
judge3 / judge1
このコードへのチャレンジ
(要ログイン)

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 2 ms
6,816 KB
testcase_01 AC 2 ms
6,820 KB
testcase_02 WA -
testcase_03 AC 2 ms
6,816 KB
testcase_04 WA -
testcase_05 WA -
testcase_06 AC 2 ms
6,820 KB
testcase_07 WA -
testcase_08 WA -
testcase_09 AC 2 ms
6,820 KB
testcase_10 AC 2 ms
6,816 KB
testcase_11 AC 2 ms
6,816 KB
testcase_12 AC 2 ms
6,816 KB
testcase_13 WA -
testcase_14 WA -
testcase_15 AC 2 ms
6,820 KB
testcase_16 WA -
testcase_17 WA -
testcase_18 AC 2 ms
6,820 KB
testcase_19 AC 1 ms
6,820 KB
testcase_20 WA -
testcase_21 WA -
testcase_22 WA -
testcase_23 WA -
testcase_24 AC 2 ms
6,816 KB
testcase_25 WA -
testcase_26 WA -
testcase_27 AC 1 ms
6,816 KB
testcase_28 AC 2 ms
6,820 KB
testcase_29 WA -
testcase_30 AC 1 ms
6,816 KB
testcase_31 WA -
testcase_32 AC 2 ms
6,820 KB
testcase_33 AC 2 ms
6,820 KB
testcase_34 WA -
testcase_35 AC 2 ms
6,816 KB
testcase_36 WA -
testcase_37 AC 1 ms
6,816 KB
testcase_38 AC 1 ms
6,816 KB
testcase_39 WA -
testcase_40 WA -
testcase_41 WA -
testcase_42 WA -
testcase_43 WA -
testcase_44 AC 2 ms
6,816 KB
testcase_45 AC 2 ms
6,816 KB
testcase_46 WA -
testcase_47 WA -
testcase_48 WA -
testcase_49 AC 2 ms
6,820 KB
testcase_50 AC 1 ms
6,820 KB
testcase_51 AC 1 ms
6,816 KB
testcase_52 AC 2 ms
6,816 KB
testcase_53 AC 1 ms
6,816 KB
testcase_54 AC 2 ms
6,820 KB
testcase_55 AC 2 ms
6,816 KB
testcase_56 AC 2 ms
6,820 KB
testcase_57 AC 2 ms
6,820 KB
testcase_58 AC 2 ms
6,816 KB
testcase_59 AC 2 ms
6,816 KB
testcase_60 AC 2 ms
6,820 KB
testcase_61 AC 2 ms
6,820 KB
testcase_62 AC 2 ms
6,816 KB
testcase_63 AC 2 ms
6,816 KB
testcase_64 AC 2 ms
6,816 KB
testcase_65 AC 2 ms
6,820 KB
testcase_66 AC 2 ms
6,820 KB
testcase_67 AC 1 ms
6,816 KB
testcase_68 AC 2 ms
6,820 KB
testcase_69 AC 1 ms
6,816 KB
testcase_70 AC 1 ms
6,816 KB
testcase_71 AC 2 ms
6,816 KB
testcase_72 AC 1 ms
6,820 KB
testcase_73 AC 1 ms
6,820 KB
testcase_74 AC 2 ms
6,816 KB
testcase_75 AC 2 ms
6,820 KB
testcase_76 AC 1 ms
6,816 KB
testcase_77 AC 2 ms
6,816 KB
testcase_78 AC 1 ms
6,820 KB
testcase_79 WA -
testcase_80 WA -
testcase_81 WA -
testcase_82 WA -
testcase_83 WA -
testcase_84 AC 1 ms
6,816 KB
testcase_85 AC 2 ms
6,820 KB
testcase_86 WA -
権限があれば一括ダウンロードができます

ソースコード

diff #

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


/* macro */
#define rep(i,a,b) for(int i=a;i<b;i++)
#define revrep(i,a,b) for(int i = a; i > b; i--)
#define int long long
#define exist(s,e) ((s).find(e)!=(s).end())
#define all(v) (v).begin(), (v).end()
#define each(s,itr) for(auto (itr) = s.begin(); (itr) != s.end(); (itr)++)
#define sum(v) accumulate(all(v), (0LL))


/* alias */
template<class T> using vec = vector<T>;
typedef vector<int> vi;
typedef pair<int, int> pi;


/* constant */
const int inf = 100100100100100100;
const int mod = 1e9 + 7;
int dx[8]={1,0,-1,0,-1,1,-1,1};
int dy[8]={0,1,0,-1,-1,-1,1,1};


/* io_method */
int input(){int tmp;cin >> tmp;return tmp;}
string raw_input(){string tmp;cin >> tmp;return tmp;}
string readline(){string s;getline(cin, s);return s;}
template<class T> void printx(T n){cout << n;}
template<class T, class U> void printx(pair<T, U> p){cout << "(" << p.first << "," << p.second << ")";}
template<class T> void printx(vector<T> v){cout << "{";rep(i,0,v.size()){printx(v[i]);if(i != v.size()-1)printx(",");}cout << "}";}
template<class T> void print(T n){printx(n);cout << endl;}
template<class T> void print(set<T> s){cout << "{";each(s, e){if(e != s.begin()) printx(",");printx(*e);}cout << "}" << endl;}
template<class T, class U> void print(map<T, U> mp){cout << "{";each(mp, e){cout << "(" << e -> first << "," << e -> second << ")";}cout << "}" << endl;}


/* general_method */
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; }
vector<int> cs(vector<int> arr){vector<int> tmp;if(arr.size() == 0) return tmp;tmp.push_back(arr[0]);rep(i,1,arr.size()){tmp.push_back(tmp.back() + arr[i]);}return tmp;}


int bitcnt(int bits){
   
    bits = (bits & 0x55555555) + (bits >> 1 & 0x55555555);
    bits = (bits & 0x33333333) + (bits >> 2 & 0x33333333);
    bits = (bits & 0x0f0f0f0f) + (bits >> 4 & 0x0f0f0f0f);
    bits = (bits & 0x00ff00ff) + (bits >> 8 & 0x00ff00ff);
    return (bits & 0x0000ffff) + (bits >>16 & 0x0000ffff);
}

int factorial(int x){
    int res = 1;
    rep(i,2,x+1){
        res *= i;
        res %= mod;
    }
    return res;
}


/* main */


signed main(){

    cin.tie(0);
    ios::sync_with_stdio(false);

    int n,k;
    cin >> n >> k;
    if(k == 0){
        print(0);
        return 0;
    }
    vi arr; arr.push_back(0); rep(i,0,k) arr.push_back(input()); arr.push_back((1<<n) -1);

    sort(all(arr));


    rep(i,1,k + 2){
        rep(j,0,70){
            if((arr[i-1] & (1 << j)) && !(arr[i] & (1<<j))){
                print(0);
                return 0;
            }
        }
    }

    int ans = 1;
    rep(i,1, k + 2){
        ans *= factorial(bitcnt((arr[i-1] xor arr[i])));
        ans %= mod;
    }

    print(ans);


    
    

















}






    










    




    








0