Matches in SemOpenAlex for { <https://semopenalex.org/work/W2591974499> ?p ?o ?g. }
Showing items 1 to 91 of
91
with 100 items per page.
- W2591974499 startingPage "14" @default.
- W2591974499 abstract "We investigate the class of regular-ordered word equations. In such equations, each variable occurs at most once in each side and the order of the variables occurring in both left and right hand sides is preserved (the variables can be, however, separated by potentially distinct constant factors). Surprisingly, we obtain that solving such simple equations, even when the sides contain exactly the same variables, is NP-hard. By considerations regarding the combinatorial structure of the minimal solutions of the more general quadratic equations we obtain that the satisfiability problem for regular-ordered equations is in NP. The complexity of solving such word equations under regular constraints is also settled. Finally, we show that a related class of simple word equations, that generalises one-variable equations, is in P." @default.
- W2591974499 created "2017-03-16" @default.
- W2591974499 creator A5006548981 @default.
- W2591974499 creator A5033306888 @default.
- W2591974499 creator A5077221909 @default.
- W2591974499 date "2017-01-01" @default.
- W2591974499 modified "2023-09-26" @default.
- W2591974499 title "The hardness of solving simple word equations" @default.
- W2591974499 doi "https://doi.org/10.4230/lipics.mfcs.2017.18" @default.
- W2591974499 hasPublicationYear "2017" @default.
- W2591974499 type Work @default.
- W2591974499 sameAs 2591974499 @default.
- W2591974499 citedByCount "7" @default.
- W2591974499 countsByYear W25919744992018 @default.
- W2591974499 countsByYear W25919744992019 @default.
- W2591974499 countsByYear W25919744992020 @default.
- W2591974499 countsByYear W25919744992021 @default.
- W2591974499 crossrefType "proceedings-article" @default.
- W2591974499 hasAuthorship W2591974499A5006548981 @default.
- W2591974499 hasAuthorship W2591974499A5033306888 @default.
- W2591974499 hasAuthorship W2591974499A5077221909 @default.
- W2591974499 hasConcept C111472728 @default.
- W2591974499 hasConcept C118615104 @default.
- W2591974499 hasConcept C129844170 @default.
- W2591974499 hasConcept C134306372 @default.
- W2591974499 hasConcept C138885662 @default.
- W2591974499 hasConcept C154945302 @default.
- W2591974499 hasConcept C168773769 @default.
- W2591974499 hasConcept C170036204 @default.
- W2591974499 hasConcept C182365436 @default.
- W2591974499 hasConcept C199360897 @default.
- W2591974499 hasConcept C200602138 @default.
- W2591974499 hasConcept C2524010 @default.
- W2591974499 hasConcept C2777027219 @default.
- W2591974499 hasConcept C2777212361 @default.
- W2591974499 hasConcept C2780586882 @default.
- W2591974499 hasConcept C28826006 @default.
- W2591974499 hasConcept C33923547 @default.
- W2591974499 hasConcept C41008148 @default.
- W2591974499 hasConcept C6943359 @default.
- W2591974499 hasConcept C78045399 @default.
- W2591974499 hasConcept C90805587 @default.
- W2591974499 hasConceptScore W2591974499C111472728 @default.
- W2591974499 hasConceptScore W2591974499C118615104 @default.
- W2591974499 hasConceptScore W2591974499C129844170 @default.
- W2591974499 hasConceptScore W2591974499C134306372 @default.
- W2591974499 hasConceptScore W2591974499C138885662 @default.
- W2591974499 hasConceptScore W2591974499C154945302 @default.
- W2591974499 hasConceptScore W2591974499C168773769 @default.
- W2591974499 hasConceptScore W2591974499C170036204 @default.
- W2591974499 hasConceptScore W2591974499C182365436 @default.
- W2591974499 hasConceptScore W2591974499C199360897 @default.
- W2591974499 hasConceptScore W2591974499C200602138 @default.
- W2591974499 hasConceptScore W2591974499C2524010 @default.
- W2591974499 hasConceptScore W2591974499C2777027219 @default.
- W2591974499 hasConceptScore W2591974499C2777212361 @default.
- W2591974499 hasConceptScore W2591974499C2780586882 @default.
- W2591974499 hasConceptScore W2591974499C28826006 @default.
- W2591974499 hasConceptScore W2591974499C33923547 @default.
- W2591974499 hasConceptScore W2591974499C41008148 @default.
- W2591974499 hasConceptScore W2591974499C6943359 @default.
- W2591974499 hasConceptScore W2591974499C78045399 @default.
- W2591974499 hasConceptScore W2591974499C90805587 @default.
- W2591974499 hasLocation W25919744991 @default.
- W2591974499 hasOpenAccess W2591974499 @default.
- W2591974499 hasPrimaryLocation W25919744991 @default.
- W2591974499 hasRelatedWork W1496015096 @default.
- W2591974499 hasRelatedWork W1502428252 @default.
- W2591974499 hasRelatedWork W1506622179 @default.
- W2591974499 hasRelatedWork W1555798330 @default.
- W2591974499 hasRelatedWork W1993370765 @default.
- W2591974499 hasRelatedWork W2030247517 @default.
- W2591974499 hasRelatedWork W2037286444 @default.
- W2591974499 hasRelatedWork W2094568767 @default.
- W2591974499 hasRelatedWork W2104853817 @default.
- W2591974499 hasRelatedWork W2117402063 @default.
- W2591974499 hasRelatedWork W2125429972 @default.
- W2591974499 hasRelatedWork W2473896820 @default.
- W2591974499 hasRelatedWork W2586775471 @default.
- W2591974499 hasRelatedWork W2767683523 @default.
- W2591974499 hasRelatedWork W2799736310 @default.
- W2591974499 hasRelatedWork W2899573209 @default.
- W2591974499 hasRelatedWork W2962726827 @default.
- W2591974499 hasRelatedWork W2963645376 @default.
- W2591974499 hasRelatedWork W2963789953 @default.
- W2591974499 hasRelatedWork W3208801818 @default.
- W2591974499 isParatext "false" @default.
- W2591974499 isRetracted "false" @default.
- W2591974499 magId "2591974499" @default.
- W2591974499 workType "article" @default.