2 개의 부울 만족성 문제의 절감

Question

이 문제에 도움을 청하게합니다.

2 개의 부울 만족성 문제가 있습니다.

문제점 $ a $ : 크기 $ n $ 의 임의의 수식 여부를 결정하는 것은 $ spectable $ .
문제 $ b $ : 크기 $ n-1 $ 의 임의의 공식 여부를 결정하는 것은 $ N $ 은 $ n $ $ \ ge 2 $

$ a $ 은 $ b $ 이 solvable 인 경우 solvable을 의미합니다.

$ a $ 은 $ b $ 에 튜닝 가능하다는 솔루션을 보여줄 것입니다. ...에 $ B $ 의 Oracle 알고리즘이 $ A $ 의 Oracle 알고리즘을 파생해야합니다.

보시다시피 $ b $ 의 임의의 공식은 $ n-1 $ 입니다. $ a $ 은 $ n $ 입니다. $ b $ 의 Oracle에서 $ a $ 에 대한 오라클 알고리즘을 어떻게 수반 할 수 있습니까? $ B $ 보다 1 이하 크기의 공식을 결정하고 있습니까?

Answer 1

문제 a는 다음과 같은 방식으로 문제를 해결할 수 있습니다.

• 문제 A에서 변수를 선택하고 0
• 이제 우리는 S 사이즈 N-1의 공식을 가지고 있습니다.
• else, 문제를 다시 선택하고 변수를 1
로 설정하십시오.
• 이제 우리는 B로 만족할 수있는 경우, B를 만족시킨 다음 반환 할 수없는

다른 단어 : 문제 a를 두 가지 문제를 해결하는 두 가지 문제를 해결합니다.B가 0과 1 모두에 대해 불만족 스러울 수 없다면 그것은 만족하지 않습니다.그것이 둘 이상의 적어도 하나에 만족할 수 있다고 말하면 그것은 만족할 만하다.