結果
| 問題 |
No.1295 木と駒
|
| コンテスト | |
| ユーザー |
chocorusk
|
| 提出日時 | 2020-11-20 23:09:44 |
| 言語 | C++17 (gcc 13.3.0 + boost 1.87.0) |
| 結果 |
AC
|
| 実行時間 | 323 ms / 2,000 ms |
| コード長 | 4,062 bytes |
| コンパイル時間 | 1,634 ms |
| コンパイル使用メモリ | 135,816 KB |
| 最終ジャッジ日時 | 2025-01-16 03:10:16 |
|
ジャッジサーバーID (参考情報) |
judge4 / judge2 |
(要ログイン)
| ファイルパターン | 結果 |
|---|---|
| sample | AC * 1 |
| other | AC * 48 |
ソースコード
#include <cstdio>
#include <cstring>
#include <iostream>
#include <string>
#include <cmath>
#include <bitset>
#include <vector>
#include <map>
#include <set>
#include <queue>
#include <deque>
#include <algorithm>
#include <complex>
#include <unordered_map>
#include <unordered_set>
#include <random>
#include <cassert>
#include <fstream>
#include <utility>
#include <functional>
#include <time.h>
#include <stack>
#include <array>
#define popcount __builtin_popcount
using namespace std;
typedef long long int ll;
typedef pair<int, int> P;
int n;
vector<int> g[100010];
int mn[100010];
bool dp[100010];
bool dp2[100010];//xの親側行って帰ってこれるか
bool ep[100010], ep2[100010];//xの親側行けるか
int par[100010];
void dfs(int x, int p){
dp[x]=1;
par[x]=p;
int mn=1e9, mx=-1;
for(auto y:g[x]){
if(y==p) continue;
mn=min(mn, y), mx=max(mx, y);
dfs(y, x);
if(!dp[y] || g[y][0]!=x){
dp[x]=0;
}
}
if(mx==-1){
ep[x]=1;
return;
}
bool ok1=ep[mx];
for(auto y:g[x]){
if(y==p) continue;
if(mx!=y && (!dp[y] || g[y][0]!=x)){
ok1=0;
}
}
bool ok2=ep[mn];
if(mn>par[x]) ok2=0;
for(auto y:g[x]){
if(y==p) continue;
if(mn!=y && (!dp[y] || g[y][0]!=x)){
ok2=0;
}
}
if(ok1 || ok2) ep[x]=1;
}
void dfs2(int x, int p){
int y0=g[x][0];
int cnt=0;
for(auto y:g[x]){
if(y==p){
if(dp2[x]) cnt++;
}else if(y!=y0){
if(dp[y] && g[y][0]==x) cnt++;
}
}
if(y0!=p && cnt==(int)g[x].size()-1){
dp2[y0]=1;
}
set<int> st;
for(auto y:g[x]) st.insert(y);
cnt=0;
for(auto y:g[x]){
if(y==p){
if(dp2[x]) cnt++;
}else{
if(dp[y] && g[y][0]==x) cnt++;
}
}
for(auto y:g[x]){
if(y==p) continue;
int cnt1=0, cnt2=0;
if(y==p){
if(dp2[x]) cnt1++;
}else{
if(dp[y] && g[y][0]==x) cnt1++;
}
st.erase(y);
int mx=*st.rbegin();
if(mx==p){
if(dp2[x]) cnt2++;
}else{
if(dp[mx] && g[mx][0]==x) cnt2++;
}
bool e=0;
if(mx==par[x]) e=ep2[x];
else e=ep[mx];
if(cnt-cnt1-cnt2==(int)g[x].size()-2 && e){
ep2[y]=1;
}
int mn=*st.begin();
cnt2=0;
if(mn==p){
if(dp2[x]) cnt2++;
}else{
if(dp[mn] && g[mn][0]==x) cnt2++;
}
e=0;
if(mn==par[x]) e=ep2[x];
else e=ep[mn];
if(mn<y && cnt-cnt1-cnt2==(int)g[x].size()-2 && e){
ep2[y]=1;
}
st.insert(y);
}
for(auto y:g[x]){
if(y!=p) dfs2(y, x);
}
}
int main()
{
cin>>n;
for(int i=0; i<n-1; i++){
int a, b; cin>>a>>b;
a--; b--;
g[a].push_back(b);
g[b].push_back(a);
}
if(n==2){
cout<<"Yes"<<endl;
cout<<"Yes"<<endl;
return 0;
}
int r=0;
for(int i=0; i<n; i++){
sort(g[i].begin(), g[i].end());
if(g[i].size()>1) r=i;
}
dfs(r, -1);
dfs2(r, -1);
for(int x=0; x<n; x++){
bool ok1=1;
if(g[x][0]==par[x]){
ok1=ep2[x];
}else{
ok1=ep[g[x][0]];
}
for(int i=1; i<g[x].size(); i++){
int y=g[x][i];
if(y==par[x]){
if(!dp2[x]) ok1=0;
}else{
if(!dp[y] || g[y][0]!=x) ok1=0;
}
}
bool ok2=1;
if(g[x].back()==par[x]){
ok2=ep2[x];
}else{
ok2=ep[g[x].back()];
}
for(int i=0; i<(int)g[x].size()-1; i++){
int y=g[x][i];
if(y==par[x]){
if(!dp2[x]) ok2=0;
}else{
if(!dp[y] || g[y][0]!=x) ok2=0;
}
}
if(ok1 || ok2) cout<<"Yes"<<endl;
else cout<<"No"<<endl;
}
return 0;
}
chocorusk