English
Related papers

Related papers: Simple and tight complexity lower bounds for solvi…

200 papers

In this article, we study the decision-making process of chess players by using a chess engine to evaluate the moves across different pools of games. We quantified the decisiveness of each move during the games using a metric derived from…

Physics and Society · Physics 2025-06-13 A. Chacoma , O. V. Billoni

Predicting the winner of an election is a favorite problem both for news media pundits and computational social choice theorists. Since it is often infeasible to elicit the preferences of all the voters in a typical prediction scenario, a…

Data Structures and Algorithms · Computer Science 2016-04-21 Arnab Bhattacharyya , Palash Dey

Consider concurrent, infinite duration, two-player win/lose games played on graphs. If the winning condition satisfies some simple requirement, the existence of Player 1 winning (finite-memory) strategies is equivalent to the existence of…

Logic in Computer Science · Computer Science 2018-05-01 Stephane Le Roux

The currently fastest algorithm for regular expression pattern matching and membership improves the classical O(nm) time algorithm by a factor of about log^{3/2}n. Instead of focussing on general patterns we analyse homogeneous patterns of…

Computational Complexity · Computer Science 2020-09-22 Philipp Schepper

In this paper, we give new, tight subexponential lower bounds for a number of graph embedding problems. We introduce two related combinatorial problems, which we call String Crafting and Orthogonal Vector crafting, and show that these…

Computational Complexity · Computer Science 2016-10-31 Hans L. Bodlaender , Tom C. van der Zanden

We prove that with high probability over the choice of a random graph $G$ from the Erd\H{o}s-R\'enyi distribution $G(n,1/2)$, a natural $n^{O(\varepsilon^2 \log n)}$-time, degree $O(\varepsilon^2 \log n)$ sum-of-squares semidefinite program…

Computational Complexity · Computer Science 2021-05-18 Pravesh K. Kothari , Peter Manohar

We study how the complexity of modular circuits computing AND depends on the depth of the circuits and the prime factorization of the modulus they use. In particular our construction of subexponential circuits of depth 2 for AND helps us to…

Computational Complexity · Computer Science 2021-06-08 Paweł M. Idziak , Piotr Kawałek , Jacek Krzaczkowski

Mastermind is famous two-players game. The first player (codemaker) chooses a secret code which the second player (codebreaker) is supposed to crack within a minimum number of code guesses (queries). Therefore, codemaker's duty is to help…

Data Structures and Algorithms · Computer Science 2020-03-27 Moura El Ouali , Volkmar Sauerland

We show that there is no subexponential time algorithm for computing the exact solution of the maximum independent set problem in d-regular graphs unless ETH fails. We expand our method to show that it helps to provide lower bounds for…

Computational Complexity · Computer Science 2021-03-25 Saeed Akhoondian Amiri

This paper examines the integration of computational complexity into game theoretic models. The example focused on is the Prisoner's Dilemma, repeated for a finite length of time. We show that a minimal bound on the players' computational…

Computer Science and Game Theory · Computer Science 2007-05-23 Yishay Mor , Jeffrey S. Rosenschein

We give algorithms with running time $2^{O({\sqrt{k}\log{k}})} \cdot n^{O(1)}$ for the following problems. Given an $n$-vertex unit disk graph $G$ and an integer $k$, decide whether $G$ contains (1) a path on exactly/at least $k$ vertices,…

Data Structures and Algorithms · Computer Science 2017-04-25 Fedor V. Fomin , Daniel Lokshtanov , Fahad Panolan , Saket Saurabh , Meirav Zehavi

We prove essentially tight lower bounds, conditionally to the Exponential Time Hypothesis, for two fundamental but seemingly very different cutting problems on surface-embedded graphs: the Shortest Cut Graph problem and the Multiway Cut…

Computational Complexity · Computer Science 2021-02-18 Vincent Cohen-Addad , Éric Colin de Verdière , Daniel Marx , Arnaud de Mesmay

Let $D(n)$ be the maximal determinant for $n \times n$ $\{\pm 1\}$-matrices, and ${\mathcal R}(n) = D(n)/n^{n/2}$ be the ratio of $D(n)$ to the Hadamard upper bound. We give several new lower bounds on ${\mathcal R}(n)$ in terms of $d$,…

Combinatorics · Mathematics 2016-10-26 Richard P. Brent , Judy-anne H. Osborn , Warren D. Smith

This paper studies sequential quantum games under the assumption that the moves of the players are drawn from groups and not just plain sets. The extra group structure makes possible to easily derive some very general results characterizing…

Quantum Physics · Physics 2025-03-14 Theodore Andronikos

We consider parity games on infinite graphs where configurations are represented by control-states and integer vectors. This framework subsumes two classic game problems: parity games on vector addition systems with states (vass) and…

Logic in Computer Science · Computer Science 2013-06-13 Parosh Aziz Abdulla , Richard Mayr , Arnaud Sangnier , Jeremy Sproston

We prove that there exists a constant $\epsilon>0$ such that, assuming the Exponential Time Hypothesis for PPAD, computing an $\epsilon$-approximate Nash equilibrium in a two-player (nXn) game requires quasi-polynomial time,…

Computational Complexity · Computer Science 2016-08-31 Aviad Rubinstein

Two standard algorithms for approximately solving two-player zero-sum concurrent reachability games are value iteration and strategy iteration. We prove upper and lower bounds of 2^(m^(Theta(N))) on the worst case number of iterations…

Computer Science and Game Theory · Computer Science 2012-03-02 Kristoffer Arnsfelt Hansen , Rasmus Ibsen-Jensen , Peter Bro Miltersen

Local search is a widely-employed strategy for finding good solutions to Traveling Salesman Problem. We analyze the problem of determining whether the weight of a given cycle can be decreased by a popular $k$-opt move. Earlier work has…

Data Structures and Algorithms · Computer Science 2019-09-04 Édouard Bonnet , Yoichi Iwata , Bart M. P. Jansen , Łukasz Kowalik

We revisit the classic task of finding the shortest tour of $n$ points in $d$-dimensional Euclidean space, for any fixed constant $d \geq 2$. We determine the optimal dependence on $\varepsilon$ in the running time of an algorithm that…

Computational Geometry · Computer Science 2024-09-13 Sándor Kisfaludi-Bak , Jesper Nederlof , Karol Węgrzycki

The \textsc{Bipartite Contraction} problem is to decide, given a graph $G$ and a parameter $k$, whether we can can obtain a bipartite graph from $G$ by at most $k$ edge contractions. The fixed-parameter tractability of the problem was shown…

Data Structures and Algorithms · Computer Science 2013-09-05 Sylvain Guillemot , Dániel Marx