Matches in SemOpenAlex for { <https://semopenalex.org/work/W3136286710> ?p ?o ?g. }
Showing items 1 to 97 of
97
with 100 items per page.
- W3136286710 startingPage "17" @default.
- W3136286710 abstract "A word equation with one variable in a free group is given as U = V, where both U and V are words over the alphabet of generators of the free group and X, X⁻¹, for a fixed variable X. An element of the free group is a solution when substituting it for X yields a true equality (interpreted in the free group) of left- and right-hand sides. It is known that the set of all solutions of a given word equation with one variable is a finite union of sets of the form {α wⁱ β : i ∈ ℤ}, where α, w, β are reduced words over the alphabet of generators, and a polynomial-time algorithm (of a high degree) computing this set is known. We provide a cubic time algorithm for this problem, which also shows that the set of solutions consists of at most a quadratic number of the above-mentioned sets. The algorithm uses only simple tools of word combinatorics and group theory and is simple to state. Its analysis is involved and focuses on the combinatorics of occurrences of powers of a word within a larger word." @default.
- W3136286710 created "2021-03-29" @default.
- W3136286710 creator A5003918612 @default.
- W3136286710 creator A5066525178 @default.
- W3136286710 date "2021-01-01" @default.
- W3136286710 modified "2023-10-11" @default.
- W3136286710 title "Solving One Variable Word Equations in the Free Group in Cubic Time." @default.
- W3136286710 doi "https://doi.org/10.4230/lipics.stacs.2021.30" @default.
- W3136286710 hasPublicationYear "2021" @default.
- W3136286710 type Work @default.
- W3136286710 sameAs 3136286710 @default.
- W3136286710 citedByCount "0" @default.
- W3136286710 crossrefType "proceedings-article" @default.
- W3136286710 hasAuthorship W3136286710A5003918612 @default.
- W3136286710 hasAuthorship W3136286710A5066525178 @default.
- W3136286710 hasConcept C111472728 @default.
- W3136286710 hasConcept C112876837 @default.
- W3136286710 hasConcept C114614502 @default.
- W3136286710 hasConcept C118615104 @default.
- W3136286710 hasConcept C121332964 @default.
- W3136286710 hasConcept C129844170 @default.
- W3136286710 hasConcept C134306372 @default.
- W3136286710 hasConcept C138885662 @default.
- W3136286710 hasConcept C177264268 @default.
- W3136286710 hasConcept C17744445 @default.
- W3136286710 hasConcept C182365436 @default.
- W3136286710 hasConcept C199360897 @default.
- W3136286710 hasConcept C199539241 @default.
- W3136286710 hasConcept C200288055 @default.
- W3136286710 hasConcept C2524010 @default.
- W3136286710 hasConcept C2780586882 @default.
- W3136286710 hasConcept C2781311116 @default.
- W3136286710 hasConcept C311688 @default.
- W3136286710 hasConcept C33923547 @default.
- W3136286710 hasConcept C41008148 @default.
- W3136286710 hasConcept C41895202 @default.
- W3136286710 hasConcept C62520636 @default.
- W3136286710 hasConcept C65559279 @default.
- W3136286710 hasConcept C77021192 @default.
- W3136286710 hasConcept C90805587 @default.
- W3136286710 hasConcept C90988201 @default.
- W3136286710 hasConcept C94375191 @default.
- W3136286710 hasConceptScore W3136286710C111472728 @default.
- W3136286710 hasConceptScore W3136286710C112876837 @default.
- W3136286710 hasConceptScore W3136286710C114614502 @default.
- W3136286710 hasConceptScore W3136286710C118615104 @default.
- W3136286710 hasConceptScore W3136286710C121332964 @default.
- W3136286710 hasConceptScore W3136286710C129844170 @default.
- W3136286710 hasConceptScore W3136286710C134306372 @default.
- W3136286710 hasConceptScore W3136286710C138885662 @default.
- W3136286710 hasConceptScore W3136286710C177264268 @default.
- W3136286710 hasConceptScore W3136286710C17744445 @default.
- W3136286710 hasConceptScore W3136286710C182365436 @default.
- W3136286710 hasConceptScore W3136286710C199360897 @default.
- W3136286710 hasConceptScore W3136286710C199539241 @default.
- W3136286710 hasConceptScore W3136286710C200288055 @default.
- W3136286710 hasConceptScore W3136286710C2524010 @default.
- W3136286710 hasConceptScore W3136286710C2780586882 @default.
- W3136286710 hasConceptScore W3136286710C2781311116 @default.
- W3136286710 hasConceptScore W3136286710C311688 @default.
- W3136286710 hasConceptScore W3136286710C33923547 @default.
- W3136286710 hasConceptScore W3136286710C41008148 @default.
- W3136286710 hasConceptScore W3136286710C41895202 @default.
- W3136286710 hasConceptScore W3136286710C62520636 @default.
- W3136286710 hasConceptScore W3136286710C65559279 @default.
- W3136286710 hasConceptScore W3136286710C77021192 @default.
- W3136286710 hasConceptScore W3136286710C90805587 @default.
- W3136286710 hasConceptScore W3136286710C90988201 @default.
- W3136286710 hasConceptScore W3136286710C94375191 @default.
- W3136286710 hasLocation W31362867101 @default.
- W3136286710 hasOpenAccess W3136286710 @default.
- W3136286710 hasPrimaryLocation W31362867101 @default.
- W3136286710 hasRelatedWork W1496712506 @default.
- W3136286710 hasRelatedWork W1514144651 @default.
- W3136286710 hasRelatedWork W1516408003 @default.
- W3136286710 hasRelatedWork W1537696453 @default.
- W3136286710 hasRelatedWork W1872443082 @default.
- W3136286710 hasRelatedWork W1979656308 @default.
- W3136286710 hasRelatedWork W2025012811 @default.
- W3136286710 hasRelatedWork W2065007831 @default.
- W3136286710 hasRelatedWork W2081016988 @default.
- W3136286710 hasRelatedWork W2087237693 @default.
- W3136286710 hasRelatedWork W2090288940 @default.
- W3136286710 hasRelatedWork W2177142366 @default.
- W3136286710 hasRelatedWork W2317484767 @default.
- W3136286710 hasRelatedWork W2395384309 @default.
- W3136286710 hasRelatedWork W2937816712 @default.
- W3136286710 hasRelatedWork W2950688178 @default.
- W3136286710 hasRelatedWork W2962988727 @default.
- W3136286710 hasRelatedWork W2963826258 @default.
- W3136286710 hasRelatedWork W3036993596 @default.
- W3136286710 hasRelatedWork W3121468502 @default.
- W3136286710 isParatext "false" @default.
- W3136286710 isRetracted "false" @default.
- W3136286710 magId "3136286710" @default.
- W3136286710 workType "article" @default.