4
ขนาดต่ำสุดของวงจรที่คำนวณ PARITY คืออะไร
มันเป็นผลลัพธ์แบบคลาสสิกที่ทุกวงจรพัดลมใน 2 และ - หรือ - ไม่ใช่ที่คำนวณ PARITY จากตัวแปรอินพุตมีขนาดอย่างน้อย3(n−1)3(n−1)3(n-1)และนี่คือชาร์ป (เรากำหนดขนาดเป็นจำนวนของ AND และ OR หรือ) การพิสูจน์นั้นเกิดจากการกำจัดประตูและดูเหมือนว่าจะล้มเหลวหากเรายอมให้มีการเข้าพัดลม กรณีนี้เป็นที่รู้จักกันอย่างไร ไม่มีใครรู้ตัวอย่างเมื่อมีการช่วยเหลือแฟนมากกว่าเช่นเราต้องการประตูน้อยกว่า3(n−1)3(n−1)3(n-1) อัปเดตวันที่ 18 ต.ค. Marzio แสดงให้เห็นว่าสำหรับn=3n=3n=3ถึง555ประตูที่เพียงพอโดยใช้รูปแบบ CNF ของ PARITY นี่แสดงถึงขอบเขตของ⌊52n⌋−2⌊52n⌋-2\lfloor \frac 52 n \rfloor-2ทั่วไปnคุณทำได้ดีกว่านี้ไหมnnn