«time-complexity» etiketlenmiş sorular

Belirli bir grafiğinin köşe kapaklarının sayısını saymak için # P-complete problemini düşünün .G = ( V, E)G=(V,E)G = (V, E) Böyle bir sorunun sertliğinin bazı parametrelerine göre nasıl değiştiğini gösteren herhangi bir sonuç olup olmadığını bilmek istiyorum (örneğin, ).d = | E |G,GGd= | E|| V|d=|E||V|d = \frac{|E|}{|V|} Benim hissim, …

14 cc.complexity-theory  graph-theory  counting-complexity  time-complexity 

Bu konuda biraz araştırma yapmıştım ama her iki şekilde de bir cevap bulamadım. Huck buna tamamen cevap verdi. Teşekkürler :)

14 cc.complexity-theory  complexity-classes  time-complexity  space-complexity 

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 

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 

Sayma olarak adlandırdığım şey, bir işleve çözüm sayısını bulmaktan oluşan sorundur. Daha doğrusu, f:N→{0,1}f:N→{0,1}f:N\to \{0,1\} (ille de kara kutu değil) işlevi verildiğinde , yaklaşık #{x∈N∣f(x)=1}=|f−1(1)|#{x∈N∣f(x)=1}=|f−1(1)|\#\{x\in N\mid f(x)= 1\}= |f^{-1}(1)|. Bir çeşit sayımı içeren ve zaman karmaşıklığının bu temel sayma probleminden büyük ölçüde etkilendiği algoritmik problemler arıyorum. Tabii ki, sorunları kendileri …

13 ds.algorithms  reference-request  counting-complexity  time-complexity 

Pratik bir problem boyutu için , üstel bir algoritmanın en iyi bilinen polinom zaman muadilinden çok daha hızlı çalıştığı herhangi bir problemi (tercihen en azından biraz iyi bilinir) biliyor musunuz? Örneğin, bir sorunun pratik boyutu * ve bilinen iki algoritma olduğunu varsayalım : Biri ve diğeri , bazı sabit . …

13 time-complexity  polynomial-time  exp-time-algorithms 

taraflı bir madeni parayı adil ayırt etmenin karmaşıklığının olduğu iyi bilinmektedir . Bir parasını bir parasından ayırt etmek için sonuçlar var mı? Özel için karmaşıklığın olacağını görebiliyorum . Karmaşıklığın düzeninde olup olmadığına bağlı olacağına dair bir önsezim var , ancak bu kadar titizlikle kanıtlayamıyorum. Herhangi bir ipucu / referans var …

13 reference-request  time-complexity 

Buhrman ve Homer'ın “ Süperpolinom Devreleri, Neredeyse Seyrek Orakles ve Üstel Hiyerarşi” adlı bir makalesini okuyordum . Sayfa 2'nin alt kısmında sonuçlarının polinom boyutu devreleri olmadığını ima ettiğini . Ben üstel zaman hiyerarşisinde, biliyoruz adildir ve ben de Kannan en sonucu olduğunu biliyoruz öyle ki . Tabii ki, teoremi (bunun …

12 cc.complexity-theory  complexity-classes  time-complexity  oracles  circuits 

Divisibity Karar Problemi için günümüzde bilinen (zaman karmaşıklığı içinde) en verimli algoritma nedir: İki tamsayı verilen söylemek ve , yaptığı bölme ? İstediğim şeyin (Kalan) Kalan Hesaplama için bir algoritma olmadığı açıktır. Ben sadece bölünmesinin olup olmadığını bilmek istiyorum . Daha açık olmak gerekirse, sorum zaman karmaşıklığı den daha iyi …

12 time-complexity  lower-bounds  nt.number-theory  primes 

bir NP tam arama sorununu, örneğin SAT arama formunu düzeltin . Levin araması X'i çözmek için bir anlamda optimal olan bir algoritma L sağlar . Özellikle, algoritma " Bazı x P yanıtını doğru test edip yanıtlamadığını sorduktan sonra x girişindeki tüm olası P programlarını çalıştır ." X'i zaman karmaşıklığı ile …

12 cc.complexity-theory  time-complexity  p-vs-np 

Sorunu çözen hiçbir algoritma için, giriş örneğinin n uzunluğunun bir fonksiyonu olarak bağlı bir zaman verebileceğimiz gibi karar verilebilir problemler var mı? Bu soruya geldim çünkü aşağıdakileri düşünüyordum: Yinelenen, ancak numaralandırılamayan bir sorunumuz olduğunu varsayın. Ayrıca, sorunun "evet" ifadesi olduğunu varsayalım. O zaman sorunun "evet" -enlerini tanımlayan hiçbir algoritma için, …

12 computability  time-complexity 

Aşağıdaki abelian-alt grup üyelik testi sorununu göz önünde bulundurun . girişler: Sonlu bir abelya grubu G=Zd1×Zd1…×ZdmG=Zd1×Zd1…×ZdmG=\mathbb{Z}_{d_1}\times\mathbb{Z}_{d_1}\ldots\times\mathbb{Z}_{d_m} , keyfi büyük didid_i . Bir üretim kümesi {h1,…,hn}{h1,…,hn}\lbrace h_1,\ldots,h_n\rbrace , bir alt-grubu H⊂GH⊂GH\subset G . Bir eleman b∈Gb∈Gb\in G . Çıktı: b∈Hb∈Hb\in H ve 'hayır' başka yerlerde ' ise' evet '. Soru: Bu …

12 ds.algorithms  time-complexity  matrices  nt.number-theory  gr.group-theory 

Bu soru, yığının her işlem için itfa edilmiş zamanında iki kuyruk kullanılarak simüle edilip edilemeyeceğine dair mevcut bir sorudan ilham alıyor . Cevap bilinmemektedir. İlk önce tüm PUSH işlemlerinin, ardından tüm POP işlemlerinin gerçekleştirildiği özel duruma karşılık gelen daha spesifik bir soru. Başlangıçta boş iki kuyruk kullanılarak bir öğesinin listesi …

12 ds.algorithms  ds.data-structures  lower-bounds  time-complexity  sorting 

, zamanında bir (çok bantlı) Turing makinesi tarafından kabul edilebilecek dil sınıfı olarak tanımlayın . (" " sadece gösterimi basitleştirmek ve karışıklığı önlemek içindir.) etrafında olmadığını unutmayın .f ( n ) + 1 + 1 O ( ⋅ ) f ( n ) + 1D T I M E (f( …

12 cc.complexity-theory  time-complexity  turing-machines  time-hierarchy 

Sorun için etkili bir algoritma arıyorum: Giriş : Pozitif tamsayı 3n3n3^n (bit olarak saklanır) bazı tamsayısı için ≥ 0n≥0n≥0n \geq 0 . Çıktı : sayısı nnn. Soru : Biz hesaplayabilir nnn parçaları nedeniyle 3n3n3^n içinde O(n)O(n)O(n) zaman? Bu, bir matematiğe cevabımın motive ettiği teorik bir sorudur.SE sorusu Bu bağlanma için …

11 ds.algorithms  time-complexity