P=NPP=NPP = NP probleminin bilinen üç engelini ( göreleleme, doğal kanıtlar ve cebirleştirme) anlama konusunda 'temel' içgörüler sunan herhangi bir oyuncak örneği var mı?
Devre karmaşıklığı için bir boyut hiyerarşi teoreminin bölgede önemli bir atılım olabileceğini düşünüyorum. Sınıf ayrımına ilginç bir yaklaşım mı? Soru için motivasyon: ebadı devreleri ile hesaplanamayan ve f ( n ) < o ( g ( n ) ) olduğu bir g ( n ) ebadı devresi ile hesaplanabilecek bazı …
Razborov-Rudich'in Doğal Kanıtları belgesinde, sayfa 6'da, " monoton devre modellerine karşı güçlü alt sınır kanıtları " olduğunu ve resme nasıl uyduklarını tartışıyorlar : Burada sorun yapıcılık değildir - bu kanıtlarda kullanılan özelliklerin hepsi mümkündür - ancak büyüklük durumunun iyi bir resmi analogu olmadığı görülmektedir. Özellikle, hiç kimse "rastgele monoton fonksiyon" …
Doğal kanıtlar , boole işlevlerinin devre karmaşıklığı üzerindeki alt sınırların kanıtlanmasına karşı bir engeldir. devre karmaşıklığı üzerinde daha düşük sınırların kanıtlanmasında doğrudan böyle bir engel oluşturmazlar . Bu tür engelleri belirleme konusunda ilerleme var mı? Monoton ortamda başka engeller var mı?m o n o t o n emÖnÖtÖnemonotone