About: Constraint problem solving in C# language     Goto   Sponge   NotDistinct   Permalink

An Entity of Type : http://linked.opendata.cz/ontology/domain/vavai/Vysledek, within Data Space : linked.opendata.cz associated with source document(s)

AttributesValues
rdf:type
Description
  • 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í a optimalizaci 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 červená. K výhodám využití tohoto nástroje patří demonstrace mezipředmětového vztahu matematiky a informatiky. Tento software mohou využívat také neprogramátoři, kdy využijí připravenou kostru programu a pouze doplní rozhodnutí, omezení a cíl (decision, constraint, goal) do hlavní části programového kódu.
  • 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í a optimalizaci 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 červená. K výhodám využití tohoto nástroje patří demonstrace mezipředmětového vztahu matematiky a informatiky. Tento software mohou využívat také neprogramátoři, kdy využijí připravenou kostru programu a pouze doplní rozhodnutí, omezení a cíl (decision, constraint, goal) do hlavní části programového kódu. (cs)
  • 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 Netherlands, green for Luxembourg, red for Poland, blue for Slovakia, white for the Czech Republic and red for Austria. The benefits of using this tool include demonstrating the interdisciplinary relationship of mathematics and computer science. This software can also be used by non-programmers, who can use the skeleton of the program and only complete the decisions, constraints and the goal to the main sections of code. (en)
Title
  • Constraint problem solving in C# language (en)
  • Modelování problémů s omezujícími podmínkami v programovacím jazyce C
  • Modelování problémů s omezujícími podmínkami v programovacím jazyce C (cs)
skos:prefLabel
  • Constraint problem solving in C# language (en)
  • Modelování problémů s omezujícími podmínkami v programovacím jazyce C
  • Modelování problémů s omezujícími podmínkami v programovacím jazyce C (cs)
skos:notation
  • RIV/60076658:12510/12:43883834!RIV13-MSM-12510___
http://linked.open...avai/predkladatel
http://linked.open...avai/riv/aktivita
http://linked.open...avai/riv/aktivity
  • I
http://linked.open...vai/riv/dodaniDat
http://linked.open...aciTvurceVysledku
http://linked.open.../riv/druhVysledku
http://linked.open...iv/duvernostUdaju
http://linked.open...titaPredkladatele
http://linked.open...dnocenehoVysledku
  • 151208
http://linked.open...ai/riv/idVysledku
  • RIV/60076658:12510/12:43883834
http://linked.open...riv/jazykVysledku
http://linked.open.../riv/klicovaSlova
  • C# language; programming; constraint problems; teaching; Microsoft Solver Foundation (en)
http://linked.open.../riv/klicoveSlovo
http://linked.open...ontrolniKodProRIV
  • [226FD16E7CC6]
http://linked.open...v/mistoKonaniAkce
  • Luhačovice
http://linked.open...i/riv/mistoVydani
  • Brno
http://linked.open...i/riv/nazevZdroje
  • Informatika 2012
http://linked.open...in/vavai/riv/obor
http://linked.open...ichTvurcuVysledku
http://linked.open...cetTvurcuVysledku
http://linked.open...UplatneniVysledku
http://linked.open...iv/tvurceVysledku
  • Beránek, Ladislav
  • Remeš, Radim
  • Carbová, Anna
http://linked.open...vavai/riv/typAkce
http://linked.open.../riv/zahajeniAkce
number of pages
http://purl.org/ne...btex#hasPublisher
  • Mendelova zemědělská a lesnická univerzita v Brně
https://schema.org/isbn
  • 978-80-7375-628-4
http://localhost/t...ganizacniJednotka
  • 12510
is http://linked.open...avai/riv/vysledek of
Faceted Search & Find service v1.16.118 as of Jun 21 2024


Alternative Linked Data Documents: ODE     Content Formats:   [cxml] [csv]     RDF   [text] [turtle] [ld+json] [rdf+json] [rdf+xml]     ODATA   [atom+xml] [odata+json]     Microdata   [microdata+json] [html]    About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data] Valid XHTML + RDFa
OpenLink Virtuoso version 07.20.3240 as of Jun 21 2024, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (126 GB total memory, 58 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software