在做计数 dp 专题时做到的:
有 nnn 个点。现在需要进行 n(n−1)n(n-1)n(n−1) 次操作,每次操作选择两个点 u,vu,vu,v 满足 u→vu\to vu→v 边不存在,然后连上 u→vu\to vu→v 的有向边。设 cic_ici 为第 iii 次操作后图上的强连通分量个数,求有多少种 ccc。n≤50n\le 50n≤50。
请问有没有谁能提供一下出处或者是具体做法或者是证明/证伪 这种做法 吗?谢谢!