Detailed Information on Publication Record
2004
A New Approach to Modeling and Solving Minimal Perturbation Problems
BARTÁK, Roman, Tomáš MÜLLER and Hana RUDOVÁBasic information
Original name
A New Approach to Modeling and Solving Minimal Perturbation Problems
Name in Czech
Nový přístup k modelování a řešení problému minimálních změn
Authors
BARTÁK, Roman (203 Czech Republic), Tomáš MÜLLER (203 Czech Republic) and Hana RUDOVÁ (203 Czech Republic, guarantor)
Edition
Berlin Heidelberg (Germany), Recent Advances in Constraints, p. 233-249, 2004
Publisher
Springer
Other information
Language
English
Type of outcome
Stať ve sborníku
Field of Study
10201 Computer sciences, information science, bioinformatics
Country of publisher
Germany
Confidentiality degree
není předmětem státního či obchodního tajemství
References:
RIV identification code
RIV/00216224:14330/04:00011431
Organization unit
Faculty of Informatics
ISBN
3-540-21834-3
UT WoS
000221377300013
Keywords in English
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.
In Czech
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.
Links
| GA201/01/0942, research and development project |
|