t4

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

Tratándose de Criptoaritmética, una de sus características es: Dominios discretos y restricciones simples. Dominios discretos y restricciones múltiples. Dominios complejos y restricciones simples.

Según las limitaciones del Backtracking, la inconsistencia de arista: Está relacionado con las restricciones unarias. Está relacionado con las restricciones binarias. Ambas son correctas.

¿En qué consiste la búsqueda mediante backtraking. Se trata de construir la solución de forma no gradual. Se trata de construir la solución de forma gradual, instanciando variables en el orden definido por la permutación dada. Ninguna de las anteriores.

Un ejemplo de CSP binario es. Generación de crucigramas. Coloreado de mapas. Los dos ejemplos anteriores son correctos.

Según Forward checking: Los valores de las variables futuras que son inconsistentes con la asignación actual son temporalmente eliminados de sus dominios. Los valores de las variables futuras que son inconsistentes con la asignación actual son eliminados de sus dominios. Ninguna de las anteriores.

¿Cuáles son las características del problema de las N-Reinas? : Dominios continuos y restricciones binarias. Dominios discretos y restricciones binarias. Dominios discretos y restricciones múltiples.

En un tablero de ajedrez de tamaño nxn y con n>=4, el máximo número de reinas que se pueden colocar sin que se ataquen entre ellas es: n-1. n. n+1.

Sobre el CSP binario se puede afirmar que: El problema de las n-reinas no se puede formular como un CSP binario. Todo problema n-ario se puede formular como un problema binario. Las dos anteriores son falsas.

¿Cuál de las siguientes afirmaciones es o son limitaciones del método Backtracking?. Trashing y dependencia de valor. Inconsistencia de arista. Inconsistencia de variable.

¿Qué nos permite la propagación de restricciones?: Transformar el problema a uno más sencillo, pero manteniendo las inconsistencias de arco. Transformar el problema a uno más sencillo sin inconsistencias de arco. Ninguna de las anteriores.

¿Cómo se construye la solución en un árbol de interpretaciones?: De forma incremental en la que cada hoja es una interpretación. De forma decremental en la que cada hoja es una interpretación. Ninguna de las anteriores.

Para la resolución de problemas de gran tamaño, ¿en qué orden de mayor eficiencia a menor eficiencia, se situarían los siguientes métodos de resolución?. Generación y Test > Backtracking > Backjumping. Backtracking > Backjumping > Generación y Test. Backjumping > Backtracking > Generación y Test.

¿Mediante que algoritmo se puede convertir un CSP en una red consistente?. AC4. AC3. AC2.

En que se basa el algoritmo AC3: Es un algoritmo que elimina las restricciones para buscar una solución. Examina las aristas, creando una red consistente en el dominio de cada variable. Examina las aristas, eliminando los valores que causan inconsistencia del domino de cada variable.

En el método Forward checking si el dominio de una variable futura se queda vacío: La instanciación de la variable actual se deshace y se prueba con un nuevo valor. Comprueba hacia delante la asignación actual con todos los valores. Ninguna de las anteriores.

Una arista dirigida c(ep) = <Vi, Vj> es consistente si y sólo si: para todo valor asignable a Vi existe al menos un valor en Vj que satisface la restricción asociada a la arista. para ningún valor asignable a Vi existe al menos un valor en Vj que satisface la restricción asociada a la arista. para todo valor asignable a Vi existe al menos un valor en Vi que satisface la restricción asociada a la arista.

Como se puede representar un CSP. Ninguna de las anteriores. Un vector. Una matriz.

Acerca de las soluciones de CSP puede decir que. Un buen sistema CSP normalmente encontrar una solución. No todos los problemas N-arias se pueden convertir en problemas binarios, para la simplificación de la misma. Ninguna de las anteriores es correcta.

El CSP es. Conjunto de variables definidas sobre dominios infinitos y conjunto de restricciones definidas sobre subconjuntos de dichas variables. Conjunto de variables definidas sobre dominios finitos y conjunto de restricciones definidas sobre subconjuntos de dichas variables. Conjunto de variables definidas sobre dominios finitos y sin restricciones definidas sobre subconjuntos de dichas variables.

En un árbol de interpretaciones. Partimos de un nodo raíz que supervisa el proces. La solución se construye de forma decremental de tal forma que cada hoja es una interpretación. odas son correctas.

Si utilizamos Propagación de restricciones, obtendremos: Al menos una solución. Una, ninguna o varias solucione. Una o ninguna solución.

construir la solución de forma gradual, instanciando variables en el orden definido por la permutación dada, es un método de resolución de: Generación y test. Backtracking. Ninguna de las anteriores es correcta.

Cuál de las siguientes afirmaciones NO es correcta acerca de la estrategia de generación y test. Transforma el problema en uno más sencillo, el cual, es testeado para comprobar su consistencia. Es muy poco eficiente. Se basa en expandir una a una todas las posibilidades del problema.

¿Cuál es la única diferencia que encontramos entre Backtracking y Backjumping. Backtracking siempre encuentra la solución óptima y Backjumping no. Cuando encontramos un espacio de dominios vacío, Backtracking sólo puede volver al nodo anterior, es decir, subir un nivel mientras que Backjumping puede saltar al nodo en conflicto. Ninguna de las anteriores.

¿Cuáles de estos métodos de resolución es híbrido?. Backtracking. Forward checking. Backjumping.

En el problema del coloreado de mapas: Se tiene que resolver siempre utilizando el algoritmo AC3, ya que backtracking no nos garantiza que vaya a encontrar una solución. Se necesita el mismo número de colores que número de territorios fronterizos con el área que más territorios fronterizos tenga. Ambas son incorrectas.

Aplicando la regla ρk (Vi, Vj)= {<vi, vj>| vi ∈ Di, vj ∈ Dj, vi≠ vj}, ∀ k, 1 ≤ k ≤ 4, ¿Que aristas dirigidas del siguiente grafo no serían consistentes en el instante inicial?. (1, 3), (2, 1). (3, 1), (2, 4). (4, 3), (4, 2).

¿Cuáles son las características de las restricciones temporales?. Dominios discretos y restricciones binarias. Dominios discretos y restricciones múltiples. Dominios continuos y restricciones binarias.

Las heurísticas se clasifican como métodos de resolución por: Inferencia. Búsqueda. Algoritmos híbridos.

Dadas la variables x, y, z con dominios Dx= {0, 1, 2} Dy ={3,4} Dz= {0,1} Con restricciones: x >= y-1 y >= z+4 x= z +2 ¿Cuál de las siguientes afirmaciones es cierta?: Aplicando el algoritmo AC3, podemos asegurar que NO tiene solución. Aplicando el algoritmo AC3, podemos asegurar que tiene una única solución. plicando el algoritmo AC3, podemos asegurar que tiene más de una solución.

Sobre las limitaciones de Backtracking, cuando hay una restricción binaria entre dos variables hablamos de.. Inconsistencia de arista. Inconsistencia de nodo. Ninguna de las anteriores.

En Backtracking, si No se puede extender la solución parcial: Se elimina la última decisión. Se elimina una decisión anterior. Las dos anteriores son correctas.

¿Cuál de las siguientes afirmaciones de Generación y test es correcta. Busca la solución mediante una expansión del árbol en anchura. Busca la solución mediante una expansión del árbol en altura. Ignora ciertas soluciones para alcanzar un óptimo.

Tiene sentido que Backtracking calcule la expansión de todos los nodos. Sí, para tener todas las soluciones. Sí, porque el orden de aplicación de las acciones es conmutativo. No, porque hay conmutatividad.

En el algoritmo AC3, cuando un dominio queda vacío ¿qué significa?. Que el problema es: Inconsistente y sin solución. Consistente y sin solución. Consistente y con solución única.

Las características de la Generación de crucigramas son : Dominios continuos y restricciones binarias. Dominios discretos y restricciones múltiples. Dominios discretos y CSP binario.

Dentro de los métodos de solución, en el backtracking no cronológico. Se elimina la última decisión. Se elimina la decisión anterior. No elimina ninguna decisión.

El backjumping. hace el retroceso a la primera variable instanciada. no hace retroceso. hace el retroceso a la variable más profunda que está en conflicto con la variable actual.

¿Cuáles son las características de la generación de crucigramas?. Dominios continuos y restricciones ternarias. CSP ternario y sin restricciones. CSP Binario, discreto (dominios grandes).

De entre las siguientes limitaciones del método Backtraking selecciona aquella que es incorrecta. Trashing e inconsistencia del nodo. Sucede cuando un dominio contiene un valor que no satisface una restricción unaria. Consistencia de arista. Sucede cuando una restricción binaria entre dos variables de tal forma que para un determinado valor de la primera variable existe una asignación posible para la segunda. Dependencia de ordenación. El orden de selección de las variables es un factor crítico. Existen diferentes heurísticas de selección de variable y de valor, esto es, variables con Orden Estático y Orden Dinámico y valores p.e que conducen a CPS más simples.

Dada la siguiente solución en el problema de las 8reinas. Partiendo de que la reina Xi está la fila i-ésima, ¿qué representación es correcta?. (7,5,3,1,6,8,2,4). (4,7,8,3,2,1,5,6). (4,7,3,8,2,5,1,6).

El Forward checking, en cada etapa de la búsqueda, comprueba hacia delante la asignación actual con. un valor de las futuras variables que están restringidas con la variable actual. uno o varios valores de las futuras variables que están restringidas con la variable actual. todos los valores de las futuras variables que están restringidas con la variable actual.

¿Qué diferencia hay entre Backjumping y Backtracking?. Backjumping retrocede hacia la variable más profunda que está en conflicto con la actual, Backtracking realiza el retroceso hacia la variable más prometedora. Backjumping retrocede hacia la variable más profunda que está en conflicto con la actual, Backtracking realiza el retroceso hacia la variable instanciada anteriormente. Ninguna. Ambas nomenclaturas sirven para definir el mismo método de resolución.

Centrándonos en la propagación de restricciones y propiedad de consistencia de arista podemos afirmar que es correcto que: Un CSP no puede transformarse en una red consistente mediante un algoritmo sencillo (AC3). La propagación de restricciones no se suele usar porque transforma el problema en otro más complejo con inconsistencias de arco. Un CSP puede transformarse en una red consistente mediante un algoritmo sencillo (AC3).

Cuál de las siguientes afirmaciones es verdadera. en el Árbol de interpretaciones cada nodo identifica una posibilidad de asignación, cada hoja es una interpretación de la solución y esta misma supervisa todo el proceso comparando su resultado volviendo a el nodo raíz . en el árbol de interpretaciones el orden de descenso viene especificado por a, todos los nodo se evalúa si puede existir una posibilidad de asignación según su valor y va haber tantos niveles como asignaciones de datos. el nodo raíz supervisa el proceso de asignación, solo se especifica una posibilidad de especificación cuando hemos expandido todo el árbol en profundidad asignando una variable por cada nivel del árbol.

Cuál de las siguientes opciones es correcta: Backjumping construye la solución de forma gradual y su retroceso se hace a la variable instanciada anteriormente. Backtracking construye la solución de forma gradual y su retroceso se hace a la variable más profunda que está en conflicto con la variable actual. Generación y test genera de forma sistemática y exhaustiva cada una de las posibles asignaciones y comprueba que satisfacen todas las restricciones.

Indica cuál de las siguientes afirmaciones es cierta sobre al algoritmo AC3: Si el grafo es consistente obligatoriamente tiene que tener solución. Si el grafo es consistente puede tener una solución o más. Si el grafo es inconsistente podemos encontrar solución.

En lo referente a los métodos de resolución, podemos afirmar que Generación y test: Construye la solución de forma gradual, instanciando varia les en el orden definido por la permutaci n dada. onstruye la soluci n de forma gradual, instanciando la varia le m s profunda que est en conflicto con la varia le actual. Genera cada una de las posibles asignaciones a las variables y comprueba si satisfacen todas las restricciones.

Si hablamos de Forward checking podemos afirmar que: Los valores de las variables futuras que son inconsistentes con la asignación actual no son eliminados de sus dominios. Si ningún valor es consistente, entonces se lleva a cabo el backtracking no cronológico. Ninguna de las anteriores.

Dentro de los métodos de resolución tenemos los Algoritmos híbridos. ¿Cuál de los siguientes es un algoritmo híbrido?: Forward Checking. Maintaining Arc Consistenc. Las respuestas anteriores son ambas correctas.

CSP busca. La relación N-aria que satisface todas las restricciones del problema. Según los requerimientos del problema hay que encontrar todas las soluciones o sólo una. Ambas son correctas.

¿Qué método de búsqueda para problemas de satisfacción de restricciones, construye la solución de forma gradual, instanciando variables en el orden definido por la permutación dada?. Generación y test. Backjumping. Backtracking.

Tras la utilización del algoritmo AC3 hemos logrado eliminar todos los valores que causan inconsistencia del dominio de cada variable. Con este exitoso resultado podemos afirmar que. Como hemos logrado eliminar toda inconsistencia no nos hará falta hacer backtracking nunca. Tendremos que concluir utilizando backtracking siempre. Usaremos backtracking únicamente cuando la eliminación de inconsistencias de lugar a más de una solución.

En búsqueda para problemas de satisfacción de restricciones las limitaciones de "inconsistencia de arista", "trashing e inconsistencia de nodo" y "dependencia de la ordenación" pertenecen al método de resolución. Esquema de propagación de restricciones. Esquema backtracking. Esquema forward checking.

¿Cuál de entre los siguientes podría considerarse como método de inferencia puro?. Heurísticas. Consistencia de caminos. Forward Checking.

En un problema de satisfacción de restricciones (CSP). Cada restricción implica al conjunto de variables y especifica las combinaciones aceptables de valores para dicho conjunto. La solución es una relación n-aria que satisface algunas restricciones del problema. Visualizarlo como un grafo de restricciones puede usarse para simplificar el proceso de solución.

Siendo: D(x) = {1,2,3,4,5,6} D(y) = {1,2,3,4,5} D(z) = {2,3,4,6} r1: x >= y +1 r2: y > z + 1 r3: z <= x - 2 Aplicando el algoritmo AC3, indica la repuesta correcta: x = 5, y= 4, z = 3. Es una posible solución. x = 3, y = 1, z = 4. Es una posible solución. x = 5, y = 4, z = 3. Es solución única.

Un CSP binario es aquel: En el que toda las variables son discretas, es decir, toman valores en dominio discretos. En el que todas las restricciones tienen a los sumo dos variables respectivamente. En que constan de variables continuas y discretas.

Podemos afirmar que el grafo de la imagen es un grafo. Es consistente sin solución. Consistente con dos soluciones. Inconsistente con dos soluciones.

Respecto al Forward checking…. En cada etapa de la búsqueda, comprueba hacia atrás la asignación actual con algunos de los valores de las futuras variables que están restringidas con la variable actual. En cada etapa de la búsqueda, comprueba hacia adelante la asignación actual. con algunos de los valores de las futuras variables que están restringidas con la variable actual. Ninguna de las anteriores es correcta.

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).

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.

¿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.

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.

¿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 tes.

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.