Frnas

摘要： codeforces 1325 F. Ehab's Last Theorem 题意： ​ 给一个$n$个点的无向图（无重边、自环），要找出包含不少于$⌈n⌉$个点的简单环或独立集。 题解： ​ 性质： 如果无向图中不存在不少于$⌈n⌉$个点的简单环，则必然存在不少于$⌈n⌉$个点的独立集。 ​ 证明 阅读全文