题解:之前还是这个出题人出过一个“Ehab大定理”(Ehab's Last Theorem)。那题就是把$k$和$\lceil\frac{k}{2}\rceil$都改成了$\sqrt{n}$。解法几乎一致,就是先dfs生成树找环,然后再找独立集。那题找独立集还需要注意一下细节,这题想都不用想直接暴力找就可以了,写的时候并没有想明白为什么还是可以ac。证明如下:如果所有环都大于$k$,那么我们一定可以找到一个大小是$k$的子图,且这个子图是一颗树,一棵$k$个点的树一定可以找到一个恰好有$\lceil\frac{k}{2}\rceil$个点的独立集。
E
题意:交互题,猜一个$0$到$n-1$的排列。每次可以询问两个不同位置值的$OR$,最多询问$4269$(4396)次。$(3 \le n \le 2048)$