結果

問題 No.2914 正閉路検出
ユーザー maksimmaksim
提出日時 2024-10-04 23:01:45
言語 C++14
(gcc 12.3.0 + boost 1.83.0)
結果
AC  
実行時間 451 ms / 2,000 ms
コード長 3,073 bytes
コンパイル時間 2,291 ms
コンパイル使用メモリ 190,576 KB
実行使用メモリ 52,072 KB
最終ジャッジ日時 2024-10-04 23:02:06
合計ジャッジ時間 13,332 ms
ジャッジサーバーID
（参考情報） 		judge2 / judge5
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 3 ms
6,528 KB
testcase_01 AC 2 ms
6,528 KB
testcase_02 AC 3 ms
6,656 KB
testcase_03 AC 3 ms
6,656 KB
testcase_04 AC 3 ms
6,528 KB
testcase_05 AC 3 ms
6,528 KB
testcase_06 AC 3 ms
6,528 KB
testcase_07 AC 2 ms
6,656 KB
testcase_08 AC 3 ms
6,656 KB
testcase_09 AC 3 ms
6,656 KB
testcase_10 AC 3 ms
6,528 KB
testcase_11 AC 2 ms
6,656 KB
testcase_12 AC 3 ms
6,656 KB
testcase_13 AC 3 ms
6,528 KB
testcase_14 AC 3 ms
6,528 KB
testcase_15 AC 2 ms
6,528 KB
testcase_16 AC 2 ms
6,656 KB
testcase_17 AC 3 ms
6,528 KB
testcase_18 AC 3 ms
6,656 KB
testcase_19 AC 46 ms
15,104 KB
testcase_20 AC 128 ms
25,856 KB
testcase_21 AC 26 ms
11,600 KB
testcase_22 AC 159 ms
29,696 KB
testcase_23 AC 105 ms
23,552 KB
testcase_24 AC 222 ms
33,740 KB
testcase_25 AC 15 ms
8,524 KB
testcase_26 AC 20 ms
10,448 KB
testcase_27 AC 270 ms
33,364 KB
testcase_28 AC 302 ms
37,324 KB
testcase_29 AC 323 ms
39,120 KB
testcase_30 AC 22 ms
10,568 KB
testcase_31 AC 260 ms
33,536 KB
testcase_32 AC 289 ms
37,708 KB
testcase_33 AC 22 ms
10,448 KB
testcase_34 AC 296 ms
38,984 KB
testcase_35 AC 321 ms
41,164 KB
testcase_36 AC 380 ms
41,548 KB
testcase_37 AC 226 ms
52,072 KB
testcase_38 AC 173 ms
43,340 KB
testcase_39 AC 315 ms
46,004 KB
testcase_40 AC 411 ms
51,448 KB
testcase_41 AC 335 ms
47,912 KB
testcase_42 AC 375 ms
51,716 KB
testcase_43 AC 396 ms
51,308 KB
testcase_44 AC 317 ms
45,624 KB
testcase_45 AC 387 ms
50,544 KB
testcase_46 AC 363 ms
50,280 KB
testcase_47 AC 389 ms
49,548 KB
testcase_48 AC 317 ms
46,412 KB
testcase_49 AC 360 ms
51,156 KB
testcase_50 AC 451 ms
49,700 KB
testcase_51 AC 133 ms
37,192 KB
testcase_52 AC 129 ms
36,300 KB
testcase_53 AC 125 ms
36,556 KB
testcase_54 AC 123 ms
36,192 KB
権限があれば一括ダウンロードができます
コンパイルメッセージ
main.cpp: In function 'void dfs(long long int)':
main.cpp:73:14: warning: structured bindings only available with '-std=c++17' or '-std=gnu++17' [-Wc++17-extensions]
   73 |     for(auto [v,w]:g[x])
      |              ^

ソースコード

diff # 

#include <bits/stdc++.h>

using namespace std;
#define int long long
const int p=998244353;
int po(int a,int b) {if(b==0) return 1; if(b==1) return a; if(b%2==0) {int u=po(a,b/2);return (u*1LL*u)%p;} else {int u=po(a,b-1);return (a*1LL*u)%p;}}
int inv(int x) {return po(x,p-2);}
mt19937 rnd;
#define app push_back
#define all(x) (x).begin(),(x).end()
#ifdef LOCAL
#define debug(...) [](auto...a){ ((cout << a << ' '), ...) << endl;}(#__VA_ARGS__, ":", __VA_ARGS__)
#define debugv(v) do {cout<< #v <<" : {"; for(int izxc=0;izxc<v.size();++izxc) {cout << v[izxc];if(izxc+1!=v.size()) cout << ","; }cout <<"}"<< endl;} while(0)
#else
#define debug(...)
#define debugv(v)
#endif
#define lob(a,x) lower_bound(all(a),x)
#define upb(a,x) upper_bound(all(a),x)
const int maxn=1e5+5;
map<pair<int,int>,int> ed;map<pair<int,int>,int> id;
vector<pair<int,int> > g[maxn];
bool used[maxn];
int pr[maxn];int pot[maxn];
void solve2(vector<int> v)
{
    int sum=0;
    for(int i=0;i<v.size();++i)
    {
        sum+=ed[{v[i],v[(i+1)%v.size()]}];
    }
    if(sum<0) {sum*=(-1);reverse(all(v));}
    assert(sum);
    cout<<v.size()<<'\n';
    cout<<v[0]+1<<'\n';
    for(int i=0;i<v.size();++i)
    {
        cout<<id[{v[i],v[(i+1)%v.size()]}]+1;if(i+1!=v.size()) cout<<' ';
    }
    exit(0);
}
void solve(int x,int y)
{
    debug(x,y);
    vector<int> vx,vy;
    vx.app(x);vy.app(y);
    while(pr[vx.back()]!=(-1)) {vx.app(pr[vx.back()]);}
    while(pr[vy.back()]!=(-1)) {vy.app(pr[vy.back()]);}
    debugv(vx);debugv(vy);
    map<int,int> posx;for(int i=0;i<vx.size();++i) {posx[vx[i]]=i;}
    vector<int> h;
    for(int i=0;i<vy.size();++i)
    {
        if(posx.count(vy[i]))
        {
            int j=posx[vy[i]];
            for(int s=j;s>=0;--s)
            {
                h.app(vx[s]);
            }
            solve2(h);
        }
        else
        {
            h.app(vy[i]);
        }
    }
    assert(false);
}
void dfs(int x)
{
    used[x]=true;
    for(auto [v,w]:g[x])
    {
        if(!used[v])
        {
            pr[v]=x;
            pot[v]=pot[x]+w;
            dfs(v);
        }
        else
        {
            if(pot[v]!=pot[x]+w)
            {
                solve(x,v);
            }
        }
    }
}
int32_t main()
{
    ios_base::sync_with_stdio(false);cin.tie(0);cout.tie(0);
    fill(pr,pr+maxn,-1);
    int n,m;cin>>n>>m;
    for(int i=0;i<m;++i)
    {
        int x,y,w;cin>>x>>y>>w;--x;--y;
        if(ed.count({x,y}) && ed[{x,y}]==w)
        {
            continue;
        }
        else if(ed.count({x,y}))
        {
            if(ed[{x,y}]-w>0)
                {
                    cout<<2<<'\n'<<x+1<<'\n'<<id[{x,y}]+1<<' '<<i+1;
                    return 0;
                }
                else {
                    cout<<2<<'\n'<<x+1<<'\n'<<i+1<<' '<<id[{x,y}]+1;
                    return 0;
                }
        }
        ed[{x,y}]=w;ed[{y,x}]=(-w);
        g[x].app({y,w});g[y].app({x,-w});id[{x,y}]=i;id[{y,x}]=i;
    }
    for(int i=0;i<n;++i)
    {
        if(!used[i]) {dfs(i);}
    }
    cout<<(-1);
    return 0;
}
0