Hiper-arco Consistencia

lunes, 5 de junio de 2023 11:30 a. m.

Al aplicar la regla, el Dominio resultante serían

los valores que sí satisfagan las restricciones.

Una restricción C es hiper-arco consistente si todos los

elementos del dominio satisfacen las restricción impuesta.
La hiper-arco consistencia aplica para restricciones ternarias
o con más variables (es decir, donde se involucran tres
variables o más variables).
• Para una restricción binaria, la hiper-arco
consistencia coincide con la arco consistencia.

No es hiper-arco consistente, pues no existe un valor en el dominio

de la variable y que satisfaga la restricción x+y<z para todos los
valores de las variables x y z. Paralelamente, no existe un valor en x
que satisfaga dicha restricción para los dominios de y y z.

Sí es consistente porque en este CSP

existen valores en los dominios de las
variables que satisfacen las restricciones.

Sí es hiper-arco consistente, porque existe un valor en x que cumple con la

restricción para todo y y para todo z. Luego, existe un valor en y que cumple para
todo x y para todo z, y existe un valor en z que cumple para todo x y para todo y.

Sí es consistente, porque
hay soluciones con los
valores en los dominios.

Hiper-arco Consistencia página 1

 No es arco consistente, puesto que para la restricción de x>
w, no existe valor en w que satisfaga todo el dominio de x.

Hiper-arco Consistencia página 2