猫咪们狂欢

题目链接

• 考场上感觉就是网络流，可惜建不出模
• 最大权值闭合子图模型
• 最小割的本质其实是点的划分，连接两个集合的点的边构成割集；在本题中，这恰好对应了点的选择与否
• 首先强制将所有“狂欢猫”安排在第一棵树上，简化问题，再考虑将其【替换】到第二棵树上
• 你希望建立【i和j都选可以推出k】的模型，虽然没有办法直接构建，但你可以让一个虚拟节点同时连向i和j，在最大权值闭合子图模型中，若i和j都被选择，则可以间接推出k一定被选择，否则答案一定不优