UVa 1607 关于NOT gates的研究

本题目的要求是需要用与非门来设计逻辑电路。每一个NAND门都具有两个输入端，在对其两个输入端执行与非运算后得到其输出结果。这种情况下输出结果为0的条件是这两个输入均为1的状态。为了实现这一目标，请构造一个包含m个NAND门的无环电路结构，并将该电路的所有n个外部输入均连接至同一个内部节点x（如图8-22所示）。

将某些输入参数固定为定值 通过最小数量的变量实现相同的目的 提供一个可行方案即可

二分查找或许源于对称性的考虑，在观察了从"全零"状态到"全一"状态变化的过程中似乎能够清晰地发现图呈现中心对称性。此外似乎具有一定的递归特性。
在这样的情况下答案只能是两种可能性：要么x要么非x。
值得注意的是当所有位都为零时与所有位都为一的状态必然是不同的结果。
假设将全零状态定义为零值那么检查一下中间位置（如'半零'状态）如果结果也是零则意味着从中间到某个点存在解。
随后我们进一步缩小问题范围直到最终得到具体的结果。
例如当问题范围缩减至'全一'与某个中间值之间时如果在这个区间内结果仍然是零那么下一步自然会聚焦于该区间的最末一位并根据测试结果确定其值究竟是零还是单位值。
这种逐步逼近的方法本质上就是二进制搜索的核心思想

代码：

    #include<bits/stdc++.h>
    #define LL long long
    #define ms(s) mem