Power of Algorithms in Discrete Optimisation

Projektinformationen

PowAlgDO

ID Finanzhilfevereinbarung: 714532

DOI

10.3030/714532

Projekt abgeschlossen

EK-Unterschriftsdatum 11 November 2016

Startdatum 1 Januar 2017

Enddatum 30 Juni 2022

Finanziert unter

• EXCELLENT SCIENCE - European Research Council (ERC)

Gesamtkosten

€ 1 437 367,00

EU-Beitrag

€ 1 437 367,00

Koordiniert durch

THE CHANCELLOR, MASTERS AND SCHOLARS OF THE UNIVERSITY OF OXFORD
United Kingdom

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 (28)

Tight Complexity Lower Bounds for Integer Linear Programming with Few Constraints

Autoren: Dušan Knop, Michał Pilipczuk, Marcin Wrochna
Veröffentlicht in: ACM Transactions on Computation Theory, 2020, ISSN 1942-3454
Herausgeber: Association for Computing Machinary, Inc.
DOI: 10.1145/3397484

Sparsification of Binary CSPs

Autoren: Silvia Butti and Stanislav Živný
Veröffentlicht in: SIAM Journal on Discrete Mathematics, 2020, ISSN 0895-4801
Herausgeber: Society for Industrial and Applied Mathematics
DOI: 10.1137/19m1242446

On rainbow-free colourings of uniform hypergraphs

Autoren: Ragnar Groot Koerkamp; Stanislav Živný
Veröffentlicht in: Theoretical Computer Science, 2021, ISSN 0304-3975
Herausgeber: Elsevier BV
DOI: 10.1016/j.tcs.2021.06.022

Boolean approximate counting CSPs with weak conservativity, and implications for ferromagnetic two-spin

Autoren: Miriam Backens, Andrei Bulatov, Leslie Ann Goldberg, Colin McQuillan, Stanislav Živný
Veröffentlicht in: Journal of Computer and System Sciences, Ausgabe 109, 2020, Seite(n) 95-125, ISSN 0022-0000
Herausgeber: Academic Press
DOI: 10.1016/j.jcss.2019.12.003

The Power of the Combined Basic Linear Programming and Affine Relaxation for Promise Constraint Satisfaction Problems

Autoren: Joshua Brakensiek, Venkatesan Guruswami, Marcin Wrochna, Stanislav Živný
Veröffentlicht in: SIAM Journal on Computing, 2020, ISSN 0097-5397
Herausgeber: Society for Industrial and Applied Mathematics
DOI: 10.1137/20m1312745

QCSP on Reflexive Tournaments

Autoren: Benoît Larose, Petar Marković, Barnaby Martin, Daniël Palusma, Sani Smith,Stanislav Živný
Veröffentlicht in: ACM Transaction on Computational Logic, 2022, ISSN 1529-3785
Herausgeber: Association for Computing Machinary, Inc.
DOI: 10.1145/3508069

Using a Min-Cut Generalisation to Go Beyond Boolean Surjective VCSPs

Autoren: Gregor Matl, Stanislav Živný
Veröffentlicht in: Algorithmica, Ausgabe 82/12, 2020, Seite(n) 3492-3520, ISSN 0178-4617
Herausgeber: Springer Verlag
DOI: 10.1007/s00453-020-00735-1

The Complexity of Approximately Counting Retractions

Autoren: Jacob Focke; Leslie Ann Goldberg; Stanislav Živný
Veröffentlicht in: ACM Transactions on Computation Theory, 2020, ISSN 1942-3454
Herausgeber: Association for Computing Machinary, Inc.
DOI: 10.1145/3397472

Counting Homomorphisms to $K_4$-Minor-Free Graphs, Modulo 2

Autoren: Jacob Focke; Leslie Ann Goldberg; Marc Roth; Stanislav Živný
Veröffentlicht in: Counting Homomorphisms to $K_4$-Minor-Free Graphs, Modulo 2, 2021, ISSN 0895-4801
Herausgeber: Society for Industrial and Applied Mathematics
DOI: 10.1137/20m1382921

The Combined Basic LP and Affine IP Relaxation for Promise VCSPs on Infinite Domains

Autoren: Caterina Viola, Stanislav Zivny
Veröffentlicht in: ACM Transactions on Algorithms, 2021, ISSN 1549-6325
Herausgeber: Association for Computing Machinary, Inc.
DOI: 10.1145/3458041

Binary constraint satisfaction problems defined by excluded topological minors

Autoren: David A. Cohen, Martin C. Cooper, Peter G. Jeavons, Stanislav Živný
Veröffentlicht in: Information and Computation, Ausgabe 264, 2019, Seite(n) 12-31, ISSN 0890-5401
Herausgeber: Academic Press
DOI: 10.1016/j.ic.2018.09.013

Steepest ascent can be exponential in bounded treewidth problems

Autoren: David A. Cohen, Martin C. Cooper, Artem Kaznatcheev, Mark Wallace
Veröffentlicht in: Operations Research Letters, Ausgabe 48/3, 2020, Seite(n) 217-224, ISSN 0167-6377
Herausgeber: Elsevier BV
DOI: 10.1016/j.orl.2020.02.010

The local-global property for G-invariant terms

Autoren: Kazda, Alexandr; Kompatscher, Michael
Veröffentlicht in: International Journal of Algebra and Computation, 2022, ISSN 0218-1967
Herausgeber: World Scientific Publishing Co
DOI: 10.1142/s0218196722500527

Point-Width and Max-CSPs

Autoren: Clement Carbonnel, Miguel Romero, Stanislav Zivny
Veröffentlicht in: ACM Transactions on Algorithms, 2020, ISSN 1549-6325
Herausgeber: Association for Computing Machinary, Inc.
DOI: 10.1145/3409447

Discrete convexity in joint winner property

Autoren: Yuni Iwamasa, Kazuo Murota, Stanislav Živný
Veröffentlicht in: Discrete Optimization, Ausgabe 28, 2018, Seite(n) 78-88, ISSN 1572-5286
Herausgeber: Elsevier BV
DOI: 10.1016/j.disopt.2018.01.001

The Power of Arc Consistency for CSPs Defined by Partially-Ordered Forbidden Patterns

Autoren: Martin C. Cooper and Stanislav Zivny
Veröffentlicht in: Logical Methods in Computer Science, 2017, ISSN 1860-5974
Herausgeber: Technischen Universitat Braunschweig
DOI: 10.23638/LMCS-13(4:26)2017

Binarisation for Valued Constraint Satisfaction Problems

Autoren: David A. Cohen, Martin C. Cooper, Peter G. Jeavons, Andrei Krokhin, Robert Powell, Stanislav Živný
Veröffentlicht in: SIAM Journal on Discrete Mathematics, Ausgabe 31/4, 2017, Seite(n) 2279-2300, ISSN 0895-4801
Herausgeber: Society for Industrial and Applied Mathematics
DOI: 10.1137/16M1088107

Functional clones and expressibility of partition functions

Autoren: Andrei Bulatov, Leslie Ann Goldberg, Mark Jerrum, David Richerby, Stanislav Živný
Veröffentlicht in: Theoretical Computer Science, Ausgabe 687, 2017, Seite(n) 11-39, ISSN 0304-3975
Herausgeber: Elsevier BV
DOI: 10.1016/j.tcs.2017.05.001

On planar valued CSPs

Autoren: Peter Fulla, Stanislav Živný
Veröffentlicht in: Journal of Computer and System Sciences, Ausgabe 87, 2017, Seite(n) 104-118, ISSN 0022-0000
Herausgeber: Academic Press
DOI: 10.1016/j.jcss.2017.03.005

The Power of Sherali--Adams Relaxations for General-Valued CSPs

Autoren: Johan Thapper, Stanislav Živný
Veröffentlicht in: SIAM Journal on Computing, Ausgabe 46/4, 2017, Seite(n) 1241-1279, ISSN 0097-5397
Herausgeber: Society for Industrial and Applied Mathematics
DOI: 10.1137/16M1079245

The Limits of SDP Relaxations for General-Valued CSPs

Autoren: Johan Thapper, Stanislav Živný
Veröffentlicht in: ACM Transactions on Computation Theory, Ausgabe 10/3, 2018, Seite(n) 1-22, ISSN 1942-3454
Herausgeber: Association for Computing Machinary, Inc.
DOI: 10.1145/3201777

On Singleton Arc Consistency for CSPs Defined by Monotone Patterns

Autoren: Clément Carbonnel, David A. Cohen, Martin C. Cooper, Stanislav Živný
Veröffentlicht in: Algorithmica, Ausgabe 81/4, 2019, Seite(n) 1699-1727, ISSN 0178-4617
Herausgeber: Springer Verlag
DOI: 10.1007/s00453-018-0498-2

A Tractable Class of Binary VCSPs via M-Convex Intersection

Autoren: Hiroshi Hirai, Yuni Iwamasa, Kazuo Murota, Stanislav Živný
Veröffentlicht in: ACM Transactions on Algorithms, Ausgabe 15/3, 2019, Seite(n) 1-41, ISSN 1549-6325
Herausgeber: Association for Computing Machinary, Inc.
DOI: 10.1145/3329862

The Complexity of Promise SAT on Non-Boolean Domains

Autoren: Alex Brandts, Marcin Wrochna, Stanislav Zivny
Veröffentlicht in: ACM Transactions on Computation Theory, 2021, ISSN 1942-3454
Herausgeber: Association for Computing Machinary, Inc.
DOI: 10.1145/3470867

A More General Theory of Static Approximations for Conjunctive Queries

Autoren: Pablo Barceló, Miguel Romero, Thomas Zeume
Veröffentlicht in: Theory of Computing Systems, Ausgabe 64/5, 2020, Seite(n) 916-964, ISSN 1432-4350
Herausgeber: Springer Verlag
DOI: 10.1007/s00224-019-09924-0

The Complexity of General-Valued Constraint Satisfaction Problems Seen from the Other Side

Autoren: Clément Carbonnel, Miguel Romero, and Stanislav Živný
Veröffentlicht in: SIAM Journal on Computing, 2022, ISSN 0097-5397
Herausgeber: Society for Industrial and Applied Mathematics
DOI: 10.1137/19m1250121

The Complexity of Approximately Counting Retractions to Square-free Graphs

Autoren: Jacob Focke, Leslie Ann Goldberg, Stanislav Zivny
Veröffentlicht in: ACM Transactions on Algorithms, 2021, ISSN 1549-6325
Herausgeber: Association for Computing Machinary, Inc.
DOI: 10.1145/3458040

Approximate Counting CSP Seen from the Other Side

Autoren: Andrei Bulatov and Stanislav Živný
Veröffentlicht in: ACM Transactions on Computation Theory, 2020, ISSN 1942-3454
Herausgeber: Association for Computing Machinary, Inc.
DOI: 10.1145/3389390

Conference proceedings (25)

Additive Sparsification of CSPs

Autoren: Eden Pelleg and Stanislav Zivny
Veröffentlicht in: European Symposium on Algorithms, 2021
Herausgeber: Dagstuhl
DOI: 10.4230/lipics.esa.2021.75

Beyond PCSP (1-in-3,NAE)

Autoren: Brandts, Alex; Živný, Stanislav
Veröffentlicht in: Proceedings of ICALP, 2021
Herausgeber: Dagstuhl
DOI: 10.4230/lipics.icalp.2021.121

The combined basic LP and affine IP relaxation for promise VCSPs on infinite domains

Autoren: Viola, Caterina; Živný, Stanislav
Veröffentlicht in: 45th International Symposium on Mathematical Foundations of Computer Science (MFCS 2020), Ausgabe 1, 2020, Seite(n) 85:1--85:15
Herausgeber: "Schloss Dagstuhl--Leibniz-Zentrum f{\""u}r Informatik"
DOI: 10.4230/lipics.mfcs.2020.85

The complexity of promise SAT on non-Boolean domains

Autoren: Brandts, Alex; Wrochna, Marcin; Živný, Stanislav
Veröffentlicht in: 47th International Colloquium on Automata, Languages, and Programming (ICALP 2020), Ausgabe 1, 2020, Seite(n) 17:1--17:13
Herausgeber: "Schloss Dagstuhl--Leibniz-Zentrum f{\""u}r Informatik"
DOI: 10.4230/lipics.icalp.2020.17

QCSP on Reflexive Tournaments

Autoren: Benoît Larose and Petar Marković and Barnaby Martin and Daniël Palusma and Siani Smith and Stanislav Živný
Veröffentlicht in: European Symposium on Algorithms, 2021
Herausgeber: Dagstuhl
DOI: 10.4230/lipics.esa.2021.58

Approximately Counting Answers to Conjunctive Queries with Disequalities and Negations

Autoren: Jacob Focke,Leslie Ann Goldberg, Marc Roth, Stanislav Zivny
Veröffentlicht in: Symposium on Principles of Database Systems, 2022
Herausgeber: ACM
DOI: 10.1145/3517804.3526231

Linearly ordered colourings of hypergraphs

Autoren: Tamio-Vesa Nakajima, Stanislav Zivny
Veröffentlicht in: Proceedings of ICALP, 2022
Herausgeber: Dagstuhl
DOI: 10.4230/lipics.icalp.2022.128

Beyond JWP: A Tractable Class of Binary VCSPs via M-Convex Intersection

Autoren: Hirai, Hiroshi ; Iwamasa, Yuni ; Murota, Kazuo ; Zivny, Stanislav
Veröffentlicht in: 2018
Herausgeber: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
DOI: 10.4230/LIPIcs.STACS.2018.39

The Complexity of Counting Surjective Homomorphisms and Compactions

Autoren: Jacob Focke, Leslie Ann Goldberg, Stanislav Živný
Veröffentlicht in: Proceedings of the Twenty-Ninth Annual ACM-SIAM Symposium on Discrete Algorithms, 2018, Seite(n) 1772-1781
Herausgeber: Society for Industrial and Applied Mathematics
DOI: 10.1137/1.9781611975031.116

On Singleton Arc Consistency for CSPs Defined by Monotone Patterns

Autoren: Carbonnel, Clement; Cohen, David A.; Cooper, Martin C.; Zivny, Stanislav
Veröffentlicht in: 35th Symposium on Theoretical Aspects of Computer Science (STACS 2018), 2018
Herausgeber: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
DOI: 10.4230/LIPIcs.STACS.2018.19

The limits of SDP relaxations for general-valued CSPs

Autoren: Johan Thapper, Stanislav Zivny
Veröffentlicht in: 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2017, Seite(n) 1-12, ISBN 978-1-5090-3018-7
Herausgeber: IEEE
DOI: 10.1109/LICS.2017.8005087

The Complexity of Boolean Surjective General-Valued CSPs

Autoren: Peter Fulla, Stanislav Zivny
Veröffentlicht in: 42nd International Symposium on Mathematical Foundations of Computer Science (MFCS 2017), 2017
Herausgeber: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
DOI: 10.4230/LIPIcs.MFCS.2017.4

The Tractability Frontier of Well-designed SPARQL Queries

Autoren: Miguel Romero
Veröffentlicht in: Proceedings of the 35th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems - SIGMOD/PODS '18, 2018, Seite(n) 295-306, ISBN 9781-450347068
Herausgeber: ACM Press
DOI: 10.1145/3196959.3196973

Tight Complexity Lower Bounds for Integer Linear Programming with Few Constraints

Autoren: Dusan Knop, Michal Pilipczuk, Marcin Wrochna
Veröffentlicht in: 36th International Symposium on Theoretical Aspects of Computer Science (STACS 2019), 2019
Herausgeber: LIPICS
DOI: 10.4230/lipics.stacs.2019.44

The Complexity of General-Valued CSPs Seen from the Other Side

Autoren: Clement Carbonnel, Miguel Romero, Stanislav Zivny
Veröffentlicht in: 2018 IEEE 59th Annual Symposium on Foundations of Computer Science (FOCS), 2018, Seite(n) 236-246, ISBN 978-1-5386-4230-6
Herausgeber: IEEE
DOI: 10.1109/focs.2018.00031

Beyond Boolean Surjective VCSPs

Autoren: Gregor Matl Stanislav Zivny
Veröffentlicht in: 36th International Symposium on Theoretical Aspects of Computer Science (STACS 2019), 2019
Herausgeber: LIPICS
DOI: 10.4230/lipics.stacs.2019.52

Sparsification of Binary CSPs

Autoren: Silvia Butti Stanislav Zivny
Veröffentlicht in: 36th International Symposium on Theoretical Aspects of Computer Science (STACS 2019), 2019
Herausgeber: LIPICS
DOI: 10.4230/lipics.stacs.2019.17

Point-width and Max-CSPs

Autoren: Clement Carbonnel, Miguel Romero, Stanislav Zivny
Veröffentlicht in: 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2019, Seite(n) 1-13, ISBN 978-1-7281-3608-0
Herausgeber: IEEE
DOI: 10.1109/lics.2019.8785660

Approximate counting CSP seen from the other side

Autoren: Bulatov, Andrei A.; Zivny, Stanislav
Veröffentlicht in: 44th International Symposium on Mathematical Foundations of Computer Science (MFCS 2019), Ausgabe 2, 2019, Seite(n) 60:1--60:14
Herausgeber: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
DOI: 10.4230/lipics.mfcs.2019.60

Boundedness of Conjunctive Regular Path Queries

Autoren: Barceló, Pablo; Figueira, Diego; Romero, Miguel
Veröffentlicht in: International Colloquium on Automata, Languages, and Programming (ICALP), Ausgabe 1, 2019
Herausgeber: LIPICS
DOI: 10.4230/lipics.icalp.2019.104

Sallow: a heuristic algorithm for treedepth decompositions

Autoren: Wrochna, Marcin
Veröffentlicht in: 15th International Symposium on Parameterized and Exact Computation (IPEC 2020), Ausgabe 1, 2020, Seite(n) 36:1--36:4
Herausgeber: "Schloss Dagstuhl--Leibniz-Zentrum f{\""u}r Informatik"
DOI: 10.4230/lipics.ipec.2020.36

CLAP: A New Algorithm for Promise CSPs

Autoren: Lorenzo Ciardo, Stanislav Zivny
Veröffentlicht in: Annual ACM-SIAM Symposium on Discrete Algorithms (SODA), 2022
Herausgeber: ACM
DOI: 10.1137/1.9781611977073.46

Galois Connections for Patterns: An Algebra of Labelled Graphs

Autoren: David Cohen, Martin Cooper, Peter Jeavons, Stanislav Živný
Veröffentlicht in: Graph Structures for Knowledge Representation and Reasoning, 2020
Herausgeber: Springer
DOI: 10.1007/978-3-030-72308-8_9

PTAS for sparse general-valued CSPs

Autoren: Balázs Mezei, Marcin Wrochna, Stanislav Živný
Veröffentlicht in: Logic in Computer Science, 2021
Herausgeber: IEEE
DOI: 10.1109/lics52264.2021.9470599

On Monotonic Determinacy and Rewritability for Recursive Queries and Views

Autoren: Michael Benedikt, Stanislav Kikot, Piotr Ostropolski-Nalewaja, Miguel Romero
Veröffentlicht in: Proceedings of the 39th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, 2020, Seite(n) 131-148, ISBN 9781450371087
Herausgeber: ACM
DOI: 10.1145/3375395.3387661

Book chapters (5)

Improved hardness for H -colourings of G -colourable graphs

Autoren: Marcin Wrochna, Stanislav Živný
Veröffentlicht in: Proceedings of the Fourteenth Annual ACM-SIAM Symposium on Discrete Algorithms, 2020, Seite(n) 1426-1435, ISBN 978-1-61197-599-4
Herausgeber: Society for Industrial and Applied Mathematics
DOI: 10.1137/1.9781611975994.86

Integer Programming and Incidence Treedepth

Autoren: Eduard Eiben, Robert Ganian, Dušan Knop, Sebastian Ordyniak, Michał Pilipczuk, Marcin Wrochna
Veröffentlicht in: Integer Programming and Combinatorial Optimization - 20th International Conference, IPCO 2019, Ann Arbor, MI, USA, May 22-24, 2019, Proceedings, Ausgabe 11480, 2019, Seite(n) 194-204, ISBN 978-3-030-17952-6
Herausgeber: Springer International Publishing
DOI: 10.1007/978-3-030-17953-3_15

The Complexity of Approximately Counting Retractions

Autoren: Jacob Focke, Leslie Ann Goldberg, Stanislav Živný
Veröffentlicht in: Proceedings of the Thirtieth Annual ACM-SIAM Symposium on Discrete Algorithms, 2019, Seite(n) 2205-2215, ISBN 978-1-61197-548-2
Herausgeber: Society for Industrial and Applied Mathematics
DOI: 10.1137/1.9781611975482.133

Treewidth-Pliability and PTAS for Max-CSPs

Autoren: Miguel Romero, Marcin Wrochna, Stanislav Živný
Veröffentlicht in: Proceedings of the 2021 ACM-SIAM Symposium on Discrete Algorithms (SODA), 2021, Seite(n) 473-483, ISBN 978-1-61197-646-5
Herausgeber: Society for Industrial and Applied Mathematics
DOI: 10.1137/1.9781611976465.29

Counting Homomorphisms to K 4 -minor-free Graphs, modulo 2

Autoren: Jacob Focke, Leslie Ann Goldberg, Marc Roth, Stanislav Živný
Veröffentlicht in: Proceedings of the 2021 ACM-SIAM Symposium on Discrete Algorithms (SODA), 2021, Seite(n) 2303-2314, ISBN 978-1-61197-646-5
Herausgeber: Society for Industrial and Applied Mathematics
DOI: 10.1137/1.9781611976465.137