CircuitSAT has been proven to be NP

CircuitSAT has been proven to be NP-complete. In fact, it is a prototypical NP-complete problem; the Cook–Levin theorem is sometimes proved on CircuitSAT instead of onSAT for Boolean expressions and then reduced to the other satisfiability problems to prove their NP-completeness.
The satisfiability of a circuit containing m arbitrary binary gates can be decided in time .

ผลลัพธ์ (ไทย) 1:

CircuitSAT ได้รับการพิสูจน์จะ ทำ NP ในความเป็นจริง มันเป็น prototypical ทำ NP ปัญหา ทฤษฎีบทคุก – Levin บางพิสูจน์บน CircuitSAT แทน onSAT ในนิพจน์ Boolean และลด satisfiability ปัญหาอื่น ๆ เพื่อพิสูจน์การ NP-สมบูรณ์แล้ว Satisfiability ของวงจรที่ประกอบด้วยประตูฐานกำหนด m สามารถตัดสินใจในเวลา

ผลลัพธ์ (ไทย) 2:

CircuitSAT ได้รับการพิสูจน์แล้วว่าเป็นเอ็นพีบริบูรณ์ ในความเป็นจริงมันเป็นแม่บทปัญหา NP-สมบูรณ์ ทฤษฎีบทคุกเลวินพิสูจน์บางครั้ง CircuitSAT แทน onSAT นิพจน์บูลีนและลดลงไปแล้วปัญหา satisfiability อื่น ๆ ที่จะพิสูจน์ NP-สมบูรณ์ของพวกเขา.
satisfiability ของวงจรที่มีม. ประตูไบนารีโดยพลการให้สามารถตัดสินใจได้ในเวลา

ผลลัพธ์ (ไทย) 3:

circuitsat มีการพิสูจน์ว่าเป็นเอ็นพีสมบูรณ์ ในความเป็นจริงมันเป็นปัญหาเอ็นพีสมบูรณ์แบบ ; ปรุงอาหาร–เลวินทฤษฎีบทบางครั้งก็พิสูจน์ใน circuitsat แทน onsat สำหรับนิพจน์บูลีนและลดให้อีกเพื่อพิสูจน์ความสอดคล้องปัญหา NP สมบูรณ์ .
ความสอดคล้องของวงจรไบนารีที่มี M หนึ่งประตู สามารถตัดสินใจในเวลา .