Results 1  10
of
131
A subexponential lower bound for the Random Facet algorithm for Parity Games
"... Parity Games form an intriguing family of infinite duration games whose solution is equivalent to the solution of important problems in automatic verification and automata theory. They also form a very natural subclass of Deterministic Mean Payoff Games, which in turn is a very natural subclass of t ..."
Abstract

Cited by 6 (5 self)
 Add to MetaCart
Matouˇsek, Sharir and Welzl as the Random Facet algorithm. The expected running time of these algorithmsis subexponential in the size of the game, i.e., 2
Errata for: A subexponential lower bound for the Random Facet algorithm for Parity Games
, 2014
"... In [Friedmann, Hansen, and Zwick (2011)] and we claimed that the expected number of pivoting steps performed by the RandomFacet algorithm of Kalai and of Matoušek, Sharir, and Welzl is equal to the expected number of pivoting steps performed by RandomFacet∗, a variant of RandomFacet that bases i ..."
Abstract

Cited by 2 (2 self)
 Add to MetaCart
its random decisions on one random permutation. We then obtained a lower bound on the expected number of pivoting steps performed by RandomFacet ∗ and claimed that the same lower bound holds also for RandomFacet. Unfortunately, the claim that the expected number of steps performed by RandomFacet
A Subexponential Bound for Linear Programming
 ALGORITHMICA
, 1996
"... We present a simple randomized algorithm which solves linear programs with n constraints and d variables in expected min{O(d 2 2 d n),e 2 d ln(n / d)+O ( d+ln n)} time in the unit cost model (where we count the number of arithmetic operations on the numbers in the input); to be precise, the algorith ..."
Abstract

Cited by 185 (15 self)
 Add to MetaCart
We present a simple randomized algorithm which solves linear programs with n constraints and d variables in expected min{O(d 2 2 d n),e 2 d ln(n / d)+O ( d+ln n)} time in the unit cost model (where we count the number of arithmetic operations on the numbers in the input); to be precise
A deterministic subexponential algorithm for solving parity games
 SODA
, 2006
"... The existence of polynomial time algorithms for the solution of parity games is a major open problem. The fastest known algorithms for the problem are randomized algorithms that run in subexponential time. These algorithms are all ultimately based on the randomized subexponential simplex algorithms ..."
Abstract

Cited by 80 (3 self)
 Add to MetaCart
The existence of polynomial time algorithms for the solution of parity games is a major open problem. The fastest known algorithms for the problem are randomized algorithms that run in subexponential time. These algorithms are all ultimately based on the randomized subexponential simplex algorithms
A discrete subexponential algorithm for parity games
 STACS’03
, 2003
"... We suggest a new randomized algorithm for solving parity games with worst case time complexity roughly ..."
Abstract

Cited by 36 (8 self)
 Add to MetaCart
We suggest a new randomized algorithm for solving parity games with worst case time complexity roughly
A Randomized Subexponential Algorithm for Parity Games
 Nordic Journal of Computing
, 2001
"... We describe a randomized algorithm for Parity Games (equivalent ..."
Abstract

Cited by 7 (3 self)
 Add to MetaCart
We describe a randomized algorithm for Parity Games (equivalent
Randomized Subexponential Algorithms for Infinite Games
, 2004
"... The complexity of solving infinite games, including parity, mean payoff, and simple stochastic games, is an important open problem in verification, automata theory, and complexity theory. In this paper we develop an abstract setting for studying and solving such games, as well as related problems, b ..."
Abstract

Cited by 6 (0 self)
 Add to MetaCart
relation to the previously wellstudied completely unimodal (CU) and localglobal functions. A number of nice properties of CLGfunctions are proved. In this setting, we survey several randomized optimization algorithms appropriate for CU, CLG, and RLGfunctions. We show that the subexponential
Parameterized Algorithms for Parity Games
"... Determining the winner of a Parity Game is a major problem in computational complexity with a number of applications in verification. In a parameterized complexity setting, the problem has often been considered with parameters such as (directed versions of) treewidth or cliquewidth, by applying dy ..."
Abstract
 Add to MetaCart
show that, for these parameters, it is possible to obtain recursive parameterized algorithms which are simpler, faster and only require polynomial space. We complement these results with some algorithmic lower bounds which, among others, rule out a possible avenue for improving the bestknown subexponential
A Subexponential Lower Bound for Policy Iteration Based on Snare Memorization
, 2011
"... This paper presents a subexponential lower bound for the recently proposed snare memorization nonoblivious strategy iteration algorithm due to Fearnley. Snare memorization is a method to train policy iteration techniques to remember certain profitable substrategies and reapply them again. We show t ..."
Abstract

Cited by 2 (0 self)
 Add to MetaCart
This paper presents a subexponential lower bound for the recently proposed snare memorization nonoblivious strategy iteration algorithm due to Fearnley. Snare memorization is a method to train policy iteration techniques to remember certain profitable substrategies and reapply them again. We show
A subexponential lower bound for the Least Recently Considered rule for solving linear programs and games
"... The simplex algorithm is among the most widely used algorithms for solving linear programs in practice. Most pivoting rules are known, however, to need an exponential number of steps to solve some linear programs. No nonpolynomial lower bounds were known, prior to this work, for Cunningham’s Least ..."
Abstract

Cited by 3 (1 self)
 Add to MetaCart
.e., of the form 2 Ω( √ n)) lower bound for this rule in a concrete setting. Our lower bound is obtained by utilizing connections between pivoting steps performed by simplexbased algorithms and improving switches performed by policy iteration algorithms for 1player and 2player games. We start by building 2
Results 1  10
of
131