Search Results - Computer Science - Data Structures and Algorithms
-
1
SciPy 1.0: fundamental algorithms for scientific computing in Python
ISSN: 1548-7091, 1548-7105, 1548-7105Published: New York Nature Publishing Group US 01.03.2020Published in Nature methods (01.03.2020)“… Since its initial release in 2001, SciPy has become a de facto standard for leveraging scientific algorithms in Python, with over 600 unique code contributors, thousands of dependent packages…”
Get full text
Journal Article -
2
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 -
3
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 -
4
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 -
5
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 -
6
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 -
7
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 -
8
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 -
9
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 -
10
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)“… in$P$ . The art gallery problem seeks a minimum size set$G\subset P$of guards that sees$P$completely. 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 -
11
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 -
12
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 -
13
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 -
14
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 -
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
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 Mixed Dominating Set, resolving some open questions…”
Get full text
Journal Article -
18
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 -
19
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 -
20
Optimal Space Lower Bound for Deterministic Self-Stabilizing Leader Election Algorithms
ISSN: 1365-8050, 1462-7264, 1365-8050Published: Nancy DMTCS 01.01.2023Published in Discrete Mathematics and Theoretical Computer Science (01.01.2023)“…), a self-stabilizing algorithm for$\Pi$is a distributed algorithm that can start from any initial configuration of the network (i.e…”
Get full text
Journal Article