«cc.complexity-theory» etiketlenmiş sorular

olmak üzere iki boyutta nokta setimiz olduğunu düşünün . Sadece rotasyonla farklılık gösteriyorlarsa testin karmaşıklığı (zaman) nedir? : Rotasyon matrisi vardır , öyle ki ?mmmX,Y⊂RnX,Y⊂RnX,Y\subset \mathbb{R}^nOOT=OTO=IOOT=OTO=IOO^T=O^TO=IX=OYX=OYX=OY Burada gerçek değerleri temsil etme meselesi vardır - basitlik için, her bir koordinat için (kısa) bir cebirsel formül olduğunu varsayalım, böylece temel aritmetik işlemlerin …

12 cc.complexity-theory  complexity-classes  graph-isomorphism  computational-geometry  high-dimensional-geometry 

Son baskı öncesi https://arxiv.org/abs/1801.00776 , gerçek sayının zamanında ve doğrusal boşlukta sıralanabileceği iddia edilmektedir . Algoritmalar sıralama konusunda uzman olmasam da makale makul görünüyor.nnnO ( n günlüğün----√) ,Ö(ngünlük⁡n),O(n \sqrt{\log n}), Eğer doğruysa, bu en azından teorik olarak önemli olacaktır. Bununla birlikte, ana argümanın sunumu biraz resmi olmayan ve geleneksel değildir. …

12 cc.complexity-theory  ds.algorithms  sorting 

Yoğunluk , bir dil bir fonksiyonudur d x : N → K olarak tanımlanır d X ( n ) = | { x ∈ X ∣ | x | ≤ n } | . Varsayalım A ve B sonlu bir alfabe üzerinde diller, bir çok-on logspace azaltır B ve B …

12 cc.complexity-theory  reductions  structural-complexity 

Zaman hiyerarşi teoremi, turing makinelerinin (yeterli) daha fazla zamanları varsa daha fazla sorunu çözebileceğini belirtir. Alan asimptotik olarak sınırlıysa bir şekilde dayanıyor mu? Nasıl yok ilgili ise yeterince hızlı büyüyor mu?DTISP(g(n),O(s(n)))DTISP(g(n),O(s(n)))\textrm{DTISP}(g(n), O(s(n)))DTISP(f(n),O(s(n)))DTISP(f(n),O(s(n)))\textrm{DTISP}(f(n), O(s(n)))fgfg\frac{f}{g} Özellikle , ve olmasıyla ilgileniyorum .s(n)=ns(n)=ns(n) = ng(n)=n3g(n)=n3g(n) = n^3f(n)=2nf(n)=2nf(n) = 2^n Özellikle, aşağıdaki dili : Lk:={(⟨M⟩,w):M …

12 cc.complexity-theory  complexity-classes  turing-machines  space-bounded  time-hierarchy 

Tüm tatmin edici teklif mantık formüllerinin dilini düşünüyorum, SAT (bunun sonlu bir alfabesi olduğundan emin olmak için, teklif harflerini uygun bir şekilde kodlayacağız [değiştir: cevaplar sorunun cevabının altında olmayabilir kodlamalar değiştiğinden, birisinin daha spesifik olması gerekir - aşağıdaki sonuçlarıma bakın] ). Benim basit sorum Mı SAT bir bağlam-dil? İlk tahminim, …

12 cc.complexity-theory  circuit-complexity  sat  context-free 

Let bir (kesintisiz-monoton) minimum boyutu aritmetik belirtir ( + , X , - ) devresi belirli bir çoklu doğrusal polinom işlem f ( x 1 , ... , x , n ) = Σ E ∈ e c e n Π i = 1 x e i iA ( f)A(f)A(f)( …

12 cc.complexity-theory  circuit-complexity  lower-bounds  arithmetic-circuits 

Ben eğer tanımında ne olur, merak (Polinom Hiyerarşi, örneğin bakınız buraya , rolü) N P yerini olacağını R P ?P'HPHPHN-PNPNPR PRPRP Aynı şekilde biz hala bir hiyerarşi inşa edebileceğini, görünüyor sadece kullanılarak inşa edilmiştir R P her yerde yerine N P ve c o R P yerine c o K …

12 cc.complexity-theory  randomized-algorithms  randomness 

1979'da Hopcroft / Ullman , L ⊆ P ⊆ NP ⊆ PSpace'in bilindiğini yazdı, ancak L ⊊ PSpace, tek başına uygun (ve önemsiz) bir sınırlama olsa da, hepsi uygun sınırlar olarak tahmin edildi ve "işlerin hala nerede olduğu" ~ 4 yıl sonra . o zamandan beri L ⊊ P, P …

12 cc.complexity-theory  reference-request  lower-bounds  p-vs-np  conditional-results 

Karp azaltımı, iki hesaplama problemi arasında polinom zaman hesaplamalı bir-bir azaltmadır. Birçok Karp azaltımı aslında birebir işlevlerdir. Bu, her Karp azaltmasının etkisiz olup olmadığı sorusunu gündeme getirmektedir (bir-bir işlev). Doğal var mıdır sadece pek bir arada altında Karp azaltma tam olduğu bilinen ve injektif Karp azaltılması altında tam olarak bilinmemektedir …

12 cc.complexity-theory 

P/poly=NP/polyP/poly=NP/polyP/poly = NP/poly imaNP⊆P/polyNP⊆P/polyNP \subseteq P/poly da polinom hiyerarşi çöküşü gibi ilginç sonuçlar doğurur. için ilginç çıkarımlar var P/poly≠NP/polyP/poly≠NP/polyP/poly \neq NP/polymı?

12 cc.complexity-theory  conditional-results  advice-and-nonuniformity 

Çeşitli sayı teorik / cebirsel problemlerin bilinen veya bilinmeyen karmaşıklığı hakkında bir liste arıyorum. Örneğin, GCD açık,N-C1NC1NC^1 faktoring açıktır,PPP demet kohomolojisinin hesaplanması -hard# P#P\#P , Arora Barak faktoringe bir varyantı olan devlet -Komple (bu tartışma göre açık değildir da faktoringe bir NP-tam varyantı. ),N-PNPNP Barbulescu ve arkadaşlarının ayrık logaritmalar üzerine …

12 cc.complexity-theory  big-list  algebra  open-problem 

Razborov ve Rudich'in doğal kanıt bariyeri, güvenilir kriptografik varsayımlar altında, yapıcı, büyük ve kullanışlı işlevlerin birleştirici özelliklerini bularak NP'yi P / poli'den ayırmayı umamayacağını belirtiyor. Bariyeri atlatmayı başaran birçok iyi bilinen sonuç vardır. Chow'un bariyerin zayıf büyük çaplı ihlallerine karşı hassas olduğunu göstermesi ve Chapman ve Williams'ın yakın tarihli bir …

12 cc.complexity-theory  circuit-complexity 

, s ( f ) duyarlılığına ve b s ( f ) duyarlılığına sahip bir boole işlevi olsun .fffs ( f)s(f)s(f)b s ( f)bs(f)bs(f) Duyarlılık-Blok duyarlılık varsayımı varsayımı , ∀ f , b s ( f ) ≤ s ( f ) c olacak şekilde olduğunu belirtir .c > 0c>0c>0∀ …

12 cc.complexity-theory  big-picture  boolean-functions  survey 

PSPACE üzerindeki wikipedia sayfası PH'nun dahil edilmesinin katı olduğu bilinmemektedir (maalesef referans olmadan).NL⊂PHNL⊂PHNL\subset PH S1: ve - bunların katı olduğu biliniyor mu?L⊂PHL⊂PHL\subset PHL⊂P#PL⊂P#PL\subset P^{\#P} S2: Hayırsa , ve bunun için dahil edilmesinin katı olup olmadığı bilinmeyen yerleşik bir sınıfı var mı?CCCP#PP#PP^{\#P}L⊂CL⊂CL\subset C S3: Bu tür kapanımlar literatürde tartışılıyor mu?

12 cc.complexity-theory  complexity-classes  logspace 

Girdi bir evren ve alt kümelerinin bir aile , diyelim ki, . Bu alt grupları varsayalım kapsayabilir , yani .UUUUUUF⊆ 2UF⊆2U{\cal F} \subseteq 2^UFF{\cal F}UUU⋃E∈ FE= U⋃E∈FE=U\bigcup_{E\in {\cal F}}E=U Bir artımlı kaplama sekansı içinde alt kümelerinin bir dizisidir , diyelim ki, , tatmin olduğuFF{\cal F}bir= { E1, E2, … , …

12 cc.complexity-theory  ds.algorithms  approximation-algorithms  optimization  set-cover