«cc.complexity-theory» etiketlenmiş sorular

Bana göre çoğu karmaşıklık teorisyeni aşağıdaki felsefi kurala inanıyor: problemi için etkili bir algoritma bulamazsak ve problemini problemine indirgeyebilirsek , muhtemelen problem için de etkili bir algoritma yoktur .A B BAAAAAABBBBBB Bu nedenle, örneğin, yeni bir sorunun NP-Complete olduğu kanıtlandığında , sonunda gösterebilecek yeni bir yaklaşımdan (sorun ) heyecanlanmaktan ziyade …

14 cc.complexity-theory  big-picture  reductions 

devre değerlendirme sorununun içinde olup olmadığı biliniyor mu? Ne ilgili (düzgün )?NC1NC1\mathsf{NC^1}NC1NC1\mathsf{NC^1}ALogTimeALogTime\mathsf{ALogTime}NC1NC1\mathsf{NC^1} derinliği devrelerinin evrensel bir sabit olduğu derinliği devreleri ile değerlendirilebildiğini biliyoruz . Bu, derinlik devrelerinin derinlik devresi ile değerlendirilebileceği anlamına gelir . Ancak , sonunda içindeki tüm işlevlere hakim olan bir işlev içermez .kkkk+ck+ck+ccccklgn+o(lgn)klg⁡n+o(lg⁡n)k\lg n + o(\lg n)O(lgn)O(lg⁡n)O(\lg …

14 cc.complexity-theory  reference-request  circuit-complexity 

SAT'ın en çok alt-üstel doymamış kanıtları veya daha da güçlü olması durumunda SAT'ın alt-üst-zaman algoritmaları olsaydı önemli sonuçlar doğurur mu?

14 cc.complexity-theory  sat  proof-complexity 

Hatırlatma; genişliği bir çözünürlük çürütülmesi ve bir CNF Formül F meydana gelen herhangi bir madde olarak değişmez maksimal sayısıdır R . Her için w , edilemezdir formüller vardır F her çözünürlük çürütülmesi 3-CNF st F en azından genişliği gerektirir w .R,RRFFFR,RRwwwFFFFFFwww Ben genişlik 4 çözünürlük çürütme olmayan 3-CNF (mümkün olduğunca …

13 cc.complexity-theory  lo.logic  sat  proof-complexity 

Giriş tamsayıları bazı polinomlarla sınırlanmışsa polinom (sözde-polinom) zaman algoritmasına sahip olduğu için bölüm problemi NP-tamamlanmamıştır. Ancak, giriş tam sayıları bir polinom tarafından sınırlanmış olsa bile, 3-Partition NP-tam bir problemdir. Varsayalım, , Ara NP-tam problemlerinin var olması gerektiğini kanıtlayabilir miyiz? Cevap evet ise, böyle "doğal" bir aday sorunu var mı?P≠NPP≠NP\mathsf{P \ne …

13 cc.complexity-theory  np-hardness  partition-problem 

Eğer ise , polinom zamanında çözülemeyen toplam arama problemleri olduğunu ( hem üyeliğe hem de üye olmayanlara tanık olmak).NP∩coNP≠PNP∩coNP≠P\mathsf{NP}\cap\mathsf{coNP} \neq \mathsf{P}NPNP\mathsf{NP} Bunun tersi de doğrudur, yani Toplam arama sorununun varlığı polinom zamanında çözülemez mi? ?NPNP\mathsf{NP}NP∩coNP≠PNP∩coNP≠P\mathsf{NP}\cap\mathsf{coNP} \neq \mathsf{P}

13 cc.complexity-theory  reference-request  search-problem 

Bu demek ki, bir işlev olduğu zaman inşa edilebilir makine Turing deterministik çoklu bant mevcutsa, M , tüm uzunluğu girdilerine olduğu , n en yapar f ( n ) adımları ve her biri için , n , bazı giriş vardır uzunluk , n hangi M exacltly yapar f ( n …

13 cc.complexity-theory  time-complexity  terminology 

Bir dağıtım özelliği P için bir dağıtım testi algoritması ([n] üzerindeki tüm dağıtımların sadece bir alt kümesidir), bazı dağıtım D'ye göre örneklere erişime izin verilir ve veya olmadığına (whp) karar vermek gerekir. ( burada genellikle mesafesidir). Karmaşıklığın en yaygın ölçüsü, algoritma tarafından kullanılan örnek sayısıdır.d ( D , P ) …

13 cc.complexity-theory  machine-learning  query-complexity  property-testing 

Bana öyle geliyor ki, makine öğrenimi / veri madenciliği uzmanları P ve NP'ye aşinadır, ancak nadiren daha ince karmaşıklık sınıflarından (örneğin NC, BPP veya IP) ve bunların verileri etkili bir şekilde analiz etmedeki etkilerinden bahseder. Bunu yapan herhangi bir çalışma var mı?

13 cc.complexity-theory  reference-request  machine-learning 

Determinant için bilinen en küçük formül, boyutuna sahiptir (veya Daimi ve Determinant için Çok Doğrusal Formüller kağıdında Ran Raz için Süper Polinom Boyutundadır ).nO(logn)nO(log⁡n)n^{\mathcal O(\log n)} Bunun için referansınız var mı? Özellikle, bu formül nedir?

13 cc.complexity-theory  reference-request  algebraic-complexity  determinant 

Gauss eliminasyonu, bir matrisin polinom zamanı zamanını belirleyebilir hale getirir. Aksi takdirde üstel terimlerin toplamı olan determinantın hesaplanmasındaki karmaşıklığın azalması, alternatif negatif işaretlerin varlığından kaynaklanmaktadır (eksikliği hesaplamayı kalıcı kılan #P-hard#P-hard \#P\mbox{-}hard yani. Daha sonra NP-CNP-CNP\mbox{-}C problemleri daha zordur ) . Bu, determinantta bir tür simetriye yol açar, örneğin bir çift …

13 cc.complexity-theory  time-complexity  algebraic-complexity  gr.group-theory  determinant 

Rastgele kısıtlamalara ve Anahtarlama iyi bilinen birkaç devre boyutu alt sınırı sonucu vardır .AC0AC0\mathsf{AC^0} devreleri için alt sınır boyutunu kanıtlamak için Anahtarlama Lemma sonucu geliştirebilir miyiz ( için alt sınır kanıtlarına benzer )? A C 0TC0TC0\mathsf{TC^0}AC0AC0\mathsf{AC^0} Yoksa alt sınırlarını kanıtlamak için bu yaklaşımı kullanmanın önünde herhangi bir engel var mı?TC0TC0\mathsf{TC^0} …

13 cc.complexity-theory  circuit-complexity  lower-bounds  boolean-functions 

Aşağıdaki koşulları sağlayan herkes iyi bilinen sorunları listeleyebilir: 1. has a generalization problem that is known to be NP-complete 2. has not been proved to be NP-complete nor has a known polynomial time solution.

13 cc.complexity-theory  np-hardness 

Bir habersiz Turing makinesi üzerinde bir Turing makinesinin emülasyon daha kısa bir sürede yapılamaz bir kanıt var mıdır O(mlogm)O(mlog⁡m)\mathcal{O}\left(m\log m\right)mmm adımlarla Turing makinası kullanımları sayısıdır? Yoksa bu sadece bir üst sınır mı? Vitányi, Paul Vitányi'nin göreceli ilgisiz Turing makineleri hakkındaki yazısında, "Bunlar [ Pippenger ve Fischer, 1979 makine Turing 1-bant …

13 cc.complexity-theory  turing-machines 

Bu iki terimin tarihini bilmek istiyorum: " verimli ", " uygulanabilir ". Onları ilk kez hesaplama / algoritmalarla ilgili olarak kim kullandı? (bu terimlerin modern anlamda, yani 20. yüzyıl). Nasıl ana akım oldular? Bu iki terim eş anlamlı olarak nasıl kullanılmaya başlandı? Cobham'ın tezinin ifadesinde polinom zaman hesaplaması ile ilişkili …

13 cc.complexity-theory  ds.algorithms  ho.history-overview