結果

問題 No.2236 Lights Out On Simple Graph
ユーザー hiro71687khiro71687k
提出日時 2023-03-06 00:41:22
言語 C++17
(gcc 12.3.0 + boost 1.83.0)
結果
WA  
実行時間 -
コード長 2,551 bytes
コンパイル時間 4,065 ms
コンパイル使用メモリ 270,228 KB
実行使用メモリ 200,192 KB
最終ジャッジ日時 2024-09-18 01:46:01
合計ジャッジ時間 45,321 ms
ジャッジサーバーID
（参考情報） 		judge3 / judge2
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 2 ms
5,248 KB
testcase_01 AC 1 ms
5,376 KB
testcase_02 AC 2 ms
5,376 KB
testcase_03 AC 1,479 ms
200,064 KB
testcase_04 AC 805 ms
134,528 KB
testcase_05 AC 2 ms
5,376 KB
testcase_06 AC 1,072 ms
199,936 KB
testcase_07 AC 1,006 ms
101,760 KB
testcase_08 AC 2 ms
5,376 KB
testcase_09 WA -
testcase_10 AC 308 ms
44,416 KB
testcase_11 AC 70 ms
5,376 KB
testcase_12 AC 424 ms
52,608 KB
testcase_13 AC 33 ms
9,472 KB
testcase_14 AC 865 ms
101,632 KB
testcase_15 AC 23 ms
7,424 KB
testcase_16 AC 42 ms
11,776 KB
testcase_17 AC 136 ms
22,912 KB
testcase_18 AC 4 ms
5,376 KB
testcase_19 AC 98 ms
19,840 KB
testcase_20 AC 691 ms
101,760 KB
testcase_21 AC 97 ms
19,840 KB
testcase_22 AC 1,401 ms
200,192 KB
testcase_23 AC 1,487 ms
200,064 KB
testcase_24 AC 909 ms
101,632 KB
testcase_25 AC 187 ms
36,224 KB
testcase_26 AC 1,410 ms
200,064 KB
testcase_27 AC 684 ms
101,632 KB
testcase_28 AC 963 ms
134,528 KB
testcase_29 AC 90 ms
19,840 KB
testcase_30 AC 1,389 ms
199,936 KB
testcase_31 AC 1,464 ms
199,936 KB
testcase_32 AC 1,320 ms
200,064 KB
testcase_33 AC 1,454 ms
200,064 KB
testcase_34 AC 1,347 ms
199,936 KB
testcase_35 AC 1,453 ms
166,656 KB
testcase_36 AC 1,299 ms
136,576 KB
testcase_37 AC 1,597 ms
199,808 KB
testcase_38 AC 869 ms
36,224 KB
testcase_39 AC 636 ms
5,504 KB
testcase_40 AC 497 ms
44,288 KB
testcase_41 AC 95 ms
15,616 KB
testcase_42 AC 390 ms
52,480 KB
testcase_43 AC 25 ms
6,400 KB
testcase_44 AC 1,192 ms
84,352 KB
testcase_45 AC 1,300 ms
134,400 KB
testcase_46 AC 1,007 ms
101,632 KB
testcase_47 AC 1,178 ms
134,528 KB
testcase_48 AC 1,315 ms
150,912 KB
testcase_49 AC 1,011 ms
101,760 KB
testcase_50 AC 12 ms
5,376 KB
testcase_51 AC 237 ms
28,032 KB
testcase_52 AC 17 ms
5,376 KB
testcase_53 AC 1 ms
5,376 KB
testcase_54 AC 763 ms
52,352 KB
testcase_55 AC 864 ms
22,912 KB
testcase_56 AC 737 ms
15,360 KB
testcase_57 AC 856 ms
25,856 KB
testcase_58 WA -
testcase_59 AC 700 ms
12,288 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

#include <bits/stdc++.h>
#include <atcoder/all>
using namespace std;
using namespace atcoder;
using ll=long long;
using ld=long double;
ld pie=3.141592653589793;
ll inf=10010010010010010;
ll mod=998244353;
int main(){
    ll n,m;
    cin >> n >> m;
    vector<ll>a(m),b(m);
    for (ll i = 0; i < m; i++)
    {
        cin >> a[i] >> b[i];
        a[i]--,b[i]--;
    }
    vector<ll>c(n);
    vector<ll>two(50,1);
    for (ll i = 1; i < 50; i++)
    {
        two[i]=two[i-1]*2;
    }
    ll now=0;
    for (ll i = 0; i < n; i++)
    {
        cin >> c[i];
        now+=two[i]*c[i];
    }
    if (m==1)
    {
        bool ok=true;
        ll ans=0;
        for (ll i = 0; i < n; i++)
        {
            if (c[i]==1)
            {
                if ((a[0]==c[i]||b[0]==c[i])&&c[a[0]]==1&&c[b[0]]==1)
                {
                    c[a[0]]=0;
                    c[b[0]]=0;
                    ans+=1;
                }else{
                    ok=false;
                }
            }
        }
        if (ok)
        {
            cout << ans << endl;
        }else{
            cout << -1 << endl;
        }
        return 0;
    }
    
    map<ll,ll>dp1,dp2;
    ll x=m/2;
    for (ll i = 0; i < two[x]; i++)
    {
        ll y=now;
        ll kai=0;
        for (ll j = 0; j < x; j++)
        {
            if (i&two[j])
            {
                y^=two[a[j]];
                y^=two[b[j]];
                kai+=1;
            }
        }
        if (y==now)
        {
            dp1[y]=0;
        }else{
            if (dp1[y]==0)
            {
                dp1[y]=kai;
            }else{
                dp1[y]=min(dp1[y],kai);
            }
        }
    }
    x=m-x;
    for (ll i = 0; i < two[x]; i++)
    {
        ll y=0;
        ll kai=0;
        for (ll j = m/2; j < m; j++)
        {
            if (i&two[j-m/2])
            {
                y^=two[a[j]];
                y^=two[b[j]];
                kai+=1;
            }
        }
        if (y==now)
        {
            dp2[y]=0;
        }else{
            if (dp2[y]==0)
            {
                dp2[y]=kai;
            }else{
                dp2[y]=min(dp2[y],kai);
            }
        }
    }
    ll ans=inf;
    for(auto v:dp1){
        if (v.first==0)
        {
            ans=min(ans,v.second);
        }else{
            if (dp2[v.first]!=0)
            {
                ans=min(ans,v.second+dp2[v.first]);
            }
        }
    }
    if (ans==inf)
    {
        cout << -1 << endl;
        return 0;
    }
    
    cout << ans <<endl;
}
0