HDOJ 3715 - Go Deeper 中如何运用二分法解决2-sat问题？

本文共计775个文字，预计阅读时间需要4分钟。

题目：给定一个过程 go(int dep, int n, int m)，输出 dep 的值。如果 dep+m 和 x[a[dep]] + x[b[dep]] 不等于 c[dep]，则递归调用 go(dep+1, n, m)。其中，x 数组的值为 0 或 1，c 数组的值为 0 或 1 或 2。现在告知 a[], b[], c[] 的值。