En la teoría de Computability, un que cuenta el problema es un tipo del problema de cómputo . Si el R entonces es un problema de búsqueda

$c\_R\; (x)=\; \backslash \; vert\; \backslash \; \{y\; \backslash \; mediados\; de\; R\; (x,\; y)\; \backslash \}\; \backslash \; vert\; \backslash ,$

es la función de cuenta la correspondencia y $\backslash \; \#R=\; del$

l \ {(x, y) \ mediados de c_R de y \ del leq (x) \}

denota el problema de cuenta correspondiente.

Observar que el c_R del es un problema de búsqueda mientras que # el R es un problema de decisión, no obstante el c_R del puede ser cocinero del C del reducido a # el R (para el apropiado C del ) usar una búsqueda binaria (la razón # el R se define la manera que es, algo que el ser el gráfico del c_R del, es hacer esta búsqueda binaria posible).

Cuenta de la clase de la complejidad

Si es el NC una clase de la complejidad asociada al no determinista trabaja a máquina entonces el #C del = {el #R del | &isin del R ; El NC } es el sistema de contar los problemas asociados a cada problema de búsqueda en el NC . Particularmente, el #P del es la clase de contar los problemas asociados a problemas de búsqueda de NP del .

.

Zenithic

Guillermo Battaglia

Random links:

Conde de Castlehaven | Legión canadiense real | Malcolm Hulke | Zapadnaya Litsa | Luan Krasniqi