np-hard -closure

时间:2012-06-24 14:11:39

标签: np-hard

if l1 is in NP-HARD,因此对于每个L2!=空集l1*l2 is in np-hard

当:

l1*l2={(w1,w2) , w1 in L1 and w2 in L2}

是真还是假?为什么?

我无法批准,但我也找不到反例。

1 个答案:

答案 0 :(得分:1)

L1 * L2是NP难的。

证明:设L是NP中的一种语言,设f是L到L1的减少,让w2在L2中。定义g(x)=(f(x),w2)。现在g是多项式时间L到L1 * L2的多对一减少,因为显然:

x in L< ==> L1 * L2中的(f(x),w(2))