Fully symmetric operations

Kubica, Jan

Úplně symetrické operace

dc.contributor.advisor	Barto, Libor
dc.creator	Kubica, Jan
dc.date.accessioned	2025-02-26T10:13:49Z
dc.date.available	2025-02-26T10:13:49Z
dc.date.issued	2025
dc.identifier.uri	http://hdl.handle.net/20.500.11956/197187
dc.description.abstract	Problém splnitelnosti omezujících podmínek nad algebrou A je řešitelný pomocí základní relaxace lineárního programování právě tehdy, když má A symetrické termové operace všech arit. Není však jasné, jak rozhodnout, zda daná algebra tuto podmínku splňuje. V této práci dokazujeme, že tříprvková algebra, která má omezenou šířku a která obsahuje symetrické termové operace arit 1,2,3, už má nutně symetrické termové operace všech arit. i	cs_CZ
dc.description.abstract	The Constraint Satisfaction Problem over an algebra A is solvable by the basic linear programming relaxation if, and only if, A has a symmetric term operation of every arity. It is, however, unclear how to decide that the latter condition is satisfied for a given algebra. In this thesis, we prove that a three-element algebra, which has bounded width and a symmetric term operation of arities 1,2, and 3, necessarily has a symmetric term operation of every arity. i	en_US
dc.language	English	cs_CZ
dc.language.iso	en_US
dc.publisher	Univerzita Karlova, Matematicko-fyzikální fakulta	cs_CZ
dc.subject	symetrické termové operace\|problém splnitelnosti omezujících podmínek\|lineární programování	cs_CZ
dc.subject	symmetric term operations\|constraint satisfaction problem\|linear programming	en_US
dc.title	Fully symmetric operations	en_US
dc.type	bakalářská práce	cs_CZ
dcterms.created	2025
dcterms.dateAccepted	2025-02-05
dc.description.department	Department of Algebra	en_US
dc.description.department	Katedra algebry	cs_CZ
dc.description.faculty	Faculty of Mathematics and Physics	en_US
dc.description.faculty	Matematicko-fyzikální fakulta	cs_CZ
dc.identifier.repId	264191
dc.title.translated	Úplně symetrické operace	cs_CZ
dc.contributor.referee	Zhuk, Dmitrii
thesis.degree.name	Bc.
thesis.degree.level	bakalářské	cs_CZ
thesis.degree.discipline	General Mathematics	en_US
thesis.degree.discipline	Obecná matematika	cs_CZ
thesis.degree.program	General Mathematics	en_US
thesis.degree.program	Obecná matematika	cs_CZ
uk.thesis.type	bakalářská práce	cs_CZ
uk.taxonomy.organization-cs	Matematicko-fyzikální fakulta::Katedra algebry	cs_CZ
uk.taxonomy.organization-en	Faculty of Mathematics and Physics::Department of Algebra	en_US
uk.faculty-name.cs	Matematicko-fyzikální fakulta	cs_CZ
uk.faculty-name.en	Faculty of Mathematics and Physics	en_US
uk.faculty-abbr.cs	MFF	cs_CZ
uk.degree-discipline.cs	Obecná matematika	cs_CZ
uk.degree-discipline.en	General Mathematics	en_US
uk.degree-program.cs	Obecná matematika	cs_CZ
uk.degree-program.en	General Mathematics	en_US
thesis.grade.cs	Výborně	cs_CZ
thesis.grade.en	Excellent	en_US
uk.abstract.cs	Problém splnitelnosti omezujících podmínek nad algebrou A je řešitelný pomocí základní relaxace lineárního programování právě tehdy, když má A symetrické termové operace všech arit. Není však jasné, jak rozhodnout, zda daná algebra tuto podmínku splňuje. V této práci dokazujeme, že tříprvková algebra, která má omezenou šířku a která obsahuje symetrické termové operace arit 1,2,3, už má nutně symetrické termové operace všech arit. i	cs_CZ
uk.abstract.en	The Constraint Satisfaction Problem over an algebra A is solvable by the basic linear programming relaxation if, and only if, A has a symmetric term operation of every arity. It is, however, unclear how to decide that the latter condition is satisfied for a given algebra. In this thesis, we prove that a three-element algebra, which has bounded width and a symmetric term operation of arities 1,2, and 3, necessarily has a symmetric term operation of every arity. i	en_US
uk.file-availability	V
uk.grantor	Univerzita Karlova, Matematicko-fyzikální fakulta, Katedra algebry	cs_CZ
thesis.grade.code	1
uk.publication-place	Praha	cs_CZ
uk.thesis.defenceStatus	O