Estoy estudiando para mi final en teoría de la computación, y estoy luchando con la forma correcta de responder si esta afirmación es verdadera o falsa.
Por la definición de podemos construir la siguiente declaración,
Aquí es donde estoy atascado, quiero decir que dado que tenemos una función computable entonces solo nos dará la asignación de A a B si hay una, de lo contrario no lo hará.
No sé cómo expresar esto correctamente, o si estoy en el camino correcto.
complexity-theory
computability
reductions
trigoman
fuente
fuente
Respuestas:
Como dijo Dave, se deduce de una equivalencia lógica simple: es lo mismo que ¬ p ↔ ¬ q . Ahora ponga p = w ∈ A y q = f ( w ) ∈ B .p ↔ q ¬ p ↔ ¬ q p = w ∈ A q= f( w ) ∈ B
significa que hay una f stcomputable totalpara todo w ,A ≤metrosi F w
Según el argumento anterior, esto es lo mismo que
O equivalente
Y por lo tanto, las mismas muestra que ˉ A ≤ m ˉ B .F UN¯≤metrosi¯
fuente
no implica w ∈ A ↔ f ( w ) ∈ B solo la otra forma es verdadera si w ∈ A ↔ f ( w ) ∈ B entonces A ≤ m B pero no recíprocamenteA ≤metrosi w ∈ A ↔ f( w ) ∈ B w ∈ A ↔ f( w ) ∈ B A ≤metrosi
fuente