中文
相关论文

相关论文: The Power and Limitations of Static Binary Search …

200 篇论文

Alphabetic codes and binary search trees are combinatorial structures that abstract search procedures in ordered sets endowed with probability distributions. In this paper, we design new linear-time algorithms to construct alphabetic codes,…

信息论 · 计算机科学 2024-07-24 Roberto Bruno , Roberto De Prisco , Alfredo De Santis , Ugo Vaccaro

We consider the reachability problem for timed automata. A standard solution to this problem involves computing a search tree whose nodes are abstractions of zones. For efficiency reasons, they are parametrized by the maximal lower and…

计算机科学中的逻辑 · 计算机科学 2013-01-21 Frédéric Herbreteau , B. Srivathsan , Igor Walukiewicz

Lazy search trees (Sandlund & Wild FOCS 2020, Sandlund & Zhang SODA 2022) are sorted dictionaries whose update and query performance smoothly interpolates between that of efficient priority queues and binary search trees - automatically,…

数据结构与算法 · 计算机科学 2025-12-17 Casper Moldrup Rysgaard , Sebastian Wild

We study the efficiency of search processes based on Levy flights (LFs) with power-law distributed jump lengths in the presence of an external drift. While LFs turn out to be efficient search processes when relative to the starting point…

统计力学 · 物理学 2013-06-06 Vladimir V. Palyulin , Aleksei V. Chechkin , Ralf Metzler

Neural networks with tree-based sentence encoders have shown better results on many downstream tasks. Most of existing tree-based encoders adopt syntactic parsing trees as the explicit structure prior. To study the effectiveness of…

计算与语言 · 计算机科学 2018-08-30 Haoyue Shi , Hao Zhou , Jiaze Chen , Lei Li

``Algorithms with predictions'', or ``learning-augmented algorithms'', has proved to be an extremely useful paradigm for combining machine learning with traditional algorithms. One of the textbook settings for this is searching a sorted…

数据结构与算法 · 计算机科学 2026-05-28 Michael Dinitz , Bob Dong

Motion Planning is necessary for robots to complete different tasks. Rapidly-exploring Random Tree (RRT) and its variants have been widely used in robot motion planning due to their fast search in state space. However, they perform not well…

机器人学 · 计算机科学 2022-05-19 Zhirui Sun , Jiankun Wang , Max Q. -H. Meng

A tremendous range of design tasks in materials, physics, and biology can be formulated as finding the optimum of an objective function depending on many parameters without knowing its closed-form expression or the derivative. Traditional…

机器学习 · 计算机科学 2024-04-08 Ye Wei , Bo Peng , Ruiwen Xie , Yangtao Chen , Yu Qin , Peng Wen , Stefan Bauer , Po-Yen Tung

We consider random binary trees that appear as the output of certain standard algorithms for sorting and searching if the input is random. We introduce the subtree size metric on search trees and show that the resulting metric spaces…

概率论 · 数学 2014-05-06 Rudolf Grübel

We present an approach to implement binary search trees in the rule-based graph programming language GP 2. Our implementation uses GP 2's rooted graph transformation rules to be fast and supports insertion, deletion and query operations. We…

编程语言 · 计算机科学 2026-01-08 Ziad Ismaili Alaoui , Detlef Plump

We consider the design of adaptive data structures for searching elements of a tree-structured space. We use a natural generalization of the rotation-based online binary search tree model in which the underlying search space is the set of…

数据结构与算法 · 计算机科学 2019-08-05 Prosenjit Bose , Jean Cardinal , John Iacono , Grigorios Koumoutsos , Stefan Langerman

We study a generalized binary search problem on the line and general trees. On the line (e.g., a sorted array), binary search finds a target node in $O(\log n)$ queries in the worst case, where $n$ is the number of nodes. In situations with…

数据结构与算法 · 计算机科学 2024-06-19 Agustín Caracci , Christoph Dürr , José Verschae

We introduce exponential search trees as a novel technique for converting static polynomial space search structures for ordered sets into fully-dynamic linear space data structures. This leads to an optimal bound of O(sqrt(log n/loglog n))…

数据结构与算法 · 计算机科学 2007-05-23 Arne Andersson , Mikkel Thorup

We present a simple $O(n^4)$-time algorithm for computing optimal search trees with two-way comparisons. The only previous solution to this problem, by Anderson et al., has the same running time, but is significantly more complicated and is…

数据结构与算法 · 计算机科学 2022-02-14 Marek Chrobak , Mordecai Golin , J. Ian Munro , Neal E. Young

We present a study of several generic tree search techniques applied to the Sequential Ordering Problem. This study enables us to propose a simple and competitive tree search algorithm. It consists of an iterative Beam Search algorithm that…

离散数学 · 计算机科学 2020-01-26 Luc Libralesso , Abdel-Malik Bouhassoun , Hadrien Cambazard , Vincent Jost

We revisit the problem of rational search: given an unknown rational number $\alpha = \frac{a}{b} \in (0,1)$ with $b \leq n$, the goal is to identify $\alpha$ using comparison queries of the form ``$\beta \leq \alpha$?''. The problem has…

数据结构与算法 · 计算机科学 2025-12-23 Connor Weyers , N. V. Vinodchandran

We propose new succinct representations of ordinal trees, which have been studied extensively. It is known that any $n$-node static tree can be represented in $2n + o(n)$ bits and a number of operations on the tree can be supported in…

数据结构与算法 · 计算机科学 2010-09-27 Gonzalo Navarro , Kunihiko Sadakane

Binary search trees (BST) are a popular type of data structure when dealing with ordered data. Indeed, they enable one to access and modify data efficiently, with their height corresponding to the worst retrieval time. From a probabilistic…

概率论 · 数学 2025-01-28 Benoît Corsini , Victor Dubach , Valentin Féray

We define a search problem on trees that closely captures the backtracking behavior of all current practical graph isomorphism algorithms. Given two trees with colored leaves, the goal is to find two leaves of matching color, one in each of…

数据结构与算法 · 计算机科学 2020-11-04 Markus Anders , Pascal Schweitzer

A layerwise search in a split-by-edges tree (as defined by Br{\ae}ndeland, 2015) of agiven graph produces a maximum independent set in exponential time. A depth-first search produces an independent set, which may or may not be a maximum, in…

数据结构与算法 · 计算机科学 2015-05-06 Asbjørn Brændeland