結果

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

ソースコード

diff # 

#include<bits/stdc++.h>
using namespace std;

int main(){
  ios::sync_with_stdio(false);
  cin.tie(nullptr);
  int N,M;
  cin>>N>>M;
  vector<array<int,2>>E1,E2;
  for(int i=0;i<M;i++){
    int a,b;
    cin>>a>>b;
    if(E1.size()>=20)E2.push_back({a-1,b-1});
    else E1.push_back({a-1,b-1});
  }
  vector<int>C(N);
  for(int &i:C)cin>>i;
  unordered_map<long long,int>ans;
  for(int i=0;i<1<<E1.size();i++){
    vector<int>c2=C;
    for(int j=0;j<E1.size();j++){
      if(i>>j&1){
        c2[E1[j][0]]=1-c2[E1[j][0]];
        c2[E1[j][1]]=1-c2[E1[j][1]];
      }
    }
    long long t=0;
    for(int j=0;j<N;j++){
      if(c2[j])t|=(1ll<<j);
    }
    if(ans.find(t)==ans.end()){
      ans[t]=__popcount(i);
    }else{
      ans[t]=min(ans[t],__builtin_popcount(i));
    }
  }
  int out=1e9;
  if(ans.find(0)!=ans.end())out=ans[0];
  for(int i=0;i<1<<E2.size();i++){
    vector<int>c2(N);
    for(int j=0;j<E2.size();j++){
      if(i>>j&1){
        c2[E2[j][0]]=1-c2[E2[j][0]];
        c2[E2[j][1]]=1-c2[E2[j][1]];
      }
    }
    long long t=0;
    for(int j=0;j<N;j++){
      if(c2[j])t|=(1ll<<j);
    }
    if(ans.find(t)!=ans.end()){
      out=min(out,ans[t]+__builtin_popcount(i));
    }
  }
  cout<<(out==1e9?-1:out)<<'\n';
}
0