Data Structures and Algorithms

New submissions

• New submissions
• Cross-lists
• Replacements

New submissions for Thu, 26 Jan 23

[1]  arXiv:2301.10377 [pdf, ps, other]

Title: Online variable-weight scheduling with preempting on jobs with linear and exponential penalties

Authors: Frederick Tang, Fareed Sheriff, Andrew Wang

Comments: 18 pages, 2 figures

Subjects: Data Structures and Algorithms (cs.DS)

We analyze the problem of job scheduling with preempting on weighted jobs that can have either linear or exponential penalties. We review relevant literature on the problem and create and describe a few online algorithms that perform competitively with the optimal scheduler. We first describe a na{\" i}ve algorithm, which yields a high competitive ratio ($\Omega(\frac{M}{s_{\min}})$) with the optimal, then provide an algorithm that yields a lower competitive ratio ($4\sqrt{\frac{M}{s_{\min}}} + n\log{\frac{Mn}{s_{\min}}}$). Finally, we make a minor modification to our algorithm to yield an algorithm that has an even better competitive ratio ($n\log{\frac{Mn}{s_{\min}}}$).

[2]  arXiv:2301.10503 [pdf, ps, other]

Title: In Which Graph Structures Can We Efficiently Find Temporally Disjoint Paths and Walks?

Authors: Pascal Kunz, Hendrik Molter, Meirav Zehavi

Subjects: Data Structures and Algorithms (cs.DS); Discrete Mathematics (cs.DM); Multiagent Systems (cs.MA)

A temporal graph has an edge set that may change over discrete time steps, and a temporal path (or walk) must traverse edges that appear at increasing time steps. Accordingly, two temporal paths (or walks) are temporally disjoint if they do not visit any vertex at the same time. The study of the computational complexity of finding temporally disjoint paths or walks in temporal graphs has recently been initiated by Klobas et al. [IJCAI '21]. This problem is motivated by applications in multi-agent path finding (MAPF), which include robotics, warehouse management, aircraft management, and traffic routing.
We extend Klobas et al.'s research by providing parameterized hardness results for very restricted cases, with a focus on structural parameters of the so-called underlying graph. On the positive side, we identify sufficiently simple cases where we can solve the problem efficiently. Our results reveal some surprising differences between the "path version" and the "walk version" (where vertices may be visited multiple times) of the problem, and answer several open questions posed by Klobas et al.

[3]  arXiv:2301.10564 [pdf, other]

Title: Succinct Planar Encoding with Minor Operations

Authors: Frank Kammer, Johannes Meintrup

Subjects: Data Structures and Algorithms (cs.DS)

Let $G$ be an unlabeled planar and simple $n$-vertex graph. {We present a succinct encoding of $G$ that provides induced-minor operations, i.e., edge contraction and vertex deletions. Any sequence of such operations is processed in $O(n)$ time.} In addition, the encoding provides constant time per element neighborhood access and degree queries. Using optional hash tables the encoding additionally provides constant {expected} time adjacency queries as well as an edge-deletion operation {(thus, all minor operations are supported)} such that any number of such edge deletions are computed in $O(n)$ {expected} time.
Constructing the encoding requires $O(n)$ bits and $O(n)$ time. The encoding requires $\mathcal{H}(n) + o(n)$ bits of space with $\mathcal{H}(n)$ being the entropy of encoding a planar graph with $n$ vertices. Our data structure is based on the recent result of Holm et al.~[ESA 2017] who presented a linear time contraction data structure that allows to maintain parallel edges and works for labeled graphs, but uses $O(n \log n)$ bits of space. We combine the techniques used by Holm et al. with novel ideas and the succinct encoding of Blelloch and Farzan~[CPM 2010] for arbitrary separable graphs. Our result partially answers the question raised by Blelloch and Farzan if their encoding can be modified to allow modifications of the graph.

Cross-lists for Thu, 26 Jan 23

[4]  arXiv:2301.10352 (cross-list from cs.LG) [pdf, ps, other]

Title: Capacity Analysis of Vector Symbolic Architectures

Authors: Kenneth L. Clarkson, Shashanka Ubaru, Elizabeth Yang

Subjects: Machine Learning (cs.LG); Data Structures and Algorithms (cs.DS)

Hyperdimensional computing (HDC) is a biologically-inspired framework that uses high-dimensional vectors and various vector operations to represent and manipulate symbols. The ensemble of a particular vector space and two vector operations (one addition-like for "bundling" and one outer-product-like for "binding") form what is called a "vector symbolic architecture" (VSA). While VSAs have been employed in numerous applications and studied empirically, many theoretical questions about VSAs remain open.
We provide theoretical analyses for the *representation capacities* of three popular VSAs: MAP-I, MAP-B, and Binary Sparse. Representation capacity here refers to upper bounds on the dimensions of the VSA vectors required to perform certain symbolic tasks (such as testing for set membership $i \in S$ and estimating set intersection sizes $|S \cap T|$) to a given degree of accuracy. We also describe a relationship between the MAP-I VSA to Hopfield networks, which are simple models of associative memory, and analyze the ability of Hopfield networks to perform some of the same tasks that are typically asked of VSAs.
Our analysis of MAP-I casts the VSA vectors as the outputs of *sketching* (dimensionality reduction) algorithms such as the Johnson-Lindenstrauss transform; this provides a clean, simple framework for obtaining bounds on MAP-I's representation capacity. We also provide, to our knowledge, the first analysis of testing set membership in a bundle of general pairwise bindings from MAP-I. Binary sparse VSAs are well-known to be related to Bloom filters; we give analyses of set intersection for Bloom and Counting Bloom filters. Our analysis of MAP-B and Binary Sparse bundling include new applications of several concentration inequalities.

[5]  arXiv:2301.10403 (cross-list from cs.SI) [pdf, other]

Title: Exact and rapid linear clustering of networks with dynamic programming

Authors: Alice Patania, Antoine Allard, Jean-Gabriel Young

Comments: 13 pages, 8 figures

Subjects: Social and Information Networks (cs.SI); Data Structures and Algorithms (cs.DS); Machine Learning (cs.LG); Computation (stat.CO)

We study the problem of clustering networks whose nodes have imputed or physical positions in a single dimension, such as prestige hierarchies or the similarity dimension of hyperbolic embeddings. Existing algorithms, such as the critical gap method and other greedy strategies, only offer approximate solutions. Here, we introduce a dynamic programming approach that returns provably optimal solutions in polynomial time -- O(n^2) steps -- for a broad class of clustering objectives. We demonstrate the algorithm through applications to synthetic and empirical networks, and show that it outperforms existing heuristics by a significant margin, with a similar execution time.

Replacements for Thu, 26 Jan 23

[6]  arXiv:2102.04984 (replaced) [pdf, ps, other]

Title: Approximately counting independent sets of a given size in bounded-degree graphs

Authors: Ewan Davies, Will Perkins

Subjects: Data Structures and Algorithms (cs.DS); Computational Complexity (cs.CC); Combinatorics (math.CO)

[7]  arXiv:2208.11489 (replaced) [pdf, ps, other]

Title: A Generalization of the Shortest Path Problem to Graphs with Multiple Edge-Cost Estimates

Authors: Eyal Weiss, Ariel Felner, Gal A. Kaminka

Subjects: Data Structures and Algorithms (cs.DS); Artificial Intelligence (cs.AI); Discrete Mathematics (cs.DM)

• New submissions
• Cross-lists
• Replacements