Search Results - Computer Science - Data Structures and Algorithms
-
1
Testing Distributions of Huge Objects
ISSN: 2751-4838, 2751-4838Published: TheoretiCS Foundation e.V 30.12.2023Published in TheoretiCS (30.12.2023)“…We initiate a study of a new model of property testing that is a hybrid of testing properties of distributions and testing properties of strings. Specifically,…”
Get full text
Journal Article -
2
Lettericity of graphs: an FPT algorithm and a bound on the size of obstructions
ISSN: 0178-4617, 1432-0541Published: Springer Verlag 19.02.2024Published in Algorithmica (19.02.2024)“… However, no constructive algorithms and no specific bounds on the size of forbidden graphs are available up to date…”
Get full text
Journal Article -
3
Fully Dynamic Connectivity in $O(\log n(\log\log n)^2)$ Amortized Expected Time
ISSN: 2751-4838, 2751-4838Published: TheoretiCS Foundation e.V 02.05.2023Published in TheoretiCS (02.05.2023)“… We present a randomized Las Vegas dynamic connectivity data structure with $O(\log n(\log\log n)^2)$ amortized expected update time…”
Get full text
Journal Article -
4
Approximating Maximum Edge 2-Coloring by Normalizing Graphs
ISSN: 1365-8050, 1365-8050Published: Discrete Mathematics & Theoretical Computer Science 01.05.2025Published in Discrete mathematics and theoretical computer science (01.05.2025)“… For the problem a 2-approximation algorithm is known, and if the input graph has a perfect matching, the same algorithm has been shown to have a performance guarantee of 5/3…”
Get full text
Journal Article -
5
Introduction to local certification
ISSN: 1365-8050, 1462-7264, 1365-8050Published: Nancy DMTCS 01.09.2021Published in Discrete Mathematics and Theoretical Computer Science (01.09.2021)“…A distributed graph algorithm is basically an algorithm where every node of a graph can look at its neighborhood at some distance in the graph and chose its output…”
Get full text
Journal Article -
6
Brooks' Theorem in Graph Streams: A Single-Pass Semi-Streaming Algorithm for $\Delta$-Coloring
ISSN: 2751-4838, 2751-4838Published: TheoretiCS Foundation e.V 25.08.2023Published in TheoretiCS (25.08.2023)“…Every graph with maximum degree $\Delta$ can be colored with $(\Delta+1)$ colors using a simple greedy algorithm…”
Get full text
Journal Article -
7
Simpler and Unified Recognition Algorithm for Path Graphs and Directed Path Graphs
ISSN: 1365-8050, 1365-8050Published: Discrete Mathematics & Theoretical Computer Science 01.05.2025Published in Discrete mathematics and theoretical computer science (01.05.2025)“… Our algorithm does not require complex data structures and has an easy and intuitive implementation, simplifying recognition algorithms for both graph classes. Comment…”
Get full text
Journal Article -
8
Polynomial kernels for edge modification problems towards block and strictly chordal graphs
ISSN: 1365-8050, 1462-7264, 1365-8050Published: DMTCS 01.05.2025Published in Discrete mathematics and theoretical computer science (01.05.2025)“…We consider edge modification problems towards block and strictly chordal graphs, where one is given an undirected graph $G = (V,E)$ and an integer $k \in…”
Get full text
Journal Article -
9
A Practical Algorithm with Performance Guarantees for the Art Gallery Problem
ISSN: 1365-8050, 1365-8050Published: Discrete Mathematics & Theoretical Computer Science 24.06.2024Published in Discrete mathematics and theoretical computer science (24.06.2024)“… The only currently correct algorithm to solve the art gallery problem exactly uses algebraic methods and is attributed to Sharir…”
Get full text
Journal Article -
10
On-line algorithms for multiplication and division in real and complex numeration systems
ISSN: 1365-8050, 1365-8050Published: Discrete Mathematics & Theoretical Computer Science 20.06.2019Published in Discrete mathematics and theoretical computer science (20.06.2019)“… An on-line algorithm processes the input piece-by-piece in a serial fashion. On-line arithmetic, introduced by Trivedi and Ercegovac, is a mode of computation…”
Get full text
Journal Article -
11
A tree structure for dynamic facility location
ISSN: 0178-4617, 1432-0541Published: Springer Verlag 2020Published in Algorithmica (2020)“…In this paper, we study the problem of dynamic facility location. We maintain a solution with cost O(1) times the cost of an optimal solution in metric spaces…”
Get full text
Journal Article -
12
Constant-delay enumeration for SLP-compressed documents
ISSN: 1860-5974, 1860-5974Published: Logical Methods in Computer Science e.V 01.01.2025Published in Logical methods in computer science (01.01.2025)“… This model extends the notion of Regular Spanners as it allows arbitrarily long outputs. Our main result is an algorithm that evaluates such a query by enumerating…”
Get full text
Journal Article -
13
Fine-grained Meta-Theorems for Vertex Integrity
ISSN: 1860-5974, 1860-5974Published: Logical Methods in Computer Science e.V 03.12.2024Published in Logical methods in computer science (03.12.2024)“…Vertex Integrity is a graph measure which sits squarely between two more well-studied notions, namely vertex cover and tree-depth, and that has recently gained…”
Get full text
Journal Article -
14
New Algorithms for Mixed Dominating Set
ISSN: 1365-8050, 1462-7264, 1365-8050Published: DMTCS 30.04.2021Published in Discrete mathematics and theoretical computer science (30.04.2021)“… We study the complexity of exact and parameterized algorithms for \textsc{Mixed Dominating Set…”
Get full text
Journal Article -
15
Exactly Hittable Interval Graphs
ISSN: 1365-8050, 1365-8050Published: Discrete Mathematics & Theoretical Computer Science 30.11.2023Published in Discrete mathematics and theoretical computer science (30.11.2023)“… We refer to these interval graphs as exactly hittable interval graphs (EHIG). We present a forbidden structure characterization for EHIG…”
Get full text
Journal Article -
16
Composing dynamic programming tree-decomposition-based algorithms
ISSN: 1365-8050, 1462-7264, 1365-8050Published: DMTCS 01.08.2024Published in Discrete Mathematics and Theoretical Computer Science (01.08.2024)“…$. We show that if there exist dynamic programming tree-decomposition-based algorithms for recognizing the graph classes $\mathcal{H}_i$, for each…”
Get full text
Journal Article -
17
On the Advice Complexity of Online Matching on the Line
ISSN: 1365-8050, 1365-8050Published: Discrete Mathematics & Theoretical Computer Science 01.01.2024Published in Discrete mathematics and theoretical computer science (01.01.2024)“…We consider the matching problem on the line with advice complexity. We give a 1-competitive online algorithm with advice complexity $n-1…”
Get full text
Journal Article -
18
Verified Approximation Algorithms
ISSN: 1860-5974, 1860-5974Published: Logical Methods in Computer Science e.V 01.03.2022Published in Logical methods in computer science (01.03.2022)“…We present the first formal verification of approximation algorithms for NP-complete optimization problems…”
Get full text
Journal Article -
19
Search-and-Fetch with 2 Robots on a Disk: Wireless and Face-to-Face Communication Models
ISSN: 1365-8050, 1365-8050Published: Discrete Mathematics & Theoretical Computer Science 13.06.2019Published in Discrete mathematics and theoretical computer science (13.06.2019)“… We are interested in designing distributed algorithms that minimize the worst…”
Get full text
Journal Article -
20
Spanning Trees Minimizing Branching Costs
ISSN: 1365-8050, 1365-8050Published: Discrete Mathematics & Theoretical Computer Science 01.01.2025Published in Discrete mathematics and theoretical computer science (01.01.2025)“…The Minimum Branch Vertices Spanning Tree problem aims to find a spanning tree $T$ in a given graph $G$ with the fewest branch vertices, defined as vertices…”
Get full text
Journal Article