English
Related papers

Related papers: Parity Decision Tree Complexity and 4-Party Commun…

200 papers

The log-rank conjecture in communication complexity suggests that the deterministic communication complexity of any Boolean rank-r function is bounded by polylog(r). Recently, major progress was made by Lovett who proved that the…

Computational Complexity · Computer Science 2014-09-24 Thomas Rothvoss

Given two rooted phylogenetic trees on the same set of taxa X, the Maximum Agreement Forest problem (MAF) asks to find a forest that is, in a certain sense, common to both trees and has a minimum number of components. The Maximum Acyclic…

Combinatorics · Mathematics 2012-12-27 Leo van Iersel , Steven Kelk , Nela Lekić , Leen Stougie

We show a tight lower bound of $\Omega(N \log\log N)$ on the number of transmissions required to compute the parity of $N$ input bits with constant error in a noisy communication network of $N$ randomly placed sensors, each having one input…

Distributed, Parallel, and Cluster Computing · Computer Science 2015-02-10 Chinmoy Dutta , Yashodhan Kanoria , D. Manjunath , Jaikumar Radhakrishnan

The dramatic improvements in combinatorial optimization algorithms over the last decades have had a major impact in artificial intelligence, operations research, and beyond, but the output of current state-of-the-art solvers is often hard…

Logic in Computer Science · Computer Science 2022-09-27 Stephan Gocht , Jakob Nordström

The communication class $\mathbf{UPP}^{\text{cc}}$ is a communication analog of the Turing Machine complexity class $\mathbf{PP}$. It is characterized by a matrix-analytic complexity measure called sign-rank (also called dimension…

Computational Complexity · Computer Science 2019-03-05 Mark Bun , Nikhil S. Mande , Justin Thaler

The main conceptual contribution of this paper is investigating quantum multiparty communication complexity in the setting where communication is \emph{oblivious}. This requirement, which to our knowledge is satisfied by all quantum…

Quantum Physics · Physics 2023-12-29 François Le Gall , Daiki Suruga

We show that quantum query complexity satisfies a strong direct product theorem. This means that computing $k$ copies of a function with less than $k$ times the quantum queries needed to compute one copy of the function implies that the…

Quantum Physics · Physics 2012-07-23 Troy Lee , Jérémie Roland

We establish novel connections between magic in quantum circuits and communication complexity. In particular, we show that functions computable with low magic have low communication cost. Our first result shows that the $\mathsf{D}\|$…

Quantum Physics · Physics 2025-10-09 Uma Girish , Alex May , Natalie Parham , Henry Yuen

For $S \subseteq \{0,1\}^n$ a Boolean function $f \colon S \to \{-1,1\}$ is a polynomial threshold function (PTF) of degree $d$ and weight $W$ if there is a polynomial $p$ with integer coefficients of degree $d$ and with sum of absolute…

Computational Complexity · Computer Science 2022-12-22 Vladimir Podolskii , Nikolay V. Proskurin

We prove new lower bounds for bounded error quantum communication complexity. Our methods are based on the Fourier transform of the considered functions. First we generalize a method for proving classical communication complexity lower…

Quantum Physics · Physics 2007-05-23 Hartmut Klauck

Propositional satisfiability (SAT) solvers, which typically operate using conjunctive normal form (CNF), have been successfully applied in many domains. However, in some application areas such as circuit verification, bounded model…

Logic in Computer Science · Computer Science 2013-11-19 Tero Laitinen , Tommi Junttila , Ilkka Niemelä

Parity games have witnessed several new quasi-polynomial algorithms since the breakthrough result of Calude et al. (STOC 2017). The combinatorial object underlying these approaches is a universal tree, as identified by Czerwi\'nski et al.…

Data Structures and Algorithms · Computer Science 2025-06-25 Zhuan Khye Koh , Georg Loho

In the decision tree computation model for Boolean functions, the depth corresponds to query complexity, and size corresponds to storage space. The depth measure is the most well-studied one, and is known to be polynomially related to…

Computational Complexity · Computer Science 2022-09-27 Yogesh Dahiya , Meena Mahajan

Generalizing a boolean function from Cleve and Buhrman \cite{cb:sqec}, we consider the class of {\it accumulative boolean functions} of the form $f_B(X_1,X_2,..., X_m)=\bigoplus_{i=1}^n t_B(x_i^1x_i^2... x_i^m)$, where…

Quantum Physics · Physics 2007-05-23 Sudebkumar Prasant Pal , Sima Das , Somesh Kumar

Following a recent improvement of Cardinal et al. on the complexity of a linear decision tree for $k$-SUM, resulting in $O(n^3 \log^3{n})$ linear queries, we present a further improvement to $O(n^2 \log^2{n})$ such queries.

Computational Geometry · Computer Science 2016-07-18 Esther Ezra , Micha Sharir

In this paper, we initiate study of the computational power of adaptive and non-adaptive monotone decision trees - decision trees where each query is a monotone function on the input bits. In the most general setting, the monotone decision…

Computational Complexity · Computer Science 2023-01-03 Prashanth Amireddy , Sai Jayasurya , Jayalal Sarma

Sensitivity conjecture is a longstanding and fundamental open problem in the area of complexity measures of Boolean functions and decision tree complexity. The conjecture postulates that the maximum sensitivity of a Boolean function is…

Computational Complexity · Computer Science 2014-11-14 Andris Ambainis , Mohammad Bavarian , Yihan Gao , Jieming Mao , Xiaoming Sun , Song Zuo

In a recent result, Knop, Lovett, McGuire and Yuan (STOC 2021) proved the log-rank conjecture for communication complexity, up to log n factor, for any Boolean function composed with AND function as the inner gadget. One of the main tools…

Computational Complexity · Computer Science 2024-06-14 Farzan Byramji , Vatsal Jha , Chandrima Kayal , Rajat Mittal

Given a classical query algorithm as a decision tree, when does there exist a quantum query algorithm with a speed-up over the classical one? We provide a general construction based on the structure of the underlying decision tree, and…

Quantum Physics · Physics 2025-06-25 Arjan Cornelissen , Nikhil S. Mande , Subhasree Patro

We study the query complexity of computing a function f:{0,1}^n-->R_+ in expectation. This requires the algorithm on input x to output a nonnegative random variable whose expectation equals f(x), using as few queries to the input x as…

Quantum Physics · Physics 2014-11-27 Jedrzej Kaniewski , Troy Lee , Ronald de Wolf