«cc.complexity-theory» etiketlenmiş sorular

NP ve NP ile sınırlı diğer kaynak hesaplamaları.

2
Minimum Uyumsuz 3-CNF Formülleri
Şu anda tatmin edici olmayan ve minimum büyüklükte 3-CNF formüllerini elde etmek (veya oluşturmak) ve çalışmakla ilgileniyorum. Yani, mümkün olduğunca az cümle (tercihen m = 8) ve en az bir cümlenin kaldırılması formülü tatmin edici kılacak şekilde mümkün olduğunca az farklı değişken (n = 4 veya daha fazla) içermelidir. Daha …
1
Faktoring ve ayrık log için lineerden daha iyi bir alt sınır var mı?
Tamsayı çarpanlarına ayırma, asal / kompozit ayrık logaritma problemi ve eliptik eğrilerin nokta grubu (ve daha yüksek boyutlu abelyan çeşitleri) ve genel özellikleri gibi kriptografide ortaya çıkan belirli zor problemler için devre alt sınırları hakkında ayrıntı sağlayan herhangi bir referans var mı? gizli alt grup sorunu? Özellikle bu problemlerden herhangi …
4
Nicel finansta hesaplama karmaşıklığı
Borsa tahmin etmek zor! TCS bu düşünceyi daha resmi hale getirebilir mi? Son zamanlarda biraz finans hakkında düşünmeye başladım ve TCS bilgisinin nasıl yardımcı olabileceğini merak ediyordum. Hedge fonları ve yatırım firmaları her zaman algoritmik ticaret, makine öğrenimi ve yapay zeka kullanıyor, ancak TCS sonuçları az görünüyor. Özellikle, sadece iki …
5
Yanıt bulmanın (sorgu boyutunda) teorik üstel karmaşıklığı göz önüne alındığında, ilişkisel veritabanları neden işe yarıyor?
İlişkisel bir veritabanı üzerinden sorgusuna bir cevap bulmak için kişinin zamana olduğu ve bir.D | D | | S | | S |SSQDDD| D|| S ||D||S||D|^{|Q|}| S ||S||Q| As çok büyük olabilir veritabanları pratikte hiç çalışmıyor neden merak ettik.DDD Bu sadece gerçek sorgular gerçek dünya uygulamalarında hiç büyük değil midir? …
1
UP'nin sonuçları NP'ye eşittir
2011/02/08 tarihinde DÜZENLEME: Bazı referansların bulunması ve okunmasından sonra, orijinal soruyu iki ayrı soruya ayırmaya karar verdim. UP ve NP ile ilgili bölüm, sözdizimsel ve anlamsal sınıflar bölümü için sözdizimsel ve anlambilimsel sınıflar için Faydalara bakınız . UPUP\mathsf{UP} (belirsiz polinom zamanı,referanslar içinwiki'yevehayvanat bahçesinebakın),ek bir kısıtlamaya sahipmakineleritarafından karar verilen diller olarak …
4
Eşlik ve
Eşlik ve ayrılmaz ikizler gibidir. Ya da son 30 yıldır böyle görünüyor. Ryan'ın sonucu ışığında, küçük sınıflara olan ilginin yenilenmesi söz konusu olacak.birC0birC0AC^0 Furst Saxe Sipser - Yao - Hastad arasındaki tüm parite ve rastgele kısıtlamalar. Razborov / Smolensky, eşlikli yaklaşık polinomdur (tamam, mod kapıları). Aspnes ve arkadaşları parite üzerinde …
1
Eşsiz Oyunları Görselleştirme
Eşsiz oyun varsayımını göstermek için bir resmi nasıl tasarlarsınız? Bu, bir sonraki AMS Ortak Toplantısında benzersiz oyunlar hakkında "Güncel Etkinlikler" sunumu ve üretilecek kitapçık içindir. Geçmişte üretilen illüstrasyon türlerinin örneği http://www.ams.org/meetings/lectures/current-events-bulletin 2006 baskısına tıklarsanız Madhu Sudan'ın PCP'deki konuşmasını göstermek için kullandığı resmi görebilirsiniz. Maks kesme için benzersiz oyunları azaltan gadget'ı …
1
IP = PSPACE'in göreceli olmamasının “gerçek” nedeni nedir?
ÖÖOc o N PÖ⊈ I PÖcÖN-PÖ⊈benPÖ{\sf coNP}^O \not\subseteq {\sf IP}^OcoNPO⊆PSPACEOcÖN-PÖ⊆PSPbirCEÖ{\sf coNP}^O \subseteq {\sf PSPACE}^OOÖO Ancak, yalnızca birkaç kişinin sonucunun neden göreceli hale gelmediğine ve genel yanıtın "aritmetizasyon" olduğuna " doğrudan" bir açıklama yaptığını gördüm . IP = PSPACE ispatı incelendikten sonra, bu cevap yanlış değil , ama benim için tatmin …
Sitemizi kullandığınızda şunları okuyup anladığınızı kabul etmiş olursunuz: Çerez Politikası ve Gizlilik Politikası.
Licensed under cc by-sa 3.0 with attribution required.