Karmaşıklık sınıfı nedir

karmaşıklık sınıfı ne anlama geliyor? Biliyorum dilleri içeren karmaşıklık sınıf olan bir polinom zaman nondeterministic Turing makinesi olup şekilde IFF makinesi kabul durumlarının sayısı girişine garip. $\oplus P^{\oplus P}$ $\oplus P$ $A$ $M$ $x \in A$ $M$ $x$

Peki anlama geliyor? Aslında ne yaptığını takip edemiyorum :) $\oplus P^{\oplus P}$

Bu tür karmaşıklık sınıfının pratik sonuçları nelerdir ve ? $\oplus P^{\oplus P} = \oplus P$

complexity-theory terminology complexity-classes

— stewenson
kaynak

Bu (imho garip) gösterim, göreli veya kehanet karmaşıklık sınıflarını gösterir. Bir tanım için Wikipedia'ya bakın . Bu soruya cevap veriyor mu? Değilse, açıklığa kavuşturmak için lütfen düzenleyin.

— Raphael

Sen kanıtı bulacaksınız de cs.rutgers.edu/~allender/538/murata3.pdf

\oplus P^{\oplus P} = \oplus P

$\oplus P^{\oplus P} = \oplus P$

— sdcvvc

$\oplus P^{\oplus P}$ sınıfını belirtir bir olarak bilinen donatılmış oracle için bunu bir dize olup olmadığını belirlemek için yeteneği verilmiş olduğunu söylemek - dile üyesidir , tek bir işlemde sınıfında bulunur . $\oplus P$ $\oplus P$ $s$ $L$ $\oplus P$

Başka bir yorumcunun (sdcwc) ispatı ile bağlantılı olduğunu görüyorum ( Rutgers'daki CS 538 dersinden bu notlara bakınız ). Bir karmaşıklık sınıfı sınıf bir oracle , öyle ki , olduğu söylenir düşük sınıf için . Bu durumda, kendisi için düşük olduğunu söylüyoruz . $\oplus P^{\oplus P} = \oplus P$ $C$ $B$ $B^C= B$ $B$ $\oplus P$

— Josh Lockhart
kaynak

Sizin için başka bir bağlantı, bu kez karmaşıklık sınıflarının 'düşüklüğü' hakkındaki wikipedia sayfasına: en.wikipedia.org/wiki/Low_%28complexity%29

— Josh Lockhart

Açıklama tarzınız temel ilkelerin anlaşılması için yeterlidir ve takip edilmesi kolaydır.

— stewenson

Temelde dilinin üyeliğini tek adımda belirleyebilen kehanetle donatılmış olması ne anlama geliyor ? Benim açımdan, eğer problemi çözmek istiyorsanız, hesaplamanın en başında kehaneti , bu yüzden ilk adımdan sonra kehanetin size nasıl cevap verdiğini biliyor musunuz? Yani bir kabul durumuna ulaştığınız için, bu tür devletlerin sayısının sadece bir olduğunu, bu yüzden tek sayı olduğunu, yani kabul ediyor musunuz?

\oplus P

$\oplus P$

L

$L$

\oplus P^{\oplus P}

$\oplus P^{\oplus P}$

— stewenson

" için bir kehanet - dilinin tek bir işlemde üyesi olup olmadığını belirleme yeteneği verildiğini söylüyoruz ." - Bu yanlıştır: Bir kahin bir dize olup olmadığını belirlemek olanağı verir bazı dil üyesidir içinde . Genelliği kaybetmeden, olarak kabul edilebilir (çünkü

\oplus P

$\oplus P$

L

$L$

\oplus P

$\oplus P$

s

$s$

L

$L$

\oplus P

$\oplus P$

L

$L$

\oplus S A T

$\oplus SAT$

\oplus P

$\oplus P$

— tamamlandı

Kanıtı gerçekten zor takip etmeye çalışıyorum ama benim için oldukça belirsiz. Örneğin, işlevi ne anlama geliyor? "Tekrar 1 i kez ( )" olduğunu biliyorum ama bu bağlamda ne için iyi? Özel olarak ne demek? Peki ya içinde her yerde? Eğer , daha sonra . Bu ne demek? Neden böyle bir girişe sahip fonksiyonunuz var ?

f (1^{i}, x)

$f(1^i,x)$

1^{3} = 111

$1^3 = 111$

1^{i}

$1^i$

k

$k$

n^{k}

$n^k$

i \leq n^{k}

$i \leq n^k$

f (1^{i}, x) = f (1^{n^{k}}, x) = f (1^{| x |^{k}}, x)

$f(1^i,x) = f(1^{n^k}, x) = f(1^{|x|^k}, x)$

f \in ♯ P

$f \in \sharp P$

— stewenson