这一道题目蓝书上说的有错,不应该用等价这个词
实际上,原图中任意一种连边方案(无论是否相交)与二分图的一个完备匹配构成双射
而由于我们只用求一种方案,又证明了二分图的带权最小匹配一定是不相交的,所以可以这么求
那数据保证有解的意思是什么?原图一定是二分图,也就一定有带权最小匹配啊,为什么数据要保证有解?
这就涉及我们证明的过程了,我们的证明是要求三点不共线的,所以数据保证有解的意思其实是三点不共线(见洛谷对应题目)
然后再看看LYD的题解,将\(O(n^4)\)优化成\(O(n^3)\)
注意这道题目还没有打卡
标签:二分,原图,题目,蚂蚁,带权,匹配,有解 From: https://www.cnblogs.com/dingxingdi/p/18225296