English
Related papers

Related papers: Tetris is Hard with Just One Piece Type

200 papers

Recently, Hegerfeld and Kratsch [ESA 2023] obtained the first tight algorithmic results for hard connectivity problems parameterized by clique-width. Concretely, they gave one-sided error Monte-Carlo algorithms that given a…

Data Structures and Algorithms · Computer Science 2024-02-27 Narek Bojikian , Stefan Kratsch

We study the algorithmic complexity of Maker-Breaker games played on the edge sets of general graphs. We mainly consider the perfect matching game and the $H$-game. Maker wins if she claims the edges of a perfect matching in the first, and…

Computational Complexity · Computer Science 2024-11-18 Eric Duchêne , Valentin Gledel , Fionn Mc Inerney , Nicolas Nisse , Nacim Oijid , Aline Parreau , Miloš Stojaković

We prove that a sufficiently strong parallel repetition theorem for a special case of multiplayer (multiprover) games implies super-linear lower bounds for multi-tape Turing machines with advice. To the best of our knowledge, this is the…

Computational Complexity · Computer Science 2020-11-30 Kunal Mittal , Ran Raz

We are going to show that some variants of a puzzle called Pull in which the boxes have handles (i.e. we can only pull the boxes in certain directions) are NP-hard

Computational Complexity · Computer Science 2018-01-01 Oscar Temprano

We investigate an approach to matroid complexity that involves describing a matroid via a list of independent sets, bases, circuits, or some other family of subsets of the ground set. The computational complexity of algorithmic problems…

Combinatorics · Mathematics 2007-09-10 Dillon Mayhew

We reveal a complexity chasm, separating the trinomial and tetranomial cases, for solving univariate sparse polynomial equations over certain local fields. First, for any fixed field $K\in\{\mathbb{Q}_2,\mathbb{Q}_3,\mathbb{Q}_5,\ldots\}$,…

Number Theory · Mathematics 2021-06-08 J. Maurice Rojas , Yuyu Zhu

The Game of Poker Chips, Dominoes and Survival fosters team building and high level cooperation in large groups, and is a tool applied in management training exercises. Each player, initially given two colored poker chips, is allowed to…

Combinatorics · Mathematics 2020-09-02 Larry Goldstein

This paper proves that arrangement of music is NP-hard when subject to various constraints: avoiding musical dissonance, limiting how many notes can be played simultaneously, and limiting transition speed between chords. These results imply…

Computational Complexity · Computer Science 2016-07-15 William S. Moses , Erik D. Demaine

We consider the robust version of items selection problem, in which the goal is to choose representatives from a family of sets, preserving constraints on the allowed items' combinations. We prove NP-hardness of the deterministic version,…

Discrete Mathematics · Computer Science 2019-07-23 Maciej Drwal

We study the optimal order (or sequence) of contracting a tensor network with a minimal computational cost. We conclude 2 different versions of this optimal sequence: that minimize the operation number (OMS) and that minimize the time…

Computational Complexity · Computer Science 2023-10-11 Jianyu Xu , Hanwen Zhang , Ling Liang , Lei Deng , Yuan Xie , Guoqi Li

A binary matrix satisfies the consecutive ones property (COP) if its columns can be permuted such that the ones in each row of the resulting matrix are consecutive. Equivalently, a family of sets F = {Q_1,..,Q_m}, where Q_i is subset of R…

Data Structures and Algorithms · Computer Science 2015-03-18 Giovanni Battaglia , Roberto Grossi , Noemi Scutellà

Determining a Nash equilibrium in a $2$-player non-zero sum game is known to be PPAD-hard (Chen and Deng (2006), Chen, Deng and Teng (2009)). The problem, even when restricted to win-lose bimatrix games, remains PPAD-hard (Abbott, Kane and…

Computer Science and Game Theory · Computer Science 2010-11-01 Samir Datta , Nagarajan Krishnamurthy

We study the Steiner Tree problem on unit disk graphs. Given a $n$ vertex unit disk graph $G$, a subset $R\subseteq V(G)$ of $t$ vertices and a positive integer $k$, the objective is to decide if there exists a tree $T$ in $G$ that spans…

Computational Geometry · Computer Science 2020-04-21 Sujoy Bhore , Paz Carmi , Sudeshna Kolay , Meirav Zehavi

We show that reconstructing a tree from order information on triples is NP-hard. This is in contrast to the case for ultra-metrics and for subtree information on quadruples which are both known to allow polynomial time reconstruction.

Combinatorics · Mathematics 2007-05-23 Eric Babson

We prove several hardness results on folding origami crease patterns. Flat-folding finite crease patterns is fixed-parameter tractable in the ply of the folded pattern (how many layers overlap at any point) and the treewidth of an…

Computational Geometry · Computer Science 2026-01-21 David Eppstein

We present a comprehensive classical and parameterized complexity analysis of decision tree pruning operations, extending recent research on the complexity of learning small decision trees. Thereby, we offer new insights into the…

Machine Learning · Computer Science 2025-03-06 Juha Harviainen , Frank Sommer , Manuel Sorge , Stefan Szeider

We provide several positive and negative complexity results for solving games with imperfect recall. Using a one-to-one correspondence between these games on one side and multivariate polynomials on the other side, we show that solving…

Computer Science and Game Theory · Computer Science 2020-02-26 Hugo Gimbert , Soumyajit Paul , B. Srivathsan

Itemset mining is one of the most studied tasks in knowledge discovery. In this paper we analyze the computational complexity of three central itemset mining problems. We prove that mining confident rules with a given item in the head is…

Databases · Computer Science 2020-12-09 Christian Bessiere , Mohamed-Bachir Belaid , Nadjib Lazaar

Many popular puzzle and matching games have been analyzed through the lens of computational complexity. Prominent examples include Sudoku, Candy Crush, and Flood-It. A common theme among these widely played games is that their generalized…

Computational Complexity · Computer Science 2026-03-03 Linus Klocker , Simon D. Fink

Let $t$ be a positive real number. A graph is called $t$-tough if the removal of any vertex set $S$ that disconnects the graph leaves at most $|S|/t$ components. The toughness of a graph is the largest $t$ for which the graph is $t$-tough.…

Discrete Mathematics · Computer Science 2019-10-22 Gyula Y Katona , Kitti Varga