「NOI2015」程序自动分析

发布于 2018-01-08

题目描述 题目描述 在实现程序自动分析的过程中,常常需要判定一些约束条件是否能被同时满足。


二分图最大匹配

发布于 2018-01-07

二分图定义 二分图是图论中的一种特殊模型,是图论中的一种特殊的模型。我们设$ G(V,E) $是一个无向图,如果顶点$ V $能被 …