Equations in Free Semigroups with Anti-involution and Their Relation to Equations in Free Groups
نویسنده
چکیده
The main result of the paper is the reduction of the problem of satisfiability of equations in free groups to the satisfiability of equations in free semigroups with anti-involution (SGA), by a non-deterministic polynomial time transformation. A free SGA is essentially the set of words over a given alphabet plus an operator which reverses words. We study equations in free SGA, generalizing several results known for equations in free semigroups, among them that the exponent of periodicity of a minimal solution of an equation E in free SGA is bounded by 2O(|E|).
منابع مشابه
Equations in free semigroups with involution and their relation to equations in free groups
A free semigroup with involution (FSI) is essentially the set of words over a given alphabet plus an operator which reverses words. The paper introduces equations in FSI and show that they are the right objects to deal with when studying the complexity of equations in free groups. On these lines, we generalize to FSI several results valid for word equations, like the overlapping lemma, the 2O(|...
متن کاملFinding All Solutions of Equations in Free Groups and Monoids with Involution
The aim of this paper is to present a PSPACE algorithm which yields a finite graph of exponential size and which describes the set of all solutions of equations in free groups as well as the set of all solutions of equations in free monoids with involution in the presence of rational constraints. This became possible due to the recently invented recompression technique of the second author. He ...
متن کاملA Simple and Systematic Approach for Implementing Boundary Conditions in the Differential Quadrature Free and Forced Vibration Analysis of Beams and Rectangular Plates
This paper presents a simple and systematic way for imposing boundary conditions in the differential quadrature free and forced vibration analysis of beams and rectangular plates. First, the Dirichlet- and Neumann-type boundary conditions of the beam (or plate) are expressed as differential quadrature analog equations at the grid points on or near the boundaries. Then, similar to CBCGE (direct ...
متن کاملAn Investigation on the Effects of Gas Pressure Drop in Heat Exchangers on Dynamics of a Free Piston Stirling Engine
This paper is devoted to study the effects of pressure drop in heat exchangers on the dynamics of a free piston Stirling engine. First, the dynamic equations governing the pistons as well as the gas pressure equations for hot and cold spaces of the engine are extracted. Then, by substituting the obtained pressure equations into the dynamic relationships the final nonlinear dynamic equations gov...
متن کاملFree Vibration and Buckling Analysis of Sandwich Panels with Flexible Cores Using an Improved Higher Order Theory
In this paper, the behavior of free vibrations and buckling of the sandwich panel with a flexible core was investigated using a new improved high-order sandwich panel theory. In this theory, equations of motion were formulated based on shear stresses in the core. First-order shear deformation theory was applied for the procedures. In this theory, for the first time, incompatibility problem of...
متن کامل