Search Results - Nondeterministic parallel complexity classes

Efficient parallel derivation of short distinguishing sequences for nondeterministic finite state machines using MapReduce by Elghadyry, Bilal, Ouardi, Faissal, Lotfi, Zineb, Verel, Sébastien

“… In this paper, we address the scalability issue encountered while deriving distinguishing sequences from complete observable nondeterministic finite state machines by introducing a massively parallel…”
Get full text

Circuit Definitions of Nondeterministic Complexity Classes by Venkateswaran, H.

“…This paper considers restrictions on Boolean circuits and uses them to obtain new uniform circuit characterizations of nondeterministic space and time classes…”
Get full text

Saturation and stability in the theory of computation over the reals by Chapuis, Olivier, Koiran, Pascal

“… ? Some unclassical complexity classes arise naturally in the study of these questions. They are still open, but we could obtain unconditional results of independent interest…”
Get full text

A CMOS-compatible oscillation-based VO2 Ising machine solver by Maher, Olivier, Jiménez, Manuel, Delacour, Corentin, Harnack, Nele, Núñez, Juan, Avedillo, María J., Linares-Barranco, Bernabé, Todri-Sanial, Aida, Indiveri, Giacomo, Karg, Siegfried

“… belonging to the nondeterministic polynomial time complexity class using nanoscale vanadium-dioxide-based…”
Get full text

Complexity Limitations on One-turn Quantum Refereed Games by Ghosh, Soumik, Watrous, John

“… implementable joint measurement on the two states to determine which of the player wins. The complexity class QRG(1…”
Get full text

A Robust Theory of Series Parallel Graphs by Alur, Rajeev, Stanford, Caleb, Watson, Christopher

“…Motivated by distributed data processing applications, we introduce a class of labeled directed acyclic graphs constructed using sequential and parallel composition operations, and study automata and logics…”
Get full text

A logical approach to locality in pictures languages by Grandjean, Etienne, Olive, Frédéric

“…≥1 recognized in linear time on nondeterministic cellular automata, a robust complexity class that contains, for d…”
Get full text

Ambiguous classes in μ -calculi hierarchies by Santocanale, Luigi, Arnold, André

“… In the language of μ -calculi, this theorem asserts the equality between the complexity classes Σ 2 ∩ Π 2 and Comp ( Σ 1 , Π 1…”
Get full text

Correctness of Multiplicative Additive Proof Structures is NL-Complete by de Naurois, P.J., Mogbil, V.

“…The authors revisit the correctness criterion for the multiplicative additive fragment of linear logic. We prove that deciding the correctness of corresponding…”
Get full text

A communication hierarchy of parallel computations by Geffert, Viliam

“… We show that, though the underlying machine for the synchronized alternation is alternating, the nature of message broadcasting is nondeterministic…”
Get full text

On solutions and representations of spiking neural P systems with rules on synapses by Cabarle, Francis George C., de la Cruz, Ren Tristan A., Cailipan, Dionne Peter P., Zhang, Defu, Liu, Xiangrong, Zeng, Xiangxiang

“…Spiking neural P systems, or SN P systems, are parallel and nondeterministic computing models inspired by spike processing of neurons…”
Get full text

A Log-Space Algorithm for Reachability in Planar Acyclic Digraphs with Few Sources by Stolee, Derrick, Bourke, Chris, Vinodchandran, N V

“…Designing algorithms that use logarithmic space for graph reachability problems is fundamental to complexity theory…”
Get full text

Computing functions with parallel queries to NP by Jenner, Birgit, Torán, Jacobo

“… = P, and that the equality of the classes FP log NP and FP ∥ NP would imply that the number of nondeterministic bits needed for the computation of any problem…”
Get full text

Size Matters: Logarithmic Space is Real Time by Bruda, S.D., Akl, S.G.

“…We show that all the problems solvable by a nondeterministic machine with logarithmic work space (NL…”
Get full text

Depth-two P systems can simulate Turing machines with NP oracles by Leporati, Alberto, Manzoni, Luca, Mauri, Giancarlo, Zandron, Claudio

“…•This model uses evolution, communication, dissolution, and (weak) membrane division rules.•We prove that these P systems compute at least all problems in the complexity class…”
Get full text

Computing with cells: membrane systems - some complexity issues by Ibarra, Oscar H., Păun, Andrei

“… By using the rules in a nondeterministic/deterministic maximally parallel manner, transitions between the system configurations can be obtained…”
Get full text

CHARACTERIZATIONS OF PARALLEL COMPLEXITY CLASSES by VENKATESWARAN, H

“…) the two players' roles are completely symmetric. The new game is used to study the relationship between two natural parallel complexity classes, namely LOGCFL and AC('1…”
Get full text

Parallel real -time complexity theory by Bruda, Stefan Dinu

“…We present a new complexity theoretic approach to real-time computations. We define timed ω-languages as a new formal model for such computations…”
Get full text

The Fine-Grained Complexity of Problems Expressible by First-Order Logic and Its Extensions by Gao, Jiawei

“…This dissertation studies the fine-grained complexity of model checking problems for fixed logical formulas on sparse input…”
Get full text

A Parallel Algorithm for Coloring the Vertices of a Graph by Narvik, Azman Sadeque

“… It is one of the hardest problems in the nondeterministic polynomial time complexity class (NP…”
Get full text