34.3-1
根据图 34.8b 的图,可以给出这个布尔组合电路所定义的布尔公式如下:
化简后,可以得到这个布尔公式为:
去掉一部分括号,根据运算符 的交换律及结合律,可以得到
由于 不可能为 ,因此原来的布尔表达式的值必定为 ,它是不可满足的。
34.3-2
如果 ,那么意味着存在一个规约函数 以及一个时间复杂度为 的算法 计算规约函数 ,将语言 规约到 ,其中 为一个正常数。同样的,如果 ,那么意味着存在一个规约函数 以及一个时间复杂度为 的算法 计算规约函数 ,将语言 规约到 ,其中 为一个正常数。
通过 和 ,可以构造出规约函数 ,并且存在算法 通过嵌套调用 计算规约函数 ,将语言 规约成语言 ,其时间复杂度为 。因此有 。
34.3-3
可见,由于充分性和必要性的过程互为补运算,证明过程是对称的。因此只需要证明一个方向即可。
这里证明充分性, 意味着存在一个规约函数 以及一个多项式时间的算法 计算规约函数 ,将语言 规约到 。
对于一个 ,如果 ,那么有 ,即 ,从而得到 。也就是说, 同样可以将语言 规约到 ,因此充分性成立。
必要性的证明过程相同,最终原结论成立。
34.3-4
相对于原来的检验算法 ,新的检验算法 接受的证书 只需要包含所有的电路输入即可,而不需要包含每一根线上的值。检测算法 将会根据 的编码解析出原来的电路,然后按照给定 作为输入值,将整个布尔电路的所有导线的值计算出来。最终得到电路的输出结果,如果电路的输出结果为 ,那么说明这个 是 是可满足的证据,算法 返回 ,否则返回 。
34.3-5
当使用图 34-9 来论证使用的工作存储器数量为 的多项式时,假设了存储单元是连续的。
实际上,这些存储空间不必是连续的,对于不同功能的内容(数据或代码),只需要在整个存储空间上划出一小部分足够让这些内容存储下来即可。由于这里仅仅是强调使用的存储器数量的上限,因此假设存储单元连续是不失一般性的。
34.3-6
可见 。考虑使用反证法来证明 对 不是完全的。
现在假设 对 是完全的,由于 ,因此 。那么必定存在多项式规约函数 ,使得 当且仅当 。但是 是永远不成立的,因为 是空集合,然而 并不是空集合,这引出了矛盾。因此 对 不是完全的。
现在假设 对 是完全的,由于 ,因此 。和之前的类似,那么必定存在多项式规约函数 ,使得 当且仅当 。但是 是永远不成立的,因为 是空集合,然而 并不是空集合,这引出了矛盾。因此 同样对 不是完全的。(注意:这个结论也可以从题目 34.3-2 中直接得出)
接下来考虑 中除 中的任意一个语言 ,并假设任意语言 。取 。由于 ,因此必定存在一个算法 可以在多项式时间内判断一个字符串 是否在语言 。我们可以构造一个规约函数 :
并且可以构造出一个多项式时间算法 用于计算 ,它是将 作为子程序进行计算。因此可以得到 。
也就是说, 均成立,因此 对 是完全的。 是在 中仅有两个语言对 是不完全的。
34.3-7
和题目一样,由于充分性和必要性的过程互为补运算,证明过程是对称的。因此只需要证明一个方向即可。
充分性:由于 对 是完全的,因此 ,这意味着 。类似的,由于 ,都有 。这说明存在一个规约函数 和一个多项式算法 用来计算 ,将 归约到 中。按照 的定义,可见 当且仅当 。也就是说 当且仅当 。因此多项式算法 也可以将 在多项式时间内归约到 ,即 。因此 对 是完全的。
必要性的证明过程相同,最终原结论成立。
34.3-8
需要注意的是,证明一个语言 是 NP 困难的,只需要证明 ,将 归约到 的多项式规约函数 存在即可,而并不需要显式地构造一个多项式算法 来计算 。证明的内容相当于是,由于多项式规约函数 存在,因此在多项式时间内计算规约函数 的算法 也存在。因此,由于 ,都有一个多项式算法 来对 进行验证。多项式算法 存在,那么调用 来计算 的算法 也是存在的,它是多项式次数的。因此,哪怕不需要知道 的常数,也是足够用来证明 CIRCUIT-SAT
是 NP 困难的。