2004
A New Approach to Modeling and Solving Minimal Perturbation Problems
BARTÁK, Roman, Tomáš MÜLLER a Hana RUDOVÁZákladní údaje
Originální název
A New Approach to Modeling and Solving Minimal Perturbation Problems
Název česky
Nový přístup k modelování a řešení problému minimálních změn
Autoři
BARTÁK, Roman (203 Česká republika), Tomáš MÜLLER (203 Česká republika) a Hana RUDOVÁ (203 Česká republika, garant)
Vydání
Berlin Heidelberg (Germany), Recent Advances in Constraints, s. 233-249, 2004
Nakladatel
Springer
Další údaje
Jazyk
angličtina
Typ výsledku
Stať ve sborníku
Obor
10201 Computer sciences, information science, bioinformatics
Stát vydavatele
Německo
Utajení
není předmětem státního či obchodního tajemství
Odkazy
Kód RIV
RIV/00216224:14330/04:00011431
Organizační jednotka
Fakulta informatiky
ISBN
3-540-21834-3
UT WoS
000221377300013
Klíčová slova anglicky
constraint satisfaction; solution update; search; timetabling
Změněno: 26. 6. 2009 14:16, doc. Mgr. Hana Rudová, Ph.D.
V originále
Formulation of many real-life problems evolves when the problem is being solved. For example, a change in the environment might appear after the initial problem specification and this change must be reflected in the solution. Such changes complicate usage of a traditionally static constraint satisfaction technology that requires the problem to be fully specified before the solving process starts. We propose a new formal description of changes in the problem formulation called a minimal perturbation problem. This description focuses on the modification of the solution after a change in the problem specification. We also describe a new branch-and-bound like algorithm for solving such type of problems.
Česky
Formulace mnoha reálných problémů se vyvíjí při jejich řešení. Například, změna v prostředí se může projevit po změně definice původního problému a tato změna musí být pak reflektována i v řešení. Tyto změny komplikují použití tradičních technik používaných při řešení problémů splňování podmínek, které vyžadují plnou specifikaci problému před jeho řešením. Práce navrhuje nový formální popis změn ve formulaci problému nazvaný problém minimálních změn. Tento popis se zaměřuje na modifikaci řešení po změně specifikace problému. Dále je popsán nový algoritmus metody větví a mezí pro řešení tohoto typu problému.
Návaznosti
| GA201/01/0942, projekt VaV |
|