constraint-programming

5calore

2risposta

Multi-Sudoku AI approccio

sto concettualizzare un risolutore per una variante di sudoku chiamato multi-sudoku, dove più schede si sovrappongono in questo modo: Se ho capito correttamente il gioco , è necessario risolvere ciasc

artificial-intelligence theory sudoku solver constraint-programming 2015-12-13

---

5calore

1risposta

OptaPlanner supporta ottimizzazioni e vincoli su variabili continue?

Sto leggendo cose contraddittorie nella documentazione. Da un lato, questo passaggio sembra indicare che le variabili di pianificazione continue sono possibili: un campo di valori di pianificazione è

optimization rule-engine constraint-programming drools-planner optaplanner 2013-08-20

---

14calore

1risposta

Qualcuno può suggerire una buona libreria di vincoli per Haskell?

Ho iniziato a studiare su Constraint programming e penso che sia qualcosa che funzionerebbe bene con Haskell (mi piace anche usare Haskell). Ci sono quadri di vincolo maturi per Haskell?

haskell package constraint-programming 2010-10-13

---

16calore

4risposta

Programmazione per giovani tableaux

Una domanda strana segue: Sto facendo un concorso per la risoluzione dei problemi alla mia scuola e ci permettono di usare un computer. Dato che sono l'unico della concorrenza che sa come codificare,

c prolog clpfd constraint-programming diagrams 2013-03-29

---

5calore

1risposta

Risolvere un sistema di equazioni in Prolog

Si supponga Ho un certo numero X e mi auguro di risolvere sistemi di equazioni, dicono Y + Z = X, Z * Y = 1. Ora, questo non ha soluzioni Y = 1/Z e Z = (sqrt (X * X-4) + X)/2 o (X- (sqrt (X * X-4)))/2

prolog equation-solving constraint-programming 2013-04-12

---

6calore

2risposta

Come generare (in modo efficiente) set disgiunti mentre le coppie di elementi usanti una sola volta?

Quello che vorrei fare è dividere un gruppo di (n) elementi in gruppi di uguali dimensioni (gruppi di dimensioni m, e per semplicità supponiamo che non ci sono avanzi, cioè n è divisibile di m). Facen

algorithm combinatorics solver constraint-programming disjoint-sets 2015-09-26

---

16calore

4risposta

Nomina Pianificazione (N persone con N-slot liberi occupato, vincolo-soddisfazione)

problema dichiarazione Abbiamo un datore di lavoro che vuole intervistare N persone, e quindi rende N slot intervista. Ogni persona ha un programma occupato per quelle slot. Dare un algoritmo che pian

algorithm graph constraint-programming 2012-06-21

---

6calore

2risposta

Choco impone una variabile a true quando non dovrebbe

Sono totalmente nuovo a Choco e CP, ma sto facendo un piccolo modello per risolvere il problema dell'albero di Steiner, e Choco continua a forzare il primo nodo ad essere vero qualunque sia il grafico

java constraint-programming choco 2015-05-04

---

5calore

2risposta

Alla ricerca di esempi pratici di applicazioni SMT Z3 (come DbC) e alternative open source a Z3?

Mi sono interessato e ho cercato esempi pratici di utilizzo di SMT Z3 (come DbC) con codice e alternative open source a questo strumento. Quindi, in realtà, io sono interessato a simili strumenti solv

.net constraint-programming sat-solvers z3 2011-01-06

---

7calore

2risposta

Risoluzione di "Feed the Golorp" in Prolog

Qualche tempo fa ho creato un problema per Codeforces April Fools Day Contest 2014 - "Feed the Golorp": http://codeforces.com/contest/409/problem/I. Si prega di leggere la dichiarazione del problema s

prolog metaprogramming constraint-programming 2014-04-21

---