Matches in SemOpenAlex for { <https://semopenalex.org/work/W3198190303> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W3198190303 endingPage "142" @default.
- W3198190303 startingPage "122" @default.
- W3198190303 abstract "Satisfiability of word equations problem is: Given two sequences consisting of letters and variables decide whether there is a substitution for the variables that turns this equation into true equality. The exact computational complexity of this problem remains unknown, with the best lower and upper bounds being, respectively, NP and PSPACE. Recently, the novel technique of recompression was applied to this problem, simplifying the known proofs and lowering the space complexity to (non-deterministic) O(nlogn). In this paper we show that satisfiability of word equations is in non-deterministic linear space, thus the language of satisfiable word equations is context-sensitive. We use the known recompression-based algorithm and additionally employ Huffman coding for letters. The proof, however, uses analysis of how the fragments of the equation depend on each other as well as a new strategy for non-deterministic choices of the algorithm." @default.
- W3198190303 created "2021-09-13" @default.
- W3198190303 creator A5066525178 @default.
- W3198190303 date "2022-02-01" @default.
- W3198190303 modified "2023-10-11" @default.
- W3198190303 title "Word equations in non-deterministic linear space" @default.
- W3198190303 cites W2011321017 @default.
- W3198190303 cites W2028685566 @default.
- W3198190303 cites W2039800792 @default.
- W3198190303 cites W2040480652 @default.
- W3198190303 cites W2054924158 @default.
- W3198190303 cites W2123995178 @default.
- W3198190303 cites W2161510308 @default.
- W3198190303 cites W2898856767 @default.
- W3198190303 cites W2963645376 @default.
- W3198190303 cites W2980901358 @default.
- W3198190303 cites W2995323499 @default.
- W3198190303 doi "https://doi.org/10.1016/j.jcss.2021.08.001" @default.
- W3198190303 hasPublicationYear "2022" @default.
- W3198190303 type Work @default.
- W3198190303 sameAs 3198190303 @default.
- W3198190303 citedByCount "3" @default.
- W3198190303 countsByYear W31981903032022 @default.
- W3198190303 countsByYear W31981903032023 @default.
- W3198190303 crossrefType "journal-article" @default.
- W3198190303 hasAuthorship W3198190303A5066525178 @default.
- W3198190303 hasBestOaLocation W31981903032 @default.
- W3198190303 hasConcept C108710211 @default.
- W3198190303 hasConcept C111919701 @default.
- W3198190303 hasConcept C11413529 @default.
- W3198190303 hasConcept C118615104 @default.
- W3198190303 hasConcept C151730666 @default.
- W3198190303 hasConcept C168773769 @default.
- W3198190303 hasConcept C179799912 @default.
- W3198190303 hasConcept C197685441 @default.
- W3198190303 hasConcept C2524010 @default.
- W3198190303 hasConcept C2778572836 @default.
- W3198190303 hasConcept C2779343474 @default.
- W3198190303 hasConcept C311688 @default.
- W3198190303 hasConcept C33923547 @default.
- W3198190303 hasConcept C41008148 @default.
- W3198190303 hasConcept C46900642 @default.
- W3198190303 hasConcept C6943359 @default.
- W3198190303 hasConcept C78548338 @default.
- W3198190303 hasConcept C86803240 @default.
- W3198190303 hasConcept C90805587 @default.
- W3198190303 hasConceptScore W3198190303C108710211 @default.
- W3198190303 hasConceptScore W3198190303C111919701 @default.
- W3198190303 hasConceptScore W3198190303C11413529 @default.
- W3198190303 hasConceptScore W3198190303C118615104 @default.
- W3198190303 hasConceptScore W3198190303C151730666 @default.
- W3198190303 hasConceptScore W3198190303C168773769 @default.
- W3198190303 hasConceptScore W3198190303C179799912 @default.
- W3198190303 hasConceptScore W3198190303C197685441 @default.
- W3198190303 hasConceptScore W3198190303C2524010 @default.
- W3198190303 hasConceptScore W3198190303C2778572836 @default.
- W3198190303 hasConceptScore W3198190303C2779343474 @default.
- W3198190303 hasConceptScore W3198190303C311688 @default.
- W3198190303 hasConceptScore W3198190303C33923547 @default.
- W3198190303 hasConceptScore W3198190303C41008148 @default.
- W3198190303 hasConceptScore W3198190303C46900642 @default.
- W3198190303 hasConceptScore W3198190303C6943359 @default.
- W3198190303 hasConceptScore W3198190303C78548338 @default.
- W3198190303 hasConceptScore W3198190303C86803240 @default.
- W3198190303 hasConceptScore W3198190303C90805587 @default.
- W3198190303 hasFunder F4320322511 @default.
- W3198190303 hasLocation W31981903031 @default.
- W3198190303 hasLocation W31981903032 @default.
- W3198190303 hasOpenAccess W3198190303 @default.
- W3198190303 hasPrimaryLocation W31981903031 @default.
- W3198190303 hasRelatedWork W1519201794 @default.
- W3198190303 hasRelatedWork W1553290931 @default.
- W3198190303 hasRelatedWork W1566380696 @default.
- W3198190303 hasRelatedWork W1976090101 @default.
- W3198190303 hasRelatedWork W2166566648 @default.
- W3198190303 hasRelatedWork W2173621488 @default.
- W3198190303 hasRelatedWork W2262239476 @default.
- W3198190303 hasRelatedWork W2263532482 @default.
- W3198190303 hasRelatedWork W2461588548 @default.
- W3198190303 hasRelatedWork W2925112333 @default.
- W3198190303 hasVolume "123" @default.
- W3198190303 isParatext "false" @default.
- W3198190303 isRetracted "false" @default.
- W3198190303 magId "3198190303" @default.
- W3198190303 workType "article" @default.