#P10829. [COTS/CETS 2023] 三元图 Graf

    ID: 10284 远端评测题 2000ms 512MiB 尝试: 0 已通过: 0 难度: 6 上传者: 标签>点分治2023O2优化CEOI(中欧)COCI(克罗地亚)圆方树

[COTS/CETS 2023] 三元图 Graf

题目背景

译自 Izborne Pripreme 2023 (Croatian IOI/CEOI Team Selection) D1T1。2s,0.5G\texttt{2s,0.5G}

祝 NaCly_Fish 生日快乐!(2024.7.28)

题目描述

对于非负整数 kk,我们递归地给出 kk-{}三元图的定义。

  • kk-{}三元图是无向图。
  • 对于 k=0k=0kk-{}三元图 是一个仅包含 11 个节点和 00 条边的图。
  • 对于 k>0k\gt 0kk-{}三元图由三个 (k1)(k-1)-{}三元图组合而成。具体地说,在这三个 (k1)(k-1)-{}三元图中各选择一个节点,然后在这三个节点之间两两连边,得到的就是 kk-{}三元图。

下图展示了一张 33-{}三元图。

给定无向图 GG,判断它是否是 kk-{}三元图。

输入格式

第一行,两个正整数,N,MN,M,表示 GG 的点数和边数。

接下来 MM 行,每行两个正整数 u,vu,v,表示 GG 中的一条边 (u,v)(u,v)

输出格式

如果 GGkk-{}三元图,输出 da\texttt{da}(克罗地亚语「是」);否则输出 ne\texttt{ne}(克罗地亚语「否」)。

3 3
1 2
2 3
3 1
da
9 12
1 2
2 3
3 1
3 4
4 5
3 5
5 6
6 7
7 5
7 8
9 8
7 9
ne
9 12
1 2
2 3
3 1
4 5
5 6
6 4
7 8
8 9
9 7
1 7
7 4
4 1
da

提示

样例解释

样例 33 解释:这是一张 22-{}三元图。

数据范围

对于 100%100\% 的数据,保证:

  • 1N2000001\le N\le 200\, 0000M3000000\le M\le 300\, 000
  • 1u,vN1\le u,v\le N
子任务编号 分值 约束
11 1515 N10N \leq 10M20M\le 20
22 2020 N1000N \leq 1000M2000M\le 2000
33 1515 满足特殊性质
44 5050 无额外约束

特殊性质:若 GGkk-{}三元图,保证每一步选择的 33 个节点在之前已经被选中过。换句话说,总是选中「中间的节点」。