# 一种最大流数据生成方法

$1198$ 个点，$120796$ 条边运行时间均超过 $1 \mathrm{min}$（当然也可能是我的最大流写得太菜）

# 「POJ-3678」Katu Puzzle-2-SAT

Katu Puzzle is presented as a directed graph G(V, E) with each edge e(a, b) labeled by a boolean operator op (one of AND, OR, XOR) and an integer c (0 \leq c \leq 1). One Katu is solvable if one can find each vertex Vi a value Xi (0 \leq Xi \leq 1) such that for each edge e(a, b) labeled by op and c, the following formula holds:…