Por que uma redução de muitos para um implica redutibilidade de Turing?


7

Assim, UMAmB(muitos a uma redução) meios que língua pode ser reduzida a língua se existe uma função Turing-calculável assim e .UMABff(UMA)Bf(UMA¯)B¯

UMATB (Turing reducibilidade) meios que língua pode ser Turing-reduzido a língua se existe uma máquina do Oracle que decide .UMABOBUMA

Eu meio que os pego individualmente, mas não entendo por que implica .mT


Considere . então você tem essa função computável de Turing com essa propriedade. Agora considere uma palavra . Queremos decidir se . Mas então nós podemos apenas verificar se . Isso porque se , sabemos que e se , sabemos que portanto, a função basicamente é a máquina oracle que você precisa para determinar . UMAmBfWWUMAf(W)BWUMAf(W)BWUMAf(W)BfOBUMATB
Bakuriu 30/08/16

Respostas:


16

Para colocar informalmente, significa "Se eu tivesse uma sub-rotina para  , então eu poderia resolver  ", enquanto significa: "Se eu tinha uma sub-rotina para  , então eu poderia resolver  usando um programa que chama a sub-rotina apenas uma vez e, além disso, apenas retorna a resposta da sub-rotina sem fazer nenhum cálculo adicional ".ATBBAAmBBUMA

Se você puder resolver um problema usando uma sub-rotina, como blá, blá, blá, poderá resolver esse problema usando a sub-rotina.

Ao utilizar nosso site, você reconhece que leu e compreendeu nossa Política de Cookies e nossa Política de Privacidade.
Licensed under cc by-sa 3.0 with attribution required.