Matches in SemOpenAlex for { <https://semopenalex.org/work/W2950882259> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W2950882259 abstract "This paper continues the 2012 STACS contribution by Diekert, Ushakov, and the author. We extend the results published in the proceedings in two ways. First, we show that the data structure of power circuits can be generalized to work with arbitrary bases q>=2. This results in a data structure that can hold huge integers, arising by iteratively forming powers of q. We show that the properties of power circuits known for q=2 translate to the general case. This generalization is non-trivial and additional techniques are required to preserve the time bounds of arithmetic operations that were shown for the case q=2. The extended power circuit model permits us to conduct operations in the Baumslag-Solitar group BS(1,q) as efficiently as in BS(1,2). This allows us to solve the word problem in the generalization H_4(1,q) of Higman's group, which is an amalgamated product of four copies of the Baumslag-Solitar group BS(1,q) rather than BS(1,2) in the original form. As a second result, we allow arbitrary numbers f>=4 of copies of BS(1,q), leading to an even more generalized notion of Higman groups H_f(1,q). We prove that the word problem of the latter can still be solved within the O(n^6) time bound that was shown for H_4(1,2)." @default.
- W2950882259 created "2019-06-27" @default.
- W2950882259 creator A5026235970 @default.
- W2950882259 date "2012-07-30" @default.
- W2950882259 modified "2023-09-27" @default.
- W2950882259 title "Efficient algorithms for highly compressed data: The Word Problem in Generalized Higman Groups is in P" @default.
- W2950882259 cites W1496412704 @default.
- W2950882259 cites W2115760473 @default.
- W2950882259 cites W2152626390 @default.
- W2950882259 cites W2752885492 @default.
- W2950882259 hasPublicationYear "2012" @default.
- W2950882259 type Work @default.
- W2950882259 sameAs 2950882259 @default.
- W2950882259 citedByCount "0" @default.
- W2950882259 crossrefType "posted-content" @default.
- W2950882259 hasAuthorship W2950882259A5026235970 @default.
- W2950882259 hasConcept C11413529 @default.
- W2950882259 hasConcept C114614502 @default.
- W2950882259 hasConcept C118615104 @default.
- W2950882259 hasConcept C121332964 @default.
- W2950882259 hasConcept C134306372 @default.
- W2950882259 hasConcept C163258240 @default.
- W2950882259 hasConcept C177148314 @default.
- W2950882259 hasConcept C178790620 @default.
- W2950882259 hasConcept C185592680 @default.
- W2950882259 hasConcept C2524010 @default.
- W2950882259 hasConcept C2781311116 @default.
- W2950882259 hasConcept C33923547 @default.
- W2950882259 hasConcept C41008148 @default.
- W2950882259 hasConcept C62520636 @default.
- W2950882259 hasConcept C77553402 @default.
- W2950882259 hasConcept C90673727 @default.
- W2950882259 hasConcept C90805587 @default.
- W2950882259 hasConcept C94375191 @default.
- W2950882259 hasConceptScore W2950882259C11413529 @default.
- W2950882259 hasConceptScore W2950882259C114614502 @default.
- W2950882259 hasConceptScore W2950882259C118615104 @default.
- W2950882259 hasConceptScore W2950882259C121332964 @default.
- W2950882259 hasConceptScore W2950882259C134306372 @default.
- W2950882259 hasConceptScore W2950882259C163258240 @default.
- W2950882259 hasConceptScore W2950882259C177148314 @default.
- W2950882259 hasConceptScore W2950882259C178790620 @default.
- W2950882259 hasConceptScore W2950882259C185592680 @default.
- W2950882259 hasConceptScore W2950882259C2524010 @default.
- W2950882259 hasConceptScore W2950882259C2781311116 @default.
- W2950882259 hasConceptScore W2950882259C33923547 @default.
- W2950882259 hasConceptScore W2950882259C41008148 @default.
- W2950882259 hasConceptScore W2950882259C62520636 @default.
- W2950882259 hasConceptScore W2950882259C77553402 @default.
- W2950882259 hasConceptScore W2950882259C90673727 @default.
- W2950882259 hasConceptScore W2950882259C90805587 @default.
- W2950882259 hasConceptScore W2950882259C94375191 @default.
- W2950882259 hasLocation W29508822591 @default.
- W2950882259 hasOpenAccess W2950882259 @default.
- W2950882259 hasPrimaryLocation W29508822591 @default.
- W2950882259 hasRelatedWork W124828836 @default.
- W2950882259 hasRelatedWork W1520796501 @default.
- W2950882259 hasRelatedWork W1682365087 @default.
- W2950882259 hasRelatedWork W1915995346 @default.
- W2950882259 hasRelatedWork W1965633735 @default.
- W2950882259 hasRelatedWork W1974917479 @default.
- W2950882259 hasRelatedWork W2023144280 @default.
- W2950882259 hasRelatedWork W2206830592 @default.
- W2950882259 hasRelatedWork W2279841002 @default.
- W2950882259 hasRelatedWork W2608446357 @default.
- W2950882259 hasRelatedWork W2787571438 @default.
- W2950882259 hasRelatedWork W2885396681 @default.
- W2950882259 hasRelatedWork W2914377170 @default.
- W2950882259 hasRelatedWork W2936467843 @default.
- W2950882259 hasRelatedWork W2952814258 @default.
- W2950882259 hasRelatedWork W2964328677 @default.
- W2950882259 hasRelatedWork W3010580865 @default.
- W2950882259 hasRelatedWork W3037429502 @default.
- W2950882259 hasRelatedWork W3084645467 @default.
- W2950882259 hasRelatedWork W2187102226 @default.
- W2950882259 isParatext "false" @default.
- W2950882259 isRetracted "false" @default.
- W2950882259 magId "2950882259" @default.
- W2950882259 workType "article" @default.