Pseudo-Deterministic Query Complexity of Search Problems

We relate various complexity measures like sensitivity, block sensitivity, certificate complexity for multi-output functions to the query complexities of such functions. Using these relations, we show that the deterministic query complexity of total search problems is at most the third power of its...

Full description

Saved in:
Bibliographic Details
Published in:Computational complexity Vol. 34; no. 2; p. 20
Main Authors: Chattopadhyay, Arkadev, Dahiya, Yogesh, Mahajan, Meena
Format: Journal Article
Language:English
Published: Cham Springer International Publishing 01.12.2025
Springer Nature B.V
Subjects:
Algorithm Analysis and Problem Complexity
Coloring
Complexity
Computational Mathematics and Numerical Analysis
Computer Science
Decision trees
Determinism
Hypercubes
Lower bounds
Queries
Searching
Sensitivity
Separation
68Q15
Boolean functions
Pseudo-determinism
68Q17
Randomness
Search problems
Decision trees
68Q10
ISSN:1016-3328, 1420-8954
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:We relate various complexity measures like sensitivity, block sensitivity, certificate complexity for multi-output functions to the query complexities of such functions. Using these relations, we show that the deterministic query complexity of total search problems is at most the third power of its pseudo-deterministic query complexity. Previously, a fourth-power relation was shown by Goldreich, Goldwasser and Ron (ITCS'13). Using our proof along with a decision-tree manipulation technique, we give a simple and self-contained proof that the SearchCNF problem on random k -CNF has pseudo-deterministic query complexity Ω ( n 1 / 3 ) ; a lower bound of Ω ( n ) is known, due to Goldwasser, Impagliazzo, Pitassi, and Santhanam (CCC'21), but via a significantly more complex proof. We improve the known separation between pseudo-deterministic and randomized decision tree size for total search problems in two ways: (1) We exhibit an exp ( Ω ~ ( n 1 / 4 ) ) separation for the SearchCNF relation for random k -CNFs. This seems to be the first exponential lower bound on the pseudo-deterministic size complexity of SearchCNF associated with random k -CNFs. (2) We exhibit an exp ( Ω ( n ) ) separation for the ApproxHW relation. The previous best known separation for any relation was exp ( Ω ( n 1 / 2 ) ) . We also separate pseudo-determinism from randomness in AND and CONJ decision trees, and determinism from pseudo-determinism in Parity decision trees. Finally, for a hypercube colouring problem, that was introduced by Goldwasswer et al. to analyze the pseudo-deterministic complexity of a complete problem in TFNPdt , we prove that either the monotone block-sensitivity or the anti-monotone block sensitivity is Ω ( n 1 / 3 ) ; Goldwasser et al. showed an Ω ( n 1 / 2 ) bound for general block-sensitivity.
Bibliography:ObjectType-Article-1
SourceType-Scholarly Journals-1
ObjectType-Feature-2
content type line 14
ISSN:1016-3328
1420-8954
DOI:10.1007/s00037-025-00266-7