About: Constraint satisfaction problem and universal algebra     Goto   Sponge   Distinct   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
  • Projekt se zabývá studiem výpočetní složitosti problému splnitelnosti omezujících podmínek (CSP) a úzce souvisejících problémů univerzální algebry. Cílem je dokázat dichotomickou hypotézu Federa a Vardiho pro co nejširší třídu CSP problémů a prohloubit relevantní univerzálně algebraické poznatky. (cs)
  • The subject of the project is the computational complexity of the Constraint Satisfaction Problem (CSP). The goal is to prove the dichotomy conjecture of Feder and Vardi for a broad class of CSP problems. In particular, we will study the bounded width problems and CSPs for various classes of digraphs, including oriented trees and smooth digraphs expansions. The next aim is to deepen the universal algebra results, wich are useful in the CSP area. This especially concerns Malcev conditions for finite algebras, where we will continue the research on cyclic terms. (en)
Title
  • Constraint satisfaction problem and universal algebra (en)
  • Splnitelnost omezujících podmínek a univerzální algebra (cs)
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
  • splnitelnost omezujících podmínek; univerzální algebra; barvení grafu (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, 110 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software