English
Related papers

Related papers: Fooling Polytopes

200 papers

A numerical semigroup is a subset of the non-negative integers that is closed under addition. For a randomly generated numerical semigroup, the expected number of minimum generators can be expressed in terms of a doubly-indexed sequence of…

Combinatorics · Mathematics 2018-09-27 Calvin Leng , Christopher O'Neill

We establish new correlation bounds and pseudorandom generators for a collection of computation models. These models are all natural generalizations of structured low-degree $F_2$-polynomials that we did not have correlation bounds for…

Computational Complexity · Computer Science 2025-01-07 Vinayak M. Kumar

This paper studies the problem of finding an $(1+\epsilon)$-approximate solution to positive semidefinite programs. These are semidefinite programs in which all matrices in the constraints and objective are positive semidefinite and all…

Data Structures and Algorithms · Computer Science 2016-02-23 Richard Peng , Kanat Tangwongsan , Peng Zhang

A sliding-window algorithm of window size $t$ is an algorithm whose current operation depends solely on the last $t$ symbols read. We construct pseudorandom generators (PRGs) for low-space randomized sliding-window algorithms that have…

Computational Complexity · Computer Science 2023-01-19 Augusto Modanese

A new method for parallel generation of $q$-valued pseudorandom sequence based on the presentation of systems generating logical formulae by means of arithmetic polynomials is proposed. Fragment consisting of $k$-elements of $q$-valued…

Cryptography and Security · Computer Science 2018-09-10 Oleg Finko , Dmitriy Samoylenko , Sergey Dichenko , Nikolay Eliseev

We consider the fundamental derandomization problem of deterministically finding a satisfying assignment to a CNF formula that has many satisfying assignments. We give a deterministic algorithm which, given an $n$-variable…

Computational Complexity · Computer Science 2018-01-12 Rocco A. Servedio , Li-Yang Tan

Capacities on a finite set are sets functions vanishing on the empty set and being monotonic w.r.t. inclusion. Since the set of capacities is an order polytope, the problem of randomly generating capacities amounts to generating all linear…

Discrete Mathematics · Computer Science 2022-06-13 Michel Grabisch , Christophe Labreuche , Peiqi Sun

The degrees of polynomials representing or approximating Boolean functions are a prominent tool in various branches of complexity theory. Sherstov recently characterized the minimal degree deg_{\eps}(f) among all polynomials (over the…

Quantum Physics · Physics 2008-02-15 Ronald de Wolf

We study integer programming instances over polytopes P(A,b)={x:Ax<=b} where the constraint matrix A is random, i.e., its entries are i.i.d. Gaussian or, more generally, its rows are i.i.d. from a spherically symmetric distribution. The…

Data Structures and Algorithms · Computer Science 2013-08-27 Karthekeyan Chandrasekaran , Santosh Vempala

Given a set $S$ of $m$ point sites in a simple polygon $P$ of $n$ vertices, we consider the problem of computing the geodesic farthest-point Voronoi diagram for $S$ in $P$. It is known that the problem has an $\Omega(n+m\log m)$ time lower…

Computational Geometry · Computer Science 2021-05-25 Haitao Wang

In a recent work, O'Donnell, Servedio and Tan (STOC 2019) gave explicit pseudorandom generators (PRGs) for arbitrary $m$-facet polytopes in $n$ variables with seed length poly-logarithmic in $m,n$, concluding a sequence of works in the last…

Computational Complexity · Computer Science 2021-06-03 Srinivasan Arunachalam , Penghui Yao

We present a new algorithm for computing $m$-th roots over the finite field $\F_q$, where $q = p^n$, with $p$ a prime, and $m$ any positive integer. In the particular case $m=2$, the cost of the new algorithm is an expected $O(\M(n)\log (p)…

Data Structures and Algorithms · Computer Science 2011-10-20 Javad Doliskani , Eric Schost

We give the first O(m polylog(n)) time algorithms for approximating maximum flows in undirected graphs and constructing polylog(n) -quality cut-approximating hierarchical tree decompositions. Our algorithm invokes existing algorithms for…

Data Structures and Algorithms · Computer Science 2015-11-18 Richard Peng

We study weighted pseudorandom generators (WPRGs) and derandomizations for read-once branching programs (ROBPs). Denote $n$ and $w$ as the length and the width of a ROBP. We have the following results. For standard ROBPs, we give an…

Computational Complexity · Computer Science 2025-07-22 Kuan Cheng , Ruiyang Wu

A seed in a word is a relaxed version of a period in which the occurrences of the repeating subword may overlap. We show a linear-time algorithm computing a linear-size representation of all the seeds of a word (the number of seeds might be…

Data Structures and Algorithms · Computer Science 2019-03-15 Tomasz Kociumaka , Marcin Kubica , Jakub Radoszewski , Wojciech Rytter , Tomasz Walen

In this paper we investigate the structure of the fundamental polytope used in the Linear Programming decoding introduced by Feldman, Karger and Wainwright. We begin by showing that for expander codes, every fractional pseudocodeword always…

Information Theory · Computer Science 2007-09-26 Alexandros G. Dimakis , Amin A. Gohari , Martin J. Wainwright

Integer programs with m constraints are solvable in pseudo-polynomial time in $\Delta$, the largest coefficient in a constraint, when m is a fixed constant. We give a new algorithm with a running time of $O(\sqrt{m}\Delta)^{2m} + O(nm)$,…

Data Structures and Algorithms · Computer Science 2022-07-27 Klaus Jansen , Lars Rohwedder

We show that a black-box construction of a pseudorandom generator from a one-way function needs to make Omega(n/log(n)) calls to the underlying one-way function. The bound even holds if the one-way function is guaranteed to be regular. In…

Cryptography and Security · Computer Science 2012-05-22 Thomas Holenstein , Makrand Sinha

Integer linear programs $\min\{c^T x : A x = b, x \in \mathbb{Z}^n_{\ge 0}\}$, where $A \in \mathbb{Z}^{m \times n}$, $b \in \mathbb{Z}^m$, and $c \in \mathbb{Z}^n$, can be solved in pseudopolynomial time for any fixed number of constraints…

Data Structures and Algorithms · Computer Science 2024-09-06 Lars Rohwedder , Karol Węgrzycki

Recursive maps of high order of convergence $m$ (say $m=2^{10}$ or $m=2^{20}$) induce certain monotone step functions from which one can filter relevant information needed to globally separate and compute the real roots of a function on a…

Numerical Analysis · Mathematics 2015-03-12 Mário M. Graça