In computational complexity theory, a decision problem is P-complete (complete for the complexity class P) if it is in P and every problem in P can be reduced to it by an appropriate reduction. The notion of P-complete decision problems is useful in the analysis of: which problems are difficult to parallelize effectively, which problems are difficult to solve in limited space. specifically when stronger notions of reducibility than polytime-reducibility are considered. The specific type of reduction used varies and may affect the exact set of problems. Generically, reductions stronger than polynomial-time reductions are used, since all languages in P (except the empty language and the language of all strings) are P-complete under polynomial-time reductions. If we use NC reductions, that is, reductions which can operate in polylogarithmic time on a parallel computer with a polynomial number of processors, then all P-complete problems lie outside NC and so cannot be effectively parallelized, under the unproven assumption that NC
En la teoría de la complejidad computacional, un problema de decisión es P-completo (completo para la clase de complejidad P) si está en P y cada problema en P puede reducirse a él por una reducción adecuada. El concepto de problemas de decisión P-completo es útil en el análisis de: qué problemas son difíciles de paralelizar de manera efectiva, qué problemas son difíciles de resolver en espacio limitado. específicamente cuando se consideran conceptos más fuertes de reductibilidad que la reductibilidad polítmica. El tipo específico de reducción utilizado varía y puede afectar al conjunto exacto de problemas. Generalmente, se utilizan reducciones más fuertes que las reducciones de tiempo polinómico, ya que todos los idiomas en P (excepto el lenguaje vacío y el lenguaje de todas las cuerdas) son P-completo bajo reducciones de tiempo polinómico. Si usamos reducciones NC, es decir, reducciones que pueden operar en tiempo polilógico en un ordenador paralelo con un proceso de polinomios, entonces todo P-compl