soru, uzmanlar tarafından fazla kullanılmayan ve sadece P / NP'ye odaklanan ve diğer karmaşıklık sınıflarından bahsetmeyen belirli bir analoji / metafor getiriyor, oysa uzmanlar bunu Kuperberg tarafından oluşturulan dikkate değer diyagramda olduğu gibi birbirine bağlı büyük bir varlık evreni olarak görme eğilimindedir . karmaşıklık sınıflarının analojilerinin büyük bir listesini derlemek düzgün olurdu, böyle birçok analoji var. NP'nin tamamlanmış olduğu kanıtlanan “sorunların giderilmesi” ve “yeni yaklaşımlara karşı heyecan” dan bahsediyor.
NP tam sınıfını keşfetmenin ilk "heyecanı" olduğunu anlayabiliriz, ancak P ≠ NP'nin umut verici bir yere gitmediğini kanıtlamak için dört yıldan fazla bir süredir yoğun çaba sarf ettikten sonra bazı "heyecanlar" solmuştur ve bazı araştırmacılar daha yakın değiller. tarih, bazen daha sonra pişmanlık duyan veya çok fazla belirgin ilerleme olmadan problemler üzerinde uzun yıllar çalışmış araştırmacılarla doludur. bu yüzden NP complete (Aaronson'un benzetmesini ödünç vermek) bir tür "elektrikli çit" olarak hizmet edebilir (" kelimenin tam anlamıyla, birden fazla şekilde)" inatçı "problemlere girişimlerde fazla yer almamak için bir uyarı / uyarı .
NP'nin tam sorunlarının "kataloglanmasının" önemli bir yönü olduğu doğrudur. bununla birlikte, temel NP tam problemleri (SAT, klik tespiti, vb.) üzerine büyük "ince taneli" araştırmalar devam etmektedir. (aslında çok benzer bir fenomen karar verilemeyen sorunlar ortaya çıkar: bir kez kanıtlanamayan kanıtlanmış, sanki daha fazla soruşturma için bir "arazi yok" olarak yönetiliyormuş gibi.)
bu yüzden tüm NP tam problemlerinin mevcut teori kadar eşdeğer olduğu kanıtlanmıştır ve bu bazen Berman-Hartmanis izomorfizm varsayımı gibi çarpıcı varsayımlarda da görülür . araştırmacılar bunun bir gün değişeceğinden umutlu.
bu soru soft-question
iyi bir sebeple etiketlenmiştir . makalelerinde popüler bilime yönelen , bunun yerine matematiksel kesinlik / titizliğe odaklanmayı tercih eden (ve bu grubun iletişim kılavuzlarında vurgulandığı gibi) ciddi bilim adamlarını çok fazla benzetme bulamayacaksınız . yine de yabancıların / meslekten olmayanların eğitim ve iletişiminde bazı değerler vardır.
burada kavramlar için "araştırma liderleri" ile birlikte laymen için birkaç "karşı analojiler". bu daha uzun bir liste haline getirilebilir.
söz konusu bölgelerde bir benzetme var. ancak dahil karmaşıklık teorisinin önemli bölgelerinden düşünmek daha mantıklı içinde olarak bilinen sınıflar terra incognita . diğer bir deyişle, P kesişen NP bölgesi vardır. hem P hem de NP oldukça iyi anlaşılmıştır, ancak P ⋂ NP-sert (P'nin NP-sert ile kesiştiği) bölgesinin boş olup olmadığı bilinmemektedir.
Aaronson son zamanlarda P / NP için asla karışmayan görünüşte farklı iki tür kurbağa türünün metaforunu verdi. ayrıca ikisi arasında "görünmez elektrikli çit" den söz etti.
parçacık fiziği standart modeli inceler. fizik, karmaşıklık teorisinin karmaşıklık sınıflarının kompozisyonunu incelediği gibi parçacıkların kompozisyonunu inceler. fizikte, bazı parçacıkların nasıl karmaşıklık teorisinde olduğu gibi (“sınırlar oluşturma”) nasıl ortaya çıktığı konusunda bazı belirsizlikler vardır.
"karmaşıklık hayvanat bahçesi" , onun farklı yetenekleri, bazı küçük / zayıf ve bazı büyük / güçlü egzotik hayvanlar bir sürü gibi.
karmaşıklık sınıfları görüldüğü gibi yumuşak bir zaman / uzay sürekliliğinde gibi Zaman / alan anahtar hiyerarşi teoremi "geçiş noktaları" farklı durumları arasında (fiziksel madde faz geçişlerine şaşırtıcı oldukça derin benzer).
Turing makinesi "hareketli parçalara" sahip bir makinedir ve makineler enerji ölçümlerine eşdeğer işler yapar ve zaman / alan ölçümleri vardır. dolayısıyla karmaşıklık sınıfları kara kutu girdi-çıktı dönüşümleri ile ilişkili "enerji" olarak görülebilir .
Matematik tarihinden pek çok olası analog vardır, yani dairenin karesi alma, kuintik denkleme cebirsel çözümler bulma, vb. problemi.
Impaggliazo'nun dünyaları
Fortnows yeni kitap madencilik için çok popüler bilim benzetme içeriyor.
Şifreleme / Şifre Çözme: İkinci Dünya Savaşı sırasında ünlü bir şekilde çalışmak Turing ve karmaşıklık sınıflarındaki farklılıkları kanıtlayan birçok teorem, şifre çözme sorunlarına benzer görünebilir. bu, karmaşıklık sınıfı ayrımının doğrudan “kopan” sahte rasgele sayı üreteçleriyle ilişkili olduğu Doğal Kanıtlar gibi kağıtlarla daha sağlam hale getirilir .
Sıkıştırma / açma: Farklı karmaşıklık sınıfları, farklı miktarlarda veri sıkıştırmaya izin verir / temsil eder. örneğin P / poly'nin NP içerdiğini varsayalım. bu, daha büyük NP tam problemlerini "" "kodlayabilen" daha küçük "varlıklar (yani devreler) olduğu anlamına gelir, yani daha büyük (veri) yapılar, daha küçük (veri) yapılara verimli bir şekilde" sıkıştırılabilir ".
Hayvanat bahçesi / hayvan benzetmesi boyunca, karmaşıklık teorisinin güçlü bir Kör insan ve fil yönü vardır. alan hala görünüşte / muhtemelen çok uzun bir arkın önceki aşamalarındadır (bu yüzyıllar hatta milenlerden oluşan diğer matematik alanlarının mantıksız veya duyulmamış değildir) ve çok fazla bilgi kısmi, ayrık ve parçalanmış.
kısacası soru "indirimlerle ilişkili iyimserlik" sorusunu soruyor. bilim adamları genellikle tamamen mantıklı arayışlarında duygulardan kaçınırlar hatta onlara gülüyorlar. alanda hem uzun süreli karamsarlık hem de temkinli iyimserlik arasında bir denge vardır ve kayıt dışılık için bir yer olsa da, tüm ciddi araştırmacılar iş tanımının bir parçası olarak mesleki tutumlarında tarafsızlığa doğru çaba göstermelidir. anlaşılır bir şekilde küçük zaferler ve artımlılık ve "taşınmamak" üzerine bir odak vardır.