Paralel hesaplama ve NC sınıfı hakkında bazı sorular


14

Bu iki konuyla ilgili birkaç sorum var.

İlk olarak, çoğu karmaşıklığı metinleri yalnızca sınıf geçiştirmeye . Araştırmayı daha derinlemesine kapsayan iyi bir kaynak var mı? Örneğin, aşağıdaki tüm sorularımı tartışan bir şey. Ayrıca, N C'nin paralelleşme bağlantısı nedeniyle hala oldukça fazla araştırma gördüğünü varsayıyorum , ancak yanlış olabilirim. Karmaşık hayvanat bahçesindeki bölüm pek yardımcı olmuyor.NCNC

İkincisi, eğer yarıgrup işleminin sabit zaman aldığını varsayarsak, bir yarıgrup üzerinden hesaplama . Peki ya sınırsız tamsayılarda olduğu gibi işlem sürekli zaman almazsa? Bilinen N - i-tamamlanmış problemler var mı?NC1NCi

Üçüncüsü, olduğundan, herhangi bir günlük alanı algoritmasını paralel bir sürüme dönüştürmek için bir algoritma var mı?LNC2

Dördüncüsü, çoğu insan PN P ile aynı şekilde olduğunu varsayıyor gibi görünüyor . Bunun arkasındaki sezgi nedir?NCPPNP

Beşinci olarak, okuduğum her metin sınıfından bahseder, ancak içerdiği sorunlara örnek vermez. Orada hiç?RNC

Son olarak, bu cevap doğrusal paralel yürütme süresi ile ilgili problemlerden bahseder . Bu sorunların bazı örnekleri nelerdir? N C olarak bilinmeyen paralel algoritmalar içeren başka karmaşıklık sınıfları var mı?PNC


1
Ayrıca, bu benzer soruyu not edin .
Nicholas Mancuso

Yanıtlar:


9

Üçüncüsü, olduğundan, herhangi bir günlük alanı algoritmasını paralel bir sürüme dönüştürmek için bir algoritma var mı?LNC2

Bu gösterilebilir, belirli bir (Arora ve Barak, ders kitabı) -zaman TM E , bir habersiz TM bu K ' (ki kafa hareketi giriş bağımsızdır yani TM x ) bir devre gerçekleştirebilmesi C n hesaplamak için M ( x ) nerede | x | = n .t(n)MMxCnM(x)|x|=n

Dayanıklı çizim olan çizgisinde olan simüle M ve durumuna "anlık" tanımlayan (yani baş pozisyonunda, kafalarına semboller) her bir zaman basamağı, en t ı (hesaplama log düşünmek). Her adım t i , x ve durum t i - 1'den hesaplanabilir . Her bir anlık sadece sabit bir büyüklükte dizesini içerir ve bu boyutta şeritlerinin sadece sabit bir miktarda, mevcut olduğundan, en anlık t ı sabit boyutlu devre ile hesaplanabilir.MMtitixti1ti

tiM(x)MLCn{Cn}M(x)n

Lsize(n)O(logn).AC1O(logn)

AC1NC2

NCPPNP

P

LPLPPLP

  1. LNCP=NC

  2. LLP=L

NCP

Örneğin, Devre Değeri Sorunu şu şekilde tanımlanır:

CxgCgC(x)

ggtititi+1ti+1ti

NCP


PNP


2 referans ve kısmi cevap için teşekkürler. Paralel Hesaplamanın Sınırları kitabı, baktığım diğer kitaplardan daha iyi bir iş çıkarıyor, ancak yine de nispeten eski ve istediğim kadar kapsamlı değil.
Mike Izbicki

3

Beşinci olarak, okuduğum her metin RNC sınıfından bahsediyor, ancak içerdiği sorunlara örnek vermiyor. Orada hiç?

RNC2

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.