Binääripuu

input/code.cpp: In function 'void hmm(long long int)':
input/code.cpp:30:3: warning: this 'while' clause does not guard... [-Wmisleading-indentation]
   while(bb<(1<<(n-1)))
   ^~~~~
input/code.cpp:32:5: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the 'while'
     if((aa-(1<<(n-1))) < (1<<n-1)/2) {
     ^~
input/code.cpp:32:31: warning: suggest parentheses around '-' inside '<<' [-Wparentheses]
     if((aa-(1<<(n-1))) < (1<<n-1)/2) {
                              ~^~
input/code.cpp: In function 'int main()':
input/code.cpp:94:30: warning: suggest parentheses around '-' inside '<<' [-Wparentheses]
     if((i-(1<<(n-1))) < (1<<n-1)/2) {
                             ~^~

#include <bits/stdc++.h>
#define ll long long
#define ull unsigned long long
#define ld long double
#define N (1<<18)
#define M 1000000007

using namespace std;

ll n, m, f, d[1010], d2[1010];
ll k[1010];
ll aaa, bbb;
set<ll> kiel;

bool hae(ll kohta) {
		kohta /= 2;
		while(kohta>=1) {
				if(kiel.find(kohta) != kiel.end())
						return true;
				kohta /=2;
		}
		return false;
}

void hmm(ll kohta) {
		ll aa = kohta;
		ll bb = kohta;
		while(aa<(1<<(n-1)))
				aa = aa*2;
		while(bb<(1<<(n-1)))
				bb = bb*2+1;
				if((aa-(1<<(n-1))) < (1<<n-1)/2) {
				aaa+=bb-aa+1;
				}else
				bbb+=bb-aa+1;
		aaa %= M;
		bbb %= M;
}

int main() {
	cin.tie(0);
	cout.tie(0);
	ios_base::sync_with_stdio(0);
	cin >> n >> m;
	if(1 == 1)  { //////////////////////////////////////////
		ll ans = 4;
		for(int i=3; i<n; i++) {
		ans *= 2;
		ans%=M;
		}
		for(int i=0; i<m; i++) {
				cin >> f;
				kiel.insert(f);
				k[f] = 1;
		}
		vector<ll> ei;
		for(auto u:kiel) {
				if(hae(u))
						ei.push_back(u);
		}
		for(auto u:ei)
				kiel.erase(u);
		for(auto u:kiel)
		hmm(u);
		aaa %= M;
		bbb %= M;
		aaa = (1<<(n-2))-aaa;
		bbb = (1<<(n-2))-bbb;
		cout << aaa*bbb*2;
		exit(0);
	}
	if(n>6) {
		if(m)
			exit(0);
		ll ans = 8;
		for(int i=3; i<n; i++) {
		ans *= 4;
		ans%=M;
		}
		cout << ans;
		exit(0);
	}
	for(int i=0; i<m; i++) {
		cin >> f;
		k[f] = 1;
	}
	d[1] = 1;
	int a = 0;
	int b = 0;
	for(int i=2; i<(1<<n); i++) {
		if(!k[i])
			d[i] = d[i/2];
		if(i>=(1<<(n-1))) {
				if((i-(1<<(n-1))) < (1<<n-1)/2) {
				a+=d[i];
				}else
				b+=d[i];
		}
	}
/*	for(int i=(1<<(n-1))-1; i>=2; i--) {
		d[i] = d[i*2]+d[i*2+1];
//		if(k[i])
	//		d[i] = 0;
	}*/
	cout << a*b*2;
}

Test 1

Group: 1

Verdict: ACCEPTED

Test 2

Group: 1

Verdict: ACCEPTED

Test 3

Group: 1

Verdict: ACCEPTED

Test 4

Group: 1

Verdict: ACCEPTED

Test 5

Group: 1

Verdict: ACCEPTED

Test 6

Group: 1

Verdict: ACCEPTED

Test 7

Group: 1

Verdict: ACCEPTED

Test 8

Group: 1

Verdict: ACCEPTED

Test 9

Group: 1

Verdict: ACCEPTED

Test 10

Group: 1

Verdict: ACCEPTED

Test 11

Group: 1

Verdict: ACCEPTED

Test 12

Group: 1

Verdict: ACCEPTED

Test 13

Group: 1

Verdict: ACCEPTED

Test 14

Group: 1

Verdict: ACCEPTED

Test 15

Group: 1

Verdict: ACCEPTED

Test 16

Group: 1

Verdict: ACCEPTED

Test 17

Group: 1

Verdict: ACCEPTED

Test 18

Group: 1

Verdict: ACCEPTED

Test 19

Group: 1

Verdict: ACCEPTED

Test 20

Group: 1

Verdict: ACCEPTED

Test 21

Group: 1

Verdict: ACCEPTED

Test 22

Group: 1

Verdict: ACCEPTED

Test 23

Group: 1

Verdict: ACCEPTED

Test 24

Group: 1

Verdict: ACCEPTED

Test 25

Group: 1

Verdict: ACCEPTED

Test 26

Group: 1

Verdict: ACCEPTED

Test 27

Group: 1

Verdict: ACCEPTED

Test 28

Group: 1

Verdict: ACCEPTED

Test 29

Group: 1

Verdict: ACCEPTED

Test 30

Group: 1

Verdict: ACCEPTED

Test 31

Group: 1

Verdict: ACCEPTED

Test 32

Group: 1

Verdict: ACCEPTED

Test 33

Group: 1

Verdict: ACCEPTED

Test 34

Group: 1

Verdict: ACCEPTED

Test 35

Group: 1

Verdict: ACCEPTED

Test 36

Group: 2

Verdict: ACCEPTED

Test 37

Group: 2

Verdict: ACCEPTED

Test 38

Group: 2

Verdict: ACCEPTED

Test 39

Group: 2

Verdict: WRONG ANSWER

Test 40

Group: 2

Verdict: WRONG ANSWER

Test 41

Group: 2

Verdict: WRONG ANSWER

Test 42

Group: 2

Verdict: WRONG ANSWER

Test 43

Group: 2

Verdict: WRONG ANSWER

Test 44

Group: 2

Verdict: WRONG ANSWER

Test 45

Group: 2

Verdict: WRONG ANSWER

Test 46

Group: 3

Verdict: ACCEPTED

Test 47

Group: 3

Verdict: ACCEPTED

Test 48

Group: 3

Verdict: ACCEPTED

Test 49

Group: 3

Verdict: ACCEPTED

Test 50

Group: 3

Verdict: WRONG ANSWER

Test 51

Group: 3

Verdict: WRONG ANSWER

Test 52

Group: 3

Verdict: ACCEPTED

Test 53

Group: 3

Verdict: RUNTIME ERROR

Test 54

Group: 3

Verdict: RUNTIME ERROR

Test 55

Group: 3

Verdict: RUNTIME ERROR

Test 56

Group: 3

Verdict: RUNTIME ERROR

Test 57

Group: 3

Verdict: RUNTIME ERROR

Test 58

Group: 3

Verdict: RUNTIME ERROR

Test 59

Group: 3

Verdict: RUNTIME ERROR

Test 60

Group: 3

Verdict: RUNTIME ERROR

Test 61

Group: 3

Verdict: RUNTIME ERROR

Test 62

Group: 3

Verdict: RUNTIME ERROR

Test 63

Group: 3

Verdict: RUNTIME ERROR

Test 64

Group: 3

Verdict: RUNTIME ERROR

Test 65

Group: 3

Verdict: RUNTIME ERROR

Test 66

Group: 3

Verdict: RUNTIME ERROR

Test 67

Group: 3

Verdict: ACCEPTED

Test 68

Group: 3

Verdict: ACCEPTED

Test 69

Group: 3

Verdict: ACCEPTED

Test 70

Group: 3

Verdict: ACCEPTED

Test 71

Group: 3

Verdict: ACCEPTED

Test 72

Group: 3

Verdict: ACCEPTED

Test 73

Group: 3

Verdict: ACCEPTED

Test 74

Group: 3

Verdict: ACCEPTED

Test 75

Group: 3

Verdict: ACCEPTED

Test 76

Group: 3

Verdict: ACCEPTED

Test 77

Group: 3

Verdict: ACCEPTED