Miembro : Login |Registro |Subir conocimiento
Buscar
Problema de búsqueda [Modificación ]
En teoría de la complejidad computacional y teoría de computabilidad, un problema de búsqueda es un tipo de problema computacional representado por una relación binaria. Si R es una relación binaria tal que el campo (R) ⊆ Γ y T es una máquina de Turing, entonces T calcula R si:

Si x es tal que hay algo y tal que R (x, y) entonces T acepta x con salida z tal que R (x, z) (puede haber múltiples y, y T solo necesita encontrar uno de ellos)
Si x es tal que no hay y tal que R (x, y) entonces T rechaza x

Intuitivamente, el problema consiste en encontrar la estructura "y" en el objeto "x". Se dice que un algoritmo resuelve el problema si existe al menos una estructura correspondiente, y luego se produce una ocurrencia de esta estructura; de lo contrario, el algoritmo se detiene con un resultado apropiado ("Artículo no encontrado" o cualquier mensaje similar).
Dichos problemas ocurren con mucha frecuencia en la teoría de grafos, por ejemplo, cuando la búsqueda de gráficos para estructuras tales como emparejamientos particulares, camarillas, conjuntos independientes, etc. son temas de interés.
Tenga en cuenta que la gráfica de una función parcial es una relación binaria, y si T calcula una función parcial, entonces hay como máximo una salida posible.
Una relación R se puede ver como un problema de búsqueda, y también se dice que una máquina de Turing que calcula R la resuelve. Cada problema de búsqueda tiene un problema de decisión correspondiente, a saber


  
    
      
    
    L (R) = \ {x \ mid \ existe yR (x, y) \}. \,}
  


Esta definición se puede generalizar a relaciones n-arias usando cualquier codificación adecuada que permita que múltiples cadenas se compriman en una cadena (por ejemplo, al enumerarlas consecutivamente con un delimitador).
[Algoritmo]
1.Definición
2.Objetivo
3.Método de búsqueda
[Subir Más Contenido ]


Derechos de autor @2018 Lxjkh