@hsfzLZH1 https://www.luogu.org/blog/[hsfzLZH1](/space/show?uid=43486)/chord-graph

感谢投稿，已经加入候选队列

把N(a)的定义放到上面去。

@HoshinoTented https://www.luogu.org/blog/[HoshinoTented](/space/show?uid=124166)/qian-tan-gadt-yu-dependent-type

感谢投稿，已经加入候选队列

我感觉没人看

@隔壁的张栩嘉

感谢投稿，不予通过