Dualities in full homomorphisms

Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216208%3A11320%2F09%3A00206371" target="_blank" >RIV/00216208:11320/09:00206371 - isvavai.cz</a>
Alternative codes found
RIV/00216208:11320/10:10081043
Result on the web
—
DOI - Digital Object Identifier
—

Result language
angličtina
Original language name
Dualities in full homomorphisms
Original language description
The Constraint Satisfaction Problem (CSP) is studied for constraints given as requirements in full graph homomorphisms. It is proved that for every finite (full) system of constraints there exists a finite duality, that is, a finite system of prohibitedsources, or subobjects, equivalent with the constraint task. The converse, however does not hold, in fact it is, rather, rare - it is a phenomenon of the Ramsey type. As an illustration we present a number of concrete finite dualities, and of the associated Ramsey phenomena.
Czech name
—
Czech description
—

Type
J<sub>x</sub> - Unclassified - Peer-reviewed scientific article (Jimp, Jsc and Jost)
CEP classification
BA - General mathematics
OECD FORD branch
—

Project
<a href="/en/project/1M0545" target="_blank" >1M0545: Institute for Theoretical Computer Science</a><br>
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>Z - Vyzkumny zamer (s odkazem do CEZ)

Publication year
2010
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Similar results(10)