Matches in SemOpenAlex for { <https://semopenalex.org/work/W2896317787> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W2896317787 endingPage "68" @default.
- W2896317787 startingPage "62" @default.
- W2896317787 abstract "Denote by SWE the satisfiability problem for word equations. Consider the problem of computability of the maximal exponent of periodicity for word equations MaxExpProblem(e,k) in which given positive integer k and a word equation e one is to check whether maximal exponent of periodicity of a solution of a word equation is at least k. We present both a deterministic polynomial time reduction of the MaxExpProblem(e,k) problem to the satisfiability problem for word equations and a deterministic polynomial time reduction in the opposite direction. Consequently, if the satisfiability problem is in NP then the other problem is NP-complete. As a simple consequence we get that computation of maximal exponent of periodicity of a solution set for a word equation is in PSWE (SWE is an oracle) and, consequently in PSPACE. Let ϕ be an existential boolean formula built on word equations expressing a relation on words by means of its unknowns. Consider the problem of checking the maximal exponent of periodicity of a component of a relation CMaxExpProblem(ϕ,k) in which given positive integer k and a formula ϕ one is to check whether maximal exponent of periodicity of a component of the relation is at least k. We give nondeterministic polynomial time reduction of the described above CMaxExpProblem(ϕ,k) problem to the satisfiability problem for word equations and deterministic polynomial time reduction in the other direction. Consequently, if the satisfiability problem is in NP then the other problem is NP-complete. Denote by SAT(WE) the satisfiability problem of closed existential formula built on word equations. As a simple consequence of our considerations we get that computation of maximal exponent of periodicity of a component of expressible relation is in PSAT(WE) (SAT(WE) is an oracle), and, consequently, in PSPACE. Another consequence of that is that if SWE is in NP, then the computability problem is in PNP. The above results hold also for semigroups with involution. If the expressible relation is defined by a formula using word equations and regular constraints we prove that the problem is PSPACE-complete. The same holds for free semigroups with involution and free groups." @default.
- W2896317787 created "2018-10-26" @default.
- W2896317787 creator A5012013814 @default.
- W2896317787 creator A5068812588 @default.
- W2896317787 date "2019-11-01" @default.
- W2896317787 modified "2023-09-24" @default.
- W2896317787 title "On the complexity of computation maximal exponent of periodicity of word equations and expressible relations (note)" @default.
- W2896317787 cites W2028685566 @default.
- W2896317787 cites W2037286444 @default.
- W2896317787 cites W2054924158 @default.
- W2896317787 cites W2499290539 @default.
- W2896317787 cites W2950216942 @default.
- W2896317787 doi "https://doi.org/10.1016/j.tcs.2018.10.022" @default.
- W2896317787 hasPublicationYear "2019" @default.
- W2896317787 type Work @default.
- W2896317787 sameAs 2896317787 @default.
- W2896317787 citedByCount "0" @default.
- W2896317787 crossrefType "journal-article" @default.
- W2896317787 hasAuthorship W2896317787A5012013814 @default.
- W2896317787 hasAuthorship W2896317787A5068812588 @default.
- W2896317787 hasConcept C111335779 @default.
- W2896317787 hasConcept C114614502 @default.
- W2896317787 hasConcept C118615104 @default.
- W2896317787 hasConcept C134306372 @default.
- W2896317787 hasConcept C138885662 @default.
- W2896317787 hasConcept C152062344 @default.
- W2896317787 hasConcept C168773769 @default.
- W2896317787 hasConcept C176181172 @default.
- W2896317787 hasConcept C199360897 @default.
- W2896317787 hasConcept C2524010 @default.
- W2896317787 hasConcept C2780388253 @default.
- W2896317787 hasConcept C311688 @default.
- W2896317787 hasConcept C33923547 @default.
- W2896317787 hasConcept C41008148 @default.
- W2896317787 hasConcept C41895202 @default.
- W2896317787 hasConcept C6943359 @default.
- W2896317787 hasConcept C90119067 @default.
- W2896317787 hasConcept C90805587 @default.
- W2896317787 hasConcept C97137487 @default.
- W2896317787 hasConceptScore W2896317787C111335779 @default.
- W2896317787 hasConceptScore W2896317787C114614502 @default.
- W2896317787 hasConceptScore W2896317787C118615104 @default.
- W2896317787 hasConceptScore W2896317787C134306372 @default.
- W2896317787 hasConceptScore W2896317787C138885662 @default.
- W2896317787 hasConceptScore W2896317787C152062344 @default.
- W2896317787 hasConceptScore W2896317787C168773769 @default.
- W2896317787 hasConceptScore W2896317787C176181172 @default.
- W2896317787 hasConceptScore W2896317787C199360897 @default.
- W2896317787 hasConceptScore W2896317787C2524010 @default.
- W2896317787 hasConceptScore W2896317787C2780388253 @default.
- W2896317787 hasConceptScore W2896317787C311688 @default.
- W2896317787 hasConceptScore W2896317787C33923547 @default.
- W2896317787 hasConceptScore W2896317787C41008148 @default.
- W2896317787 hasConceptScore W2896317787C41895202 @default.
- W2896317787 hasConceptScore W2896317787C6943359 @default.
- W2896317787 hasConceptScore W2896317787C90119067 @default.
- W2896317787 hasConceptScore W2896317787C90805587 @default.
- W2896317787 hasConceptScore W2896317787C97137487 @default.
- W2896317787 hasFunder F4320322511 @default.
- W2896317787 hasLocation W28963177871 @default.
- W2896317787 hasOpenAccess W2896317787 @default.
- W2896317787 hasPrimaryLocation W28963177871 @default.
- W2896317787 hasRelatedWork W1593050105 @default.
- W2896317787 hasRelatedWork W2075449032 @default.
- W2896317787 hasRelatedWork W2091345559 @default.
- W2896317787 hasRelatedWork W2166566648 @default.
- W2896317787 hasRelatedWork W2173621488 @default.
- W2896317787 hasRelatedWork W2810057751 @default.
- W2896317787 hasRelatedWork W2896317787 @default.
- W2896317787 hasRelatedWork W2963116775 @default.
- W2896317787 hasRelatedWork W3100189114 @default.
- W2896317787 hasRelatedWork W4299285717 @default.
- W2896317787 hasVolume "792" @default.
- W2896317787 isParatext "false" @default.
- W2896317787 isRetracted "false" @default.
- W2896317787 magId "2896317787" @default.
- W2896317787 workType "article" @default.