上班了开始工作在家没事做

题目很好懂， 讲下思路；把每个命题看成节点， 推导视为有向边， 得到一个有向图G， 那么题意就是如何添加边， 使G强连通（每个点都能互相到达）， 把G中的强连通分量找出后， 缩成一个点使G变成一个DAG， 接下来设这个DAG上有a个节点出度使0， b个节点入度为0， max（a， b）这就没什么好证明的了， 很显然是这样的。。。code#include #include #in

最大团，problem:给一个有向图G， 求一个节点数最大的点集， 使得该点集中的任意两个节点至少要有一条路径->那么可知， G中的SCC要么都选， 要么都不选（不选是因为这是有向图选了之后的无法纳入范围）， 那么问题就简单了将每个SCC缩成一个点， 变成在DAG上DP->code:#include #include #include #include usin