Tag: ANSWER-SET-PROGRAMMING
Tratando de aprender la programación de conjuntos de respuestas y decidí probar el problema de las n-reinas. Esto es lo que tengo hasta ahora: – Las reinas se colocan en un tablero de ajedrez de n x n. Cada reina no debe atacar a las demás. Representa las casillas del . . . Read more
He escrito un programa ASP con una condición de optimización al final. Cuando lo compilo, aunque obtengo el resultado correcto, en el resumen obtengo un valor negativo para la optimización (es decir, -3). ¿Sabes por qué sucede esto? La parte del código de optimización se ve así: number_of_leaves(N) :- #count{X . . . Read more
Para el grafo no dirigido descrito a continuación, estoy intentando obtener sus árboles de expansión y luego separar sus hojas de los nodos internos. ¿Podrías ayudarme con mi código? Lo que espero ver después de ejecutar el código es algo como: Respuesta 1: spanTree(1,2), spanTree(2,3), spanTree(3,4), leaf(1), leaf(4), internal(2), internal(3). . . . Read more
Estoy aprendiendo Answer Set Programming resolviendo el problema de la zebra. Encontré algunos ejemplos de solución en línea. Pero alguien me dijo que puedo resolver el problema sin usar la macro de restricción de cardinalidad para generar los posibles candidatos de solución. Algo como esto: { color(Casa, Color) : colores(Color) . . . Read more
instance.lp node(1). node(2). node(3). node(4). node(5). node(6). edge(1,2). edge(2,1). edge(4,1). edge(2,3). edge(2,6). edge(3,4). edge(3,5). edge(5,6). edge(6,3). begin(4). Tengo esta instancia del problema, un grafo dirigido con un nodo de inicio begin(4) y las aristas correspondientes. En este grafo, solo es posible obtener un ciclo hamiltoniano comenzando desde el nodo 4 . . . Read more