Determining Implication of Fixed Matrix Prenex Normal Forms Can Be Decided in Linear Time
Data Structures and Algorithms
2025-04-23 v1 Discrete Mathematics
Abstract
For a fixed arbitrary matrix depending on variables, one may ask whether a Prenex Normal Form (PNF) implies another. A RAM algorithm running in linear time is presented and shown to be asymptotically optimal.
Cite
@article{arxiv.2504.15294,
title = {Determining Implication of Fixed Matrix Prenex Normal Forms Can Be Decided in Linear Time},
author = {Adam Wang},
journal= {arXiv preprint arXiv:2504.15294},
year = {2025}
}