FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2964178102> ?p ?o ?g. }

• W2964178102 endingPage "1330" @default.
• W2964178102 startingPage "1311" @default.
• W2964178102 abstract "Consider the task of performing a sequence of searches in a binary search tree. After each search, an algorithm is allowed to arbitrarily restructure the tree, at a cost proportional to the amount of restructuring performed. The cost of an execution is the sum of the time spent searching and the time spent optimizing those searches with restructuring operations. This notion was introduced by Sleator and Tarjan in 1985 [27], along with an algorithm and a conjecture. The algorithm, Splay, is an elegant procedure for performing adjustments while moving searched items to the top of the tree. The conjecture, called dynamic optimality, is that the cost of splaying is always within a constant factor of the optimal algorithm for performing searches. The conjecture stands to this day.We offer the first systematic proposal for settling the dynamic optimality conjecture. At the heart of our methods is what we term a simulation embedding: a mapping from executions to lists of keys that induces a target algorithm to simulate the execution. We build a simulation embedding for Splay by inducing it to perform arbitrary subtree transformations, and use this to show that if the cost of splaying a sequence of items is an upper bound on the cost of splaying every subsequence thereof, then Splay is dynamically optimal. We call this the subsequence property. Building on this machinery, we show that if Splay is dynamically optimal, then with respect to optimal costs, its additive overhead is at most linear in the sum of initial tree size and number of requests. As a corollary, the subsequence property is also a necessary condition for dynamic optimality. The subsequence property also implies both the traversal [27] and deque [30] conjectures.The notions of simulation embeddings and bounding additive overheads should be of general interest in competitive analysis. For readers especially interested in dynamic optimality, we provide an outline of a proof that a lower bound on search costs by Wilber [32] has the subsequence property, and extensive suggestions for adapting this proof to Splay." @default.
• W2964178102 created "2019-07-30" @default.
• W2964178102 creator A5033622232 @default.
• W2964178102 creator A5051027549 @default.
• W2964178102 date "2019-01-06" @default.
• W2964178102 modified "2023-09-26" @default.
• W2964178102 title "A new path from splay to dynamic optimality" @default.
• W2964178102 cites W1529661724 @default.
• W2964178102 cites W1587923304 @default.
• W2964178102 cites W1924246083 @default.
• W2964178102 cites W1972564423 @default.
• W2964178102 cites W1977207904 @default.
• W2964178102 cites W1987927249 @default.
• W2964178102 cites W1989190970 @default.
• W2964178102 cites W1991146548 @default.
• W2964178102 cites W2012180059 @default.
• W2964178102 cites W2016857845 @default.
• W2964178102 cites W2019778981 @default.
• W2964178102 cites W2041298679 @default.
• W2964178102 cites W2068628972 @default.
• W2964178102 cites W2071699701 @default.
• W2964178102 cites W2078589215 @default.
• W2964178102 cites W2078913074 @default.
• W2964178102 cites W2083051477 @default.
• W2964178102 cites W2092060226 @default.
• W2964178102 cites W2103913570 @default.
• W2964178102 cites W2130055503 @default.
• W2964178102 cites W2239939002 @default.
• W2964178102 cites W2588416025 @default.
• W2964178102 cites W2963965629 @default.
• W2964178102 doi "https://doi.org/10.5555/3310435.3310515" @default.
• W2964178102 hasPublicationYear "2019" @default.
• W2964178102 type Work @default.
• W2964178102 sameAs 2964178102 @default.
• W2964178102 citedByCount "10" @default.
• W2964178102 countsByYear W29641781022019 @default.
• W2964178102 countsByYear W29641781022020 @default.
• W2964178102 countsByYear W29641781022021 @default.
• W2964178102 crossrefType "proceedings-article" @default.
• W2964178102 hasAuthorship W2964178102A5033622232 @default.
• W2964178102 hasAuthorship W2964178102A5051027549 @default.
• W2964178102 hasConcept C111919701 @default.
• W2964178102 hasConcept C113174947 @default.
• W2964178102 hasConcept C11413529 @default.
• W2964178102 hasConcept C114614502 @default.
• W2964178102 hasConcept C118615104 @default.
• W2964178102 hasConcept C126255220 @default.
• W2964178102 hasConcept C134306372 @default.
• W2964178102 hasConcept C137877099 @default.
• W2964178102 hasConcept C154945302 @default.
• W2964178102 hasConcept C197855036 @default.
• W2964178102 hasConcept C2778112365 @default.
• W2964178102 hasConcept C2779960059 @default.
• W2964178102 hasConcept C2780990831 @default.
• W2964178102 hasConcept C33923547 @default.
• W2964178102 hasConcept C34388435 @default.
• W2964178102 hasConcept C41008148 @default.
• W2964178102 hasConcept C41608201 @default.
• W2964178102 hasConcept C54355233 @default.
• W2964178102 hasConcept C77553402 @default.
• W2964178102 hasConcept C86803240 @default.
• W2964178102 hasConcept C91154448 @default.
• W2964178102 hasConceptScore W2964178102C111919701 @default.
• W2964178102 hasConceptScore W2964178102C113174947 @default.
• W2964178102 hasConceptScore W2964178102C11413529 @default.
• W2964178102 hasConceptScore W2964178102C114614502 @default.
• W2964178102 hasConceptScore W2964178102C118615104 @default.
• W2964178102 hasConceptScore W2964178102C126255220 @default.
• W2964178102 hasConceptScore W2964178102C134306372 @default.
• W2964178102 hasConceptScore W2964178102C137877099 @default.
• W2964178102 hasConceptScore W2964178102C154945302 @default.
• W2964178102 hasConceptScore W2964178102C197855036 @default.
• W2964178102 hasConceptScore W2964178102C2778112365 @default.
• W2964178102 hasConceptScore W2964178102C2779960059 @default.
• W2964178102 hasConceptScore W2964178102C2780990831 @default.
• W2964178102 hasConceptScore W2964178102C33923547 @default.
• W2964178102 hasConceptScore W2964178102C34388435 @default.
• W2964178102 hasConceptScore W2964178102C41008148 @default.
• W2964178102 hasConceptScore W2964178102C41608201 @default.
• W2964178102 hasConceptScore W2964178102C54355233 @default.
• W2964178102 hasConceptScore W2964178102C77553402 @default.
• W2964178102 hasConceptScore W2964178102C86803240 @default.
• W2964178102 hasConceptScore W2964178102C91154448 @default.
• W2964178102 hasLocation W29641781021 @default.
• W2964178102 hasOpenAccess W2964178102 @default.
• W2964178102 hasPrimaryLocation W29641781021 @default.
• W2964178102 hasRelatedWork W116183744 @default.
• W2964178102 hasRelatedWork W135324278 @default.
• W2964178102 hasRelatedWork W1529661724 @default.
• W2964178102 hasRelatedWork W1556146035 @default.
• W2964178102 hasRelatedWork W1956214747 @default.
• W2964178102 hasRelatedWork W1971343470 @default.
• W2964178102 hasRelatedWork W1987927249 @default.
• W2964178102 hasRelatedWork W1991146548 @default.
• W2964178102 hasRelatedWork W2016857845 @default.
• W2964178102 hasRelatedWork W2017619076 @default.
• W2964178102 hasRelatedWork W2078589215 @default.
• W2964178102 hasRelatedWork W2078913074 @default.

• next