Advertencia: no has iniciado sesión. Tu dirección IP se hará pública si haces cualquier edición. Si
inicias sesión o
creas una cuenta, tus ediciones se atribuirán a tu nombre de usuario, además de otros beneficios.
Puedes deshacer la edición.
Antes de deshacer la edición, comprueba la siguiente comparación para verificar que realmente es lo que quieres hacer, y entonces publica los cambios para así efectuar la reversión.
Revisión actual |
Tu texto |
Línea 37: |
Línea 37: |
|
| |
|
| Entonces f' es PR -> f es PR | | Entonces f' es PR -> f es PR |
|
| |
| ==== Otra Solución ====
| |
| Definamos
| |
| <math>
| |
| \mbox{f}(x, y) = \begin{cases}
| |
| \phi(x,x) & \mbox{si } y = 0 \\
| |
| \phi(K(x,y-1,y-1),K(x,y-1,y-1)) & \mbox{si } y > 0 \\
| |
| \end{cases}
| |
| </math>
| |
|
| |
| Donde K es
| |
|
| |
| <math>
| |
| \begin{cases}
| |
| K(x,y,0) & = \phi(x,y) \\
| |
| K(x,y,t+1) & = \phi(K(x,y,t), y-(t+1))
| |
| \end{cases}
| |
| </math>
| |
|
| |
| Entonces f es PR por composición de funciones PR.
| |
|
| |
|
| === Ítem c === | | === Ítem c === |