About: An Algebraic Approach to the Constraint Satisfaction Problem     Goto   Sponge   NotDistinct   Permalink

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

AttributesValues
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
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