Matches in SemOpenAlex for { <https://semopenalex.org/work/W2085954713> ?p ?o ?g. }
Showing items 1 to 75 of
75
with 100 items per page.
- W2085954713 abstract "We consider the set union problem (SUP) which consists in designing data for manipulation of a family of disjoint sets which partition a given universe of n elements. In response to a work of Tarjan we prove that the POSTORDER strategy for SUP has a linear length (thus solving a problem of Hart and Sharir). On the other side, we provide a data structure and axioms for an on line strategy-LOCAL POSTORDER-for SUP which fails to be linear but it has a very slow-indeed in the theory of finite sets unprovable-growth. This complements a result of Tarjan who showed an Ackermann type growth for a related problem. Our results may be summarized by saying that (in finite set theory) we may assume that our algorithms are linear (although we know that in fact they fail to be linear). Perhaps this is the first occurrence of unprovability in the complexity analysis of algorithms." @default.
- W2085954713 created "2016-06-24" @default.
- W2085954713 creator A5038875605 @default.
- W2085954713 creator A5070558406 @default.
- W2085954713 date "1988-01-01" @default.
- W2085954713 modified "2023-10-01" @default.
- W2085954713 title "Linearity and unprovability of set union problem" @default.
- W2085954713 cites W1513400187 @default.
- W2085954713 cites W1655990431 @default.
- W2085954713 cites W1969148345 @default.
- W2085954713 cites W1986022261 @default.
- W2085954713 cites W2019176509 @default.
- W2085954713 cites W2022132320 @default.
- W2085954713 cites W2023658462 @default.
- W2085954713 cites W2044146725 @default.
- W2085954713 cites W2122121031 @default.
- W2085954713 doi "https://doi.org/10.1145/62212.62247" @default.
- W2085954713 hasPublicationYear "1988" @default.
- W2085954713 type Work @default.
- W2085954713 sameAs 2085954713 @default.
- W2085954713 citedByCount "5" @default.
- W2085954713 crossrefType "proceedings-article" @default.
- W2085954713 hasAuthorship W2085954713A5038875605 @default.
- W2085954713 hasAuthorship W2085954713A5070558406 @default.
- W2085954713 hasConcept C11413529 @default.
- W2085954713 hasConcept C114614502 @default.
- W2085954713 hasConcept C118615104 @default.
- W2085954713 hasConcept C134306372 @default.
- W2085954713 hasConcept C153046414 @default.
- W2085954713 hasConcept C162319229 @default.
- W2085954713 hasConcept C162392398 @default.
- W2085954713 hasConcept C167729594 @default.
- W2085954713 hasConcept C177264268 @default.
- W2085954713 hasConcept C199360897 @default.
- W2085954713 hasConcept C207467116 @default.
- W2085954713 hasConcept C2524010 @default.
- W2085954713 hasConcept C33436860 @default.
- W2085954713 hasConcept C33923547 @default.
- W2085954713 hasConcept C41008148 @default.
- W2085954713 hasConcept C42812 @default.
- W2085954713 hasConcept C45340560 @default.
- W2085954713 hasConceptScore W2085954713C11413529 @default.
- W2085954713 hasConceptScore W2085954713C114614502 @default.
- W2085954713 hasConceptScore W2085954713C118615104 @default.
- W2085954713 hasConceptScore W2085954713C134306372 @default.
- W2085954713 hasConceptScore W2085954713C153046414 @default.
- W2085954713 hasConceptScore W2085954713C162319229 @default.
- W2085954713 hasConceptScore W2085954713C162392398 @default.
- W2085954713 hasConceptScore W2085954713C167729594 @default.
- W2085954713 hasConceptScore W2085954713C177264268 @default.
- W2085954713 hasConceptScore W2085954713C199360897 @default.
- W2085954713 hasConceptScore W2085954713C207467116 @default.
- W2085954713 hasConceptScore W2085954713C2524010 @default.
- W2085954713 hasConceptScore W2085954713C33436860 @default.
- W2085954713 hasConceptScore W2085954713C33923547 @default.
- W2085954713 hasConceptScore W2085954713C41008148 @default.
- W2085954713 hasConceptScore W2085954713C42812 @default.
- W2085954713 hasConceptScore W2085954713C45340560 @default.
- W2085954713 hasLocation W20859547131 @default.
- W2085954713 hasOpenAccess W2085954713 @default.
- W2085954713 hasPrimaryLocation W20859547131 @default.
- W2085954713 hasRelatedWork W1924677002 @default.
- W2085954713 hasRelatedWork W1944868676 @default.
- W2085954713 hasRelatedWork W1998402272 @default.
- W2085954713 hasRelatedWork W2049196396 @default.
- W2085954713 hasRelatedWork W2085954713 @default.
- W2085954713 hasRelatedWork W2123106609 @default.
- W2085954713 hasRelatedWork W2613892077 @default.
- W2085954713 hasRelatedWork W2765707142 @default.
- W2085954713 hasRelatedWork W2951097748 @default.
- W2085954713 hasRelatedWork W2964064473 @default.
- W2085954713 isParatext "false" @default.
- W2085954713 isRetracted "false" @default.
- W2085954713 magId "2085954713" @default.
- W2085954713 workType "article" @default.