Polynomial-time Computation: Opening the Blackboxes in Constraint Problems

Informations projet

POCOCOP

N° de convention de subvention: 101071674

DOI

10.3030/101071674

Date de signature de la CE 19 Janvier 2023

Date de début 1 Mars 2023

Date de fin 28 Février 2029

Financé au titre de

• European Research Council (ERC)

Coût total

€ 7 932 935,00

Contribution de l’UE

€ 7 932 935,00

Coordonné par

TECHNISCHE UNIVERSITAET DRESDEN
Germany

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

Peer reviewed articles (40)

On the non-measurability of $$\omega $$-categorical Hrushovski constructions

Auteurs: Paolo Marimon
Publié dans: Archive for Mathematical Logic, Numéro 64, 2024, ISSN 0933-5846
Éditeur: Springer Science and Business Media LLC
DOI: 10.1007/S00153-024-00943-4

Mal’cev complexes

Auteurs: Andrew Moorhead
Publié dans: International Journal of Algebra and Computation, Numéro 34, 2024, ISSN 0218-1967
Éditeur: World Scientific Pub Co Pte Ltd
DOI: 10.1142/S0218196724500371

An Algebraic Proof of the Dichotomy for Graph Orientation Problems with Forbidden Tournaments

Auteurs: Roman Feller; Michael Pinsker
Publié dans: SIAM Journal on Discrete Mathematics, Numéro 40/1, 2026, ISSN 1095-7146
Éditeur: Society for Industrial and Applied Mathematics
DOI: 10.48550/ARXIV.2405.20263

The Sherali–Adams and Weisfeiler–Leman Hierarchies in (Promise Valued) Constraint Satisfaction Problems

Auteurs: Libor Barto; Silvia Butti; Victor Dalmau
Publié dans: ACM Transactions on Computation Theory, Numéro 18/1, 2026, ISSN 1942-3462
Éditeur: Association for Computing Machinery
DOI: 10.48550/ARXIV.2401.16998

Network satisfaction problems solved by <i>k</i> -consistency

Auteurs: Manuel Bodirsky, Simon Knäuer
Publié dans: International Journal of Algebra and Computation, Numéro 36, 2025, ISSN 0218-1967
Éditeur: World Scientific Pub Co Pte Ltd
DOI: 10.1142/S0218196726500013

Forbidden Tournaments and the Orientation Completion Problem

Auteurs: Manuel Bodirsky, Santiago Guzmán-Pro
Publié dans: SIAM Journal on Discrete Mathematics, Numéro 39, 2025, ISSN 0895-4801
Éditeur: Society for Industrial & Applied Mathematics (SIAM)
DOI: 10.1137/23M1604849

Big Ramsey degrees and infinite languages

Auteurs: Samuel Braunfeld, David Chodounský, Noé de Rancourt, Jan Hubička, Jamal Kawach, Matěj Konečný
Publié dans: Advances in Combinatorics, 2024, ISSN 2517-5599
Éditeur: Alliance of Diamond Open Access Journals
DOI: 10.19086/aic.2024.4

Twenty years of Nešetřil’s classification programme of Ramsey classes

Auteurs: Jan Hubička, Matěj Konečný
Publié dans: Computer Science Review, Numéro 59, 2026, ISSN 1574-0137
Éditeur: Elsevier BV
DOI: 10.1016/J.COSREV.2025.100814

Multisorted Boolean clones determined by binary relations up to minion homomorphisms

Auteurs: Libor Barto, Maryia Kapytka
Publié dans: Algebra universalis, Numéro 86, 2024, ISSN 0002-5240
Éditeur: Springer Science and Business Media LLC
DOI: 10.1007/S00012-024-00878-0

Testing Isomorphism of Chordal Graphs of Bounded Leafage is Fixed-Parameter Tractable

Auteurs: Vikraman Arvind, Roman Nedela, Ilia Ponomarenko, Peter Zeman
Publié dans: Algorithmica, Numéro 88, 2026, ISSN 0178-4617
Éditeur: Springer Science and Business Media LLC
DOI: 10.1007/S00453-026-01374-8

Algebra Universalis

Auteurs: Barto, Libor; Kapytka, Maryia
Publié dans: Algebra universalis, Numéro 86, 2024, ISSN 0002-5240
Éditeur: Birkhauser Verlag
DOI: 10.48550/ARXIV.2407.16513

Forbidden Tournaments and the Orientation Completion Problem

Auteurs: Manuel Bodirsky, Santiago Guzmán-Pro
Publié dans: SIAM Journal on Discrete Mathematics, Numéro 39, 2025, ISSN 0895-4801
Éditeur: Society for Industrial & Applied Mathematics (SIAM)
DOI: 10.1137/23M1604849

Submaximal clones over a three-element set up to minor-equivalence

Auteurs: Albert Vucaj, Dmitriy Zhuk
Publié dans: Algebra universalis, Numéro 85, 2024, ISSN 0002-5240
Éditeur: Springer Science and Business Media LLC
DOI: 10.1007/s00012-024-00852-w

Generalisations of matrix partitions: Complexity and obstructions

Auteurs: Alexey Barsukov, Mamadou Moustapha Kanté
Publié dans: Theoretical Computer Science, Numéro 1007, 2024, ISSN 0304-3975
Éditeur: Elsevier BV
DOI: 10.1016/j.tcs.2024.114652

SIAM Journal on Computing

Auteurs: Antoine Mottet; Tomáš Nagy; Michael Pinsker; Michał Wrona
Publié dans: SIAM Journal on Computing, Numéro 53/6, 2024, ISSN 0097-5397
Éditeur: SIAM
DOI: 10.1137/22M1538934

Ramsey expansions of metrically homogeneous graphs

Auteurs: Andrés Aranda, David Bradley-Williams, Jan Hubička, Miltiadis Karamanlis, Michael Kompatscher, Matěj Konečný, Micheal Pawliuk
Publié dans: European Journal of Combinatorics, Numéro 132, 2026, ISSN 0195-6698
Éditeur: Elsevier BV
DOI: 10.1016/J.EJC.2025.104255

MIXED IDENTITIES FOR OLIGOMORPHIC AUTOMORPHISM GROUPS

Auteurs: MANUEL BODIRSKY, JAKOB SCHNEIDER, ANDREAS THOM
Publié dans: The Journal of Symbolic Logic, 2025, ISSN 0022-4812
Éditeur: Cambridge University Press (CUP)
DOI: 10.1017/JSL.2025.10123

A Complexity Dichotomy in Spatial Reasoning via Ramsey Theory

Auteurs: Manuel Bodirsky, Bertalan Bodor
Publié dans: ACM Transactions on Computation Theory, Numéro 16, 2024, ISSN 1942-3454
Éditeur: Association for Computing Machinery (ACM)
DOI: 10.1145/3649445

GMSNP and Finite Structures

Auteurs: Santiago Guzmán-Pro
Publié dans: ACM Transactions on Computation Theory, Numéro 18, 2026, ISSN 1942-3454
Éditeur: Association for Computing Machinery (ACM)
DOI: 10.1145/3774645

The Generic Circular Triangle‐Free Graph

Auteurs: Manuel Bodirsky, Santiago Guzmán‐Pro
Publié dans: Journal of Graph Theory, Numéro 109, 2025, ISSN 0364-9024
Éditeur: Wiley
DOI: 10.1002/JGT.23235

Computational complexity of covering coloured mixed multigraphs with simple degree partitions

Auteurs: Jan Bok, Jiří Fiala, Nikola Jedličková, Jan Kratochvíl, Michaela Seifrtová
Publié dans: Discrete Applied Mathematics, Numéro 385, 2026, ISSN 0166-218X
Éditeur: Elsevier BV
DOI: 10.1016/J.DAM.2026.01.019

International Journal of Algebra and Computation

Auteurs: Moorhead, Andrew
Publié dans: International Journal of Algebra and Computation, Numéro Volume 34 (2024), 2024, ISSN 0218-1967
Éditeur: World Scientific Publishing
DOI: 10.1142/S0218196724500371

Collapsing the Bounded Width Hierarchy for Infinite-Domain Constraint Satisfaction Problems: When Symmetries Are Enough

Auteurs: Antoine Mottet, Tomáš Nagy, Michael Pinsker, Michał Wrona
Publié dans: SIAM Journal on Computing, Numéro 53, 2024, ISSN 0097-5397
Éditeur: Society for Industrial & Applied Mathematics (SIAM)
DOI: 10.1137/22M1538934

ON THE ZARISKI TOPOLOGY ON ENDOMORPHISM MONOIDS OF OMEGA-CATEGORICAL STRUCTURES

Auteurs: MICHAEL PINSKER, CLEMENS SCHINDLER
Publié dans: The Journal of Symbolic Logic, 2024, ISSN 0022-4812
Éditeur: Cambridge University Press (CUP)
DOI: 10.1017/jsl.2023.81

The lattice of clones of self-dual operations collapsed

Auteurs: Manuel Bodirsky, Albert Vucaj, Dmitriy Zhuk
Publié dans: International Journal of Algebra and Computation, Numéro 33, 2023, ISSN 0218-1967
Éditeur: World Scientific Pub Co Pte Ltd
DOI: 10.1142/S0218196723500327

INVARIANT KEISLER MEASURES FOR $\omega $-CATEGORICAL STRUCTURES

Auteurs: PAOLO MARIMON
Publié dans: The Journal of Symbolic Logic, Numéro 90, 2025, ISSN 0022-4812
Éditeur: Cambridge University Press (CUP)
DOI: 10.1017/JSL.2024.39

Smooth approximations: An algebraic approach to CSPs over finitely bounded homogeneous structures

Auteurs: Antoine Mottet, Michael Pinsker
Publié dans: Journal of the ACM, Numéro 71, 2024, ISSN 0004-5411
Éditeur: Association for Computing Machinery (ACM)
DOI: 10.1145/3689207

Unifying the Three Algebraic Approaches to the CSP via Minimal Taylor Algebras

Auteurs: Libor Barto, Zarathustra Brady, Andrei Bulatov, Marcin Kozik, Dmitriy Zhuk
Publié dans: TheoretiCS, Numéro Volume 3, 2024, ISSN 2751-4838
Éditeur: Centre pour la Communication Scientifique Directe (CCSD)
DOI: 10.46298/theoretics.24.14

Polish topologies on endomorphism monoids of relational structures

Auteurs: L. Elliott, J. Jonušas, J.D. Mitchell, Y. Péresse, M. Pinsker
Publié dans: Advances in Mathematics, Numéro 431, 2023, ISSN 0001-8708
Éditeur: Elsevier BV
DOI: 10.1016/j.aim.2023.109214

EPPA numbers of graphs

Auteurs: David Bradley-Williams, Peter J. Cameron, Jan Hubička, Matěj Konečný
Publié dans: Journal of Combinatorial Theory, Series B, Numéro 170, 2025, ISSN 0095-8956
Éditeur: Elsevier BV
DOI: 10.1016/J.JCTB.2024.09.003

SIAM Journal on Discrete Mathematics

Auteurs: Manuel Bodirsky; Santiago Guzmán-Pro
Publié dans: SIAM Journal on Discrete Mathematics, Numéro 39/1, 2025, ISSN 0895-4801
Éditeur: Society for Industrial and Applied Mathematics
DOI: 10.48550/ARXIV.2309.08327

Archive for Mathematical Logic

Auteurs: Marimon, Paolo
Publié dans: Archive for Mathematical Logic, 2024, ISSN 0933-5846
Éditeur: Springer
DOI: 10.1007/S00153-024-00943-4

Infinitary primitive positive definability over the real numbers with convex relations

Auteurs: Sebastian Meyer
Publié dans: Algebra universalis, Numéro 86, 2025, ISSN 0002-5240
Éditeur: Springer Science and Business Media LLC
DOI: 10.1007/S00012-025-00893-9

Complexity Classification Transfer for CSPs via Algebraic Products

Auteurs: Manuel Bodirsky, Peter Jonsson, Barnaby Martin, Antoine Mottet, Žaneta Semanišinová
Publié dans: SIAM Journal on Computing, Numéro 53, 2024, ISSN 0097-5397
Éditeur: Society for Industrial & Applied Mathematics (SIAM)
DOI: 10.1137/22M1534304

\(\boldsymbol{\Pi_2^P}\) vs PSpace Dichotomy for the Quantified Constraint Satisfaction Problem

Auteurs: Dmitriy Zhuk
Publié dans: SIAM Journal on Computing, Numéro 54-6, 2025, ISSN 1095-7111
Éditeur: Society for Industrial and Applied Mathematics
DOI: 10.1137/25M1725747

"Primitive elements of finite fields <mml:math xmlns:mml=""http://www.w3.org/1998/Math/MathML"" altimg=""si1.svg""><mml:msub><mml:mrow><mml:mi mathvariant=""double-struck"">F</mml:mi></mml:mrow><mml:mrow><mml:msup><mml:mrow><mml:mi>q</mml:mi></mml:mrow><mml:mrow><mml:mi>r</mml:mi></mml:mrow></mml:msup></mml:mrow></mml:msub></mml:math> avoiding affine hyperplanes for q = 4 and q = 5"

Auteurs: Philipp A. Grzywaczyk, Arne Winterhof
Publié dans: Finite Fields and Their Applications, Numéro 96, 2024, ISSN 1071-5797
Éditeur: Elsevier BV
DOI: 10.1016/J.FFA.2024.102416

On guarded extensions of MMSNP

Auteurs: Alexey Barsukov, Florent R. Madelaine
Publié dans: Logical Methods in Computer Science, Numéro Volume 21, Numéro 4, 2025, ISSN 1860-5974
Éditeur: Centre pour la Communication Scientifique Directe (CCSD)
DOI: 10.46298/LMCS-21(4:15)2025

Primitive elements of finite fields avoiding affine hyperplanes for q = 4 and q = 5

Auteurs: Grzywaczyk, Philipp Alexander; Winterhof, Arne
Publié dans: Finite Fields and Their Applications, Numéro Volume 96, 2024, ISSN 1071-5797
Éditeur: Elsevier
DOI: 10.1016/j.ffa.2024.102416

NPA Hierarchy for Quantum Isomorphism and Homomorphism Indistinguishability

Auteurs: Prem Nigam Kar; David E. Roberson; Tim Seppelt; Peter Zeman
Publié dans: Quantum, Numéro 10, 2026, ISSN 2521-327X
Éditeur: "{Verein zur F{\""{o}}rderung des Open Access Publizierens in den Quantenwissenschaften}"
DOI: 10.48550/ARXIV.2407.10635

Finite algebras with Hom-sets of polynomial size

Auteurs: Libor Barto, Antoine Mottet
Publié dans: Transactions of the American Mathematical Society, 2024, ISSN 0002-9947
Éditeur: American Mathematical Society (AMS)
DOI: 10.1090/TRAN/9262

Conference proceedings (19)

Nonuniform Deterministic Finite Automata over Finite Algebraic Structures

Auteurs: Paweł M. Idziak, Piotr Kawałek, and Jacek Krzaczkowski
Publié dans: 52nd International Colloquium on Automata, Languages, and Programming (ICALP 2025), 2025, ISSN 1868-8969
Éditeur: "Schloss Dagstuhl -- Leibniz-Zentrum f{\""u}r Informatik"
DOI: 10.4230/LIPICS.ICALP.2025.161

Violating Constant Degree Hypothesis Requires Breaking Symmetry

Auteurs: Piotr Kawałek, Armin Weiss
Publié dans: 42nd International Symposium on Theoretical Aspects of Computer Science (STACS 2025), 2025, ISSN 1868-8969
Éditeur: "Schloss Dagstuhl -- Leibniz-Zentrum f{\""u}r Informatik"
DOI: 10.4230/LIPICS.STACS.2025.58

NPA Hierarchy for Quantum Isomorphism and Homomorphism Indistinguishability

Auteurs: Prem Nigam Kar, David E. Roberson, Tim Seppelt, and Peter Zeman
Publié dans: 52nd International Colloquium on Automata, Languages, and Programming (ICALP 2025), 2025, ISSN 1868-8969
Éditeur: "Schloss Dagstuhl -- Leibniz-Zentrum f{\""u}r Informatik"
DOI: 10.4230/LIPICS.ICALP.2025.105

The Complexity of Resilience Problems via Valued Constraint Satisfaction Problems

Auteurs: Manuel Bodirsky, Žaneta Semanišinová, Carsten Lutz
Publié dans: Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science, Numéro 27, 2024
Éditeur: ACM
DOI: 10.1145/3661814.3662071

An Order out of Nowhere: A New Algorithm for Infinite-Domain CSPs

Auteurs: Antoine Mottet, Tomáš Nagy, Michael Pinsker
Publié dans: 51st International Colloquium on Automata, Languages, and Programming (ICALP 2024), 2024
Éditeur: "Schloss Dagstuhl -- Leibniz-Zentrum f{\""u}r Informatik"
DOI: 10.48550/ARXIV.2301.12977

Symmetric Linear Arc Monadic Datalog and Gadget Reductions

Auteurs: Manuel Bodirsky, Florian Starke
Publié dans: 28th International Conference on Database Theory (ICDT 2025), 2025, ISSN 1868-8969
Éditeur: "Schloss Dagstuhl -- Leibniz-Zentrum f{\""u}r Informatik"
DOI: 10.4230/LIPICS.ICDT.2025.13

Network Satisfaction Problems Solved by k-Consistency

Auteurs: Manuel Bodirsky, Simon Knäuer
Publié dans: 50th International Colloquium on Automata, Languages, and Programming (ICALP 2023), 2023, ISSN 1868-8969
Éditeur: "Schloss Dagstuhl -- Leibniz-Zentrum f{\""u}r Informatik"
DOI: 10.4230/LIPIcs.ICALP.2023.116

Algebraic Approach to Approximation

Auteurs: Libor Barto; Silvia Butti; Alexandr Kazda; Caterina Viola; Stanislav Živný
Publié dans: LICS '24: Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science, 2024, ISBN 9798400706608
Éditeur: Association for Computing Machinery
DOI: 10.48550/ARXIV.2401.15186

Temporal Valued Constraint Satisfaction Problems

Auteurs: Manuel Bodirsky, Édouard Bonnet, and Žaneta Semanišinová
Publié dans: 50th International Symposium on Mathematical Foundations of Computer Science (MFCS 2025), 2025, ISSN 1868-8969
Éditeur: "Schloss Dagstuhl -- Leibniz-Zentrum f{\""u}r Informatik"
DOI: 10.4230/LIPICS.MFCS.2025.24

Binary symmetries of tractable non-rigid structures

Auteurs: Paolo Marimon, Michael Pinsker
Publié dans: 2025 40th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2025
Éditeur: IEEE
DOI: 10.1109/LICS65433.2025.00036

Circuit Equivalence in 2-Nilpotent Algebras

Auteurs: Piotr Kawałek, Michael Kompatscher, Jacek Krzaczkowski
Publié dans: 41st International Symposium on Theoretical Aspects of Computer Science (STACS 2024), 2024, ISSN 1868-8969
Éditeur: "Schloss Dagstuhl -- Leibniz-Zentrum f{\""u}r Informatik"
DOI: 10.4230/LIPIcs.STACS.2024.45

$\prod_{2}^{P}$ vs PSpace Dichotomy for the Quantified Constraint Satisfaction Problem

Auteurs: Dmitriy Zhuk
Publié dans: 2024 IEEE 65th Annual Symposium on Foundations of Computer Science (FOCS), 2024
Éditeur: IEEE
DOI: 10.1109/FOCS61266.2024.00043

Reducing Stochastic Games to Semidefinite Programming

Auteurs: Manuel Bodirsky, Georg Loho, and Mateusz Skomra
Publié dans: 52nd International Colloquium on Automata, Languages, and Programming (ICALP 2025), 2025, ISSN 1868-8969
Éditeur: "Schloss Dagstuhl -- Leibniz-Zentrum f{\""u}r Informatik"
DOI: 10.4230/LIPICS.ICALP.2025.145

Containment for Guarded Monotone Strict NP

Auteurs: Alexey Barsukov, Michael Pinsker, and Jakub Rydval
Publié dans: 52nd International Colloquium on Automata, Languages, and Programming (ICALP 2025), 2025, ISSN 1868-8969
Éditeur: "Schloss Dagstuhl -- Leibniz-Zentrum f{\""u}r Informatik"
DOI: 10.4230/LIPICS.ICALP.2025.140

Hereditary First-Order Logic: the Tractable Quantifier Prefix Classes

Auteurs: Manuel Bodirsky and Santiago Guzmán-Pro
Publié dans: 34th EACSL Annual Conference on Computer Science Logic (CSL 2026), 2026, ISSN 1868-8969
Éditeur: "Schloss Dagstuhl -- Leibniz-Zentrum f{\""u}r Informatik"
DOI: 10.4230/LIPICS.CSL.2026.6

Identifying Tractable Quantified Temporal Constraints Within Ord-Horn

Auteurs: Jakub Rydval, Žaneta Semanišinová, Michał Wrona
Publié dans: 51st International Colloquium on Automata, Languages, and Programming (ICALP 2024), 2024, ISSN 1868-8969
Éditeur: "Schloss Dagstuhl -- Leibniz-Zentrum f{\""u}r Informatik"
DOI: 10.4230/LIPIcs.ICALP.2024.151

A CSP approach to Graph Sandwich Problems

Auteurs: Manuel Bodirsky, Santiago Guzmán-Pro
Publié dans: Proceedings of the 2026 Annual ACM-SIAM Symposium on Discrete Algorithms (SODA), 2026
Éditeur: Society for Industrial and Applied Mathematics
DOI: 10.1137/1.9781611978971.85

The sorrows of a smooth digraph: the first hardness criterion for infinite directed graph-colouring problems

Auteurs: Johanna Brunar, Marcin Kozik, Tomáš Nagy, Michael Pinsker
Publié dans: 2025 40th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2025
Éditeur: IEEE
DOI: 10.1109/LICS65433.2025.00037

Restricted CSPs and F-Free Digraph Algorithmics

Auteurs: Santiago Guzmán-Pro and Barnaby Martin
Publié dans: 52nd International Colloquium on Automata, Languages, and Programming (ICALP 2025), 2025, ISSN 1868-8969
Éditeur: "Schloss Dagstuhl -- Leibniz-Zentrum f{\""u}r Informatik"
DOI: 10.4230/LIPICS.ICALP.2025.158

Book chapters (2)

Resolving Sets in Temporal Graphs

Auteurs: Jan Bok, Antoine Dailly, Tuomo Lehtilä
Publié dans: Lecture Notes in Computer Science, Combinatorial Algorithms, 2024, ISBN 978-3-031-63020-0
Éditeur: Springer Nature Switzerland
DOI: 10.1007/978-3-031-63021-7_22

A topological proof of the Hell-Nešetřil dichotomy

Auteurs: Sebastian Meyer, Jakub Opršal
Publié dans: Proceedings of the 2025 Annual ACM-SIAM Symposium on Discrete Algorithms (SODA), 2025
Éditeur: Society for Industrial and Applied Mathematics
DOI: 10.1137/1.9781611978322.154