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
Approximate Counting for Spin Systems in Sub-Quadratic Time
ISSN: 2751-4838, 2751-4838Published: TheoretiCS Foundation e.V 13.01.2025Published in TheoretiCS (13.01.2025)“…We present two randomised approximate counting algorithms with$\widetilde{O}(n^{2-c}/\varepsilon^2)$running time for some constant…”
Get full text
Journal Article -
3
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 -
4
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 -
5
A Refined Laser Method and Faster Matrix Multiplication
ISSN: 2751-4838, 2751-4838Published: TheoretiCS Foundation e.V 04.09.2024Published in TheoretiCS (04.09.2024)“… the `value' of a tensor in designing matrix multiplication algorithms. The main result of this paper is a refinement of the laser method that improves the resulting value bound for most sufficiently large tensors…”
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
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 -
8
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 -
9
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 -
10
Strongly Sublinear Algorithms for Testing Pattern Freeness
ISSN: 2751-4838, 2751-4838Published: TheoretiCS Foundation e.V 2024Published in TheoretiCS (2024)“… (Random Structures and Algorithms 2019). We show that for all constants$k \in \mathbb{N}$ ,$\varepsilon \in (0,1)$ , and permutation$\pi:[k] \to [k]$ , there is a…”
Get full text
Journal Article -
11
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 -
12
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 -
13
On Approximability of Steiner Tree in$\ell_p$ -metrics
ISSN: 2751-4838, 2751-4838Published: TheoretiCS Foundation e.V 20.01.2025Published in TheoretiCS (20.01.2025)“…In the Continuous Steiner Tree problem (CST), we are given as input a set of points (called terminals) in a metric space and ask for the minimum-cost tree…”
Get full text
Journal Article -
14
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 -
15
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 -
16
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 -
17
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 -
18
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 -
19
PPSZ is better than you think
ISSN: 2751-4838, 2751-4838Published: TheoretiCS Foundation e.V 13.03.2024Published in TheoretiCS (13.03.2024)“…PPSZ, for long time the fastest known algorithm for$k$ -SAT, works by going through the variables of the input formula in random order…”
Get full text
Journal Article -
20
A$(3+\varepsilon)$ -Approximate Correlation Clustering Algorithm in Dynamic Streams
ISSN: 2751-4838, 2751-4838Published: TheoretiCS Foundation e.V 28.02.2025Published in TheoretiCS (28.02.2025)“…Grouping together similar elements in datasets is a common task in data mining and machine learning…”
Get full text
Journal Article