【Codeforces 1257G Divisor Set】【Dilworth定理+分治FFT】

题意

设$x=p_1{p}_2\cdots p_n$，其中$p_i$为质数，要求在$x$的所有约数中选出尽可能多的数组成一个集合，使得集合内的数互不整除，NTT模数。
$n\le 2\ast 10^5,p_i\le 3\ast 10^6$

分析

比赛结束前几分钟才想到所以时间不够，果然退役之后手速下降的厉害啊。
把每个数向它的约数连边得到一个DAG，那么要求的就是最长反链，用Dilworth定理转化成求最小链覆盖。
如果把每个点按照素数的指数和分层，显然这是个分层图，那么最小链覆盖显然就是最大的那一层的点数。
而用归纳法不难证明$n/2$上取整层的系数是最大的，直接上分治FFT即可。
时间复杂度 O