«cc.complexity-theory» etiketlenmiş sorular

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

1
için ne gibi kanıtlarımız var
Josh Grochow'un önerisinin ardından, bir önceki sorudan yaptığım yorumu yeni bir soruya dönüştürüyorum. için ne gibi kanıtlarımız var UP≠NPUP≠NP\mathsf{UP} \neq \mathsf{NP}? Burada UPUP\mathsf{UP} , "evet" örneklerinde benzersiz bir kabul yoluna sahip olan ve "hayır" örneklerinde kabul yolu olmayan polinom zamanı belirleyici olmayan Turing makineleri tarafından tanınan dil sınıfıdır. UP⊆NPUP⊆NP\mathsf{UP} \subseteq …
2
Hamilton Döngüsü ve Hamilton Yolu Sorunlarının farklı karmaşıklıklara sahip olduğu grafik sınıfları
Arama yaparken Grafik Sınıflar ve onların İçermelerin hakkında bilgi Sistemini , ben Hamilton Yolu sorunların karmaşıklığı ise Hamilton Döngüsü sorun NP-tam olduğu için çeşitli grafik sınıfları bulundu DEĞİL da bilinir. Bu sınıflardan bazıları, iki taraflı maksimum derece 3 grafikleri, maksimum derece 3 ızgara grafikleri ve 2 bağlantılı kübik düzlemsel grafiklerdir. …
3
Hangi sınıfta tam olarak% 25 şansla hata yapan rasgele algoritmalar var?
Diyelim ki E (xact) BPP olarak adlandırmamızı sağlayan aşağıdaki BPP varyantını göz önünde bulunduruyorum: Dilin her kelimesini tam olarak 3/4 olasılıkla ve içinde olmayan her kelimeyi kabul eden polinom zaman randomize bir TG varsa bir dil EBPP'de tam olarak 1/4 olasılıkla dil. Açıkçası EBPP BPP'de bulunur, ancak eşit midir? Bu …
2
Grafik İzomorfizmi Sorunu
Graph izomorfizmi problemi üzerine literatür taraması yapıyorum. Okuduğum makalelerin çoğu EM Luks ve Laszlo Babai tarafından yazılıyor. Bu makaleler, grup teorisi ve karmaşıklık teorisi hakkında üst düzey bilgileri kullanır. Bu alanda yeni olduğum için birçok şey benim için net değil. Bazıları bana bu makalelerde sunulan fikirleri ve teknikleri öğrenmenin bir …
5
Ekonomistler neden hesaplama karmaşıklığına önem vermeli?
İktisatçıları karmaşıklık teorisinin baskıdaki önemi konusunda ikna etmeye çalışırken, atıfta bulunmak için standart bir referans var mı? Ben aşinayım Noam Nisan adlı üyenin blog post , Tim Roughgarden'in anket ait ve bölüm 11 Scott Aaronson adlı makalesinde . Bu görevlere bilgisayar bilimcileri tarafından erişilebilir, ancak iktisatçıların dilini kullanmazlar ve genellikle …
1
Örneklemenin karmaşıklığı (yaklaşık olarak) Boole işlevinin Fourier dönüşümü
Kuantum bilgisayarların yapabileceği bir şey (muhtemelen sadece BPP + log derinliği kuantum devreleriyle bile), P'deki bir Boole değerli fonksiyonun Fourier dönüşümünü yaklaşık olarak örneklemektir .±1±1\pm 1 Burada ve aşağıda Fourier dönüşümünü örneklemeden bahsettiğimde, . (Gerekirse ve yaklaşık olarak normalleştirilir).|f^(x)|2|f^(x)|2|\hat f(x)|^2 P-FOURIER SAMPLING diyebileceğimiz karmaşıklık sınıfını, P'nin yaklaşık örnekleme Boole işlevlerinden …
1
Bu kenar renklendirme sorununun karmaşıklığı nedir?
Son zamanlarda, aşağıdaki kenar renklendirme çeşidiyle karşılaştım. Bağlı bir yönsüz grafiktir göz önüne alındığında, aynı zamanda kısıtlamasını sağlayan sırasında renk sayısını kullanmaktadır kenarları bir renklendirici bulmak her tepe için e kenarları olay h , en fazla iki renk kullanım.vvvvvv İlk tahminim sorunun NP zor olması. Grafik renklendirme problemleri için klasik …
3
Verimli doğruluk ve verimlilik kanıtı olmadan yapısal olarak verimli algoritmalar
Verimli algoritmaların doğal örneklerini arıyorum (yani polinom zamanında) st bunların doğru ve verimlilik (örneğin yapıcı ispat edilebilir PRAPRAPRA veya HAHAHA ), ancak sadece etkili kavramları kullanan hiçbir kanıt bilinmemektedir (yani veya S 1 2'de doğruluklarını ve verimliliklerini nasıl kanıtlayacağımızı bilmiyoruz ).TV0TV0TV^0S12S21S^1_2 Yapay örnekleri kendim yapabilirim. Ancak ilginç doğal örnekler istiyorum, …
2
Poliloğa bağlı derinlik devreleri için devre alt sınırlarındaki durum
Sınırlı derinlik devresi karmaşıklığı, devre karmaşıklığı teorisi içindeki ana araştırma alanlarından biridir. Bu konunun kökenleri "parite işlevi AC0AC0AC^{0} " ve "mod ppp işlevi tarafından hesaplanmamıştır AC0[q]AC0[q]AC^{0}[q], burada AC0[q]AC0[q]AC^0[q] , tarafından belirlenebilen dil sınıfıdır düzgün olmayan, sabit derinlik, polinom boyutu, sınırsız fan girişi AND, OR, NOT ve modulo qqq gates, burada …
1
AC karmaşıklık sınıfını kim tanıttı?
Bugün alt sınırlarını öğrettim ve öğrencilerden biri A C isminin nedenini sordu . Resmi açıklama "A" nın "Alternatif" anlamına gelmesidir.A C0birC0AC^0A CbirCAC Yıllar önce Nick Pippenger Steve Cook'un Nick Pippenger'dan (Nick'in sınıfı) sonra ve daha sonra Nick'in Steve'den (Steve'in sınıfı) S C olarak adlandırıldığı söyleniyor .N-CN-CNCSCSCSC hikayenin bir parçası içinde, …
1
# 2-SAT'ın # P-complete alt aileleri nelerdir?
Kısa versiyon. # 2-SAT'ın #P -complete olduğuna dair orijinal kanıt, aslında # 2-SAT'ın hem monoton (herhangi bir değişkenin olumsuzluğunu içermeyen) hem de bipartit ( değişkenler iki parçalı bir grafiktir) #P -hard. Bu nedenle, # 2-MONOTONE-SAT ve # 2-BIPARTITE-SAT olmak üzere iki özel durum #P -hard. Formülün #P -hard olan 'doğal' …
4
Daha yüksek cins grafikler için zor problemler
Düzlemsel grafiklerin cins sıfır vardır. Bir torusa gömülebilir grafikler en fazla 1 cinsine sahiptir. Sorum basit: Düzlemsel grafiklerde polinom olarak çözülebilen, ancak cinsin grafiklerinde NP-zor olan herhangi bir problem var mı? Daha genel olarak g cinsinin grafikleri üzerinde polinom olarak çözülebilen fakat gen>> grafikleri üzerinde NP açısından zor olan herhangi …
3
Algoritmaların Tam Simülasyonu ve Karmaşıklık Sınıfları Üzerine İlgili Bir İşlem Ne Kadar Zor
Tanıtım Sorun çok uzun olduğu için burada özünü yakalayan özel bir durum var. Sorun: A, 3-SAT için bir yönetimsel algoritma olsun. A algoritmasını (sorunun her örneğinde) tamamen simüle etme problemidir. P-Space sert mi? (Daha doğrusu, bu görevin P-Space zor olduğuna inanmak için nedenler var mı, bu yönde bir şey standart …
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.