Modelování problémů s omezujícími podmínkami v programovacím jazyce C
Identifikátory výsledku
Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F60076658%3A12410%2F12%3A43883834" target="_blank" >RIV/60076658:12410/12:43883834 - isvavai.cz</a>
Nalezeny alternativní kódy
RIV/60076658:12510/12:43883834
Výsledek na webu
—
DOI - Digital Object Identifier
—
Alternativní jazyky
Jazyk výsledku
čeština
Název v původním jazyce
Modelování problémů s omezujícími podmínkami v programovacím jazyce C
Popis výsledku v původním jazyce
Cílem příspěvku je představit jeden z možných způsobů řešení problémů s omezujícími podmínkami pomocí programovacího nástroje Microsoft Visual Studio (Microsoft (1), 2011) rozšířeného o sadu knihoven a řešitelů pro matematické programování, modelování aoptimalizaci Microsoft Solver Foundation (Microsoft (2), 2011). Řešení bude demonstrováno na problému čtyř barev (Šišma, 1997), kdy se ptáme, zda stačí čtyři barvy na obarvení libovolné politické mapy tak, aby žádné dva sousedící státy nebyly obarveny stejnou barvou. Zvolený příklad obsahuje deset vybraných evropských států: Belgii, Francii, Dánsko, Německo, Nizozemí, Lucembursko, Polsko, Slovensko, Česko a Rakousko. Vytvořený model dle uvedených dat vypočítá celkem 2.592 možných řešení, v článku je prezentováno jedno z nich. Pro obarvení států je možné použít např. následující barvy: Belgie bílá, Francie červená, Dánsko bílá, Německo modrá, Nizozemí červená, Lucembursko zelená, Polsko červená, Slovensko modrá, Česko bílá a Rakousko čer
Název v anglickém jazyce
Constraint problem solving in C# language
Popis výsledku anglicky
The aim of this article is to introduce one of the possible ways how to solve problems with constraints using the Microsoft Visual Studio programming tool (Microsoft (1), 2011) extended by a set of libraries and solvers for mathematical programming, modeling and optimization of Microsoft Solver Foundation (Microsoft (2), 2011). The solution will be demonstrated on the problem of four colors (Šišma, 1997), in which we ask if only four colors are enough for coloring any political map so that no two neighboring states are colored the same. The chosen example contains ten selected European countries: Belgium, France, Denmark, Germany, the Netherlands, Luxembourg, Poland, Slovakia, the Czech Republic and Austria. The created model calculated according to these data gives a total of 2,592 possible solutions and the one presented in the article is one of them. We may use the following colors to color the states: white for Belgium, red for France, white for Denmark, blue for Germany, red for N
Klasifikace
Druh
D - Stať ve sborníku
CEP obor
IN - Informatika
OECD FORD obor
—
Návaznosti výsledku
Projekt
—
Návaznosti
I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace
Ostatní
Rok uplatnění
2012
Kód důvěrnosti údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Údaje specifické pro druh výsledku
Název statě ve sborníku
Informatika 2012
ISBN
978-80-7375-628-4
ISSN
—
e-ISSN
—
Počet stran výsledku
2
Strana od-do
"93?94"
Název nakladatele
Mendelova univerzita v Brně
Místo vydání
Brno
Místo konání akce
Luhačovice
Datum konání akce
16. 1. 2012
Typ akce podle státní příslušnosti
EUR - Evropská akce
Kód UT WoS článku
—