Villkorsprogrammering är en alternativ metod för programmering som innebär en kombination av datorer och logik , eller resonemang , tekniker . Den grundläggande principen om constraint programming är att specificera problem med oförutsägbara , ofullständiga uppgifter och lösa dessa problem genom att ange villkor eller fastigheter - annars känd som begränsningar - nöjda med lösningen . Constraint
Constraint -programmering är baserad på idén om en begränsning : en relation , ofta en jämlikhet eller ojämlikhet relation , mellan värdena av två matematiska variabler . Med andra ord , kan en begränsning ses som ett krav som anger vilka kombinationer av värden från de möjliga värden för varje variabel är tillåtlig , " x > 3 , " till exempel , är en begränsning på " x . " Addera Constraint System
En begränsning systemet anger formellt reglerna välformade formler , eller syntax och sanning eller lögn , eller semantik , begränsningar av intresse. En begränsning systemet anger vilket språk begränsningar uttrycks , vad tvång symbolerna , hur de definieras och vilka hinder formler används för logik i constraint programmeringsspråk .
Constraint nöjdhet
i teorin består constraint programming av två faser : alstra en representation av ett problem och lösa problemet . I praktiken kan var och en av dessa faser delas upp i ett antal mindre steg, vilka kan utföras växelvis. För att lösa ett problem med hjälp av villkorsprogrammering , måste problemet först specificeras , eller formuleras som ett tvång tillfredsställelse problem , som består av ett ändligt antal begränsningar som var tillämpliga på en specifik sekvens av variabler . Constraint tillfredsställelse försöker tilldela värden till variabler så att alla begränsningar är sanna . Normalt kan ett tvång tillfredsställelse problem vara representerade i mer än ett sätt , constraint programming är mycket flexibel eftersom begränsningar kan läggas till, ändras eller tas bort
Constraint Solver
. en begränsning lösare implementerar en matematisk formel eller algoritm , som samlar begränsningar från ett eller flera program som körs , förenklar dem och , om möjligt , löser dem . Det slutliga resultatet är känt som svar tvång .
Applications
Problem löses med constraint programming typiskt formuleras i termer av krav, egenskaper eller lagar . Sådana problem förekommer ofta inom industri och handel , inklusive analys , design , planering , resursfördelning och transport . Constraint -programmering tillämpas framgångsrikt till många andra områden , bland annat elektroteknik , molekylärbiologi och operationsanalys .
