結果

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

ソースコード

diff # 

#include <iostream>
#include <string>
#include <vector>
#include <algorithm>
#include <map>
#include <atcoder/modint>
using namespace std;
using i32 = int;
using u32 = unsigned int;
using i64 = long long;
using u64 = unsigned long long;
#define rep(i,n) for(int i=0; i<(int)(n); i++)
const i64 INF = 1001001001001001001;

i64 GCD(i64 a, i64 b){ return b ? GCD(b,a%b) : a; }

using Modint = atcoder::static_modint<998244353>;


int main(){
    int N, M; cin >> N >> M;
    map<i64, int> Q0;
    vector<i64> E(40, 0);
    rep(i,M){
        int u, v; cin >> u >> v; u--; v--;
        E[i] = (1ll << u) ^ (1ll << v);
    }
    i64 C = 0;
    rep(i,N){ int a; cin >> a; C |= (i64)a << i; }
    rep(i,1<<20){
        i64 q = 0;
        rep(j,20) if(i&(1<<j)) q ^= E[j];
        int f = __builtin_popcount(i);
        auto I = Q0.find(q);
        if(I == Q0.end()) I = Q0.emplace(q, 1001001).first;
        I->second = min(I->second, f);
    }
    int ans = 1001001;
    rep(i,1<<20){
        i64 q = 0;
        rep(j,20) if(i&(1<<j)) q ^= E[20+j];
        auto I = Q0.find(C ^ q);
        if(I != Q0.end()) ans = min(ans, __builtin_popcount(i) + I->second);
    }
    if(ans >= 10000) ans = -1;
    cout << ans << endl;
    return 0;
}



struct ios_do_not_sync{
    ios_do_not_sync(){
        ios::sync_with_stdio(false);
        cin.tie(nullptr);
    }
} ios_do_not_sync_instance;
0