En otras palabras, un problema "A" está en P-completo si para todo problema "B" en P, existen constantes "c" y "k" tales que "B" puede ser reducido en "A" en tiempo O((log "n")) utilizando O("n") procesadores paralelos.