A hierarchy of nondeterminism

B Abu Radi, O Kupferman… - … Foundations of Computer …, 2021 - drops.dagstuhl.de
… In this section we study the complexity of the problem of deciding the nondeterminism level
of a given automaton. Note we refer here to the syntactic class (eg, deciding whether a given …

Nondeterministic and randomized boolean hierarchies in communication complexity

T Pitassi, M Shirley, T Watson - computational complexity, 2021 - Springer
… the Nondeterministic and Randomized Boolean Hierarchies, … complexity classes within and
across these two hierarchies. In particular, we prove that the Randomized Boolean Hierarchy

Pseudodeterministic algorithms and the structure of probabilistic time

Z Lu, IC Oliveira, R Santhanam - Proceedings of the 53rd Annual ACM …, 2021 - dl.acm.org
… This implies that 𝐿𝑘 ∈ BPP/1 by using a constructive upper bound for this regime of time
complexity. We first specify the … A hierarchy for nondeterministic time complexity. J. Comput. …

Learning hierarchical structures with differentiable nondeterministic stacks

B DuSell, D Chiang - arXiv preprint arXiv:2109.01982, 2021 - arxiv.org
… It has cubic time complexity and quadratic space complexity with respect to input length,
leading to higher wall-clock run time than other stack RNNs, but often better task performance. …

Strong co-nondeterministic lower bounds for NP cannot be proved feasibly

J Pich, R Santhanam - Proceedings of the 53rd Annual ACM SIGACT …, 2021 - dl.acm.org
nondeterministic lower bounds we show to be unprovable do not ask for a proof of consistency
of any proof system, ie the nondeterministic … J.; On the computational complexity of finding …

When a little nondeterminism goes a long way: An introduction to history-determinism

U Boker, K Lehtinen - ACM SIGLOG News, 2023 - dl.acm.org
… its nondeterminism can be resolved on-the-fly, by only taking into account the prefix of the
word read so far. This restricted form of nondeterminism … some of the power of nondeterminism. …

A hierarchy of local decision

L Feuilloley, P Fraigniaud, J Hirvonen - Theoretical Computer Science, 2021 - Elsevier
We extend the notion of distributed decision in the framework of distributed network computing,
inspired by both the polynomial hierarchy for Turing machines and recent results on so-…

Nondeterministic Quasi-Polynomial Time is Average-Case Hard for Circuits

L Chen - SIAM Journal on Computing, 2024 - SIAM
… in computational complexity whether \(\textsf{NEXP}\) (nondeterministic exponential time)
has … method [66], puts many important classical complexity results together, ranging from the …

[图书][B] Comparative analysis of deterministic and nondeterministic decision trees

M Moshkov - 2020 - Springer
… We consider various complexity measures which characterize time complexity of decision
trees. One of the most known among them is the depth. The depth of a decision tree is the …

Probabilistic hyperproperties with nondeterminism

E Ábrahám, E Bartocci, B Bonakdarpour… - … Symposium on Automated …, 2020 - Springer
… To model this program by an MDP, we can use two nondeterministic actions for the two
branches of the if statement, such that the choice of different schedulers corresponds to the …