結果
| 問題 | 
                            No.3031 曲面の向き付け
                             | 
                    
| コンテスト | |
| ユーザー | 
                             | 
                    
| 提出日時 | 2025-02-22 08:49:38 | 
| 言語 | C++17  (gcc 13.3.0 + boost 1.87.0)  | 
                    
| 結果 | 
                             
                                AC
                                 
                             
                            
                         | 
                    
| 実行時間 | 69 ms / 2,000 ms | 
| コード長 | 1,081 bytes | 
| コンパイル時間 | 4,676 ms | 
| コンパイル使用メモリ | 259,348 KB | 
| 実行使用メモリ | 9,144 KB | 
| 最終ジャッジ日時 | 2025-02-22 08:49:48 | 
| 合計ジャッジ時間 | 7,724 ms | 
| 
                            ジャッジサーバーID (参考情報)  | 
                        judge1 / judge5 | 
(要ログイン)
| ファイルパターン | 結果 | 
|---|---|
| sample | AC * 4 | 
| other | AC * 29 | 
ソースコード
#include <bits/stdc++.h>
#include <atcoder/all>
using namespace std;
using ll = long long;
int main(){
    ios::sync_with_stdio(false);
    cin.tie(0);
    int m, a, b, c;
    cin >> m;
    vector<pair<ll,int>> ca(3 * m);
    for(int i = 1, ci = 0; i <= m; i++){
        cin >> a >> b >> c;
        ca[ci++] = {(ll)(a) << 30 | b, i};
        ca[ci++] = {(ll)(b) << 30 | c, i};
        ca[ci++] = {(ll)(a) << 30 | c, -i};
    }
    sort(ca.begin(), ca.end());
    atcoder::dsu uf(2 * ++m);
    auto add = [&](int u, int v, int d){
        if(d >= 0)uf.merge(u, v), uf.merge(u + m, v + m);
        else uf.merge(u + m, v), uf.merge(u, v + m);
        if(uf.same(u, u + m)) cout << "NO\n", exit(0);
    };
    for(int r = 0; r < ca.size(); ){
        int l = r;
        while(r < ca.size() && get<0>(ca[r]) == get<0>(ca[l])) r++;
        for(int i = l; i < r; i++){
            auto [k1, v] = ca[i];
            for(int j = i + 1; j < r; j++){
                auto [k2, u] = ca[j];
                add(abs(v), abs(u), v ^ u ^ -1);
            }
        }
    }
    cout << "YES\n";
}