Algorithms for maximal existential and universal width Algorithms for maximal existential and universal width

Maximal existential width and maximal universal width provide methods of quantifying the amount of nondeterminism and parallelism, respectively, present in computations of an alternating finite automaton (AFA). In this paper, we primarily seek to understand the complexity landscape of the problems p...

Full description

Saved in:
Bibliographic Details
Published in:Natural computing Vol. 24; no. 3; pp. 541 - 556
Main Authors: Alajaji, John, Salomaa, Kai
Format: Journal Article
Language:English
Published: Dordrecht Springer Netherlands 01.09.2025
Springer Nature B.V
Subjects:
Algorithms
Artificial Intelligence
Complex Systems
Computation
Computer Science
Evolutionary Biology
Integers
Leaves
Polynomials
Processor Architectures
Theory of Computation
Trees
Alternating finite automaton
Measure of nondeterminism
Decidability
Universal and existential choices
ISSN:1567-7818, 1572-9796
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:Maximal existential width and maximal universal width provide methods of quantifying the amount of nondeterminism and parallelism, respectively, present in computations of an alternating finite automaton (AFA). In this paper, we primarily seek to understand the complexity landscape of the problems pertaining to computing these widths. One such problem involves deciding whether the maximal universal width or maximal existential width of an AFA is bounded by a given integer k . For the case of a nondeterministic finite automaton (NFA), we give a polynomial time algorithm for computing maximal existential width. We also present a polynomial time algorithm for computing the existential width of a general AFA, under the assumption that the AFA’s universal width is bounded by a fixed integer ℓ . Finally, we reconsider the problems of computing existential and universal widths for AFAs over a unary language and demonstrate that both problems can be solved in polynomial time.
Bibliography:ObjectType-Article-1
SourceType-Scholarly Journals-1
ObjectType-Feature-2
content type line 14
ISSN:1567-7818
1572-9796
DOI:10.1007/s11047-025-10022-z