D 2003

Minimal Perturbation Problem - A Formal View

BARTÁK, Roman; Tomáš MÜLLER a Hana RUDOVÁ

Základní údaje

Originální název

Minimal Perturbation Problem - A Formal View

Autoři

BARTÁK, Roman; Tomáš MÜLLER a Hana RUDOVÁ

Vydání

Budapest (Hungary), Proceedings of ERCIM Working Group on Constraints/CompulogNet Area on "Constraint Programming" Workshop, s. 209-226, 2003

Nakladatel

MTA SZTAKI

Další údaje

Jazyk

angličtina

Typ výsledku

Stať ve sborníku

Obor

10201 Computer sciences, information science, bioinformatics

Stát vydavatele

Maďarsko

Utajení

není předmětem státního či obchodního tajemství

Odkazy

Kód RIV

RIV/00216224:14330/03:00008700

Organizační jednotka

Fakulta informatiky

Klíčová slova anglicky

constraint satisfaction; solution update; timetabling

Štítky

Změněno: 24. 5. 2004 17:00, doc. Mgr. Hana Rudová, Ph.D.

Anotace

V originále

Formulation of many real-life problems evolves as the problem is being solved. These changes are typically initiated by a user intervention or by changes in the environment. However, the traditional formulation of the constraint satisfaction problem is static in the sense that it must be fully specified before the solving process starts. We propose a formal description of so called minimal perturbation problem that allows an automated modification of the (partial) solution when the problem formulation changes. We also discuss a first proposal of the algorithm for solving such type of problems.

Návaznosti

GA201/01/0942, projekt VaV
Název: Pokročilé plánování a rozvrhování
Investor: Grantová agentura ČR, Pokročilé plánování a rozvrhování