結果
| 問題 | 
                            No.1424 Ultrapalindrome
                             | 
                    
| コンテスト | |
| ユーザー | 
                             | 
                    
| 提出日時 | 2020-12-28 05:33:32 | 
| 言語 | C++17(gcc12)  (gcc 12.3.0 + boost 1.87.0)  | 
                    
| 結果 | 
                             
                                CE
                                 
                             
                            
                            (最新)
                                AC
                                 
                             
                            (最初)
                            
                            
                         | 
                    
| 実行時間 | - | 
| コード長 | 2,770 bytes | 
| コンパイル時間 | 329 ms | 
| コンパイル使用メモリ | 25,088 KB | 
| 最終ジャッジ日時 | 2025-01-17 07:48:47 | 
| 
                            ジャッジサーバーID (参考情報)  | 
                        judge1 / judge5 | 
(要ログイン)
コンパイルエラー時のメッセージ・ソースコードは、提出者また管理者しか表示できないようにしております。(リジャッジ後のコンパイルエラーは公開されます)
ただし、clay言語の場合は開発者のデバッグのため、公開されます。
            
            
            
            
            ただし、clay言語の場合は開発者のデバッグのため、公開されます。
コンパイルメッセージ
main.cpp:1:10: fatal error: testlib.h: No such file or directory
    1 | #include "testlib.h"
      |          ^~~~~~~~~~~
compilation terminated.
            
            ソースコード
#include "testlib.h"
#include <iostream>
#include <sstream>
#include <fstream>
#include <iomanip>
#include <string>
#include <cstdlib>
#include <cstdio>
#include <cstring>
#include <cmath>
#include <ctime>
#include <climits>
#include <cassert>
#include <vector>
#include <queue>
#include <stack>
#include <deque>
#include <set>
#include <map>
#include <bitset>
#include <utility>
#include <algorithm>
#define forn(i, n) for (int i = 0; i < int(n); i++)
using namespace std;
int leader(vector<int>& dsu, int idx)
{
    return dsu[idx] == idx ? dsu[idx] : (dsu[idx] = leader(dsu, dsu[idx]));
}
bool merge(vector<int>& dsu, int a, int b)
{
    a = leader(dsu, a);
    b = leader(dsu, b);
    if (a == b)
        return false;
    else
    {
        if (rnd.next(2) == 0)
            dsu[a] = b;
        else
            dsu[b] = a;
        return true;
    }
}
int main(int argc, char* argv[])
{
    registerValidation(argc, argv);
    int n = inf.readInt(2, 100000, "n");
    inf.readEoln();
    vector<vector<int>> adj(n, vector<int>());
    vector<int> dsu(n);
    forn(i, n)
        dsu[i] = i;
    set<pair<int,int> > edges;
    forn(i, n - 1)
    {
        int x = inf.readInt(1, n, "x_i");
        inf.readSpace();
        int y = inf.readInt(1, n, "y_i");
        inf.readEoln();
        ensuref(x != y, "Tree can't contain loops");
        ensuref(edges.count(make_pair(x, y)) == 0, "Tree can't contain multiple edges between a pair of vertices");
        edges.insert(make_pair(x, y));
        edges.insert(make_pair(y, x));
        ensuref(merge(dsu, x - 1, y - 1), "Tree can't contain cycles");
        adj[x - 1].push_back(y - 1);
        adj[y - 1].push_back(x - 1);
    }
    inf.readEof();
    vector<int> lst;
    for (int i = 0; i < n; i++)
    {
        if (adj[i].size() >= 3)
        {
            lst.push_back(i);
        }
    }
    if (lst.size() >= 2)
    {
        cout << "No" << endl;
    }
    else if (lst.size() == 0)
    {
        cout << "Yes" << endl;
    }
    else {
        set<int> lens;
        queue<pair<int, pair<int, int>>> que;
        que.push(make_pair(lst[0], make_pair(-1, 0)));
        while (!que.empty())
        {
            auto data = que.front();
            que.pop();
            int v = data.first;
            int p = data.second.first;
            int d = data.second.second;
            bool isleaf = true;
            for (int w : adj[v])
            {
                if (w != p)
                {
                    isleaf = false;
                    que.push(make_pair(w, make_pair(v, d + 1)));
                }
            }
            if (isleaf)
            {
                lens.insert(d);
            }
        }
        cout << (lens.size() == 1 ? "Yes" : "No") << endl;
    }
}