Language: C++

#include <bits/stdc++.h>
using namespace std;
typedef long long ll;
#define int ll

#define FOR(i,m,n) for(int i=(m);i<(n);++i)
typedef vector<int> vi;
typedef vector<vi> vvi;
inline int in() { int x; cin >> x; return x; }
#define chmax(x,y) x = max(x,y)

void solve() {
  int n = in();
  vvi x(n), y(n);
  vi a(n);
  FOR(i,0,n) {
    a[i] = in();
    x[i].resize(a[i]);
    y[i].resize(a[i]);
    FOR(j,0,a[i]) {
      x[i][j] = in()-1;
      y[i][j] = in();
    }
  }
  int ans = 0;
  FOR(i,1,1<<n) {
    vi honest(n);
    FOR(j,0,n) honest[j] = i>>j & 1;
    int ok = 1;
    FOR(j,0,n) if (honest[j]==1)
      FOR(k,0,a[j]) if (y[j][k]!=honest[x[j][k]]) ok = 0;
    if (ok) chmax(ans, __builtin_popcount(i));
  }
  cout << ans << endl;
}

#undef int
int main() {
  solve();
  return 0;
}


Compiler output:
a.cc: In function 'void solve()':
a.cc:10:27: error: no matching function for call to 'max(ll&, int)'
   10 | #define chmax(x,y) x = max(x,y)
      |                        ~~~^~~~~
a.cc:32:13: note: in expansion of macro 'chmax'
   32 |     if (ok) chmax(ans, __builtin_popcount(i));
      |             ^~~~~
In file included from /usr/include/c++/14/algorithm:60,
                 from /usr/include/x86_64-linux-gnu/c++/14/bits/stdc++.h:51,
                 from a.cc:1:
/usr/include/c++/14/bits/stl_algobase.h:257:5: note: candidate: 'template<class _Tp> constexpr const _Tp& std::max(const _Tp&, const _Tp&)'
  257 |     max(const _Tp& __a, const _Tp& __b)
      |     ^~~
/usr/include/c++/14/bits/stl_algobase.h:257:5: note:   template argument deduction/substitution failed:
a.cc:10:27: note:   deduced conflicting types for parameter 'const _Tp' ('long long int' and 'int')
   10 | #define chmax(x,y) x = max(x,y)
      |                        ~~~^~~~~
a.cc:32:13: note: in expansion of macro 'chmax'
   32 |     if (ok) chmax(ans, __builtin_popcount(i));
      |             ^~~~~
/usr/include/c++/14/bits/stl_algobase.h:303:5: note: candidate: 'template<class _Tp, class _Compare> constexpr const _Tp& std::max(const _Tp&, const _Tp&, _Compare)'
  303 |     max(const _Tp& __a, const _Tp& __b, _Compare __comp)
      |     ^~~
/usr/include/c++/14/bits/stl_algobase.h:303:5: note:   candidate expects 3 arguments, 2 provided
In file included from /usr/include/c++/14/algorithm:61:
/usr/include/c++/14/bits/stl_algo.h:5706:5: note: candidate: 'template<class _Tp> constexpr _Tp std::max(initializer_list<_Tp>)'
 5706 |     max(initializer_list<_Tp> __l)
      |     ^~~
/usr/include/c++/14/bits/stl_algo.h:5706:5: note:   candidate expects 1 argument, 2 provided
/usr/include/c++/14/bits/stl_algo.h:5716:5: note: candidate: 'template<class _Tp, class _Compare> constexpr _Tp std::max(initializer_list<_Tp>, _Compare)'
 5716 |     max(initializer_list<_Tp> __l, _Compare __comp)
      |     ^~~
/usr/include/c++/14/bits/stl_algo.h:5716:5: note:   template argument deduction/substitution failed:
a.cc:10:27: note:   mismatched types 'std::initializer_list<_Tp>' and 'long long int'
   10 | #define chmax(x,y) x = max(x,y)
      |                        ~~~^~~~~
a.cc:32:13: note: in expansion of macro 'chmax'
   32 |     if (ok) chmax(ans, __builtin_popcount(i));
      |             ^~~~~