Teorik Bilgisayar Bilimi

Teorik bilgisayar bilimcileri ve ilgili alanlardaki araştırmacılar için soru cevap

2
Turing makinesi açısından mP / poly'nin eşdeğer bir tanımı nedir?
P / poly, bir polinom boyutlu Boole devreleri ailesi tarafından çözülebilen karar problemleri sınıfıdır. Alternatif olarak, n cinsinden polinom boyutunda olan ve yalnızca n boyutuna dayanan bir tavsiye dizesi alan bir polinom-zaman Turing makinesi olarak tanımlanabilir. MP / poli, polinom boyutlu monoton Boolean devreleri ailesi tarafından çözülebilen karar problemleri sınıfıdır, …
2
Kareler toplamı yönteminde sayısal hassasiyet?
Barak & Steurer ve Barak'ın ders notlarından kareler toplamı yöntemi (SOS) hakkında biraz okudum . Her iki durumda da halının altında sayısal doğruluk sorunlarını süpürüyorlar. Yöntemin (kuşkusuz sınırlı) anlayışımdan aşağıdakiler doğru olmalıdır: Tüm parametrelerin ( , ve her bir kısıtlamanın derecesi) olduğu, gerçek değer değişkenleri üzerinde herhangi bir polinom eşitlik …
1
Martin-Löf'in sezgisel tip teorisi yaratmasına neden ihtiyaç duyuldu?
Sezgisel Tip Teorisi (ITT) hakkında okuyordum ve bu mantıklı. Ama anlamak için uğraştığım şey, ilk etapta "neden" yaratıldığı? Sezgisel Mantık (IL) ve Basitçe yazılmış - hesabı (STLC) ve genel olarak tip teorisi, Martin-Löf'ün kendisinin varlığından önce gelir! Görünüşe göre ITT'de yapılabilen her şeyi STLC'de yapabilirim (yanlış olabilirim, ama en azından …
2
Permütasyonla ilgili problemlerin karmaşıklığı
ve iki vektör bir grup permütasyonu verildiğinde burada son derece uygun olmayan sonlu bir alfabe, soru bazı olup olmadığıdır şekilde burada permütasyon uygulama aracı üzerinde beklenen bir şekilde.GGG[n]={1,⋯,n}[n]={1,⋯,n}[n]=\{1, \cdots, n\}u,v∈Γnu,v∈Γnu,v\in \Gamma^nΓΓ\Gammaπ∈Gπ∈G\pi\in Gπ(u)=vπ(u)=v\pi(u)=vπ(u)π(u)\pi(u)ππ\piuuu Ayrıca giriş olarak sonlu bir jeneratör seti tarafından verildiğini varsayalım . Sorunun karmaşıklığı nedir? Özellikle, NP'de mi?GGGSSS
1
Klasik Paxos ve Fast Paxos'un doğruluğu kanıtları
Leslie Lamport'un "Fast Paxos" gazetesini okuyorum ve hem klasik Paxos'un hem de Fast Paxos'un doğruluğuna dair kanıtlarla takıldım. Tutarlılık için değer fazı koordinatör tarafından çekilen turda tatmin etmelidirvvv2a2a2aiii CP(v,i):CP(v,i):CP(v,i): bir tur için , dışında bir değer veya henüz yuvarlak seçilebilir olabilir edilmiştir .j&lt;ij&lt;ij < ivvvjjj Klasik Paxos için , kanıt …
1
“Yılan” yeniden yapılandırma sorunu
Nibbler ve Snake video oyunlarının karmaşıklığı üzerine küçük bir yazı yazarken ; Her ikisinin de düzlemsel grafiklerde yeniden yapılandırma problemleri olarak modellenebileceğini buldum; ve bu tür problemlerin hareket planlama alanında iyi çalışılmamış olması muhtemel görünmemektedir (örneğin, bir bağlantılı araba veya robot zinciri hayal edin). Oyunlar iyi bilinir, ancak bu ilgili …
2
hiyerarşisinin daha yüksek seviyelerinde doğal tam problemler
-hierarchy karmaşıklığı sınıfların bir hiyerarşi , bkz parametreli karmaşıklığı Karmaşıklık Zoo tanımları için. Alternatif bir tanım, birinci dereceden mantığın formülleri için ağırlıklı Fagin tanımını kullanarak tanımlar, Flum ve Grohe'nin ders kitabına bakın .WW\mathsf{W}W[t]W[t]\mathsf{W}[t]W[t]W[t]\mathsf{W}[t]ΠtΠt\Pi_t En düşük ve sınıfları için birçok doğal tam sorun bilinmektedir, örn. Clique ve Independent Set , ve …
1
Zor genişletilebilirlik sorunları
Genişletilebilirlik probleminde, çözümün bir parçası olarak verilir ve bunu tam bir çözüme genişletip genişletemeyeceğimize karar vermek istiyoruz. Bazı uzatılabilirlik problemleri verimli bir şekilde çözülebilirken, diğer uzayabilirlik problemleri kolay bir problemi zor olana dönüştürür. Örneğin, Konig-Hall teoremi her kübik iki taraflı grafikleri 3-kenar renklendirilebilir, ancak bildiren genişletilebilirliği versiyon haline gelir KompleNPNPNP …
3
Üstel algoritmaların pratik boyutlar için polinom algoritmalardan daha hızlı çalıştığı sorunlara örnekler?
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 . …
1
Önemsiz tek tip devreler var mı?
zamanında çalışan bir algoritma göz önüne alındığında , aynı boyut problemi için en fazla bir "önemsiz" düzgün devre ailesine dönüştürebiliriz .t(n)t(n)t(n)≈t(n)logt(n)≈t(n)log⁡t(n)\approx t(n)\log t(n) Öte yandan, en uygun çalışma süresi olsa bile, bu sorun için çok daha küçük düzgün devrelerimiz olabilir . Devrelerin oluşturulması den daha uzun sürebilir , ancak küçüktürler.t(n)t(n)t(n)t(n)t(n)t(n) …
1
PARTITION'ın bir başka çeşidi
Belirli bir zamanlama sorununa aşağıdaki bölüm sorunu bir azalma var: Girdi: Bir liste a1⩽⋯⩽ana1⩽⋯⩽ana_1\leqslant\cdots\leqslant a_n olmayan azalan sırayla pozitif tamsayılar. Soru: \ {- 1,1 \} ^ n içinde bir vektör (x_1, \ ldots, x_n) \(x1,…,xn)∈{−1,1}n(x1,…,xn)∈{−1,1}n(x_1,\ldots,x_n)\in\{-1,1\}^n var mı? ∑i=1naixi=0and∑i=1naixi=0and\sum_{i=1}^na_ix_i=0\qquad\text{and} ∑i=1kaixi⩾0for all k∈{1,…,n}∑i=1kaixi⩾0for all k∈{1,…,n}\sum_{i=1}^ka_ix_i\geqslant 0\quad\text{for all }k\in\{1,\ldots,n\} İkinci koşul olmadan bu …
1
İki madeni para arasında ayrım
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 …
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.