Programación con restricións

A programación con restricións é un paradigma da programación en informática, onde as relacións entre as variables son expresadas en termos de restricións (ecuacións). Actualmente é usada como unha tecnoloxía de software para a descrición e resolución de problemas combinatorios particularmente difíciles, especialmente nas áreas de planificación e programación de tarefas (calendarización).

Características

Este paradigma representa un dos desenvolvementos máis fascinantes nas linguaxes de programación desde 1990 e non é sorprendente que recentemente ^[cando?] sexa identificada pola ACM (Asociación de Maquinaria Computacional) como unha dirección estratéxica na investigación en computación.

Trátase dun paradigma de programación baseado na especificación dun conxunto de restricións, as cales deben ser satisfeitas por calquera solución do problema exposto, no canto de especificar os pasos para obter a devandita solución.

A programación con restricións relaciónase moito coa programación lóxica e coa investigación operativa. De feito calquera programa lóxico pode ser traducido nun programa con restricións e viceversa. Moitas veces os programas lóxicos son traducidos a programas con restricións debido a que a solución é máis eficiente que a súa contraparte.

A diferenza entre ambos radica principalmente nos seus estilos e enfoques no modelado do mundo. Para certos problemas é máis natural (e polo tanto máis simple) escribilos como programas lóxicos, mentres que noutros é máis natural escribilos como programas con restricións.

O enfoque da programación con restricións baséase principalmente en buscar un estado no cal unha gran cantidade de restricións sexan satisfeitas simultaneamente. Un problema defínese tipicamente como un estado da realidade no cal existe un número de variables con valor descoñecido. Un programa baseado en restricións busca os valores para todas as variables.

Algúns dominios de aplicación deste paradigma son:

Dominios booleanos, onde só existen restricións do tipo verdadeiro/falso.
Dominios en variables enteiras e racionais.
Dominios lineais, onde só se describen e analizan funcións lineais.
Dominios finitos, onde as restricións son definidas en conxuntos finitos.
Dominios mixtos, os cales involucran dous ou máis dos anteriores.

As linguaxes de programación con restricións son tipicamente ampliacións doutra linguaxe. A primeira linguaxe utilizada para ese efecto foi Prolog. Por esta razón é que este campo foi chamado inicialmente Programación Lóxica con Restricións. Ambos os paradigmas comparten características moi similares, tales como as variables lóxicas (unha vez que unha variable é asignada a un valor, non pode ser cambiado), ou o backtracking.

A programación con restricións pode ser implementada como unha linguaxe propia ou como bibliotecas para ser usadas nalgunha linguaxe de programación imperativo.

Linguaxes

Algunhas linguaxes populares de programación con restricións son:

B-Prolog (Baseado en Prolog , propietario)
CHIP V5 Arquivado 02 de xaneiro de 2008 en Wayback Machine. (Baseado en Prolog, tamén existen bibliotecas en C e C++, propietario)
Ciao Prolog^{[Ligazón morta]} (Baseado en Prolog, software libre: GPL/LGPL)
Eclipse (Baseado en Prolog, propietario)
Mozart (Baseado en Oz, software libre: X11)
SICStus (Baseado en Prolog, propietario)
GNU Prolog (Baseado en Prolog, software libre)
SWI Prolog (unha contorna Prolog que contén varias librerías para solucións con restricións (LGPL))

Bibliotecas

Algunhas bibliotecas populares:

Choco (Java, software libre: X11)
Disolver (C++, propietaria)
Gecode (C++ ,software libre: X11)
ILOG CP (C++, propietaria)
Koalog Constraint Solver (Xava, propietaria)

Véxase tamén

Ligazóns externas

Guía de Constraint Programming^{[Ligazón morta]} (en inglés)
Que é Programación con Restricións?^{[Ligazón morta]} (en castelán)
Mozart-oz

Read other articles:

Makoula

Place in Centre-Ouest Region, Burkina FasoMakoulaMakoulaLocation in Burkina FasoCoordinates: 12°36′N 1°53′W / 12.600°N 1.883°W / 12.600; -1.883Country Burkina FasoRegionCentre-Ouest RegionProvinceBoulkiemdé ProvinceDepartmentSiglé DepartmentPopulation (2005) • Total2,191Time zoneUTC+0 (GMT 0) Makoula is a town in the Siglé Department of Boulkiemdé Province in central western Burkina Faso. It has a population of 2,191.[1] Refere...

UK R&B Singles and Albums Charts

R&B and hip hop music charts The UK Hip Hop and R&B Singles Chart and the UK Hip Hop and R&B Albums Chart (also known as The Official UK Hip Hop and R&B Charts, the Top 40 Hip Hop and RnB Singles and the Top 40 Hip Hop and RnB Albums, or simply the UK Urban Chart)[1] are 40-position R&B and hip hop music charts compiled by the Official Charts Company (OCC) on behalf of the music industry in the United Kingdom. During October 1994 The Official Charts Company establi...

PolyGram Music

Pour les articles homonymes, voir PolyGram Filmed Entertainment. PolyGram Données clés Filiale Philips Fondation 1962 Disparition 1999 Fondateur Philips Records, Deutsche Grammophon Maison de disques Universal Music Group(depuis 1999) Pays d'origine Pays-Bas Siège Baarn modifier PolyGram, anciennement Grammophon-Philips Group, est une major de l'industrie musicale et une entreprise néerlandaise, filiale du groupe Philips, créée en 1962 et disparue en 1999 lors de sa fusion avec Univers...

B

此條目介紹的是拉丁字母中的第2个字母。关于其他用法，请见「B (消歧义)」。提示：此条目页的主题不是希腊字母Β、西里尔字母В、Б、Ъ、Ь或德语字母ẞ、ß。 BB b(见下)用法書寫系統拉丁字母英文字母ISO基本拉丁字母（英语：ISO basic Latin alphabet）类型全音素文字相关所属語言拉丁语读音方法 [b][p][ɓ](适应变体)Unicode编码U+0042, U+0062字母顺位2数值 2歷史發...

Georges de Selve

Georges de SelveGeorge de Selve in Hans Holbein the Younger's The Ambassadors.Bishop of LavaurIn office1526–1540Ambassador to Republic of Venice, Austria, the Pope, England, Germany and SpainIn officeApril 1540 – 12 April 1541MonarchKing Francis I of France Personal detailsBorn1508DiedApril 12, 1541(1541-04-12) (aged 32–33)ParentJean de Selve (father)RelativesOdet de SelveOccupationScholar, diplomat and ecclesiastic Georges de Selve (1508 – 12 April 1541) was a French sc...

Evelyn Furtsch

Evelyn Furtsch Evelyn Furtsch nel 1932 Nazionalità Stati Uniti Altezza 158 cm Peso 43 kg Atletica leggera Specialità Velocità Società LAAC Record 100 m 122 (1932) CarrieraNazionale 1932 Stati UnitiPalmarès Competizione Ori Argenti Bronzi Giochi olimpici 1 0 0 Per maggiori dettagli vedi qui Modifica dati su Wikidata · Manuale Evelyn Pearl Furtsch-Ojeda (San Diego, 17 aprile 1914 – Santa Ana, 5 marzo 2015) è stata una velocista statunitense, campionessa olimpica dell...

Чайки

У этого термина существуют и другие значения, см. Чайки (значения). Чайки Доминиканская чайкаЗападная чайкаКалифорнийская чайкаМорская чайка Научная классификация Домен:ЭукариотыЦарство:ЖивотныеПодцарство:ЭуметазоиБез ранга:Двусторонне-симметричныеБез ранга:Вторич...

中曾根康弘

中曾根康弘中曽根康弘日本第71、72、73任內閣總理大臣任期1982年11月27日—1987年11月6日君主昭和天皇副首相金丸信前任鈴木善幸继任竹下登日本第45任行政管理廳長官（日语：行政管理庁長官）任期1980年7月17日—1982年11月27日总理鈴木善幸前任宇野宗佑继任齋藤邦吉（日语：斎藤邦吉）日本第34、35任通商產業大臣任期1972年7月7日—1974年12月9日总理田中角榮前任...

Marshall Chapin

American politician Marshall ChapinMayor of DetroitIn office1829–1829Preceded byJohn R. WilliamsSucceeded byLevi CookMayor of DetroitIn office1831–1831Preceded byLevi CookSucceeded byCharles Christopher Trowbridge Personal detailsBornFebruary 27, 1798Bernardston, MassachusettsDiedDecember 26, 1836(1836-12-26) (aged 38)Detroit, MichiganSpouseMary Crosby Marshall Chapin (February 27, 1798 – December 26, 1836) was a medical doctor, pharmacist, and public servant from Detroit, Michigan...

Người bản địa

Những người đàn ông và các cậu bé người bản địa Úc trước nhà ở, Groote Eylandt, khoảng năm 1933 Một người Navajo trên lưng ngựa ở thung lũng Monument, Arizona Người Inuit trong qamutik truyền thống, Cape Dorset, Nunavut, Canada Người bản địa hay thổ dân dùng để chỉ những quần thể người sống nguyên thủy và đầu tiên hay là lâu đời tại một địa phương nào đó. Ví như nguồn gốc của phần ...

كوبا ساباتيني 2016

كوبا ساباتيني 2016 تفاصيل السباقسلسلة64. كوبا ساباتينيمسابقاتطواف أوروبا للدراجات 2016 1.1‏كأس إيطاليا لركوب الدراجات على الطريق 2016التاريخ22 سبتمبر 2016المسافات195٫9 كمالبلد إيطاليانقطة البدايةبيتشيولينقطة النهايةبيتشيوليالفرق17عدد المتسابقين في البداية131عدد المتسابقين في �...

Stade du Pays de Charleroi

This article needs additional citations for verification. Please help improve this article by adding citations to reliable sources. Unsourced material may be challenged and removed.Find sources: Stade du Pays de Charleroi – news · newspapers · books · scholar · JSTOR (December 2009) (Learn how and when to remove this message) Stade du Pays de CharleroiMambourgLocationBoulevard Zoé Drio, Charleroi, BelgiumCapacity15,000[1]Opened1939TenantsSport...

Cosmo Gordon Lang

British archbishop (1864–1945) The Most Reverend and Right HonourableCosmo LangGCVO GCStJ PCArchbishop of CanterburyArchbishop Lang in 1920ProvinceCanterburyDioceseCanterburyInstalled4 December 1928 (1928-12-04)Term ended31 May 1942 (1942-05-31)PredecessorRandall DavidsonSuccessorWilliam TempleOther post(s)Bishop of Stepney (1901–1909)Archbishop of York (1909–1928)OrdersOrdination1890 (deacon)24 May 1891 (priest)Consecration1 May 1901by Fr...

Stagecoach London

London bus company Stagecoach LondonStagecoach London Alexander Dennis Enviro400 in Romford in February 2023ParentStagecoachFounded1994HeadquartersWest HamService areaCentral LondonEast LondonSouth East LondonService typeBus servicesHubsStratford, Romford, Woolwich, LewishamFleet1,463 (March 2023)OperatorEast LondonLea Interchange Bus CompanySelkentThamesideWebsitewww.stagecoachbus.com Stagecoach London is a major bus operator in Greater London. It is a subsidiary of Stagecoach and operates s...

Caritas Czech Republic

Social welfare and humanitarian relief organisation of the Catholic Church in Czech Republic. Caritas Czech RepublicCharita Česká republikaEstablished1928TypeNonprofitLegal statusnational charitable foundationHeadquartersVladislavova 1460/12LocationPrague, Czech RepublicCoordinates50°04′49″N 14°25′17″E / 50.08036°N 14.42136°E / 50.08036; 14.42136OriginsCatholic Social TeachingRegion served Czech Republic and worldwideFieldssocial work, humanitarian aidSec...

National Convention

Single-chamber assembly in France from 20 September 1792 to 26 October 1795 Not to be confused with Political Convention.For other uses, see National Convention (disambiguation). National Convention Convention nationaleKingdom of FranceFrench First Republic Emblem of the National ConventionTypeTypeUnicameral HistoryEstablished20 September 1792Disbanded3 November 1795Preceded byLegislative AssemblySucceeded byCouncil of Ancients Council of Five HundredStructureSeatsVariedPolitical gr...

Sofia Pozdniakova

Russian sabre fencer In this name that follows Eastern Slavic naming customs, the patronymic is Stanislavovna and the family name is Pozdniakova. Sofia PozdniakovaPozdniakova in 2021Personal informationFull nameSofia Stanislavovna PozdniakovaNickname(s)Sonya, Pozdni [1]Born (1997-06-17) 17 June 1997 (age 27)[2]Novosibirsk, Russia[2]Nationality RussianSportCountry RussiaSportFencingWeaponSabreHandright-handedNational coachChristian BauerClub CSKA Mosc...

Естественный отбор

Дарвин — основоположник изучения «естественного отбора» в животном мире и обществе. У этого термина существуют и другие значения, см. Естественный отбор (значения). Есте́ственный отбо́р — основной фактор эволюции, в результате действия которого в популяции увели�...

William Ross (Canadian politician)

Canadian politician For other people with the same name, see William Ross. The Hon.William RossSenator for Victoria, Nova ScotiaIn officeMay 18, 1905 – March 17, 1912Appointed byWilfrid LaurierMember of the Canadian Parliamentfor Victoria, Nova ScotiaIn office1867–1874Succeeded byCharles James CampbellIn office1900–1904Preceded byJohn Lemuel BethuneSucceeded byElectoral district was abolished in 1903 Personal detailsBorn(1824-12-20)December 20, 1824Boularderie, Nova Scotia, Can...

Meditation

Practice of mindfulness This article is about the induction of specific modes or states of consciousness. For other uses, see Meditation (disambiguation). Not to be confused with mediation or medication. Various depictions of meditation (clockwise starting at the top left): the Hindu Swami Vivekananda, the Buddhist monk Hsuan Hua, Taoist Baduanjin qigong, Siddhar Agastyar, Chan monk Bodhidharma, and social reformer Narayana Guru Meditation is a practice in which an individual uses a technique...