Showing 1–1 of 1 results for author: Tellechea, M

Two algorithms to decide Quantifier-free Definability in Finite Algebraic Structures

Authors: Miguel Campercholi, Mauricio Tellechea, Pablo Ventura

Abstract: This work deals with the definability problem by quantifier-free first-order formulas over a finite algebraic structure. We show the problem to be coNP-complete and present two decision algorithms based on a semantical characterization of definable relations as those preserved by isomorphisms of substructures, the second one also providing a formula in the positive case. Our approach also includes… ▽ More This work deals with the definability problem by quantifier-free first-order formulas over a finite algebraic structure. We show the problem to be coNP-complete and present two decision algorithms based on a semantical characterization of definable relations as those preserved by isomorphisms of substructures, the second one also providing a formula in the positive case. Our approach also includes the design of an algorithm that computes the isomorphism type of a tuple in a finite algebraic structure. Proofs of soundness and completeness of the algorithms are presented, as well as empirical tests assessing their performances. △ Less

Submitted 29 March, 2023; originally announced March 2023.