Binääripuu

input/code.cpp: In function 'int main()':
input/code.cpp:39:31: warning: comparison between signed and unsigned integer expressions [-Wsign-compare]
       for(uint64_t i2 = 2; i2 <= (1<<n)-1; i2*= 2){
                            ~~~^~~~~~~~~~~

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

uint32_t n,m;
const int64_t M = 1e9+7;
set<uint64_t> s;
uint64_t p[200000];

int64_t lapset(uint64_t a){
  uint64_t ans=0;
  while(a != 1){
    a /= 2;
    ans++;
  }
  return ((uint64_t)1<<(n-ans-1))%M;
}


int main(){
  cin >> n >> m;
  int64_t c1,c2;
  c1 = lapset(2);
  c2 = lapset(3);
  // cout << (c*c*2)%M << "\n";
  for(uint32_t i=0; i<m; i++){
    cin >> p[i];
  }
  sort(p,p+m);
  for(uint32_t i=0; i<m; i++){
    bool ok=1;
    for(uint64_t i2=p[i]; i2>0; i2/=2){
      if(s.count(i2)){
	ok = false;
      }
    }
    if(ok){
      bool d = 0;
      for(uint64_t i2 = 2; i2 <= (1<<n)-1; i2*= 2){
	if((i2 <= p[i]) && ((i2+(i2/2)) > p[i])){
	  c1 -= lapset(p[i]);
	  if(c1 <0){
	    c1 += M;
	  }
	  d = 1;
	  break;
	}
      }
      if(!d){
	c2 -= lapset(p[i]);
	if(c2 < 0){
	  c2 += M;
	}
      }
      s.insert(p[i]);
    }
  }
  cout << (((c1*c2)%M)*2)%M << "\n";
}

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: ACCEPTED

Test 40

Group: 2

Verdict: ACCEPTED

Test 41

Group: 2

Verdict: ACCEPTED

Test 42

Group: 2

Verdict: ACCEPTED

Test 43

Group: 2

Verdict: ACCEPTED

Test 44

Group: 2

Verdict: ACCEPTED

Test 45

Group: 2

Verdict: ACCEPTED

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: ACCEPTED

Test 51

Group: 3

Verdict: ACCEPTED

Test 52

Group: 3

Verdict: ACCEPTED

Test 53

Group: 3

Verdict: ACCEPTED

Test 54

Group: 3

Verdict: ACCEPTED

Test 55

Group: 3

Verdict: WRONG ANSWER

Test 56

Group: 3

Verdict: WRONG ANSWER

Test 57

Group: 3

Verdict: WRONG ANSWER

Test 58

Group: 3

Verdict: WRONG ANSWER

Test 59

Group: 3

Verdict: WRONG ANSWER

Test 60

Group: 3

Verdict: WRONG ANSWER

Test 61

Group: 3

Verdict: ACCEPTED

Test 62

Group: 3

Verdict: WRONG ANSWER

Test 63

Group: 3

Verdict: ACCEPTED

Test 64

Group: 3

Verdict: WRONG ANSWER

Test 65

Group: 3

Verdict: ACCEPTED

Test 66

Group: 3

Verdict: WRONG ANSWER

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