//#pragma GCC target("sse,sse2,sse3,ssse3,sse4,popcnt,abm,mmx,avx,avx2,avx512f") #pragma GCC target("sse,sse2,sse3,ssse3,sse4,popcnt,abm,mmx,avx") #pragma GCC optimize("O3") #pragma GCC optimize("unroll-loops") #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #ifdef DEBUG #include "./CompetitiveProgrammingCpp/Utils/debug.hpp" #include "./CompetitiveProgrammingCpp/Utils/Timer.hpp" #include "./CompetitiveProgrammingCpp/Utils/sample.hpp" #else #define dump(...) templateconstexpr inline auto d_val(T a, T b) { return a; } #endif /* macro */ #define FOR(i, b, e) for(ll i = (ll)(b); i < (ll)(e); ++i) #define RFOR(i, b, e) for(ll i = (ll)((e)-1); i >= (ll)(b); --i) #define REP(i, n) FOR(i, 0, (n)) #define RREP(i, n) RFOR(i, 0, (n)) #define REPC(x,c) for(const auto& x:(c)) #define REPI2(it,b,e) for(auto it = (b); it != (e); ++it) #define REPI(it,c) REPI2(it, (c).begin(), (c).end()) #define RREPI(it,c) REPI2(it, (c).rbegin(), (c).rend()) #define REPI_ERACE2(it, b, e) for(auto it = (b); it != (e);) #define REPI_ERACE(it, c) REPI_ERACE2(it, (c).begin(), (c).end()) #define ALL(x) (x).begin(),(x).end() #define cauto const auto& /* macro func */ template inline auto sort(T& t) { std::sort(ALL(t)); } template inline auto rsort(T& t) { std::sort((t).rbegin(), (t).rend()); } template inline auto unique(T& t) { (t).erase(unique((t).begin(), (t).end()), (t).end()); } template inline auto chmax(T& t, const S& s) { if(s > t) { t = s; return true; } return false; } template inline auto chmin(T& t, const S& s) { if(s < t) { t = s; return true; } return false; } inline auto BR() { std::cout << "\n"; } /* type define */ using ll = long long; using VS = std::vector; using VL = std::vector; using VVL = std::vector; using VVVL = std::vector; using VVVVL = std::vector; using VVVVVL = std::vector; using VD = std::vector; template using V = std::vector; template using P = std::pair; using PAIR = P; /* using std */ using std::cout; constexpr char endl = '\n'; using std::cin; using std::pair; using std::string; using std::stack; using std::queue; using std::deque; using std::vector; using std::list; using std::map; using std::unordered_map; using std::multimap; using std::unordered_multimap; using std::set; using std::unordered_set; using std::unordered_multiset; using std::multiset; using std::bitset; using std::priority_queue; /* Initial processing */ struct Preprocessing { Preprocessing() { std::cin.tie(0); std::ios::sync_with_stdio(0); }; }_Preprocessing; /* define hash */ namespace std { template <> class hash> { public: size_t operator()(const std::pair& x) const { return hash()(1000000000 * x.first + x.second); } }; } /* input */ template std::istream& operator >> (std::istream& is, vector& vec) { for(T& x : vec) is >> x; return is; } /* constant value */ // constexpr ll MOD = 1000000007; constexpr ll MOD = 998244353; //============================================================================================= auto Y = [](auto f) { return [=](auto&&... args) { return f(f, std::forward(args)...); }; }; auto solve(ll n, ll m, const VS& v) { auto rec = Y([&](auto&& self, const VL& st, ll idx) { if(idx == m) { return (st.size() == 1); } ll size = st.size(); VL l, r; REPC(i, st) { ((v[idx][i] == '0') ? l : r).emplace_back(i); } bool ans = true; if(!l.empty() && l.size() > 1) { ans &= self(self, l, idx + 1); } if(!r.empty() && r.size() > 1) { ans &= self(self, r, idx + 1); } return ans; }); VL all(n); std::iota(ALL(all), 0); return rec(all, 0); } auto solve_c(ll n, ll m, const VS& v) { REP(i, n)FOR(j, i + 1, n) { bool ok = false; REPC(s, v) { if(s[i] != s[j]) { ok = true; break; } } if(!ok) { return false; } } return true; } signed main() { #ifndef TEST ll n, m; cin >> n >> m; VS v(m); cin >> v; auto ans = solve(n, m, v); cout << (ans ? "Yes" : "No") << endl; #else auto gen = Sample::SampleGenerator(); REP(_, 10000) { constexpr ll LEN = 100; constexpr ll MAX = 100; auto [n, m] = gen.generate(PAIR{1,LEN}, PAIR{1,MAX}); chmin(m, std::pow(2, n)); VS v; v.reserve(m); REP(_, m) { auto [s_] = gen.generate(V(n, {'0','1'})); v.emplace_back(ALL(s_)); } auto ans = solve(n, m, v); auto ans_c = solve_c(n, m, v); if(ans != ans_c) { cout << n << endl << m << endl; REPC(s, v) { cout << s << endl; } dump(ans, ans_c); return 0; } } #endif }