T4 prt 3

Un CSP puede transformarse en una red consistente mediante u algoritmo sencillo (AC3)... examinando las aristas, eliminando los valores que causan la inconsistencia del dominio de cada variable. eliminando las aristas, examinando los valores de cada variable. ninguna de las anteriores.

Cuál de los pares de métodos de resolución corresponde a un método de inferencia seguido de un método hibrido: Maintaining Arc Consistency, Consistencia de arcos. Forward Checking, K-consistencia. Consistencia de caminos, Heurísticas.

¿Cuál sería una solución para el problema de n-reinas en un tablero de 4x4? {. (1, 3, 4, 2). (3, 1, 4, 2). (4, 1, 3, 2).

S=(6,4,2,0,5,7,1,3). S=(6,2,4,0,5,7,1,3). S=(3,1,4,0,5,7,1,3).

8579. 9859. 8759.

Usando el algoritmo AC3 transforme en una red consistente: Variables: V = {X, Y, Z} Dominios: Dx = Dy = {1, 2, 3, 4, 5} Dz = {0, 1, 2} Restricciones: ρ₁ Y ≤ X - 1 ρ₂ X ≥ Z + 4 ρ₃ Y = Z + 2 Después de aplicar el algoritmo, como son los dominios de cada variable?. Dx = {4, 5}; Dy = {2, 3}; Dz = {0, 1}. Dx = {1, 2, 4, 5}; Dy = {1, 2, 3}; Dz = {0, 1}. Dx = {1, 2, 3}; Dy = {4, 5}; Dz = {1, 2}.

La clase más simple de problemas de satisfacción de restricciones implica variables discretas y dominios finitos. Sin embargo las variables discretas pueden tener también dominios infinitos (conjunto de números enteros o de cadenas, etc). Respecto a estos últimos indica que afirmación es correcta: Con dominios infinitos es posible describir restricciones enumerando todas las combinaciones permitidas de valores. Con dominios infinitos es necesario usar lenguajes de restricción y resolver las restricciones enumerando las asignaciones posibles. Ninguna de las anteriores es correcta.

Dadas la variables x, y, z con dominios Dx ={1,3,5},Dy ={2,4,6}, Dz= {1,2,3} Con restricciones x >= y+3, y >= z, z <= x-3. ¿Qué respuesta es cierta?: Aplicando el algoritmo AC3, los dominios restringidos que cumplen las consistencias de arco finales son: CDx = {5} CDz= {2} cDy = {1,2}. Aplicando el algoritmo AC3, los dominios restringidos que cumplen las consistencias de arco finales son: CDx = {5} CDz= {2} CDy = {2}. Aplicando el algoritmo AC3, los dominios restringidos que cumplen las consistencias de arco finales son: CDx = {5} CDz= {2} CDy = {1}.

¿Cuál de las siguientes afirmaciones no es correcta respecto a los métodos de resolución CPS?: Backtracking construye la solución de manera gradual. Generación y test genera parte de las posibles soluciones al problema. Backjumping es parecido a Backtracking pero el retroceso no lo hace de manera gradual.

Según el CSP binario: Todo problema n-ario se puede formular como un problema binario. Todo problema binario se puede formular como un problema n-ario. Ninguna de las anteriores es correcta.

El Backjumping: Es parecido al BT pero el retroceso no se hace a la variable más profunda que está en conflicto con la variable actual. Consiste en comprobar comprueba hacia delante todos los valores de las futuras variables que están restringidas con la variable actual. Basa su funcionamiento en la programación de restricciones para transformar el problema en otro más sencillo sin inconsistencias de arco.

El problema de la reinas tiene como características. Dominios continuos y restricciones binarias. Dominios discretos y restricciones múltiples. Dominios discretos y restricciones binarias.

¿Cuál de los siguientes afirmaciones sobre "backtracking" no es aplicable?. Trashing e inconsistencia de nodo, inconsistencia de arista y dependencia de la ordenación son limitaciones de "backtracking". Backtracking construye una solución parcial y extiende esta la solución parcial, incluyendo una variable cada vez hasta llegar una solución total. En su forma básica, la idea de backtracking se asemeja a un recorrido en anchura dentro de un grafo no dirigido.

¿Cuál de las limitaciones del Backtraking no es solucionada por el Forward Checking?. Trashing e inconsistencia de nodo. Inconsistencia de arista. Dependencia de la ordenación.

Cuando se produce la vuelta atrás en el algoritmo de backtracking o backjumping. Nunca. Cuando llega a la profundidad máxima y encuentra la solución. Cuando no se puede encontrar una asignación legal de variables que cumpla con las restricciones impuestas.

Si se cumple que XX = YY- 22 y además que XX + YY = 176, que valor tomaría la ecuación: Y(Y - X)X =. 126. 123. 333.

En cuanto a los métodos de resolución: Una de las limitaciones de Backtracking es la dependencia del orden de selección de las variables. Las fórmulas heurísticas de selección ayudan a seleccionarlas. "Generación y Test" genera de forma sistemática y exhaustiva cada una de las posibles asignaciones a las variables retrocediendo a una instancia anterior. "Generación y Test" no genera todas las asignaciones posibles, construye soluciones posible y escoge la más optima.

Cuando en AC3 no quedan elementos en el dominio de una variable, se determina que: Existe una solución al problema. Existen múltiples soluciones. Ninguna de las anteriores.

En cuanto al Forward checking: Se eliminan los valores de sus dominios, de forma temporal, que son inconsistentes con respecto a la asignación actual. Extiende una solución parcial hasta llegar a la solución total. Transformar el problema en otro más sencillo sin inconsistencias de arco.

¿Qué método de resolución de búsqueda de los elementos enumerados abajo es más apropiado para reducir el espacio durante la búsqueda?. backjumping. Backtracking. Generación y test.

En referencia al Forward Checking... Si el dominio de una variable futura se queda vacío, seguiremos explorando las siguientes variables sin ningún tipo de restricción, puesto que esta restricción desaparece. En el caso de obtener un dominio vacío en una variable futura, se deshará la instanciación de la misma y probaremos con un nuevo valor. Al obtener un dominio vacío tanto en una variable actual como en una inmediatamente futura, no seguiremos explorando más y diremos a ciencia cierta que no hay valores consistentes.

Si el dominio de una variable futura se queda vacío (después de la eliminación de los valores de las variables futuras que son inconsistentes con la asignación actual). la asignación actual no es una solución. está bien porque se reduce la búsqueda. las restricciones no se incumplen.

Un grafo inconsistente: no tiene solución. puede tener una o varias soluciones. puede tener una única solución, o incluso ninguna.

Cuál de estas afirmaciones sobre Backtracking es CORRECTA. Backtracking construye una solución total para luego extenderla para eliminar soluciones y llegar a la correcta. Backtracking construye una solución parcial para luego extenderla hacia una total, llegando así a la solución. Backtracking construye una solución parcial eliminando futuras decisiones para acortar el camino hacia la solución.

contiene todas las restricciones binarias del problema en ambos sentidos. abarca todas las restricciones binarias del problema partiendo de 0. ninguna de las anteriores.

¿Qué diferencia a backjumping de backtracking?. Backjumping realiza el retroceso a la variable más profunda que está en conflicto con la actual. Backjumping realiza el retroceso a la variable instanciada anteriormente. Backjumping realiza búsqueda en profundidad.

En los métodos de resolución por búsqueda: ¿Cuándo se genera de forma sistemática y exhaustiva cada una de las posibles asignaciones a las variables y comprobar si satisfacen todas las restricciones. Se explora el espacio definido por el producto cartesiano de los dominios de las variables?. Generación y test. ~Backtracking. ~Backjumping.