«complexity-theory» etiketlenmiş sorular

Problem çözmenin (hesaplamalı) karmaşıklığı ile ilgili sorular

1
Bu fonksiyon neden hesaplanabilir
Ders kitabım şöyle diyor: "İşlevi tanımlarız f: N → Nf:N→Nf\colon \mathbb{N}\to\mathbb{N} aşağıdaki gibi: f( 1 ) = 2f(1)=2f(1)=2 ve f( i + 1 ) =2f( ben)1.2f(i+1)=2f(i)1.2f(i+1)=2^{f(i)^{1.2}}. Verilen notnnn, kolayca bulabiliriz O (n1.5)O(n1.5)O(n^{1.5}) zaman numarası benii öyle ki nnn arasında sandviç f( i )f(i)f(i) ve f( i + 1 )f(i+1)f(i+1)." Kendimi …
2
Mu ?
Mı için oracle erişimi olan sadece daha büyük ? Anladığım kadarıyla , simüle edebiliyorsa , başka bir makinesine sorgulama yapabilen bir turing makinesidir ? Bu argümanla ilgili bir sorun mu var?NPNPNPNPNPNPNPNPNPNPNPNPNPNP^ {NP}NPNPNPNPNPNPNPNPNPNPNP^{NP}
2
Spearman'ın sıralama korelasyon katsayısı hesaplamasının karmaşıklığı nedir?
Spearman'ın sıralama korelasyon katsayısını inceliyorum ρ =Σben(xben-x¯) (yben-y¯)Σben(xben-x¯)2Σben(yben-y¯)2-------------------√ρ=Σben(xben-x¯)(yben-y¯)Σben(xben-x¯)2Σben(yben-y¯)2\qquad \displaystyle \rho = \frac{\sum_i(x_i-\bar{x})(y_i-\bar{y})}{\sqrt{\sum_i (x_i-\bar{x})^2 \sum_i(y_i-\bar{y})^2}} . iki liste için ve . Algoritmanın karmaşıklığı nedir ?x1, … ,xnx1,...,xnx_1, \dots, x_ny1, … ,yny1,...,yny_1, \dots, y_n Algoritma çıkarmalarını hesaplaması gerektiğinden , olmak mümkün müdür ?nnnO ( n )Ö(n)O(n)
6
Big-O-Notasyonunun düzenli çalışma zamanlarında varyasyonlar var mı?
veya O (n ^ 2) gibi birden fazla Notu vardır . Gerçekte O (2n ^ 2) veya O (\ log n ^ 2) gibi varyasyonlar olup olmadığını veya bunların matematiksel olarak yanlış olup olmadığını merak ediyordum .OOOO(n)O(n)O(n)O(n2)O(n2)O(n^2)O(2n2)O(2n2)O(2n^2)O(logn2)O(log⁡n2)O(\log n^2) Yoksa bir O(5n2)O(5n2)O(5n^2) yi O(3n2)O(3n2)O(3n^2) ye yükseltmenin mümkün olduğunu söylemek doğru bir …
2
“O (1) - tamamlanmış” problemler var mı?
Birçok karmaşıklık sınıfının "tam" sorunları vardır. zamanında çözülebilen karmaşıklık sınıfı problemleri için tam problemler var mı?O(1)O(1)O(1) Bir komplikasyon, bu sınıfın hesaplama modeline bağlı olmasıdır; bir problem, makul bir hesaplama modelinde zamanında çözülebilir, ancak "makul" ifadesinin tipik olarak bir Turing makinesiyle polinom-zaman denkliği anlamına geldiği göz önüne alındığında, bir problem çözülemez …
1
Presburger aritmetiğinin iki kat üstel karmaşıklığının kanıtında kullanılan hile
Bunu MathUnderflow'a gönderdim, ancak cevap alamadım, bu yüzden burada deneyeceğim diye düşündüm, Rabin ve Fischer'ın eski makalesini okuyorum [mümkünse bir bağlantı yayınlayacak], diğer şeylerin yanı sıra Presburger aritmetiğinin iki kat üstel karmaşıklığı kanıtlandı. Kanıt , ile gayri resmi olarak " " iddiasında bulunan formülünün varlığına dayanmaktadır. . Bu formülün yapısı …
2
Metrik uzay noktası kümesindeki merkezi noktayı değerinden daha az olarak mı ?
Ben bir dizi var ı noktaları ama başka bir şey arasında bir 'mesafe' ölçmek için - bir metrik uzayda tanımlanan noktaları. Diğer tüm noktalara minimum uzaklık toplamı olan nokta olarak tanımladığım bu set içindeki en merkezi noktayı bulmak istiyorum. Metrik hesaplama yavaştır, bu nedenle mümkün olduğunca kaçınılmalıdır.nnn Bu noktayı bulmanın …
2
Transdikotomoz modelde O (n) 'de tamsayı sıralama mümkün müdür?
Bildiğim kadarıyla aşağıdaki sorunu çözen bir en kötü durum algoritması yoktur:O ( n )Ö(n)O(n) Sonlu tamsayılardan oluşan bir uzunluk dizisi göz önüne alındığında , her elemanın halefinden küçük veya ona eşit olduğu permütasyonu bulun.nnn Ancak, sınıraşan hesaplama modelinde var olmadığına dair bir kanıt var mı? Tamsayıların aralığını sınırlamadığımı unutmayın. Çözümleri …
4
Element benzersizliği deterministik lineer zamanda çözülebilir mi?
Aşağıdaki sorunu düşünün: Girdi : tamsayıların değerlerini listelerX,YX,YX,Y Hedef : her iki listede de bir tamsayısı olup olmadığını belirlemenizi sağlar .xxx Her iki listesinin boyutunda olduğunu varsayalım . Bu sorun için deterministik, doğrusal zaman algoritması var mı? Başka bir deyişle, bu problemi rasgele kullanmadan zamanında belirleyici olarak çözebilir misiniz ?X,YX,YX,YnnnO(n)O(n)O(n) …
2
Oracle Turing makinelerinin kullanımı nasıl çelişkilere yol açmaz?
Oracle Turing Makineleri kullanırken karmaşıklık sınıfları hakkında sağlam ve geçerli açıklamalar yapmaya devam etmemizi nasıl sağlayabiliriz? Anladığım kadarıyla (konuyla ilgili giriş kitaplarında verilen tanımlara dayanarak) oracle Turing makineleri, bir hesaplama adımında bir oracle diline göre bir ipin üyelik durumunu belirleyebilir. Bununla birlikte, sıklıkla kullanılan kehanet dillerinin sabit zamanda çözülmesi imkansızdır …
1
Eğer EŞSİZ k-SAT'ın P cinsinden olduğunu gösterirse, P = NP anlamına gelir mi?
Valiant ve Vazirani, SAT'ın polinom zamanında rasgele olasılıklı indirimler altında BENZERSİZ SAT'a indirgenebileceğini kanıtladı. Calabro ve diğ . EŞSİZ k-SAT'ın k-SAT kadar sert olduğunu gösterdi. Şimdi soru şu, eğer birisi EŞSİZ k-SAT'ın P'de olduğunu gösteriyorsa, P = NP anlamına mı geliyor? Referanslar LG Valiant ve VV Vazirani, "NP benzersiz çözümleri …
1
Sorunun adı nedir? (grafiği üç kapağa bölme)
Bu sorunun bir adı olup olmadığını merak ediyordum: Kenarları kırmızı, mavi ve yeşil renkli basit bir grafik göz önüne alındığında, , bir köşe boyama var her kenarın aynı renkte bir uç noktası var mı?G=(V,B∪R∪G)G=(V,B∪R∪G)G=(V,B\cup R\cup G)c:V→{B,R,G}c:V→{B,R,G}c:V\to \{B,R,G\} Ayrıca, bunun NP-tam olduğu biliniyor mu? Bu, her bir kısıtlamanın üç değerden birini …
1
Olasılık Dağılımları ve Hesaplama Karmaşıklığı
Bu soru olasılık teorisinin ve hesaplama karmaşıklığının kesişimi ile ilgilidir. Önemli bir gözlem, bazı dağılımların üretilmesinin diğerlerinden daha kolay olduğudur. Örneğin, sorun Bir sayısı verildiğinde , ile eşit olarak dağıtılmış bir sayı .nnniii0≤i&lt;n0≤i&lt;n0 \leq i < n çözmek kolaydır. Öte yandan, aşağıdaki sorun çok daha zor veya öyle görünüyor. Bir …
1
Biçimsel diller arasında uygun izomorfizmler nelerdir?
Bir alfabe üzerindeki resmi dil nın bir alt kümesidir , yani bu alfabe üzerindeki bir kelime kümesidir. Karşılık gelen kümeler altkümeleri olarak geniş ölçüde eşitse, iki biçimsel dil ve eşittir . Karmaşıklık teorisindeki dilleri bir "problem" kavramını resmileştirmek için kullanabiliriz . "Genel olarak" genişleme eşitliğinin kararsız olduğu şikayet edilebilir, ama …
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.