English
Related papers

Related papers: Nondeterministic Communication Complexity of Rando…

200 papers

In this paper we investigate the complexity of abduction, a fundamental and important form of non-monotonic reasoning. Given a knowledge base explaining the world's behavior it aims at finding an explanation for some observed manifestation.…

Computational Complexity · Computer Science 2010-06-28 Nadia Creignou , Johannes Schmidt , Michael Thomas

This work studies distributed learning in the spirit of Yao's model of communication complexity: consider a two-party setting, where each of the players gets a list of labelled examples and they communicate in order to jointly perform some…

Machine Learning · Computer Science 2018-04-24 Daniel M. Kane , Roi Livni , Shay Moran , Amir Yehudayoff

Since the seminal work of Paturi and Simon \cite[FOCS'84 & JCSS'86]{PS86}, the unbounded-error classical communication complexity of a Boolean function has been studied based on the arrangement of points and hyperplanes. Recently,…

Quantum Physics · Physics 2016-05-24 Kazuo Iwama , Harumichi Nishimura , Rudy Raymond , Shigeru Yamashita

Consider a monotone Boolean function $f:\{0,1\}^n\to\{0,1\}$ and the canonical monotone coupling $\{\eta_p:p\in[0,1]\}$ of an element in $\{0,1\}^n$ chosen according to product measure with intensity $p\in[0,1]$. The random point…

Probability · Mathematics 2018-10-08 Daniel Ahlberg , Jeffrey E. Steif , Gábor Pete

In this paper the Neciporuk method for proving lower bounds on the size of Boolean formulae is reformulated in terms of one-way communication complexity. We investigate the scenarios of probabilistic formulae, nondeterministic formulae, and…

Computational Complexity · Computer Science 2007-05-23 Hartmut Klauck

We prove that NP differs from coNP and coNP is not a subset of MA in the number-on-forehead model of multiparty communication complexity for up to k = (1-\epsilon)log(n) players, where \epsilon>0 is any constant. Specifically, we construct…

Computational Complexity · Computer Science 2022-03-29 Dmytro Gavinsky , Alexander A. Sherstov

In the paper where he first defined Communication Complexity, Yao asks: \emph{Is computing $CC(f)$ (the 2-way communication complexity of a given function $f$) NP-complete?} The problem of deciding whether $CC(f) \le k$, when given the…

Computational Complexity · Computer Science 2025-07-15 Shuichi Hirahara , Rahul Ilango , Bruno Loff

We prove a complexity dichotomy for Holant problems on the boolean domain with arbitrary sets of real-valued constraint functions. These constraint functions need not be symmetric nor do we assume any auxiliary functions as in previous…

Computational Complexity · Computer Science 2020-05-19 Shuai Shao , Jin-Yi Cai

We introduce a new measure on regular languages: their nondeterministic syntactic complexity. It is the least degree of any extension of the `canonical boolean representation' of the syntactic monoid. Equivalently, it is the least number of…

Formal Languages and Automata Theory · Computer Science 2021-01-12 Robert Myers , Stefan Milius , Henning Urbat

Functional dependencies restrict the potential interactions among variables connected in a probabilistic network. This restriction can be exploited in qualitative probabilistic reasoning by introducing deterministic variables and modifying…

Artificial Intelligence · Computer Science 2013-04-05 Michael P. Wellman

A major open problem in communication complexity is whether or not quantum protocols can be exponentially more efficient than classical protocols on _total_ Boolean functions in the two-party interactive model. The answer appears to be…

Quantum Physics · Physics 2008-04-14 Yaoyun Shi , Yufan Zhu

We study the amount of information that is contained in "random pictures", by which we mean the sample sets of a Boolean model. To quantify the notion "amount of information", two closely connected questions are investigated: on the one…

Probability · Mathematics 2020-02-07 Frank Aurzada , Mikhail Lifshits

We obtain new separation results for the two-party external information complexity of boolean functions. The external information complexity of a function $f(x,y)$ is the minimum amount of information a two-party protocol computing $f$ must…

Computational Complexity · Computer Science 2021-03-09 Mark Braverman , Dor Minzer

Representations of Boolean functions by real polynomials play an important role in complexity theory. Typically, one is interested in the least degree of a polynomial p(x_1,...,x_n) that approximates or sign-represents a given Boolean…

Computational Complexity · Computer Science 2008-05-15 Alexander A. Sherstov

Suppose that Alice and Bob are given each an infinite string, and they want to decide whether their two strings are in a given relation. How much communication do they need? How can communication be even defined and measured for infinite…

Computational Complexity · Computer Science 2015-01-26 Pierre Guillon , Emmanuel Jeandel

Let the randomized query complexity of a relation for error probability $\epsilon$ be denoted by $R_\epsilon(\cdot)$. We prove that for any relation $f \subseteq \{0,1\}^n \times \mathcal{R}$ and Boolean function $g:\{0,1\}^m \rightarrow…

Computational Complexity · Computer Science 2017-06-15 Anurag Anshu , Dmitry Gavinsky , Rahul Jain , Srijita Kundu , Troy Lee , Priyanka Mukhopadhyay , Miklos Santha , Swagato Sanyal

We prove that any total boolean function of rank $r$ can be computed by a deterministic communication protocol of complexity $O(\sqrt{r} \cdot \log(r))$. Equivalently, any graph whose adjacency matrix has rank $r$ has chromatic number at…

Computational Complexity · Computer Science 2013-10-09 Shachar Lovett

We completely (that is, up to a logarithmic factor) characterize the bounded-error quantum communication complexity of every predicate $f(x,y)$ depending only on $|x\cap y|$ ($x,y\subseteq [n]$). Namely, for a predicate $D$ on…

Quantum Physics · Physics 2015-06-26 Alexander Razborov

We relate the computational complexity of finite strings to universal representations of their underlying symmetries. First, Boolean functions are classified using the universal covering topologies of the circuits which enumerate them. A…

Information Theory · Computer Science 2011-09-20 John Scoville

The state complexity, respectively, nondeterministic state complexity of a regular language $L$ is the number of states of the minimal deterministic, respectively, of a minimal nondeterministic finite automaton for $L$. Some of the most…

Formal Languages and Automata Theory · Computer Science 2026-04-08 Arto Salomaa , Kai Salomaa , Taylor J. Smith