@@ -15,20 +15,15 @@ void check_condition_unordered(const basis& b) {
1515 }
1616}
1717void check_condition_ordered (
18- const basis_ordered<int >& basis2,
1918 const basis_ordered<ll>& basis3,
2019 const basis_ordered<bitset<lg>>& basis4) {
21- int or_bits2 = 0 ;
2220 ll or_bits3 = 0 ;
2321 bitset<lg> or_bits4 = 0 ;
2422 for (int i = 0 ; i < lg; i++) {
25- assert (
26- (bit_floor (uint64_t (basis2.b [i])) & or_bits2) == 0 );
2723 assert (
2824 (bit_floor (uint64_t (basis3.b [i])) & or_bits3) == 0 );
2925 assert ((bit_floor (uint64_t (basis4.b [i].to_ullong ())) &
3026 or_bits4.to_ullong ()) == 0 );
31- or_bits2 |= basis2.b [i];
3227 or_bits3 |= basis3.b [i];
3328 or_bits4 |= basis4.b [i];
3429 }
@@ -57,7 +52,7 @@ int main() {
5752 assert (!basis4.insert (val));
5853 }
5954 check_condition_unordered (basis1);
60- check_condition_ordered (basis2, basis3, basis4);
55+ check_condition_ordered (basis3, basis4);
6156 int m;
6257 cin >> m;
6358 basis basis5;
@@ -77,7 +72,7 @@ int main() {
7772 assert (!basis8.insert (val));
7873 }
7974 check_condition_unordered (basis5);
80- check_condition_ordered (basis6, basis7, basis8);
75+ check_condition_ordered (basis7, basis8);
8176 basis inter = intersection (basis1, basis5);
8277 check_condition_unordered (inter);
8378 cout << sz (inter.b ) << " " ;
0 commit comments