«cc.complexity-theory» etiketlenmiş sorular

NP ve NP ile sınırlı diğer kaynak hesaplamaları.

1
(İmzalı) Hatalarla Öğrenme
Background––––––––––––––Background_\underline{\bf Background} 2005 yılında Regev [1], Hatalı Öğrenme Paritesinin genelleştirilmesi olan Hatalarla Öğrenme (LWE) problemini tanıttı. Bu sorunun belirli parametre seçimleri için sertliği varsayımı, artık kafes tabanlı kriptografi alanındaki bir dizi kuantum kripto sistemi için güvenlik kanıtlarının altında yatmaktadır. LWE'nin "kanonik" versiyonları aşağıda açıklanmaktadır. Ön Bilgiler: İzin Vermek T=R/ZT=R/Z\mathbb{T} = …
3
Alt doğrusal belirsiz olmayan alanda bilinen NP-Complete (veya NP-Intermediate) problemleri var mı?
Bazı NP-Complete sorunları var (S A TSAT \mathsf{SAT} , , vb.) içinde olduğu bilinmektedir . Alt doğrusal uzaylar ne olacak?S U B S E T S U MSUBSETSUM \mathsf{SUBSETSUM} D S P A C E ( n )DSPACE(n) \mathsf{DSPACE(n)} Alt doğrusal belirsiz olmayan alanda bilinen NP-Complete (veya NP-Intermediate) problemleri var …
1
Nick'in Sınıfı için “doğru” tekdüzelik koşulu
DLOGTIME, http://en.wikipedia.org/wiki/DLOGTIME adresinde tanımlanır. LL\operatorname{L}http://en.wikipedia.org/wiki/L_%28complexity%29 sitesinde tanımlanır NCNC\operatorname{NC} ve NCnNCn\operatorname{NC}^nhttp://en.wikipedia.org/wiki/NC_%28complexity%29 sitesinde tanımlanır DLOGTIME işe yarayabilecek en küçük gibi görünüyor. Çeşitli yerlerde okudum kiL ⊆NC2L⊆NC2\, \operatorname{L} \subseteq \operatorname{NC}^2 \,, \, bir tekdüzelik koşulu belirten sonuçları bulduğum her yerde LL\operatorname{L}-uniformity. Herhangi bir deterministik sınıf var mıXXX öyle ki L ⊆ NCL⊆NC\, \operatorname{L} …
2
Hakemle iletişim karmaşıklığı
İki karmaşık A (bit) ve B (ob) ve R (eferee) oyuncularımızın olduğu iletişim karmaşıklığında bir çerçeve varsayalım. A ve B birbirleriyle doğrudan iletişim kurmazlar. Her iletişim turunda, her biri bir mesaj gönderir (mAmbirm_A, mBmBm_B) R'ye iki fonksiyon hesaplar fA(mbir,mB)fbir(mbir,mB)f_A(m_A,m_B) ve fB(mbir,mB)fB(mbir,mB)f_B(m_A,m_B)ve sonuçları onlara gönderir. Fonksiyonlar sabittir. Fikir, oyuncular arasındaki iletişimin …
1
En geniş kesimin NP-sert olduğuna dair kanıt
En küçük kesim problemi hakkında okuduğum her yerde, sadece sorunun NP -hard olduğu biliniyor . Bunun kanıtı nerede bulabilirim? Bilinen NP- zor problemi en az kesim sorununu azaltır? Vazirani'nin Leighton Rao algoritmasını sunan Yaklaşım Algoritmaları kitabında ya da birçok NP tamamlanmış problemi özetleyen "Bilgisayarlar ve Sürdürülebilirlik" kitabında herhangi bir kanıt …
1
Set kapağının yakınlığı: m = poli (n) olduğunu varsayabilir miyim?
Belirli bir sorunun ayarlanan kapaktaki bir azalma ile yakınlaştırılamayacağını göstermeye çalışıyorum. Küçültmem, bir örneği zemin boyutu kümesine dönüştürüyornnn ve mmm sorunumun belirli bir parametrenin olduğu rrr büyüklükte O ( n + m )Ö(n+m)O(n+m). Daha sonra, kapak boyutunun s olduğu bir set kapak örneğinin, en uygun çözümün boyutunun olduğu sorunumun bir …
2
Üyelik için testin NP-tam olduğu biliniyorsa bir kümenin kardinalitesini bağlayabilir miyim?
Birim disk grafikleri kümesinin kardinalitesine bağlı olmak istiyorum NNNköşe noktası. Bir grafiğin bu kümenin üyesi olup olmadığını kontrol etmenin NP-zor olduğu bilinmektedir. Bu, P varsayarak, kardinalitede herhangi bir alt sınırlamaya yol açar mı?≠≠\neq NP? Örneğin, tüm grafiklerde aşağıdakileri içeren bir sipariş olduğunu varsayalım: NNNköşe noktası. NP sertliği kardinalitenin aşıldığını ima …
1
Determinantlardan ve matrisin kalıcılığı
Let bir olmak ya da bir matris girdileri ile . Birisi bana bir matrisi sağlayabilir, böylece ? \ Operatorname {per} (A) = \ det (B) şeklinde bilinen en küçük açık B nedir ? Bu konuda açık örneklerle herhangi bir referans var mı?AAA3×33×33 \times 34×44×44 \times 4aijaija_{ij}BBBper(A)=det(B)per⁡(A)=det(B)\operatorname{per}(A) = \det(B)BBBper(A)=det(B)per⁡(A)=det(B)\operatorname{per}(A) = \det(B) …
1
NP vs EXPTIME çevresindeki edebiyat
Bu çok önemli bir nokta olmasa bile, bu sorunun etrafında herhangi bir literatür görmüyorum. Görelilik sonuçları var mı? NP makinesinin olası tüm yollarını araştırarak deterministik olmayan zaman hiyerarşi teoremini uyarlayarak katı içerme olduğunu kanıtlamak oldukça kolay olmaz mıydı?
1
Verimli sorgular için veritabanı sorgu dilleri
İlişkisel veritabanları için popüler sorgu dillerinde, yanıtlanması için çok fazla kaynak gerektirecek sorgular oluşturmak mümkündür. Uygulamada, veritabanı yöneticileri bunu sorgu başına bellek miktarını sınırlayarak ve veritabanında yavaşlama olup olmadığını uzun süredir çalıştıran sorguları kontrol ederek yönetir . Bu oldukça geçici görünüyor, bunun için bir TCS çözümü var mı? Yalnızca verimli …
1
Düzgünleştirilmiş Analiz: Bir problemin psödopolinom karmaşıklığı varsa, Düz P'de mi?
Düzgünleştirilmiş Analiz'de olağandışı bir patlama ile karşı karşıya kaldım ve Tamsayı Programlamanın Düzgünleştirilmiş Analizi makalesinde bir iddiadan etkilendim . Bu, Tamsayı Doğrusal Programlamanın, Polinom ile Sınırlı ise Düzgünleştirilmiş P'de olduğunu belirtti. Tamsayı Programlamanın Sözde-polinom olduğu için bu çok önemliydi! Dolayısıyla soru şudur: Bu evrensel olarak diğer sorunlara da yansıyor mu? …
1
Düzgün Olmayan ve Düzgün Düşmanlar
Bu soru kriptografi bağlamında ortaya çıktı, ancak aşağıda karmaşıklık teorisi açısından sunacağım, çünkü buradaki insanlar ikincisiyle daha yakından tanışıyorlar. Bu soru NP'deki Sorunlar ile ilgilidir, ancak Oracle Access tarafından Ortalama-P / poli ve Dayak Düzgünlüğü ile ilgilidir . Gayri resmi ifade: Tekdüze olmayan rakipler (yani çok boyutlu devreler ailesi) bir …
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.