We introduce a special set of relations on a finite set, called clausal relations. A restricted version of the Galois connection between polymorphisms and invariants, called Pol-CInv, is studied, where the invariant relations are clausal relations. Clones arising from this Galois connection, so-called C-clones, are investigated. Finally, we show that clausal relations meet a sufficient condition that is known to ensure polynomial time solvability of the corresponding CSP.
| Identifer | oai:union.ndltd.org:DRESDEN/oai:qucosa.de:bsz:14-qucosa-70905 |
| Date | 20 July 2011 |
| Creators | Vargas Garcia , Edith Mireya |
| Contributors | Technische Universität Dresden, Fakultät Mathematik und Naturwissenschaften, Prof. Dr. rer. nat. habil Reinhard Pöschel, Prof. Dr. Dr. hc. Klaus Denecke, Prof. Dr. rer. nat. habil Reinhard Pöschel |
| Publisher | Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden |
| Source Sets | Hochschulschriftenserver (HSSS) der SLUB Dresden |
| Language | English |
| Detected Language | English |
| Type | doc-type:doctoralThesis |
| Format | application/pdf |
Page generated in 0.002 seconds