中文
相关论文

相关论文: Small Uncolored and Colored Choice Dictionaries

200 篇论文

Randomised algorithms often employ methods that can fail and that are retried with independent randomness until they succeed. Randomised data structures therefore often store indices of successful attempts, called seeds. If $n$ such seeds…

数据结构与算法 · 计算机科学 2025-07-03 Hans-Peter Lehmann , Peter Sanders , Stefan Walzer , Jonatan Ziegler

Small Language Models (SLMs) provide computational advantages in resource-constrained environments, yet memory limitations remain a critical bottleneck for edge device deployment. A substantial portion of SLMs' memory footprint stems from…

计算与语言 · 计算机科学 2026-04-21 Hanling Zhang , Yayu Zhou , Tongcheng Fang , Zhihang Yuan , Guohao Dai , Wanli Ouyang , Yu Wang

The concept of decomposition in computer science and engineering is considered a fundamental component of computational thinking and is prevalent in design of algorithms, software construction, hardware design, and more. We propose a simple…

计算机科学中的逻辑 · 计算机科学 2023-06-22 Dror Fried , Axel Legay , Joël Ouaknine , Moshe Y. Vardi

We contemplate this article to help the teachers of programming in his aspiration for giving some appropriate and interesting examples. The work will be especially useful for students-future programmers, and for their lecturers. Some of the…

编程语言 · 计算机科学 2021-08-02 Krasimir Yordzhev

We show that the decidability of the first-order theory of the language that combines Boolean algebras of sets of uninterpreted elements with Presburger arithmetic operations. We thereby disprove a recent conjecture that this theory is…

计算机科学中的逻辑 · 计算机科学 2007-05-23 Viktor Kuncak , Martin Rinard

A key principle in string processing is local consistency: using short contexts to handle matching fragments of a string consistently. String synchronizing sets [Kempa, Kociumaka; STOC 2019] are an influential instantiation of this…

数据结构与算法 · 计算机科学 2026-02-13 Jonas Ellert , Tomasz Kociumaka

Grammar based compression, where one replaces a long string by a small context-free grammar that generates the string, is a simple and powerful paradigm that captures many popular compression schemes. In this paper, we present a novel…

数据结构与算法 · 计算机科学 2013-10-30 Philip Bille , Gad M. Landau , Rajeev Raman , Kunihiko Sadakane , Srinivasa Rao Satti , Oren Weimann

Symmetric submodular maximization is an important class of combinatorial optimization problems, including MAX-CUT on graphs and hyper-graphs. The state-of-the-art algorithm for the problem over general constraints has an approximation ratio…

数据结构与算法 · 计算机科学 2024-06-21 Zongqi Wan , Jialin Zhang , Xiaoming Sun , Zhijie Zhang

We consider the problem of sparse coding, where each sample consists of a sparse linear combination of a set of dictionary atoms, and the task is to learn both the dictionary elements and the mixing coefficients. Alternating minimization is…

机器学习 · 计算机科学 2014-07-30 Alekh Agarwal , Animashree Anandkumar , Prateek Jain , Praneeth Netrapalli

We define a suffixient set for a text $T [1..n]$ to be a set $S$ of positions between 1 and $n$ such that, for any edge descending from a node $u$ to a node $v$ in the suffix tree of $T$, there is an element $s \in S$ such that $u$'s path…

数据结构与算法 · 计算机科学 2024-06-06 Lore Depuydt , Travis Gagie , Ben Langmead , Giovanni Manzini , Nicola Prezza

Given a string $T$ on an alphabet of size $\sigma$, we describe a bidirectional Burrows-Wheeler index that takes $O(|T|\log{\sigma})$ bits of space, and that supports the addition \emph{and removal} of one character, on the left or right…

数据结构与算法 · 计算机科学 2019-06-11 Fabio Cunial , Djamal Belazzougui

We show the first conditionally optimal deterministic algorithm for $3$-coloring forests in the low-space massively parallel computation (MPC) model. Our algorithm runs in $O(\log \log n)$ rounds and uses optimal global space. The best…

分布式、并行与集群计算 · 计算机科学 2023-08-02 Christoph Grunau , Rustam Latypov , Yannic Maus , Shreyas Pai , Jara Uitto

Given an unordered array of $N$ elements drawn from a totally ordered set and an integer $k$ in the range from $1$ to $N$, in the classic selection problem the task is to find the $k$-th smallest element in the array. We study the…

数据结构与算法 · 计算机科学 2014-07-15 Amr Elmasry , Daniel Dahl Juhl , Jyrki Katajainen , Srinivasa Rao Satti

We consider space-bounded computations on a random-access machine (RAM) where the input is given on a read-only random-access medium, the output is to be produced to a write-only sequential-access medium, and the available workspace allows…

数据结构与算法 · 计算机科学 2015-10-27 Omar Darwish , Amr Elmasry , Jyrki Katajainen

Recently, image compression codecs based on Neural Networks(NN) outperformed the state-of-art classic ones such as BPG, an image format based on HEVC intra. However, the typical NN codec has high complexity, and it has limited options for…

图像与视频处理 · 电气工程与系统科学 2024-02-28 Panqi Jia , Ahmet Burakhan Koyuncu , Georgii Gaikov , Alexander Karabutov , Elena Alshina , Andre Kaup

For most algorithms dealing with sets of points in the plane, the only relevant information carried by the input is the combinatorial configuration of the points: the orientation of each triple of points in the set (clockwise,…

计算几何 · 计算机科学 2018-01-08 Jean Cardinal , Timothy M. Chan , John Iacono , Stefan Langerman , Aurélien Ooms

This article summarizes principles and ideas from the emerging area of applying \textit{conditional computation} methods to the design of neural networks. In particular, we focus on neural networks that can dynamically activate or…

Color naming in natural languages is not arbitrary: it reflects efficient partitions of perceptual color space modulated by the relative needs to communicate about different colors. These psychophysical and communicative constraints help…

种群与进化 · 定量生物学 2023-05-09 Colin R. Twomey , David H. Brainard , Joshua B. Plotkin

One of the long-standing research problems on logic programming is to treat the cut predicate in a logical, high-level way. We argue that this problem can be solved by adopting linear logic and choice-disjunctive goal formulas of the form…

计算机科学中的逻辑 · 计算机科学 2023-01-31 Keehang Kwon , Daeseong Kang

A celebrated theorem of Spencer states that for every set system $S_1,\dots, S_m \subseteq [n]$, there is a coloring of the ground set with $\{\pm 1\}$ with discrepancy $O(\sqrt{n\log(m/n+2)})$. We provide an algorithm to find such a…

数据结构与算法 · 计算机科学 2022-06-10 Vishesh Jain , Ashwin Sah , Mehtaab Sawhney