English
Related papers

Related papers: Lower Bounds for Testing Directed Acyclicity in th…

200 papers

We present an $\tilde{O}(n^{2/3}/\epsilon^2)$-query algorithm that tests whether an unknown Boolean function $f\colon\{0,1\}^n\rightarrow \{0,1\}$ is unate (i.e., every variable is either non-decreasing or non-increasing) or $\epsilon$-far…

Data Structures and Algorithms · Computer Science 2019-04-11 Xi Chen , Erik Waingarten

Let $\log^Cn\le d\le n/2$ for a sufficiently large constant $C>0$ and let $A_n$ denote the adjacency matrix of a uniform random $d$-regular directed graph on $n$ vertices. We prove that as $n$ tends to infinity, the empirical spectral…

Probability · Mathematics 2017-08-09 Nicholas A. Cook

Direct Multisearch is a well-established class of algorithms, suited for multiobjective derivative-free optimization. In this work, we analyze the worst-case complexity of this class of methods in its most general formulation for…

Optimization and Control · Mathematics 2020-11-04 A. L. Custódio , Y. Diouane , R. Garmanjani , E. Riccietti

We prove several new tight distributed lower bounds for classic symmetry breaking graph problems. As a basic tool, we first provide a new insightful proof that any deterministic distributed algorithm that computes a $\Delta$-coloring on…

Distributed, Parallel, and Cluster Computing · Computer Science 2022-06-03 Alkida Balliu , Sebastian Brandt , Fabian Kuhn , Dennis Olivetti

We consider a transport equation by a gradient vector field with a small viscous perturbation --$\epsilon\Delta_g$. We study uniform observability (resp. controllability) properties in the (singular) vanishing viscosity limit…

Analysis of PDEs · Mathematics 2021-02-10 Camille Laurent , Matthieu Léautaud

We study property testing in the subcube conditional model introduced by Bhattacharyya and Chakraborty (2017). We obtain the first equivalence test for $n$-dimensional distributions that is quasi-linear in $n$, improving the previously…

Data Structures and Algorithms · Computer Science 2024-08-06 Tomer Adar , Eldar Fischer , Amit Levi

A particular case of Caccetta-H\"{a}ggkvist conjecture, says that a digraph of order $n$ with minimum out-degree at least $1/3n$ contains a directed cycle of length at most 3. Recently, Kral, Hladky and Norine proved that a digraph of order…

Combinatorics · Mathematics 2011-12-16 Nicolas Lichiardopol

We consider the problem of designing succinct navigational oracles, i.e., succinct data structures supporting basic navigational queries such as degree, adjacency, and neighborhood efficiently for intersection graphs on a circle, which…

Data Structures and Algorithms · Computer Science 2020-10-12 Hüseyin Acan , Sankardeep Chakraborty , Seungbum Jo , Kei Nakashima , Kunihiko Sadakane , Srinivasa Rao Satti

Using some combinatorial techniques, in this note, it is proved that if $\alpha\geq 0.28866$, then any digraph on $n$ vertices with minimum outdegree at least $\alpha n$ contains a directed cycle of length at most 4.

Combinatorics · Mathematics 2012-04-23 Hao Liang , Jun-Ming Xu

We study the problem of testing conductance in the setting of distributed computing and give a two-sided tester that takes $\mathcal{O}(\log(n) / (\epsilon \Phi^2))$ rounds to decide if a graph has conductance at least $\Phi$ or is…

Distributed, Parallel, and Cluster Computing · Computer Science 2017-10-20 Hendrik Fichtenberger , Yadu Vasudev

We study which property testing and sublinear time algorithms can be transformed into graph streaming algorithms for random order streams. Our main result is that for bounded degree graphs, any property that is constant-query testable in…

Data Structures and Algorithms · Computer Science 2017-07-25 Morteza Monemizadeh , S. Muthukrishnan , Pan Peng , Christian Sohler

This paper develops a new technique for proving amortized, randomized cell-probe lower bounds on dynamic data structure problems. We introduce a new randomized nondeterministic four-party communication model that enables "accelerated",…

Data Structures and Algorithms · Computer Science 2016-04-12 Omri Weinstein , Huacheng Yu

We present the first compact distance oracle that tolerates multiple failures and maintains exact distances. Given an undirected weighted graph $G = (V, E)$ and an arbitrarily large constant $d$, we construct an oracle that given vertices…

Data Structures and Algorithms · Computer Science 2021-11-08 Ran Duan , Hanlin Ren

Given a positive integer $m\ge 3$, let $ch(m)$ be the smallest positive constant with the following property: \emph{ Every simple directed graph on $n\ge 3$ vertices all whose outdegrees are at least $ch(m)\cdot n$ contains a directed cycle…

Combinatorics · Mathematics 2020-08-24 Dan Ismailescu , Joonsoo Lee , Andrew Yang

We propose the following conjecture extending Dirac's theorem: if $G$ is a graph with $n\ge 3$ vertices and minimum degree $\delta(G)\ge n/2$, then in every orientation of $G$ there is a Hamilton cycle with at least $\delta(G)$ edges…

Combinatorics · Mathematics 2023-03-13 Lior Gishboliner , Michael Krivelevich , Peleg Michaeli

We study quantum algorithms for verifying properties of the output probability distribution of a classical or quantum circuit, given access to the source code that generates the distribution. We consider the basic task of uniformity…

Quantum Physics · Physics 2024-11-08 Clément L. Canonne , Robin Kothari , Ryan O'Donnell

In this work, we develop new insights into the fundamental problem of convexity testing of real-valued functions over the domain $[n]$. Specifically, we present a nonadaptive algorithm that, given inputs $\eps \in (0,1), s \in \mathbb{N}$,…

Data Structures and Algorithms · Computer Science 2021-10-26 Abhiruk Lahiri , Ilan Newman , Nithin Varma

We discuss the inverse problem of determining the, possibly anisotropic, conductivity of a body $\Omega\subset\mathbb{R}^{n}$ when the so--called Dirichlet-to-Neumann map is locally given on a non empty portion $\Gamma$ of the boundary…

Analysis of PDEs · Mathematics 2012-02-27 Giovanni Alessandrini , Romina Gaburro

We study property testing in directed graphs in the bounded degree model, where we assume that an algorithm may only query the outgoing edges of a vertex, a model proposed by Bender and Ron in 2002. As our first main result, we we present a…

Data Structures and Algorithms · Computer Science 2013-12-03 Frank Hellweg , Christian Sohler

We deal with the problem of designing one-sided error property testers for cycle-freeness in bounded degree graphs. Such a property tester always accepts forests. Furthermore, when it rejects an input, it provides a short cycle as a…

Data Structures and Algorithms · Computer Science 2009-06-30 C. Seshadhri