#pragma GCC optimize ( "O3" ) #pragma GCC optimize( "unroll-loops" ) #pragma GCC target ( "sse4.2,fma,avx2,popcnt,lzcnt,bmi2" ) #include using namespace std; #define TYPE_OF( VAR ) remove_const::type >::type #define UNTIE ios_base::sync_with_stdio( false ); cin.tie( nullptr ) #define CEXPR( LL , BOUND , VALUE ) constexpr LL BOUND = VALUE #define CIN( LL , A ) LL A; cin >> A #define ASSERT( A , MIN , MAX ) assert( ( MIN ) <= A && A <= ( MAX ) ) #define CIN_ASSERT( A , MIN , MAX ) CIN( TYPE_OF( MAX ) , A ); ASSERT( A , MIN , MAX ) #define FOR( VAR , INITIAL , FINAL_PLUS_ONE ) for( TYPE_OF( FINAL_PLUS_ONE ) VAR = INITIAL ; VAR < FINAL_PLUS_ONE ; VAR ++ ) #define QUIT return 0 #define COUT( ANSWER ) cout << ( ANSWER ) << "\n" #define RETURN( ANSWER ) COUT( ANSWER ); QUIT int main() { UNTIE; CEXPR( int , bound_N , 1 << 8 ); CIN_ASSERT( N , 1 , bound_N ); CEXPR( int , bound_M , 1 << 16 ); CIN_ASSERT( M , 1 , N < 16 ? 1 << N : bound_M ); static bitset s[bound_M] = {}; FOR( m , 0 , M ){ cin >> s[m]; } bitset ambient{}; FOR( i , 0 , N ){ ambient[i] = 1; } FOR( i , 0 , N ){ bitset cap = ambient; bitset cup{}; cup[i] = 1; FOR( m , 0 , M ){ bitset& s_m = s[m]; if( s_m[i] == 1 ){ cap &= s_m; } else { cup |= s_m; } } if( ( ( ~cup ) & cap ) != 0 ){ RETURN( "No" ); } } RETURN( "Yes" ); }