85, Alon+Boppana
87).
85, Alon+Boppana
87).
Jawaban:
Benjamin Rossman's recent paper summarises the state of the art for the monotone circuit complexity of k-CLIQUE. In short, Razborov proved a lower bound in 1985, later improved by Alon and Boppana in 1987: , versus batas atas kekuatan kasar .
Rossman menunjukkan batas bawah untuk kompleksitas kasus rata-rata dalam model grafik acak Erdő-Rényi; Amano sebelumnya menunjukkan ini pada dasarnya juga merupakan batas atas. Lemma semi-bunga matahari yang membentuk bagian penting dari kertas ini agak rapi.
Jadi penghalang bukti alami tampaknya tidak berlaku untuk kompleksitas sirkuit monoton.
Norbert Blum telah membahas mengapa batas bawah untuk sirkuit monoton pada dasarnya berbeda dari sirkuit dengan negasi. Pengamatan utama Éva Tardos adalah bahwa modifikasi kecil fungsi Lovász theta memiliki kompleksitas sirkuit monoton eksponensial.
Titik diberikan fungsi boolean umum f ada fungsi boolean monoton g sehingga setiap superliner yang lebih rendah terikat pada g menyiratkan satu pada f. Atau lebih kuat, kompleksitas umum f sama dengan kompleksitas monoton g hingga O (n).
Saya masih tidak yakin bagaimana ini berhubungan dengan hambatan.