Attributes | Values |
---|
rdf:type
| |
Description
| - The main goal of the cooperation is to provide an opportunity for Czech and Polish researchers to share their experience and exchange the ideas concerning the Constraint Satisfaction Problem, namely the dichotomy question. The cooperation has already been initiated with a number of visits of polish members in Czech Republic which resulted in a significant contribution to the development of the subject. The specific goals of the cooperation are designed in order to fully utilize the potential of an algebraic approach -- a potential already proved by the previous achievement of the authors of this application~(in a cooperation with Todd Niven). During the cooperation we want to enrich the collection of classes for which the dichotomy is known, concentrating on directed graphs, and thus developing the theory towards proving~(or disproving) the CSP dichotomy conjecture. The first step is to apply the algebraic tools for classes of digraphs with known dichotomies: oriented paths, oriented cycles, or (en)
- Hlavním cílem spolupráce je umožnit českým a polským řešitelům sdílet zkušenosti a myšlenky týkající se problému splnitelnosti omezujících podmínek (CSP), zejména otázky dichotomie. Spolupráce již započala četnými návštěvami polských účastníků v České Republice, které vedly k významným příspěvkům v dané oblasti. Spolupráce se zaměří na algebraický přístup k problému CSP, který se ukázal být velmi plodným. V průběhu řešení chceme rozšířit třídu problémů, pro které je dichotomie známa, zejména se zaměříme na třídy orientovaných grafů. To povede k rozvoji teorie nutné k důkazu (nebo vyvrácení) dichotomické domněky. Prvním krokem je aplikovat algebraické nástroje pro třídy, pro něž je dichotomie známa: orientované cesty, orientované kružnice, turnaje a mnoho dalších. Tento výzkum poskytne východisko k důkazu dichotomie pro širší třídu digrafů a jiných relačních struktur. Velmi důležité je uzpůsobit algebraické nástroje, které se již ukázali být velmi užitečné. Zkoumání malcevských podmínek ve s (cs)
|
Title
| - Algebraický přístup k problému splnitelnosti omezujících podmínek (cs)
- An Algebraic Approach to the Constraint Satisfaction Problem (en)
|
http://linked.open...vai/cislo-smlouvy
| |
http://linked.open...avai/druh-souteze
| |
http://linked.open...domain/vavai/faze
| |
http://linked.open...vavai/hlavni-obor
| |
http://linked.open...vai/vedlejsi-obor
| |
http://linked.open...vavai/id-aktivity
| |
http://linked.open.../vavai/id-souteze
| |
http://linked.open...n/vavai/kategorie
| |
http://linked.open...vai/klicova-slova
| - Constraint satisfaction problem (en)
|
http://linked.open...avai/konec-reseni
| |
http://linked.open...nujicich-prijemcu
| |
http://linked.open...avai/poskytovatel
| |
http://linked.open...avai/start-reseni
| |
http://linked.open...ai/statni-podpora
| |
http://linked.open...vavai/typProjektu
| |
http://linked.open...ai/uznane-naklady
| |
http://linked.open...ai/pocet-prijemcu
| |
http://linked.open...cet-spoluprijemcu
| |
http://linked.open...ai/pocet-vysledku
| |
http://linked.open...ku-zverejnovanych
| |
is http://linked.open...ain/vavai/projekt
of | |