Dado um item de entrada (N bytes), estou procurando uma função que mapeie isso para uma saída (ainda N bytes). A função deve ter as seguintes qualidades: Deve ser 1 para 1, para que todas as entradas sejam mapeadas para alguma saída e para que nenhuma duas entradas seja mapeada para a mesma...
Suponha que seja uma função unidirecional. E quanto a , onde e \ lvert x_1 \ rvert = \ lvert x_2 \ rvert ?f(x)f(x)f(x)h(x)=f(x1)⊕f(x2)h(x)=f(x1)⊕f(x2)h(x)=f(x_1) \, \oplus \,f(x_2)x=x1||x2x=x1||x2x=x_1 || x_2|x1|=|x2||x1|=|x2|\lvert x_1 \rvert = \lvert x_2\rvert ⊕⊕\oplus é disjunção exclusiva...
Existe um circuito aritmético equivalente para cada função computável? Eu tenho tentado entender a afirmação acima, mas não encontrei um exemplo contrário, apesar de acreditar que a afirmação é falsa. O que me deixou curioso é que li alguns teoremas afirmando que um protocolo (teoria do...