«cc.complexity-theory» etiketlenmiş sorular

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


28
P ve NPC Arasındaki Sorunlar
Faktoring ve grafik izomorfizmi, NP'de P de olduğu veya NP-Komple olmadığı bilinen problemlerdir. Bu özelliği paylaşan diğer (yeterince farklı) doğal problemler nelerdir? Doğrudan Ladner teoreminin kanıtından gelen yapay örnekler sayılmaz. Bu örneklerden herhangi biri, yalnızca “makul” bir hipotez olduğu varsayımıyla kanıtlanabilir bir NP-orta aracı mıdır?

14
Karmaşıklık teorisi için ne tür bir matematiksel altyapıya ihtiyaç vardır?
Şu anda bu yıl mezun olmak için lisans öğrencisi olarak görev yapıyorum. Mezun olduktan sonra, bir TCS yüksek lisans / doktora için çalışmayı düşünüyorum. Hangi matematik alanlarının TCS'ye, özellikle (klasik) karmaşıklık teorisine yardımcı olduğunu düşündüğümü merak etmeye başladım. Karmaşıklık teorisini incelemek isteyen biri için hangi alanları gerekli görüyorsunuz? Bu alanları …

7
TCS'deki hangi ilginç teoremler Seçim Aksiyomuna dayanmaktadır? (Ya da alternatif olarak, Belirlilik Aksiyomu?)
Matematikçiler bazen Seçim Aksiyomu (AC) ve Belirlilik Aksiyomu (AD) hakkında endişe duyuyorlar. Seçme aksiyomu : Herhangi koleksiyon Verilen boş olmayan kümeler, orada bir fonksiyondur f kümesi verilen bu S içinde C , bir üyesini döndürür S .CC{\cal C}fffSSSCC{\cal C}SSS Belirsizlik Aksiyomu : , sonsuz uzun bit dizeleri kümesi olsun . …

7
Are -tamamlamak sorunlar daha doğası gereği daha az uysal -tamamlamak problemler?
Şu anda, büyük girdiler için problemin veya bir problemin çözülmesi genel olarak mümkün değildir. Bununla birlikte, her ikisi de üstel zaman ve polinom uzayda çözülebilir.NPNPNPPSPACEPSPACEPSPACE Belirsiz veya 'şanslı' bilgisayarlar kuramadığımız için, bir problemin veya olması bizim için herhangi bir fark yaratır mı?NPNPNPPSPACEPSPACEPSPACE



1
PP PH hakkında daha fazla?
Bir son soru sınıfı PH sınıfı PP yer aldığını soran Huck Bennett tarafından, (öyle görünüyor ki, hepsi gerçek) biraz çelişkili cevaplar aldı. Bir yandan, bazı kehanet sonuçları tam tersine verildi ve diğer Scott, cevabın olumlu olduğunu öne sürdü çünkü Toda'nın teoremi, PH'nın PP'nin olasılık varyantı olan BP.PP'de olduğunu gösteriyor ve …

12
P'den NP'ye zor ve tekrar tekrar parametreli karmaşıklık
Bir numara tarafından parametrik sorunların örnekler arıyorum k∈Nk∈Nk \in \mathbb{N} Sorunun sertlik olduğunu, monoton olmayan içinde kkk . (Benim de) sorunların çoğu, örneğin tek bir faz geçişi, sahip kkk tek bir faz geçişi olan -SAT k∈{1,2}k∈{1,2}k \in \{1,2\} (sorun P olduğu) k≥3k≥3k \ge 3 sorunu (burada NP tamamlamak, tam, eksiksiz). …

8
İnsan zihninin hızla başarabildiği ile en yakından ilişkili olan karmaşıklık sınıfı nedir?
Bu soru bir süredir merak ettiğim bir şey. İnsanlar P-NP problemini tanımladıklarında, genellikle NP sınıfını yaratıcılıkla karşılaştırırlar. Mozart kalitesinde bir senfoni oluşturmanın (NP görevine benzer şekilde) önceden oluşturulmuş bir senfoninin Mozart kalitesinde (P görevine benzer) olduğunu doğrulamaktan çok daha zor göründüğünü belirtiyorlar. Fakat NP gerçekten "yaratıcılık sınıfı" mı? Çok fazla …

4
Polinom-zaman sertliği sonuçlarını göstermek için kullanılabilecek problemler
Yeni bir problem için bir algoritma tasarlarken, bir süre sonra bir polinom zaman algoritması bulamazsam, bunun yerine NP zor olduğunu kanıtlamaya çalışabilirim. Eğer başarılı olursam, neden polinom zaman algoritmasını bulamadığımı açıkladım. P! = NP olduğunu kesin olarak bilmiyorum, sadece şu anki bilgilerle yapılabilecek en iyi şey bu, ve aslında fikir …


3
Sorunları saymak için şaşırtıcı algoritmalar
Üstel olarak birçok şeyin sayılmasını içeren (girişin büyüklüğüne bağlı olarak) ve şaşırtıcı polinom-zaman kesin, deterministik algoritmalara sahip bazı sayma problemleri vardır. Örnekler şunları içerir: Holografik algoritmaların nasıl çalıştığının temelini oluşturan düzlemsel bir grafikte ( FKT algoritması ) mükemmel eşleşmeleri sayar . Bir grafikte yayılan ağaçları sayma ( Kirchhoff'un matris ağacı …

2
Kişi P = NP'yi P = PH ötesine yükseltebilir mi?
Gelen Açıklayıcı Karmaşıklık , Immerman vardır Corollary 7.23. Aşağıdaki koşullar eşdeğerdir: 1. P = NP. 2. Sonlu olarak, sıralı yapılar üzerine, FO (LFP) = SO. Bu, (muhtemelen) daha büyük karmaşıklık sınıfları üzerinde eşdeğer bir ifadeye P = NP'yi “yükseltmek” olarak düşünülebilir. SO polinom-zaman hiyerarşisi PH'yı yakaladığını ve FO'nun (LFP) P'yi …


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.