if l1 is in NP-HARD
,因此对于每个L2!=空集l1*l2 is in np-hard
。
当:
l1*l2={(w1,w2) , w1 in L1 and w2 in L2}
是真还是假?为什么?
我无法批准,但我也找不到反例。
答案 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))