programmazione vincolo è un approccio alternativo alla programmazione di computer , che comporta una combinazione di calcolo e logica , o il ragionamento, le tecniche . Il principio di base della programmazione vincolo è specificare problemi imprevedibili , informazioni incomplete e risolvere quei problemi da condizioni affermando o Proprietà - altrimenti noto come vincoli - soddisfatti dalla soluzione . Vincolo

programmazione vincolo si basa sull'idea di un vincolo : una relazione , spesso una uguaglianza o disuguaglianza rapporto , tra i valori di due variabili matematiche . In altre parole , un vincolo può essere pensato come un requisito che indica quali combinazioni di valori della gamma di possibili valori per ogni variabile sono ricevibili ; " x > 3 ", per esempio , è un vincolo sulla " x . "
vincolo sistema

Un sistema di vincolo specifica formalmente le norme che disciplinano adeguatamente formata formule o la sintassi e la verità o la falsità , o semantica, dei vincoli di interesse . Un sistema di vincolo specifica la lingua in cui i vincoli sono espressi , quali i simboli di vincolo sono , come vengono definiti e che vincoli le formule vengono utilizzati per la logica nel linguaggio di programmazione a vincoli .
Vincolo soddisfazione

In teoria, la programmazione a vincoli è costituito da due fasi : la generazione di una rappresentazione di un problema e la soluzione del problema . In pratica , ognuna di queste fasi può essere suddiviso in una serie di piccoli passi , che può essere eseguita alternativamente. Per risolvere un problema con programmazione a vincoli , il problema deve essere prima specificato , o formulata , come un problema di non facile soluzione , che consiste di un numero finito di vincoli che ciascuna applicano ad una specifica sequenza di variabili . Soddisfazione vincolo tenta di assegnare valori alle variabili in modo che tutti i vincoli sono vere . In genere , un problema di soddisfacimento di vincoli può essere rappresentato in più di un modo ; programmazione a vincoli è molto flessibile , perché i vincoli possono essere aggiunti , modificati o rimossi
Constraint Solver

. un risolutore di vincoli implementa una formula matematica , o algoritmo , che raccoglie vincoli da uno o più programmi in esecuzione , li semplifica e , se possibile , li risolve . Il risultato finale è noto come il vincolo di risposta. Ginebra: Applicazioni

problemi risolti con programmazione a vincoli sono tipicamente formulata in termini di requisiti, proprietà o leggi. Tali problemi si verificano di frequente nell'industria e nel commercio , compresa l'analisi , la progettazione , la pianificazione , l'allocazione delle risorse e dei trasporti. Programmazione vincolo si applica con successo a numerosi altri campi , compresa l'ingegneria elettrica , la biologia molecolare e la ricerca operativa .