#P11391. [COCI 2024/2025 #1] 疑惑 / Zbunjenost

    ID: 12751 远端评测题 5000ms 500MiB 尝试: 0 已通过: 0 显示难度省选/NOI− 上传者: 标签>2024树形 DPCOCI(克罗地亚)

[COCI 2024/2025 #1] 疑惑 / Zbunjenost

背景

译自 COCI 2024/2025 #1 T5。5s,0.5G\texttt{5s,0.5G}。满分为 120120。

题目描述

给定一个 nn 个顶点的凸包和它的三角剖分。

可以认为点按照顺时针顺序标号 1∼n1\sim n,也就是说,∀1≤i≤n\forall 1\le i\le n,点 ii 和点 (i mod n+1)(i\bmod n+1) 间有边相连。

定义一条长度为 mm(m≥3m\ge 3)的简单回路 a0,a1,⋯ ,am−1a_0,a_1,\cdots,a_{m-1} 为满足以下条件的序列:

  • ∀i∈[0,m)\forall i\in [0,m),1≤ai≤n1\le a_i\le n;
  • ∀0≤i<j<m\forall 0\le i\lt j\lt m,ai≠aja_i\neq a_j;
  • ∀i∈[0,m)\forall i\in [0,m),顶点 ai,a(i+1) mod ma_i,a_{(i+1)\bmod m} 间有边相连。

定义两条回路本质相同,当且仅当一条回路可以通过翻转(reverse)或者循环移位或者翻转+循环移位得到另一条回路。

求出凸包内本质不同的回路条数,对 (109+7)(10^9+7) 取模。

输入格式

第一行,一个正整数 nn。

接下来 (n−3)(n-3) 行,每行两个正整数 x,yx,y,描述三角剖分的一条边。

输出格式

输出一行一个整数,表示答案对 (109+7)(10^9+7) 取模后的结果。

4 
1 3
3
5
1 3
3 5
6
6
2 4
4 6
6 2
11

提示

样例解释

  • 样例 11 解释:[1,2,3][1,2,3],[1,4,3][1,4,3],[1,2,3,4][1,2,3,4] 是合法的回路。
  • 样例 22 解释:[1,2,3][1, 2, 3],[1,3,5][1, 3, 5],[3,4,5][3, 4, 5],[1,2,3,5][1, 2, 3, 5],[1,3,4,5][1, 3, 4, 5],[1,2,3,4,5][1, 2, 3, 4, 5] 是合法的回路。
  • 样例 33 解释:[1,2,6][1, 2, 6],[2,3,4][2, 3, 4],[4,5,6][4, 5, 6],[2,4,6][2, 4, 6],[1,2,4,6][1, 2, 4, 6],[2,3,4,6][2, 3, 4, 6],[2,4,5,6][2, 4, 5, 6],[1,2,3,4,6][1, 2, 3, 4, 6],[2,3,4,5,6][2, 3, 4, 5, 6],[1,2,4,5,6][1, 2, 4, 5, 6],[1,2,3,4,5,6][1, 2, 3, 4, 5, 6] 是合法的回路。

子任务

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

  • 1≤n≤2×1051\le n\le 2\times 10^5;
  • 给定的是合法三角剖分。
子任务编号 n≤n\le 特殊性质 得分
1 1 1515 13 13
2 2 300300 18 18
3 3 2×1032\times 10^3 34 34
4 4 2×1052\times 10^5 A 15 15
5 5 40 40
  • 特殊性质 A:∀3≤i≤n−1\forall 3\le i\le n-1,点 11 与点 ii 间有边相连。