Data Structures and Algorithms
New submissions
[ showing up to 2000 entries per page: fewer  more ]
New submissions for Thu, 26 Jan 23
 [1] arXiv:2301.10377 [pdf, ps, other]

Title: Online variableweight scheduling with preempting on jobs with linear and exponential penaltiesComments: 18 pages, 2 figuresSubjects: 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?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 multiagent 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 socalled 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 OperationsSubjects: 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 inducedminor 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 edgedeletion 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.
Crosslists for Thu, 26 Jan 23
 [4] arXiv:2301.10352 (crosslist from cs.LG) [pdf, ps, other]

Title: Capacity Analysis of Vector Symbolic ArchitecturesSubjects: Machine Learning (cs.LG); Data Structures and Algorithms (cs.DS)
Hyperdimensional computing (HDC) is a biologicallyinspired framework that uses highdimensional vectors and various vector operations to represent and manipulate symbols. The ensemble of a particular vector space and two vector operations (one additionlike for "bundling" and one outerproductlike 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: MAPI, MAPB, 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 MAPI 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 MAPI casts the VSA vectors as the outputs of *sketching* (dimensionality reduction) algorithms such as the JohnsonLindenstrauss transform; this provides a clean, simple framework for obtaining bounds on MAPI's representation capacity. We also provide, to our knowledge, the first analysis of testing set membership in a bundle of general pairwise bindings from MAPI. Binary sparse VSAs are wellknown to be related to Bloom filters; we give analyses of set intersection for Bloom and Counting Bloom filters. Our analysis of MAPB and Binary Sparse bundling include new applications of several concentration inequalities.  [5] arXiv:2301.10403 (crosslist from cs.SI) [pdf, other]

Title: Exact and rapid linear clustering of networks with dynamic programmingComments: 13 pages, 8 figuresSubjects: 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 boundeddegree graphsSubjects: 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 EdgeCost EstimatesSubjects: Data Structures and Algorithms (cs.DS); Artificial Intelligence (cs.AI); Discrete Mathematics (cs.DM)
[ showing up to 2000 entries per page: fewer  more ]
Disable MathJax (What is MathJax?)
Links to: arXiv, form interface, find, cs, recent, 2301, contact, help (Access key information)