Symmetry in Computational Complexity

Informations projet

CoCoSym

N° de convention de subvention: 771005

DOI

10.3030/771005

Projet clôturé

Date de signature de la CE 17 Janvier 2018

Date de début 1 Février 2018

Date de fin 31 Janvier 2023

Financé au titre de

• EXCELLENT SCIENCE - European Research Council (ERC)

Coût total

€ 1 211 375,00

Contribution de l’UE

€ 1 211 375,00

Coordonné par

UNIVERZITA KARLOVA
Czechia

CORDIS fournit des liens vers les livrables publics et les publications des projets HORIZON.

Les liens vers les livrables et les publications des projets du 7e PC, ainsi que les liens vers certains types de résultats spécifiques tels que les jeux de données et les logiciels, sont récupérés dynamiquement sur OpenAIRE .

Publications

Conference proceedings (16)

Weisfeiler-Leman Invariant Promise Valued CSPs

Auteurs: Barto, Libor; Butti, Silvia
Publié dans: 28th International Conference on Principles and Practice of Constraint Programming (CP 2022), 2022, Page(s) 4:1--4:17, ISBN 978-3-95977-240-2
Éditeur: "Schloss Dagstuhl -- Leibniz-Zentrum f{\""u}r Informatik"
DOI: 10.4230/lipics.cp.2022.4

The complete classification for quantified equality constraints

Auteurs: Dmitriy Zhuk, Barnaby Martin, Michal Wrona
Publié dans: Proceedings of the 2023 Annual ACM-SIAM Symposium on Discrete Algorithms (SODA), Numéro 1, 2023, Page(s) 2746-2760, ISBN 978-1-61197-755-4
Éditeur: Society for Industrial and Applied Mathematics
DOI: 10.1137/1.9781611977554.ch103

Hrushovski’s Encoding and ω-Categorical CSP Monsters

Auteurs: Pierre Gillibert, Julius Jonusas, Michael Kompatscher, Antoine Mottet, Michael Pinsker
Publié dans: 47th International Colloquium on Automata, Languages, and Programming (ICALP 2020), Numéro 1/year, 2020, Page(s) 131:1--131:17, ISBN 978-3-95977-138-2
Éditeur: "Schloss Dagstuhl--Leibniz-Zentrum f{\""u}r Informatik"
DOI: 10.4230/lipics.icalp.2020.131

Minimal taylor algebras as a common framework for the three algebraic approaches to the CSP

Auteurs: Libor Barto; Zarathustra Brady; Andrei A. Bulatov; Marcin Kozik; Dmitriy Zhuk
Publié dans: 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2021, Page(s) 1-13
Éditeur: IEEE Computer Society
DOI: 10.1109/lics52264.2021.9470557

Combinatorial Gap Theorem and Reductions between Promise CSPs

Auteurs: Barto, Libor; Kozik, Marcin
Publié dans: Proceedings of the 2022 Annual ACM-SIAM Symposium on Discrete Algorithms (SODA), 2022, Page(s) 1204-1220, ISBN 978-1-61197-707-3
Éditeur: Society for Industrial and Applied Mathematics
DOI: 10.1137/1.9781611977073.50

Symmetric Promise Constraint Satisfaction Problems: Beyond the Boolean Case

Auteurs: Barto, Libor; Battistelli, Diego; Berg, Kevin M.
Publié dans: 38th International Symposium on Theoretical Aspects of Computer Science (STACS 2021), 2021, Page(s) 10:1--10:16, ISBN 978-3-95977-180-1
Éditeur: "Schloss Dagstuhl -- Leibniz-Zentrum f{\""u}r Informatik"
DOI: 10.4230/lipics.stacs.2021.10

Fixed-Template Promise Model Checking Problems

Auteurs: Asimi, Kristina; Barto, Libor; Butti, Silvia
Publié dans: 28th International Conference on Principles and Practice of Constraint Programming (CP 2022), 2022, Page(s) 2:1--2:17, ISBN 978-3-95977-240-2
Éditeur: "Schloss Dagstuhl -- Leibniz-Zentrum f{\""u}r Informatik"
DOI: 10.4230/lipics.cp.2022.2

Sensitive instances of the Constraint Satisfaction Problem

Auteurs: Barto, Libor; Kozik, Marcin; Tan, Johnson; Valeriote, Matt
Publié dans: 47th International Colloquium on Automata, Languages, and Programming (ICALP 2020), Numéro 1/year, 2020, Page(s) 110:1--110:18, ISBN 978-3-95977-138-2
Éditeur: "Schloss Dagstuhl--Leibniz-Zentrum f{\""u}r Informatik"
DOI: 10.4230/lipics.icalp.2020.110

Finitely Tractable Promise Constraint Satisfaction Problems

Auteurs: Asimi, Kristina; Barto, Libor
Publié dans: 46th International Symposium on Mathematical Foundations of Computer Science (MFCS 2021), 2021, Page(s) 11:1--11:16, ISBN 978-3-95977-201-3
Éditeur: "Schloss Dagstuhl -- Leibniz-Zentrum f{\""u}r Informatik"
DOI: 10.4230/lipics.mfcs.2021.11

Smooth Approximations and Relational Width Collapses

Auteurs: Mottet, Antoine; Nagy, Tomáš; Pinsker, Michael; Wrona, Michał
Publié dans: 48th International Colloquium on Automata, Languages, and Programming (ICALP 2021), Numéro 1/year, 2021, Page(s) 138:1--138:20, ISBN 978-3-95977-195-5
Éditeur: "Schloss Dagstuhl -- Leibniz-Zentrum f{\""u}r Informatik"
DOI: 10.4230/lipics.icalp.2021.138

Promises Make Finite (Constraint Satisfaction) Problems Infinitary

Auteurs: Libor Barto
Publié dans: 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2019, Page(s) 1-8, ISBN 978-1-7281-3608-0
Éditeur: IEEE
DOI: 10.1109/lics.2019.8785671

Topology is relevant (in a dichotomy conjecture for infinite-domain constraint satisfaction problems)

Auteurs: Manuel Bodirsky, Antoine Mottet, Miroslav Olsak, Jakub Oprsal, Michael Pinsker, Ross Willard
Publié dans: 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2019, Page(s) 1-12, ISBN 978-1-7281-3608-0
Éditeur: IEEE
DOI: 10.1109/lics.2019.8785883

enNew Techniques for Universality in Unambiguous Register Automata

Auteurs: Czerwiński, Wojciech; Mottet, Antoine; Quaas, Karin
Publié dans: 48th International Colloquium on Automata, Languages, and Programming (ICALP 2021), Numéro 1/year, 2021, Page(s) 129:1--129:16, ISBN 978-3-95977-195-5
Éditeur: "Schloss Dagstuhl -- Leibniz-Zentrum f{\""u}r Informatik"
DOI: 10.4230/lipics.icalp.2021.129

QCSP monsters and the demise of the chen conjecture

Auteurs: Dmitriy Zhuk, Barnaby Martin
Publié dans: Proceedings of the 52nd Annual ACM SIGACT Symposium on Theory of Computing, Numéro 1/year, 2020, Page(s) 91-104, ISBN 9781450369794
Éditeur: ACM
DOI: 10.1145/3357713.3384232

Smooth approximations and CSPs over finitely bounded homogeneous structures

Auteurs: Mottet, Antoine; Pinsker, Michael
Publié dans: LICS '22: Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science, 2022, Page(s) 1-13, ISBN 978-1-4503-9351-5
Éditeur: Association for Computing Machinery
DOI: 10.1145/3531130.3533353

Constraint satisfaction problems over finite structures

Auteurs: Libor Barto; William DeMeo; Antoine Mottet
Publié dans: 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2021, Page(s) 1-13
Éditeur: IEEE Computer Society
DOI: 10.1109/lics52264.2021.9470670

Peer reviewed articles (11)

QCSP monsters and the demise of the chen conjecture

Auteurs: Dmitriy Zhuk; Barnaby Martin
Publié dans: Journal of the ACM, Numéro 69/5, 2022, Page(s) 1-44, ISSN 0004-5411
Éditeur: Association for Computing Machinary, Inc.
DOI: 10.1145/3563820

When symmetries are not enough: a hierarchy of hard Constraint Satisfaction Problems

Auteurs: Pierre Gillibert; Julius Jonušas; Michael Kompatscher; Antoine Mottet; Michael Pinsker
Publié dans: SIAM Journal on Computing, Numéro 51/2, 2022, Page(s) 175-213, ISSN 0097-5397
Éditeur: Society for Industrial and Applied Mathematics
DOI: 10.1137/20m1383471

$\omega $-categorical structures avoiding height 1 identities

Auteurs: Manuel Bodirsky, Antoine Mottet, Miroslav Olšák, Jakub Opršal, Michael Pinsker, Ross Willard
Publié dans: Transactions of the American Mathematical Society, Numéro 374/1, 2021, Page(s) 327-350, ISSN 0002-9947
Éditeur: American Mathematical Society
DOI: 10.1090/tran/8179

A Proof of the CSP Dichotomy Conjecture

Auteurs: Dmitriy Zhuk
Publié dans: Journal of the ACM, Numéro 67/5, 2020, Page(s) 1-78, ISSN 0004-5411
Éditeur: Association for Computing Machinary, Inc.
DOI: 10.1145/3402029

A Proof of the Algebraic Tractability Conjecture for Monotone Monadic SNP

Auteurs: Manuel Bodirsky; Florent Madelaine; Antoine Mottet
Publié dans: SIAM Journal on Computing, Numéro 00975397, 2021, Page(s) 1359-1409, ISSN 0097-5397
Éditeur: Society for Industrial and Applied Mathematics
DOI: 10.1137/19m128466x

CORES OVER RAMSEY STRUCTURES

Auteurs: Antoine Mottet; Michael Pinsker
Publié dans: The Journal of Symbolic Logic, Numéro 00224812, 2021, Page(s) 352–361, ISSN 0022-4812
Éditeur: Association for Symbolic Logic
DOI: 10.1017/jsl.2021.6

Algebraic Approach to Promise Constraint Satisfaction

Auteurs: Barto, Libor; Bulín, Jakub; Krokhin, Andrei; Opršal, Jakub
Publié dans: J. ACM, Numéro 68/4, 2021, Page(s) 1-66, ISSN 0004-5411
Éditeur: Association for Computing Machinary, Inc.
DOI: 10.1145/3457606

Higher Kiss terms

Auteurs: Moorhead, Andrew
Publié dans: International Journal of Algebra and Computation, Numéro 02181967, 2022, Page(s) 1233-1259, ISSN 0218-1967
Éditeur: World Scientific Publishing Co
DOI: 10.1142/s0218196722500539

The Containment Problem for Unambiguous Register Automata and Unambiguous Timed Automata

Auteurs: Antoine Mottet, Karin Quaas
Publié dans: Theory of Computing Systems, 2020, ISSN 1432-4350
Éditeur: Springer Verlag
DOI: 10.1007/s00224-020-09997-2

Topology Is Irrelevant (In a Dichotomy Conjecture for Infinite Domain Constraint Satisfaction Problems)

Auteurs: Libor Barto, Michael Pinsker
Publié dans: SIAM Journal on Computing, Numéro 49/2, 2020, Page(s) 365-393, ISSN 0097-5397
Éditeur: Society for Industrial and Applied Mathematics
DOI: 10.1137/18m1216213

Accessible set functors are universal

Auteurs:  Barto Libor
Publié dans: Commentationes Mathematicae Universitatis Carolinae, Numéro 60/4, 2020, Page(s) 497-508, ISSN 0010-2628
Éditeur: Mathematical Institute of Charles University
DOI: 10.14712/1213-7243.2019.028

Book chapters (2)

Algebraic Theory of Promise Constraint Satisfaction Problems, First Steps

Auteurs: Libor Barto
Publié dans: Fundamentals of Computation Theory - 22nd International Symposium, FCT 2019, Copenhagen, Denmark, August 12-14, 2019, Proceedings, Numéro 11651, 2019, Page(s) 3-17, ISBN 978-3-030-25026-3
Éditeur: Springer International Publishing
DOI: 10.1007/978-3-030-25027-0_1

The Containment Problem for Unambiguous Register Automata

Auteurs: Mottet, Antoine; Quaas, Karin
Publié dans: 36th International Symposium on Theoretical Aspects of Computer Science (STACS 2019), 2019, Page(s) 53:1--53:15, ISBN 978-3-95977-100-9
Éditeur: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
DOI: 10.4230/lipics.stacs.2019.53