网络流模型与2sat：2sat求不了最值，但网络流可以。\(n\le200\implies\)网络流二分图、最大流模型二分图匹配模型——左右两侧匹配长脖子鹿模型——找到奇偶性，二分化LNDSP模型（P2766）——左右二分图来回跳最小割模型（无穷大的边表示强限制）子集划分模型——要么属