Inapproximability of Nondeterministic State and Transition Complexity Assuming P ≠ NP

DOI10.1007/978-3-540-73208-2_21MaRDI QIDQ5428232zbMATH OpenOpenAlexFDO

Authors Hermann Gruber, Markus Holzer

Publication date 28 November 2007

Published in Developments in Language Theory (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-73208-2_21

Mathematics Subject Classification ID

Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17) Analysis of algorithms and problem complexity (68Q25) Formal languages and automata (68Q45)

Recommendations

• STACS 2005
• Minimizing nfa's and regular expressions
• The Tractability Frontier for NFA Minimization
• Minimizing finite automata is computationally hard
• Nearly tight approximability results for minimum biclique cover and partition

Cited in

(25)

• Descriptional complexity of regular languages
• On minimizing regular expressions without Kleene star
• Nondeterministic state complexity of nested word automata
• On the limits of the communication complexity technique for proving lower bounds on the size of minimal NFA's
• Operational state complexity of nested word automata
• Determinizing monitors for HML with recursion
• Efficient approximation for restricted biclique cover problems
• On the complexity of determinizing monitors
• Nearly tight approximability results for minimum biclique cover and partition
• P ≠ NP ∩ co-NP for Infinite Time Turing Machines
• On the Hardness of Determining Small NFA’s and of Proving Lower Bounds on Their Sizes
• Nondeterministic Finite Automata—Recent Results on the Descriptional and Computational Complexity
• Descriptional and Computational Complexity of Finite Automata
• State Complexity of Nested Word Automata
• The tractability frontier for NFA minimization
• Mod/Resc parsimony inference: theory and application
• Parallel algorithms for minimal nondeterministic finite automata inference
• Circulant almost cross intersecting families
• A combinatorial approach for small and strong formulations of disjunctive constraints
• Descriptional and computational complexity of finite automata -- a survey
• Limitations of lower bound methods for deterministic nested word automata
• scientific article; zbMATH DE number 7764108 (Why is no real title available?)
• Property testing of the Boolean and binary rank
• Backward and forward bisimulation minimization of tree automata
• Lower bounds for the transition complexity of NFAs

This page was built for publication: Inapproximability of Nondeterministic State and Transition Complexity Assuming P ≠ NP

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5428232)