Princípy programovania s obmedzujúcimi podmienkami

Programovanie s obmedzujúcimi podmienkami je alternatívny prístup k programovaniu , ktorý zahŕňa kombináciu výpočtovej a logiky , alebo uvažovanie , techniky . Základným princípom programovania s obmedzujúcimi podmienkami je určiť problémy s nepredvídateľným , neúplné informácie a riešiť tieto problémy tým , že uvádza podmienky alebo vlastnosti - inak známy ako obmedzenie - spokojný riešenie . Obmedzenie

Programovanie s obmedzujúcimi podmienkami je založený na myšlienke obmedzenia : vzťah , často vzťah rovnosti a nerovnosti medzi hodnotami dvoch matematických premenných . Inými slovami , obmedzenia môže byť myšlienka ako požiadavka , ktorý indikuje , ktorá kombinácia hodnôt z rozsahu možných hodnôt pre každú premennú sú prípustné ; " x > 3 , " napríklad, je obmedzenie na " x . "
obmedzenie System

obmedzenia, systém formálne upresňuje pravidlá správne vytvorené vzorce , alebo syntax , a pravdu alebo lož , alebo sémantiku , o obmedzení záujem . Obmedzenie systém určuje jazyk, v ktorom sú obmedzenia vyjadrená, čo constraint symboly sú , ako sú definovaný a ktoré sú obmedzovačmi vzorce sa používajú pre logiku v programovaní s obmedzujúcimi podmienkami jazyku .
Obmedzenie spokojnosť

V teórii , programovanie s obmedzujúcimi podmienkami sa skladá z dvoch fáz : vytvorenie znázornenie problému a riešenie problému . V praxi , každej z týchto fáz možno rozdeliť do niekoľkých menších krokov , ktoré môžu byť vykonané striedavo . Ak chcete vyriešiť problém pomocou programovania s obmedzujúcimi podmienkami , problém musí byť najskôr zadaný , alebo je formulovaná ako obmedzujúcimi problém , uspokojenie , ktorý sa skladá z konečného počtu obmedzenia , že každý sa vzťahujú na určitom poradí premenných . Obmedzenia spokojnosť sa pokúsi priradiť hodnoty premenných tak , aby všetky väzby sú pravdivé . Typicky , obmedzenie problém uspokojenie môže byť viacej ako jedným spôsobom , programovanie s obmedzujúcimi podmienkami je veľmi flexibilné , pretože obmedzenia môžu byť pridané , zmenené alebo odstránené
Obmedzenie Riešiteľ

. obmedzenie solver implementuje matematický vzorec , alebo algoritmus , ktorý zbiera obmedzenia z jednej alebo viacerých spustenými programami , zjednodušuje im a , ak je to možné , rieši ich. Konečný výsledok je známy ako odpoveď obmedzenia .
Aplikácie

problémy riešiť pomocou programovania s obmedzujúcimi podmienkami sú zvyčajne formulované z hľadiska požiadaviek , vlastností alebo zákony . Tieto problémy sa často vyskytujú v priemysle a obchode , vrátane analýzy , návrhu , plánovanie , alokáciu zdrojov a dopravy . Programovanie s obmedzujúcimi podmienkami úspešne platí pre rad ďalších odborov , vrátane elektrotechniky , molekulárnej biológie a operačného výskumu .

• Predchádzajúca strana: Nevýhody normalizácie 
• Ďalšia strana: Syntax Chyba pri ladení