|
Order-maintenance Problem
In computer science, the order-maintenance problem involves maintaining a totally ordered set supporting the following operations: * insert(X, Y), which inserts X immediately after Y in the total order; * order(X, Y), which determines if X precedes Y in the total order; and * delete(X), which removes X from the set. Paul Dietz first introduced a data structure to solve this problem in 1982.. This data structure supports insert(X, Y) in O(\log n) (in Big O notation) amortized time and order(X, Y) in constant time but does not support deletion. Athanasios Tsakalidis used BB ±trees with the same performance bounds that supports deletion in O(\log n) and improved insertion and deletion performance to O(1) amortized time with indirection.. Dietz and Daniel Sleator published an improvement to worst-case constant time in 1987.. Full versionTech. Rep. CMU-CS-88-113 Carnegie Mellon University, 1988. Michael Bender, Richard Cole and Jack Zito published significantly simplified alternatives ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Computer Science
Computer science is the study of computation, automation, and information. Computer science spans theoretical disciplines (such as algorithms, theory of computation, information theory, and automation) to practical disciplines (including the design and implementation of hardware and software). Computer science is generally considered an area of academic research and distinct from computer programming. Algorithms and data structures are central to computer science. The theory of computation concerns abstract models of computation and general classes of problems that can be solved using them. The fields of cryptography and computer security involve studying the means for secure communication and for preventing security vulnerabilities. Computer graphics and computational geometry address the generation of images. Programming language theory considers different ways to describe computational processes, and database theory concerns the management of repositories ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Journal Of Computer And System Sciences
The ''Journal of Computer and System Sciences'' (JCSS) is a peer-reviewed scientific journal in the field of computer science. ''JCSS'' is published by Elsevier, and it was started in 1967. Many influential scientific articles have been published in ''JCSS''; these include five papers that have won the Gödel Prize. an 2014 Gödel Prize Its managing editor is |
Michael A
Michael may refer to: People * Michael (given name), a given name * Michael (surname), including a list of people with the surname Michael Given name "Michael" * Michael (archangel), ''first'' of God's archangels in the Jewish, Christian and Islamic religions * Michael (bishop elect), English 13th-century Bishop of Hereford elect * Michael (Khoroshy) (1885–1977), cleric of the Ukrainian Orthodox Church of Canada * Michael Donnellan (1915–1985), Irish-born London fashion designer, often referred to simply as "Michael" * Michael (footballer, born 1982), Brazilian footballer * Michael (footballer, born 1983), Brazilian footballer * Michael (footballer, born 1993), Brazilian footballer * Michael (footballer, born February 1996), Brazilian footballer * Michael (footballer, born March 1996), Brazilian footballer * Michael (footballer, born 1999), Brazilian footballer Rulers =Byzantine emperors= * Michael I Rangabe (d. 844), married the daughter of Emperor Nikephoro ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Depiction Of Indirection In A Tree Based Solution To The Order-maintenance Problem
Depiction is reference conveyed through pictures. A picture refers to its object through a non-linguistic two-dimensional scheme, and is distinct from writing or notation. A depictive two-dimensional scheme is called a picture plane and may be constructed according to descriptive geometry, where they are usually divided between ''projections'' (orthogonal and various oblique angles) and ''perspectives'' (according to number of vanishing points). Pictures are made with various materials and techniques, such as painting, drawing, or prints (including photography and movies) mosaics, tapestries, stained glass, and collages of unusual and disparate elements. Occasionally, picture-like features may be recognised in simple inkblots, accidental stains, peculiar clouds or a glimpse of the moon, but these are special cases, and it is controversial whether they count as genuine instances of depiction. Similarly, sculpture and theatrical performances are sometimes said to depict, but this requ ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Y-fast Trie
In computer science, a y-fast trie is a data structure for storing integers from a bounded domain. It supports exact and predecessor or successor queries in time ''O''(log log ''M''), using ''O''(''n'') space, where ''n'' is the number of stored values and ''M'' is the maximum value in the domain. The structure was proposed by Dan Willard in 1982 to decrease the ''O''(''n'' log ''M'') space used by an x-fast trie. Structure A y-fast trie consists of two data structures: the top half is an x-fast trie and the lower half consists of a number of balanced binary trees. The keys are divided into groups of ''O''(log ''M'') consecutive elements and for each group a balanced binary search tree is created. To facilitate efficient insertion and deletion, each group contains at least (log ''M'')/4 and at most 2 log ''M'' elements. For each balanced binary search tree a representative ''r'' is chosen. These representatives are stored in the x-fast t ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
List-labeling Problem
In computer science, the list-labeling problem involves maintaining a totally ordered set S supporting the following operations: * insert(X), which inserts X into set S; * delete(X), which removes X from set S; * label(X), which returns a label assigned to X subject to: ** label(X) \in \ ** \forall X,Y \in S, X < Y implies label(X) < label(Y)
The cost of a list labeling algorithm is the number of label (re-)assignments per insertion or deletion. List labeling algorithms have applications in many areas, including the , cache-oblivious data structures,. [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Journal Of The ACM
The ''Journal of the ACM'' is a peer-reviewed scientific journal covering computer science in general, especially theoretical aspects. It is an official journal of the Association for Computing Machinery. Its current editor-in-chief An editor-in-chief (EIC), also known as lead editor or chief editor, is a publication's editorial leader who has final responsibility for its operations and policies. The highest-ranking editor of a publication may also be titled editor, managing ... is Venkatesan Guruswami. The journal was established in 1954 and "computer scientists universally hold the ''Journal of the ACM'' in high esteem". See also * '' Communications of the ACM'' References External links * Publications established in 1954 Computer science journals Association for Computing Machinery academic journals Bimonthly journals English-language journals {{compu-journal-stub ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Persistent Data Structure
In computing, a persistent data structure or not ephemeral data structure is a data structure that always preserves the previous version of itself when it is modified. Such data structures are effectively immutable, as their operations do not (visibly) update the structure in-place, but instead always yield a new updated structure. The term was introduced in Driscoll, Sarnak, Sleator, and Tarjans' 1986 article. A data structure is partially persistent if all versions can be accessed but only the newest version can be modified. The data structure is fully persistent if every version can be both accessed and modified. If there is also a meld or merge operation that can create a new version from two previous versions, the data structure is called confluently persistent. Structures that are not persistent are called ''ephemeral''. These types of data structures are particularly common in logical and functional programming, as languages in those paradigms discourage (or fully forbi ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Totally Ordered Set
In mathematics, a total or linear order is a partial order in which any two elements are comparable. That is, a total order is a binary relation \leq on some set X, which satisfies the following for all a, b and c in X: # a \leq a ( reflexive). # If a \leq b and b \leq c then a \leq c ( transitive). # If a \leq b and b \leq a then a = b ( antisymmetric). # a \leq b or b \leq a (strongly connected, formerly called total). Total orders are sometimes also called simple, connex, or full orders. A set equipped with a total order is a totally ordered set; the terms simply ordered set, linearly ordered set, and loset are also used. The term ''chain'' is sometimes defined as a synonym of ''totally ordered set'', but refers generally to some sort of totally ordered subsets of a given partially ordered set. An extension of a given partial order to a total order is called a linear extension of that partial order. Strict and non-strict total orders A on a set X is a strict partial ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Daniel Sleator
Daniel Dominic Kaplan Sleator (born 10 December 1953) is a Professor of Computer Science at Carnegie Mellon University, Pittsburgh, United States. In 1999, he won the ACM Paris Kanellakis Award (jointly with Robert Tarjan) for the splay tree data structure. He was one of the pioneers in amortized analysis of algorithms, early examples of which were the analyses of the move-to-front heuristic, and splay trees. He invented many data structures with Robert Tarjan, such as splay trees, link/cut trees, and skew heaps. The Sleator and Tarjan paper on the move-to-front heuristic first suggested the idea of comparing an online algorithm to an optimal offline algorithm, for which the term competitive analysis was later coined in a paper of Karlin, Manasse, Rudolph, and Sleator. Sleator also developed the theory of link grammars, and the Serioso music analyzer for analyzing meter and harmony in written music. Personal life Sleator was born to William Warner Sleator, Jr., a prof ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Acta Informatica
''Acta Informatica'' is a peer-reviewed scientific journal publishing original research papers in computer science. The journal is known mostly for publications in theoretical computer science. One of the two 1988 papers awarded the Gödel Prize in 1995 has appeared in this journal. The editor-in-chief is Christel Baier (Technische Universität Dresden). According to the ''Journal Citation Reports'', the journal had a 2020 impact factor The impact factor (IF) or journal impact factor (JIF) of an academic journal is a scientometric index calculated by Clarivate that reflects the yearly mean number of citations of articles published in the last two years in a given journal, as i ... of 0.375. References External links * Publications established in 1971 Springer Science+Business Media academic journals Computer science journals English-language journals Formal methods publications 8 times per year journals {{compu-journal-stub ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
