7
Reduções de uma vez vs. reduções de Turing para definir NPC
Por que a maioria das pessoas prefere usar muitas reduções para definir a completude do PN em vez de, por exemplo, reduções de Turing?
Uma redução é a transformação de um problema em outro. Um exemplo do uso de uma redução seria mostrar se um problema P é indecidível. Isso seria conseguido transformando ou executando uma redução de um problema de decisão em um problema indecidível. Se isso puder ser alcançado, mostramos que esse problema P é indecidível.