結果

問題 No.2236 Lights Out On Simple Graph
ユーザー asaringo
提出日時 2023-03-04 17:51:12
言語 C++17
(gcc 13.3.0 + boost 1.87.0)
結果
AC  
実行時間 544 ms / 4,000 ms
コード長 2,274 bytes
コンパイル時間 2,180 ms
コンパイル使用メモリ 209,720 KB
最終ジャッジ日時 2025-02-11 05:21:19
ジャッジサーバーID
（参考情報） 		judge3 / judge5
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 3
other AC * 57
権限があれば一括ダウンロードができます

ソースコード

diff # 

#include <bits/stdc++.h>
using namespace std ;
#define fast_input_output ios::sync_with_stdio(false); cin.tie(nullptr);
// #pragma GCC target("avx2")
// #pragma GCC optimize("O3")
#pragma GCC target("avx")
#pragma GCC optimize("Ofast")
#pragma GCC optimize("unroll-loops")
typedef long long ll ;
typedef long double ld ;
typedef pair<ll,ll> P ;
typedef tuple<ll,ll,ll> TP ;
#define chmin(a,b) a = min(a,b)
#define chmax(a,b) a = max(a,b)
#define bit_count(x) __builtin_popcountll(x)
#define gcd(a,b) __gcd(a,b)
#define lcm(a,b) a / gcd(a,b) * b
#define rep(i,n) for(int i = 0 ; i < n ; i++)
#define rrep(i,a,b) for(int i = a ; i < b ; i++)
#define repi(it,S) for(auto it = S.begin() ; it != S.end() ; it++)
#define pt(a) cout << a << endl
#define DEBUG(...) ; cout << #__VA_ARGS__ << endl ; for(auto x : {__VA_ARGS__}) cout << x << "  " ; cout << endl ;
#define DEBUG_LIST(...) cout << #__VA_ARGS__ << endl ; DEBUG_REP(__VA_ARGS__) ;
#define DEBUG_REP(V) cout << "{ " ; repi(itr,V) cout << *itr << ", " ; cout << "}" << endl ;
#define debug(a) cout << #a << " " << a << endl
#define all(a) a.begin(), a.end()
#define endl "\n"

int n, m;

vector<int> A, B, C;
vector<bool> X[1<<20];
vector<bool> Y[1<<20];

int main(){
    fast_input_output
    cin >> n >> m;
    A.resize(m);
    B.resize(m);
    C.resize(n);
    rep(i,m) cin >> A[i] >> B[i], A[i]--, B[i]--;
    rep(i,n) cin >> C[i];
    vector<pair<ll,int>> vec;
    rep(S,1<<m/2){
        vector<int> U(n,0);
        rep(i,m/2){
            if(S >> i & 1) {
                U[A[i]] ^= 1;
                U[B[i]] ^= 1;
            }
        }
        ll res = 0;
        rep(i,n) {
            res *= 2;
            res += (U[i] ^ C[i]);
        }
        vec.push_back({res,bit_count(S)});
    }
    sort(all(vec));
    int ans = 1e8;
    rep(S,1<<(m-m/2)){
        vector<int> U(n,0);
        rep(i,m-m/2){
            if(S >> i & 1) {
                U[A[i+m/2]] ^= 1;
                U[B[i+m/2]] ^= 1;
            }
        }
        ll res = 0;
        rep(i,n) {
            res *= 2;
            res += U[i];
        }
        auto it = lower_bound(all(vec),pair<ll,int>(res,-1));
        if((*it).first == res) chmin(ans,(*it).second + bit_count(S));
    }
    if(ans == 1e8) ans = -1;
    cout << ans << endl;
}
0