«complexity-theory» etiketlenmiş sorular

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

2
Rastgele düzgün eşleme mükemmel örnekleme
Bir grafik olduğunu varsayalım ile M ( G ) mükemmel eşleşmeleri (bilinmeyen) set . Bu kümenin boş olmadığını varsayalım, o zaman den rastgele eşit olarak örneklemenin ne kadar zor olduğunu varsayalım ? Tekdüze yakın, ancak oldukça tekdüze olmayan bir dağıtımda iyiysem, o zaman verimli bir algoritma var mı?G,GGM( G )M(G)M(G)M …
3
P, NP ve özel Turing Makineleri
Ben biraz yeniyim, ancak bilgi işlem ve karmaşıklık teorisi alanıyla çok ilgileniyorum ve problemlerin nasıl sınıflandırılacağı ve problemlerin bunları çözmek için kullanılan makine ile ne kadar güçlü bir şekilde ilişkili olduğu konusundaki anlayışımı netleştirmek istiyorum. Anlayışım Standart Turing Makinesi - Sonlu alfabesi, sonlu sayıda durumu ve tek bir sağ sonsuz …
3
Matematiksel ifadeler / bilgisayar programı olmadan P = NP'yi kanıtlama
Bu, bir süre pasif kullanıcı olduktan sonraki ilk yazım. Mümkünse bazı sorular sormak istiyorum. Ben bir matematikçi değilim ama sorum matematik / bilgisayar bilimi alanıyla ilgili. Özellikle P ve NP problemi. Bunun seçkin profesyonellerin henüz çözemediği bir sorun olduğunun farkındayım ... Ne olursa olsun, şunu sormak istiyorum: Bir matematikçi veya …
2
Yüksek Sipariş İşlevleri, İşlevsel Programlamaya daha fazla güç sağlıyor mu?
Benzer bir soruyu cstheory'de sordum . Stackoverflow'daki bu cevaba göre, tembel olmayan bir saf fonksiyonel programlama dilinde bir karmaşıklığına sahipken, zorunlu programlamada aynı algoritma Ω ( n ) olan bir algoritma vardır . FP diline tembellik eklemek algoritmayı Ω ( n ) yapar .Ω(nlogn)Ω(nlog⁡n)\Omega(n \log n)Ω(n)Ω(n)\Omega(n)Ω(n)Ω(n)\Omega(n) Yüksek Dereceli Fonksiyonlar ile …
1
Clique sorununun kısıtlı sürümü mü?
Girdinin boyutunda olduğu ve boyutunda bir klik bulmamızın istendiği Clique sorununun aşağıdaki sürümünü düşünün . Kısıtlama, karar prosedürünün girdi grafiğini başka bir temsille değiştirememesi ve cevabını hesaplamak için girdi grafiğinin ötesinde ekstra bit dışında başka bir temsili kullanamamasıdır . Ekstra bitler, örneğin bir klik için kapsamlı aramanın durumunu izlemek için …
2
Yazışma Sonrası Sorunun Belirlenebilir Kısıtlamaları
Mesaj Yazışmalar Sorunu (PCP) undecidable. PCP sınırlı versiyonu olan Komple ve PCP işaretlenmiş versiyonu (iki liste birinin kelimeler, öncelikle harfi farklılık gerekmektedir) içinde [1].NPNP\mathrm{NP}PSPACEPSPACE\mathrm{PSPACE} Bu kısıtlı sürümler diğer sorunların bazı karmaşıklık sonuçlarını kanıtlamak için kullanılıyor mu (azaltma yoluyla)? PCP'nin karar verilebilmesini sağlayan (ve özellikle -complete) başka kısıtlı sürümleri var mı?PSPACEPSPACE\mathrm{PSPACE} …
5
NP = CoNP Proof'umdaki kusur?
Ben NP = CoNP için bu çok basit bir "kanıt" var ve sanırım bir yerde yanlış bir şey yaptım, ama neyin yanlış olduğunu bulamıyorum. Birisi bana yardım edebilir mi? A'nın NP'de bir sorun olmasına ve M'nin A için karar vermesine izin verin. B, tamamlayıcı olsun, yani B, CoNP'de. M bir …
2
DOUBLE-SAT'ın NP-tamamlanmış olduğunu kanıtlamak
İyi bilinen SAT problemi burada referans uğruna tanımlanmıştır . DOUBLE-SAT sorunu şu şekilde tanımlanır: DOUBLE-SAT={⟨ϕ⟩∣ϕ has at least two satisfying assignments}DOUBLE-SAT={⟨ϕ⟩∣ϕ has at least two satisfying assignments}\qquad \mathsf{DOUBLE\text{-}SAT} = \{\langle\phi\rangle \mid \phi \text{ has at least two satisfying assignments}\} NP-tam olduğunu nasıl kanıtlarız? Kanıtlamak için birden fazla yol takdir edilecektir.
3
Güç tüketimini yakalayabilen soyut bir makine var mı?
Bir algoritmanın algoritmik karmaşıklığını bildirirken, temeldeki hesaplamaların modern bir CPU'ya yaklaşan bazı soyut makinelerde (örn. RAM) gerçekleştirildiği varsayılır. Bu modeller algoritmaların zaman ve mekan karmaşıklığını rapor etmemizi sağlar. Şimdi, GPGPU'ların yayılmasıyla , bir kişi güç tüketimini de dikkate alabileceği iyi bilinen modeller olup olmadığını merak ediyor. GPU'ların önemli miktarda güç …
2
MIN-2-XOR-SAT ve MAX-2-XOR-SAT: NP zor mu?
ve ın karmaşıklığı nedir ? P'de mi? NP zor mu?MIN-2-XOR-SATMIN-2-XOR-SAT\text{MIN-2-XOR-SAT}MAX-2-XOR-SATMAX-2-XOR-SAT\text{MAX-2-XOR-SAT} Bunu daha kesin bir şekilde resmileştirmek için Φ(x)=∧niCi,Φ(x)=∧inCi,\Phi\left(\mathbf x\right)={\huge\wedge}_{i}^{n}C_i, burada ve her bir maddesi formda olan ya da .x=(x1,…,xm)x=(x1,…,xm)\mathbf{x} = (x_1,\dots,x_m)CiCiC_i(xi⊕xj)(xi⊕xj)(x_i \oplus x_j)(xi⊕¬xj)(xi⊕¬xj)(x_i \oplus \neg x_j) problemi bir atama bulmaktır 'e tatmin eden . Mod doğrusal denklem sistemine karşılık geldiği …
2
Herhangi bir NP-Komple Problem en fazla polinom alanı kullanılarak (ancak üstel zaman kullanılırken) çözülebilir mi?
NPC ve PSPACE ile olan ilişkisini okudum ve NPC problemlerinin en kötü durum polinom alanı gereksinimi olan bir algoritma kullanılarak belirleyici olarak çözülüp çözülemeyeceğini, ancak potansiyel olarak üstel zaman aldığını (P'nin polinom olduğu) bilmek istiyorum. Ayrıca, genel olarak EXPTIME olarak genelleştirilebilir mi? Bunu sormamın nedeni, bir NPC sorununun dejenere vakalarını …
2
Üstel hisseden fakat P olan problemler
Ben "doğada çok üstel gibi görünüyor, ama sonuçta onları çözen bazı özellikle zeki algoritma var gibi sorunları çözme gibi," son derece yararlı "olan algoritmaların / sorunların bir listesini oluşturmaya çalışıyorum. Ne demek istediğimin örnekleri: Doğrusal Programlama (Simplex algoritması üstel bir zamandır; bir polinom zaman çözümü bulmak uzun sürdü!) Daha genel …
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.