Polynomial-time Computation: Opening the Blackboxes in Constraint Problems

Projektinformationen

POCOCOP

ID Finanzhilfevereinbarung: 101071674

DOI

10.3030/101071674

EK-Unterschriftsdatum 19 Januar 2023

Startdatum 1 März 2023

Enddatum 28 Februar 2029

Finanziert unter

• European Research Council (ERC)

Gesamtkosten

€ 7 932 935,00

EU-Beitrag

€ 7 932 935,00

Koordiniert durch

TECHNISCHE UNIVERSITAET DRESDEN
Germany

CORDIS bietet Links zu öffentlichen Ergebnissen und Veröffentlichungen von HORIZONT-Projekten.

Links zu Ergebnissen und Veröffentlichungen von RP7-Projekten sowie Links zu einigen Typen spezifischer Ergebnisse wie Datensätzen und Software werden dynamisch von OpenAIRE abgerufen.

Veröffentlichungen

Peer reviewed articles (40)

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

Autoren: Paolo Marimon
Veröffentlicht in: Archive for Mathematical Logic, Ausgabe 64, 2024, ISSN 0933-5846
Herausgeber: Springer Science and Business Media LLC
DOI: 10.1007/S00153-024-00943-4

Mal’cev complexes

Autoren: Andrew Moorhead
Veröffentlicht in: International Journal of Algebra and Computation, Ausgabe 34, 2024, ISSN 0218-1967
Herausgeber: World Scientific Pub Co Pte Ltd
DOI: 10.1142/S0218196724500371

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

Autoren: Roman Feller; Michael Pinsker
Veröffentlicht in: SIAM Journal on Discrete Mathematics, Ausgabe 40/1, 2026, ISSN 1095-7146
Herausgeber: 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

Autoren: Libor Barto; Silvia Butti; Victor Dalmau
Veröffentlicht in: ACM Transactions on Computation Theory, Ausgabe 18/1, 2026, ISSN 1942-3462
Herausgeber: Association for Computing Machinery
DOI: 10.48550/ARXIV.2401.16998

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

Autoren: Manuel Bodirsky, Simon Knäuer
Veröffentlicht in: International Journal of Algebra and Computation, Ausgabe 36, 2025, ISSN 0218-1967
Herausgeber: World Scientific Pub Co Pte Ltd
DOI: 10.1142/S0218196726500013

Forbidden Tournaments and the Orientation Completion Problem

Autoren: Manuel Bodirsky, Santiago Guzmán-Pro
Veröffentlicht in: SIAM Journal on Discrete Mathematics, Ausgabe 39, 2025, ISSN 0895-4801
Herausgeber: Society for Industrial & Applied Mathematics (SIAM)
DOI: 10.1137/23M1604849

Big Ramsey degrees and infinite languages

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

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

Autoren: Jan Hubička, Matěj Konečný
Veröffentlicht in: Computer Science Review, Ausgabe 59, 2026, ISSN 1574-0137
Herausgeber: Elsevier BV
DOI: 10.1016/J.COSREV.2025.100814

Multisorted Boolean clones determined by binary relations up to minion homomorphisms

Autoren: Libor Barto, Maryia Kapytka
Veröffentlicht in: Algebra universalis, Ausgabe 86, 2024, ISSN 0002-5240
Herausgeber: 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

Autoren: Vikraman Arvind, Roman Nedela, Ilia Ponomarenko, Peter Zeman
Veröffentlicht in: Algorithmica, Ausgabe 88, 2026, ISSN 0178-4617
Herausgeber: Springer Science and Business Media LLC
DOI: 10.1007/S00453-026-01374-8

Algebra Universalis

Autoren: Barto, Libor; Kapytka, Maryia
Veröffentlicht in: Algebra universalis, Ausgabe 86, 2024, ISSN 0002-5240
Herausgeber: Birkhauser Verlag
DOI: 10.48550/ARXIV.2407.16513

Forbidden Tournaments and the Orientation Completion Problem

Autoren: Manuel Bodirsky, Santiago Guzmán-Pro
Veröffentlicht in: SIAM Journal on Discrete Mathematics, Ausgabe 39, 2025, ISSN 0895-4801
Herausgeber: Society for Industrial & Applied Mathematics (SIAM)
DOI: 10.1137/23M1604849

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

Autoren: Albert Vucaj, Dmitriy Zhuk
Veröffentlicht in: Algebra universalis, Ausgabe 85, 2024, ISSN 0002-5240
Herausgeber: Springer Science and Business Media LLC
DOI: 10.1007/s00012-024-00852-w

Generalisations of matrix partitions: Complexity and obstructions

Autoren: Alexey Barsukov, Mamadou Moustapha Kanté
Veröffentlicht in: Theoretical Computer Science, Ausgabe 1007, 2024, ISSN 0304-3975
Herausgeber: Elsevier BV
DOI: 10.1016/j.tcs.2024.114652

SIAM Journal on Computing

Autoren: Antoine Mottet; Tomáš Nagy; Michael Pinsker; Michał Wrona
Veröffentlicht in: SIAM Journal on Computing, Ausgabe 53/6, 2024, ISSN 0097-5397
Herausgeber: SIAM
DOI: 10.1137/22M1538934

Ramsey expansions of metrically homogeneous graphs

Autoren: Andrés Aranda, David Bradley-Williams, Jan Hubička, Miltiadis Karamanlis, Michael Kompatscher, Matěj Konečný, Micheal Pawliuk
Veröffentlicht in: European Journal of Combinatorics, Ausgabe 132, 2026, ISSN 0195-6698
Herausgeber: Elsevier BV
DOI: 10.1016/J.EJC.2025.104255

MIXED IDENTITIES FOR OLIGOMORPHIC AUTOMORPHISM GROUPS

Autoren: MANUEL BODIRSKY, JAKOB SCHNEIDER, ANDREAS THOM
Veröffentlicht in: The Journal of Symbolic Logic, 2025, ISSN 0022-4812
Herausgeber: Cambridge University Press (CUP)
DOI: 10.1017/JSL.2025.10123

A Complexity Dichotomy in Spatial Reasoning via Ramsey Theory

Autoren: Manuel Bodirsky, Bertalan Bodor
Veröffentlicht in: ACM Transactions on Computation Theory, Ausgabe 16, 2024, ISSN 1942-3454
Herausgeber: Association for Computing Machinery (ACM)
DOI: 10.1145/3649445

GMSNP and Finite Structures

Autoren: Santiago Guzmán-Pro
Veröffentlicht in: ACM Transactions on Computation Theory, Ausgabe 18, 2026, ISSN 1942-3454
Herausgeber: Association for Computing Machinery (ACM)
DOI: 10.1145/3774645

The Generic Circular Triangle‐Free Graph

Autoren: Manuel Bodirsky, Santiago Guzmán‐Pro
Veröffentlicht in: Journal of Graph Theory, Ausgabe 109, 2025, ISSN 0364-9024
Herausgeber: Wiley
DOI: 10.1002/JGT.23235

Computational complexity of covering coloured mixed multigraphs with simple degree partitions

Autoren: Jan Bok, Jiří Fiala, Nikola Jedličková, Jan Kratochvíl, Michaela Seifrtová
Veröffentlicht in: Discrete Applied Mathematics, Ausgabe 385, 2026, ISSN 0166-218X
Herausgeber: Elsevier BV
DOI: 10.1016/J.DAM.2026.01.019

International Journal of Algebra and Computation

Autoren: Moorhead, Andrew
Veröffentlicht in: International Journal of Algebra and Computation, Ausgabe Volume 34 (2024), 2024, ISSN 0218-1967
Herausgeber: World Scientific Publishing
DOI: 10.1142/S0218196724500371

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

Autoren: Antoine Mottet, Tomáš Nagy, Michael Pinsker, Michał Wrona
Veröffentlicht in: SIAM Journal on Computing, Ausgabe 53, 2024, ISSN 0097-5397
Herausgeber: Society for Industrial & Applied Mathematics (SIAM)
DOI: 10.1137/22M1538934

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

Autoren: MICHAEL PINSKER, CLEMENS SCHINDLER
Veröffentlicht in: The Journal of Symbolic Logic, 2024, ISSN 0022-4812
Herausgeber: Cambridge University Press (CUP)
DOI: 10.1017/jsl.2023.81

The lattice of clones of self-dual operations collapsed

Autoren: Manuel Bodirsky, Albert Vucaj, Dmitriy Zhuk
Veröffentlicht in: International Journal of Algebra and Computation, Ausgabe 33, 2023, ISSN 0218-1967
Herausgeber: World Scientific Pub Co Pte Ltd
DOI: 10.1142/S0218196723500327

INVARIANT KEISLER MEASURES FOR $\omega $-CATEGORICAL STRUCTURES

Autoren: PAOLO MARIMON
Veröffentlicht in: The Journal of Symbolic Logic, Ausgabe 90, 2025, ISSN 0022-4812
Herausgeber: Cambridge University Press (CUP)
DOI: 10.1017/JSL.2024.39

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

Autoren: Antoine Mottet, Michael Pinsker
Veröffentlicht in: Journal of the ACM, Ausgabe 71, 2024, ISSN 0004-5411
Herausgeber: Association for Computing Machinery (ACM)
DOI: 10.1145/3689207

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

Autoren: Libor Barto, Zarathustra Brady, Andrei Bulatov, Marcin Kozik, Dmitriy Zhuk
Veröffentlicht in: TheoretiCS, Ausgabe Volume 3, 2024, ISSN 2751-4838
Herausgeber: Centre pour la Communication Scientifique Directe (CCSD)
DOI: 10.46298/theoretics.24.14

Polish topologies on endomorphism monoids of relational structures

Autoren: L. Elliott, J. Jonušas, J.D. Mitchell, Y. Péresse, M. Pinsker
Veröffentlicht in: Advances in Mathematics, Ausgabe 431, 2023, ISSN 0001-8708
Herausgeber: Elsevier BV
DOI: 10.1016/j.aim.2023.109214

EPPA numbers of graphs

Autoren: David Bradley-Williams, Peter J. Cameron, Jan Hubička, Matěj Konečný
Veröffentlicht in: Journal of Combinatorial Theory, Series B, Ausgabe 170, 2025, ISSN 0095-8956
Herausgeber: Elsevier BV
DOI: 10.1016/J.JCTB.2024.09.003

SIAM Journal on Discrete Mathematics

Autoren: Manuel Bodirsky; Santiago Guzmán-Pro
Veröffentlicht in: SIAM Journal on Discrete Mathematics, Ausgabe 39/1, 2025, ISSN 0895-4801
Herausgeber: Society for Industrial and Applied Mathematics
DOI: 10.48550/ARXIV.2309.08327

Archive for Mathematical Logic

Autoren: Marimon, Paolo
Veröffentlicht in: Archive for Mathematical Logic, 2024, ISSN 0933-5846
Herausgeber: Springer
DOI: 10.1007/S00153-024-00943-4

Infinitary primitive positive definability over the real numbers with convex relations

Autoren: Sebastian Meyer
Veröffentlicht in: Algebra universalis, Ausgabe 86, 2025, ISSN 0002-5240
Herausgeber: Springer Science and Business Media LLC
DOI: 10.1007/S00012-025-00893-9

Complexity Classification Transfer for CSPs via Algebraic Products

Autoren: Manuel Bodirsky, Peter Jonsson, Barnaby Martin, Antoine Mottet, Žaneta Semanišinová
Veröffentlicht in: SIAM Journal on Computing, Ausgabe 53, 2024, ISSN 0097-5397
Herausgeber: Society for Industrial & Applied Mathematics (SIAM)
DOI: 10.1137/22M1534304

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

Autoren: Dmitriy Zhuk
Veröffentlicht in: SIAM Journal on Computing, Ausgabe 54-6, 2025, ISSN 1095-7111
Herausgeber: 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"

Autoren: Philipp A. Grzywaczyk, Arne Winterhof
Veröffentlicht in: Finite Fields and Their Applications, Ausgabe 96, 2024, ISSN 1071-5797
Herausgeber: Elsevier BV
DOI: 10.1016/J.FFA.2024.102416

On guarded extensions of MMSNP

Autoren: Alexey Barsukov, Florent R. Madelaine
Veröffentlicht in: Logical Methods in Computer Science, Ausgabe Volume 21, Ausgabe 4, 2025, ISSN 1860-5974
Herausgeber: 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

Autoren: Grzywaczyk, Philipp Alexander; Winterhof, Arne
Veröffentlicht in: Finite Fields and Their Applications, Ausgabe Volume 96, 2024, ISSN 1071-5797
Herausgeber: Elsevier
DOI: 10.1016/j.ffa.2024.102416

NPA Hierarchy for Quantum Isomorphism and Homomorphism Indistinguishability

Autoren: Prem Nigam Kar; David E. Roberson; Tim Seppelt; Peter Zeman
Veröffentlicht in: Quantum, Ausgabe 10, 2026, ISSN 2521-327X
Herausgeber: "{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

Autoren: Libor Barto, Antoine Mottet
Veröffentlicht in: Transactions of the American Mathematical Society, 2024, ISSN 0002-9947
Herausgeber: American Mathematical Society (AMS)
DOI: 10.1090/TRAN/9262

Conference proceedings (19)

Nonuniform Deterministic Finite Automata over Finite Algebraic Structures

Autoren: Paweł M. Idziak, Piotr Kawałek, and Jacek Krzaczkowski
Veröffentlicht in: 52nd International Colloquium on Automata, Languages, and Programming (ICALP 2025), 2025, ISSN 1868-8969
Herausgeber: "Schloss Dagstuhl -- Leibniz-Zentrum f{\""u}r Informatik"
DOI: 10.4230/LIPICS.ICALP.2025.161

Violating Constant Degree Hypothesis Requires Breaking Symmetry

Autoren: Piotr Kawałek, Armin Weiss
Veröffentlicht in: 42nd International Symposium on Theoretical Aspects of Computer Science (STACS 2025), 2025, ISSN 1868-8969
Herausgeber: "Schloss Dagstuhl -- Leibniz-Zentrum f{\""u}r Informatik"
DOI: 10.4230/LIPICS.STACS.2025.58

NPA Hierarchy for Quantum Isomorphism and Homomorphism Indistinguishability

Autoren: Prem Nigam Kar, David E. Roberson, Tim Seppelt, and Peter Zeman
Veröffentlicht in: 52nd International Colloquium on Automata, Languages, and Programming (ICALP 2025), 2025, ISSN 1868-8969
Herausgeber: "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

Autoren: Manuel Bodirsky, Žaneta Semanišinová, Carsten Lutz
Veröffentlicht in: Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science, Ausgabe 27, 2024
Herausgeber: ACM
DOI: 10.1145/3661814.3662071

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

Autoren: Antoine Mottet, Tomáš Nagy, Michael Pinsker
Veröffentlicht in: 51st International Colloquium on Automata, Languages, and Programming (ICALP 2024), 2024
Herausgeber: "Schloss Dagstuhl -- Leibniz-Zentrum f{\""u}r Informatik"
DOI: 10.48550/ARXIV.2301.12977

Symmetric Linear Arc Monadic Datalog and Gadget Reductions

Autoren: Manuel Bodirsky, Florian Starke
Veröffentlicht in: 28th International Conference on Database Theory (ICDT 2025), 2025, ISSN 1868-8969
Herausgeber: "Schloss Dagstuhl -- Leibniz-Zentrum f{\""u}r Informatik"
DOI: 10.4230/LIPICS.ICDT.2025.13

Network Satisfaction Problems Solved by k-Consistency

Autoren: Manuel Bodirsky, Simon Knäuer
Veröffentlicht in: 50th International Colloquium on Automata, Languages, and Programming (ICALP 2023), 2023, ISSN 1868-8969
Herausgeber: "Schloss Dagstuhl -- Leibniz-Zentrum f{\""u}r Informatik"
DOI: 10.4230/LIPIcs.ICALP.2023.116

Algebraic Approach to Approximation

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

Temporal Valued Constraint Satisfaction Problems

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

Binary symmetries of tractable non-rigid structures

Autoren: Paolo Marimon, Michael Pinsker
Veröffentlicht in: 2025 40th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2025
Herausgeber: IEEE
DOI: 10.1109/LICS65433.2025.00036

Circuit Equivalence in 2-Nilpotent Algebras

Autoren: Piotr Kawałek, Michael Kompatscher, Jacek Krzaczkowski
Veröffentlicht in: 41st International Symposium on Theoretical Aspects of Computer Science (STACS 2024), 2024, ISSN 1868-8969
Herausgeber: "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

Autoren: Dmitriy Zhuk
Veröffentlicht in: 2024 IEEE 65th Annual Symposium on Foundations of Computer Science (FOCS), 2024
Herausgeber: IEEE
DOI: 10.1109/FOCS61266.2024.00043

Reducing Stochastic Games to Semidefinite Programming

Autoren: Manuel Bodirsky, Georg Loho, and Mateusz Skomra
Veröffentlicht in: 52nd International Colloquium on Automata, Languages, and Programming (ICALP 2025), 2025, ISSN 1868-8969
Herausgeber: "Schloss Dagstuhl -- Leibniz-Zentrum f{\""u}r Informatik"
DOI: 10.4230/LIPICS.ICALP.2025.145

Containment for Guarded Monotone Strict NP

Autoren: Alexey Barsukov, Michael Pinsker, and Jakub Rydval
Veröffentlicht in: 52nd International Colloquium on Automata, Languages, and Programming (ICALP 2025), 2025, ISSN 1868-8969
Herausgeber: "Schloss Dagstuhl -- Leibniz-Zentrum f{\""u}r Informatik"
DOI: 10.4230/LIPICS.ICALP.2025.140

Hereditary First-Order Logic: the Tractable Quantifier Prefix Classes

Autoren: Manuel Bodirsky and Santiago Guzmán-Pro
Veröffentlicht in: 34th EACSL Annual Conference on Computer Science Logic (CSL 2026), 2026, ISSN 1868-8969
Herausgeber: "Schloss Dagstuhl -- Leibniz-Zentrum f{\""u}r Informatik"
DOI: 10.4230/LIPICS.CSL.2026.6

Identifying Tractable Quantified Temporal Constraints Within Ord-Horn

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

A CSP approach to Graph Sandwich Problems

Autoren: Manuel Bodirsky, Santiago Guzmán-Pro
Veröffentlicht in: Proceedings of the 2026 Annual ACM-SIAM Symposium on Discrete Algorithms (SODA), 2026
Herausgeber: 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

Autoren: Johanna Brunar, Marcin Kozik, Tomáš Nagy, Michael Pinsker
Veröffentlicht in: 2025 40th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2025
Herausgeber: IEEE
DOI: 10.1109/LICS65433.2025.00037

Restricted CSPs and F-Free Digraph Algorithmics

Autoren: Santiago Guzmán-Pro and Barnaby Martin
Veröffentlicht in: 52nd International Colloquium on Automata, Languages, and Programming (ICALP 2025), 2025, ISSN 1868-8969
Herausgeber: "Schloss Dagstuhl -- Leibniz-Zentrum f{\""u}r Informatik"
DOI: 10.4230/LIPICS.ICALP.2025.158

Book chapters (2)

Resolving Sets in Temporal Graphs

Autoren: Jan Bok, Antoine Dailly, Tuomo Lehtilä
Veröffentlicht in: Lecture Notes in Computer Science, Combinatorial Algorithms, 2024, ISBN 978-3-031-63020-0
Herausgeber: Springer Nature Switzerland
DOI: 10.1007/978-3-031-63021-7_22

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

Autoren: Sebastian Meyer, Jakub Opršal
Veröffentlicht in: Proceedings of the 2025 Annual ACM-SIAM Symposium on Discrete Algorithms (SODA), 2025
Herausgeber: Society for Industrial and Applied Mathematics
DOI: 10.1137/1.9781611978322.154