«cc.complexity-theory» etiketlenmiş sorular

Standart sorun 1-in-3 SAT (veya XSAT veya X3SAT) şudur: Örnek : tam olarak 3 litre içeren her cümleye sahip bir CNF formülü Soru : cümle başına tam 1 litre doğru olan tatmin edici bir atama ayarı var mı? Sorun NP-tamamlanmış ve herhangi bir değişken ortadan kalkmasa bile zor olmaya devam …

9 cc.complexity-theory  np-hardness  sat 

İzin Vermek G=(V,E)G=(V,E)G=(V,E)grafik olmak. Bir tepe noktası setiX⊆VX⊆VX\subseteq Veğer kritik olarak adlandırılırsaX≠∅X≠∅X\neq\emptyset ve tepe noktası yok V∖XV∖XV\setminus X tam olarak bir tepe noktasına bitişik XXX. Sorun, bir köşe kümesi bulmaktırS⊆VS⊆VS\subseteq V minimum boyutta S∩X≠∅S∩X≠∅S\cap X\neq\emptyset her kritik set için XXX. Sorun şu söylentiyi yayıyor: Vertex iii söylenti komşusuna yayılıyor jjj …

9 cc.complexity-theory  graph-theory  co.combinatorics  optimization 

Eşgörünüm: Yönlendirilmemiş bir grafikGGGiki belirgin köşe noktası ve bir tamsayı .s≠ts≠ts\neq tk≥0k≥0k\geq 0 Soru: , en fazla üçgeniyle kesişecek şekilde bir yolu var mı ? (Bu sorun için, yol üçgenden en az bir kenar içeriyorsa, bir yolla bir üçgenin kesiştiği söylenir.)s−ts−ts-tGGGkkk

9 cc.complexity-theory  graph-algorithms 

Turing makinelerinin ve evrensel bir Turing makinesinin (U) girişindeki (T, x), x girişindeki T çıkışlarını (muhtemelen her ikisi de sonsuza dek çalışan) çıkardığı bir kodlamasını düzeltelim. X, K (x) 'in Kolmogorov karmaşıklığını, en kısa programın uzunluğu (p) olarak tanımlayın, öyle ki U (p) = x. Tüm n> N için K …

9 cc.complexity-theory  universal-computation  kolmogorov-complexity  universal-turing-machines 

Eşsiz Oyunlar Konjonktürü ve Max-Cut of Khot ve ark. Makalelerinden ve internetteki başka yerlerden, çoğu yazar MAX-CUT azaltması ile uzun kodlar için özel testler oluşturma arasında örtük bir denklik kullanır (benim için ne). Bu denklik konusundaki kendi netliğim olmadığından, bu düşünce trenini takip etmek için mücadele ediyorum. Ayrıca, bu açıklamalardan, …

9 cc.complexity-theory  approximation-hardness  pcp  max-cut  unique-games-conjecture 

Bilinen en hızlı yönlendirilmemiş grafik izomorfizma algoritması nedir?

9 cc.complexity-theory  reference-request  graph-algorithms  graph-isomorphism 

Diyelim ki bir Boolean fonksiyonumuz var ve üzerine -random kısıtlaması uyguluyoruz . Ek olarak, hesaplayan karar ağacının ( rastgele kısıtlamanın bir sonucu olarak boyutuna küçüldüğünü varsayalım . Bu, çok düşük bir toplam etkiye sahip olduğu anlamına mı geliyor ?f:{−1,1}n→{−1,1}f:{−1,1}n→{−1,1}f:\{-1,1\}^n\rightarrow \{-1,1\}δδ\deltafffTTTfffO(1)O(1)O(1)fff

9 cc.complexity-theory  co.combinatorics  circuit-complexity  boolean-functions 

Özür dilerim, bu biraz "yumuşak" bir soru. Bilgi teorisinin hesaplama karmaşıklığı kavramı yoktur. Örneğin, bir SAT veya bir SAT örneği ve tatmin edilebilirliği gösteren bir bit örneği aynı miktarda bilgi taşır. "Polinom olarak bilinebilir" kavramını resmileştirmenin bir yolu var mı? Böyle bir çerçeve, örneğin, Y verilen polinom zamanında X'i hesaplamak …

9 cc.complexity-theory  it.information-theory  polynomial-time 

Bir devredeki kapı sayısının iki n-bit tamsayısını çarpması için en iyi sonuç nedir? Açık yöntem kapıları üretir . ve geçitleri ile daha iyi yaklaşımlar vardır .θ(n2)θ(n2)\theta(n^2)θ(nlognloglogn)θ(nlog⁡nlog⁡log⁡n)\theta(n\log n \log\log n)θ(nlogn2log∗(n))θ(nlog⁡n2log∗⁡(n))\theta(n\log n2^{\log^*(n)}) gates ile çarpımı gerçekleştirebilecek herhangi bir Boolean devre ailesi bulamadım . Böyle bir devre ailesinin olup olmadığını merak ediyorum.nlognnlog⁡nn\log n

9 cc.complexity-theory  circuit-complexity 

Sonlu bir alanda doğrusal bir denklem sisteminin çözülmesinin karmaşıklığı hakkında ne biliniyor? Biliyorum kiO(n3)O(n3)O(n^3)bir çözümü hesaplayan ve seyrek sistemler için daha da iyi algoritmalar vardır. Ancak, bu sorunun birleşiklik-teorik karakterizasyonu olup olmadığını merak ediyordum. Örneğin, ilgili karar sorunuNCNC\mathbf{NC}? Herhangi bir karmaşıklık sınıfı için tamamlanmış mı?

9 cc.complexity-theory  linear-equations 

Bir homomorfizmi bir grafikten bir grafik bir eşleme den için , öyle ki, eğer ve komşu olan daha sonra ve içinde bitişiktir . Bir Endomorfizma bir grafik bir homomorfizma kendisine; bunun sabit nokta içermeyen bir varsa öyle ki bu ve önemsiz olmayan bu kimlik değilse.G = ( V, E)G,=(V,E)G = …

9 cc.complexity-theory  graph-algorithms  counting-complexity  graph-isomorphism  homomorphism 

İletişim karmaşıklığını kendi başına ve hesaplama karmaşıklığı teorisiyle ilişkisi ile motive etmek ve öğrenmek için en iyi kaynaklardan bazıları (kitaplar ve makaleler) nelerdir?

9 cc.complexity-theory  reference-request  communication-complexity  books 

Dikilen klips probleminde, bir Erdos-Renyi rastgele grafiği içine dikilmiş bir klipsi geri kazanılmalıdır . Bu çoğunlukla , bu durumda ise polinom zamanı çözülebilir olduğu ve için zor tahmin edildiği bilinir .kkkG ( n , p )G,(n,p)G(n,p)p =12p=12p=\frac{1}{2}k &gt;n--√k&gt;nk > \sqrt{n}k &lt;n--√k&lt;nk< \sqrt{n} Sorum şu: diğer değerleri hakkında bilinen / inanılan …

9 cc.complexity-theory  approximation-algorithms  approximation-hardness 

Karşılaştırma tabanlı bir sıralama algoritmasının minimal karmaşıklığının karşılaştırmaları olduğunu hepimiz biliyoruz . Ben kör bir sıra yapmaya çalışıyorum , yani bir sayı çıkış öğeleri listesini sıralar (boolean, aritmetik ve "karşılaştırma" kapıları ile) verildi .Ω ( n günlüğün )Ω(ngünlük⁡n)\Omega(n \log n)nnnnnn Tüm select karşılaştırmalarını önceden hesaplamak ve sonra ortaya çıkan bitler …

9 cc.complexity-theory  terminology  sorting 

Doğal Kanıtlar , Relativizasyon ve Cebirleşme de diğer karmaşıklık sınıflarının ayrılmasını etkiler mi?L≠N-L≠N-P≠cÖN-P≠P'H≠PSPbirCEL≠NL≠NP≠coNP≠PH≠PSPACEL\neq NL\neq NP\neq coNP \neq PH\neq PSPACE vb? Örneğin, doğal kanıtlar bariyeri, N-P≠CÖN-PNP≠CoNPNP\neq CoNP ayrılacağı için P≠N-PP≠NPP\neq NP. Ancak arasındaki ilişkiN-PNPNP ve CÖN-PCoNPCoNP arasındaki ilişkilere kıyasla OWF'lerle fazla bir şey yok gibi görünüyor PPP ve N-PNPNP. Doğal kanıtlar,N-P≠CÖN-PNP≠CoNPNP\neq …

9 cc.complexity-theory  barriers