English
Related papers

Related papers: Nondeterministic Communication Complexity with Hel…

200 papers

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

In this note we give a new effective proof method for the equivalence of the notions of testability and nondeterministic testability for uniform hypergraph parameters. We provide the first effective upper bound on the sample complexity of…

Data Structures and Algorithms · Computer Science 2015-09-11 Marek Karpinski , Roland Markó

Network or graph structures are ubiquitous in the study of complex systems. Often, we are interested in complexity trends of these system as it evolves under some dynamic. An example might be looking at the complexity of a food web as…

Information Theory · Computer Science 2007-07-16 Russell K. Standish

Deterministic and probabilistic communication protocols are introduced in which parties can exchange the values of polynomials (rather than bits in the usual setting). It is established a sharp lower bound $2n$ on the communication…

Computational Complexity · Computer Science 2007-10-16 Dima Grigoriev

We prove a near optimal round-communication tradeoff for the two-party quantum communication complexity of disjointness. For protocols with $r$ rounds, we prove a lower bound of $\tilde{\Omega}(n/r + r)$ on the communication required for…

Computational Complexity · Computer Science 2015-05-13 Mark Braverman , Ankit Garg , Young Kun Ko , Jieming Mao , Dave Touchette

We reduce the problem of proving deterministic and nondeterministic Boolean circuit size lower bounds to the analysis of certain two-dimensional combinatorial cover problems. This is obtained by combining results of Razborov (1989),…

Computational Complexity · Computer Science 2025-03-19 Bruno P. Cavalar , Igor C. Oliveira

We establish a connection between non-deterministic communication complexity and instance complexity, a measure of information based on algorithmic entropy. Let $\overline{x}$, $\overline{y}$ and $Y_1(\overline{x})$ be respectively the…

Computational Complexity · Computer Science 2009-01-20 Armando Matos , Andreia Teixeira , Andre Souto

We consider the communication complexity of finding an approximate maximum matching in a graph in a multi-party message-passing communication model. The maximum matching problem is one of the most fundamental graph combinatorial problems,…

Data Structures and Algorithms · Computer Science 2017-04-28 Zengfeng Huang , Bozidar Radunovic , Milan Vojnovic , Qin Zhang

Numbers-on-Forehead (NOF) communication model is a central model in communication complexity. As a restricted variant, one-way NOF model is of particular interest. Establishing strong one-way NOF lower bounds would imply circuit lower…

Quantum Physics · Physics 2026-03-25 Guangxu Yang , Jiapeng Zhang

We initiate the theory of communication complexity of individual inputs held by the agents, rather than worst-case or average-case. We consider total, partial, and partially correct protocols, one-way versus two-way, with and without help…

Computational Complexity · Computer Science 2007-05-23 Harry Buhrman , Hartmut Klauck , Nikolai Vereshchagin , Paul Vitanyi

In this article we establish new bounds on the quantum communication complexity of distributed problems. Specifically, we consider the amount of communication that is required to transform a bipartite state into another, typically more…

Quantum Physics · Physics 2007-05-23 Wim van Dam , Patrick Hayden

In this paper, we consider bounded width circuits and nondeterministic circuits in three somewhat new directions. In the first part of this paper, we mainly consider bounded width circuits. The main purpose of this part is to prove that…

Computational Complexity · Computer Science 2019-04-15 Hiroki Morizumi

We study the complexity of fundamental distributed graph problems in the recently popular setting where information about the input graph is available to the nodes before the start of the computation. We focus on the most common such…

Distributed, Parallel, and Cluster Computing · Computer Science 2024-05-03 Alkida Balliu , Thomas Boudier , Sebastian Brandt , Dennis Olivetti

We study the power of randomness in the Number-on-Forehead (NOF) model in communication complexity. We construct an explicit 3-player function $f:[N]^3 \to \{0,1\}$, such that: (i) there exist a randomized NOF protocol computing it that…

Computational Complexity · Computer Science 2024-01-04 Zander Kelley , Shachar Lovett , Raghu Meka

Nonterminal complexity of a context-free language is the smallest possible number of nonterminals in its generating grammar. While in general case nonterminal complexity computation problem is unsolvable, it can be computed for different…

Formal Languages and Automata Theory · Computer Science 2021-03-23 Dmitry Golubenko

In the era of big data, it is necessary to split extremely large data sets across multiple computing nodes and construct estimators using the distributed data. When designing distributed estimators, it is desirable to minimize the amount of…

Statistics Theory · Mathematics 2022-04-25 Azeem Zaman , Botond Szabó

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

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

In communication field, an important issue is to group users and base stations to as many as possible subnetworks satisfying certain interference constraints. These problems are usually formulated as a graph partition problems which…

Combinatorics · Mathematics 2020-09-30 Chicheng Ma , Yucong Tang , Guanghui Wang , Guiying Yan , Bo Bai

We show that the parametrised topological complexity of Cohen, Farber and Weinberger gives an invariant of group epimorphisms. We extend various bounds for the topological complexity of groups to obtain bounds for the parametrised…

Algebraic Topology · Mathematics 2021-10-28 Mark Grant