English
Related papers

Related papers: Space Saving by Dynamic Algebraization

200 papers

An algorithm on weighted graphs is called universally optimal if it is optimal for every input graph, in the worst case taken over all weight assignments. Informally, this means the algorithm is competitive even with algorithms that are…

Data Structures and Algorithms · Computer Science 2026-02-19 Benjamin Aram Berendsohn

Many learning algorithms are formulated in terms of finding model parameters which minimize a data-fitting loss function plus a regularizer. When the regularizer involves the l0 pseudo-norm, the resulting regularization path consists of a…

Machine Learning · Computer Science 2020-03-06 Toby Hocking , Joseph Vargovich

In this paper we propose, implement, and test the first practical decomposition algorithms for the width parameters treecut width and treedepth. These two parameters have recently gained a lot of attention in the theoretical research…

Data Structures and Algorithms · Computer Science 2019-12-02 Robert Ganian , Neha Lodha , Sebastian Ordyniak , Stefan Szeider

Global optimization of decision trees has shown to be promising in terms of accuracy, size, and consequently human comprehensibility. However, many of the methods used rely on general-purpose solvers for which scalability remains an issue.…

Machine Learning · Computer Science 2025-01-31 Jacobus G. M. van der Linden , Mathijs M. de Weerdt , Emir Demirović

We consider the problem of finding a subgraph of a given graph which maximizes a given function evaluated at its degree sequence. While the problem is intractable already for convex functions, we show that it can be solved in polynomial…

Combinatorics · Mathematics 2020-11-10 Shmuel Onn

In this paper, we give a constructive proof of the fact that the treewidth of a graph is at most its divisorial gonality. The proof gives a polynomial time algorithm to construct a tree decomposition of width at most $k$, when an effective…

Discrete Mathematics · Computer Science 2020-05-13 Hans L. Bodlaender , Josse van Dobben de Bruyn , Dion Gijswijt , Harry Smit

Higher-dimensional orthogonal packing problems have a wide range of practical applications, including packing, cutting, and scheduling. Combining the use of our data structure for characterizing feasible packings with our new classes of…

Data Structures and Algorithms · Computer Science 2007-05-23 Sandor P. Fekete , Joerg Schepers , Jan C. van der Veen

A long line of research on fixed parameter tractability of integer programming culminated with showing that integer programs with n variables and a constraint matrix with dual tree-depth d and largest entry D are solvable in time…

Data Structures and Algorithms · Computer Science 2022-02-02 Timothy F. N. Chan , Jacob W. Cooper , Martin Koutecky , Daniel Kral , Kristyna Pekarkova

Optimal control problems driven by evolutionary partial differential equations arise in many industrial applications and their numerical solution is known to be a challenging problem. One approach to obtain an optimal feedback control is…

Numerical Analysis · Mathematics 2023-05-16 Gerhard Kirsten , Luca Saluzzi

The arboricity $\Gamma$ of a graph is the minimum number of forests its edge set can be partitioned into. Previous approximation schemes were nonconstructive, i.e., they only approximated the arboricity as a value without computing a…

Data Structures and Algorithms · Computer Science 2019-09-06 Markus Blumenstock , Frank Fischer

There exist several methods of calculating a similarity curve, or a sequence of similarity values, representing the lexical cohesion of successive text constituents, e.g., paragraphs. Methods for deciding the locations of fragment…

Computation and Language · Computer Science 2007-05-23 Oskari Heinonen

Dijkstra observed that verifying correctness of a program is difficult and conjectured that derivation of a program hand-in-hand with its proof of correctness was the answer. We illustrate this goal-oriented approach by applying it to the…

Mathematical Software · Computer Science 2017-10-13 Devangi N. Parikh , Maggie E. Myers , Robert A. van de Geijn

For an arbitrary, fixed graph (pattern graph), we study the algorithmic complexity of counting homomorphisms, subgraph isomorphisms, and induced subgraph isomorphisms from the pattern graph to $n$-vertex, $d$-degenerate graphs as input.…

Data Structures and Algorithms · Computer Science 2025-11-07 Balagopal Komarath , Anant Kumar , Akash Pareek

We study the parameterized complexity of computing the tree-partition-width, a graph parameter equivalent to treewidth on graphs of bounded maximum degree. On one hand, we can obtain approximations of the tree-partition-width efficiently:…

Discrete Mathematics · Computer Science 2025-02-19 Hans L. Bodlaender , Carla Groenland , Hugo Jacob

Dynamic programming (DP) is an algorithmic design paradigm for the efficient, exact solution of otherwise intractable, combinatorial problems. However, DP algorithm design is often presented in an ad-hoc manner. It is sometimes difficult to…

Data Structures and Algorithms · Computer Science 2024-05-17 Max A. Little , Xi He , Ugur Kayas

Motivated by an application in computational topology, we consider a novel variant of the problem of efficiently maintaining dynamic rooted trees. This variant requires merging two paths in a single operation. In contrast to the standard…

Data Structures and Algorithms · Computer Science 2007-11-13 Loukas Georgiadis , Haim Kaplan , Nira Shafrir , Robert E. Tarjan , Renato F. Werneck

Constrained counting is a fundamental problem in artificial intelligence. A promising new algebraic approach to constrained counting makes use of tensor networks, following a reduction from constrained counting to the problem of…

Data Structures and Algorithms · Computer Science 2020-04-29 Jeffrey M. Dudek , Leonardo Dueñas-Osorio , Moshe Y. Vardi

A vibrant theoretical research area are efficient exact parameterized algorithms. Very recent solving competitions such as the PACE challenge show that there is also increasing practical interest in the parameterized algorithms community.…

Logic in Computer Science · Computer Science 2017-06-29 Johannes K. Fichte , Markus Hecher , Michael Morak , Stefan Woltran

Decision tree learning is a widely used approach in machine learning, favoured in applications that require concise and interpretable models. Heuristic methods are traditionally used to quickly produce models with reasonably high accuracy.…

For an arbitrary tree we investigate the problems of constructing a maximum matching which minimizes or maximizes the cardinality of a maximum matching of the graph obtained from original one by its removal and present corresponding…

Discrete Mathematics · Computer Science 2007-07-17 R. R. Kamalian , V. V. Mkrtchyan
‹ Prev 1 4 5 6 7 8 10 Next ›