English
Related papers

Related papers: Minimum Number of Test Paths for Prime Path and ot…

200 papers

This paper details a new algorithm to solve the shortest path problem in valued graphs. Its complexity is $O(D \log v)$ where $D$ is the graph diameter and $v$ its number of vertices. This complexity has to be compared to the one of the…

Data Structures and Algorithms · Computer Science 2007-05-23 Michel Koskas

The minimum cost flow problem is one of the most studied network optimization problems and appears in numerous applications. Some efficient algorithms exist for this problem, which are freely available in the form of libraries or software…

Machine Learning · Computer Science 2022-10-06 Philipp Herrmann , Anna Meyer , Stefan Ruzika , Luca E. Schäfer , Fabian von der Warth

Test Coverage criteria are an essential concept for test engineers when generating the test cases from a System Under Test model. They are routinely used in test case generation for user interfaces, middleware, and back-end system parts for…

Software Engineering · Computer Science 2022-03-21 Vaclav Rechtberger , Miroslav Bures , Bestoun S. Ahmed

A prototypical graph problem is centered around a graph-theoretic property for a set of vertices and a solution to it is a set of vertices for which the desired property holds. The task is to decide whether, in the given graph, there exists…

Computational Complexity · Computer Science 2020-06-11 Dušan Knop , Tomáš Masařík , Tomáš Toufar

Many algorithms which exactly solve hard problems require branching on more or less complex structures in order to do their job. Those who design such algorithms often find themselves doing a meticulous analysis of numerous different cases…

Data Structures and Algorithms · Computer Science 2023-07-04 Radovan Červený , Ondřej Suchý

We investigate the problem of computing a minimum set of solutions that approximates within a specified accuracy $\epsilon$ the Pareto curve of a multiobjective optimization problem. We show that for a broad class of bi-objective problems…

Data Structures and Algorithms · Computer Science 2008-05-20 Ilias Diakonikolas , Mihalis Yannakakis

We investigate edge-intersection graphs of paths in the plane grid, regarding a parameter called the bend-number. I.e., every vertex is represented by a grid path and two vertices are adjacent if and only if the two grid paths share at…

Combinatorics · Mathematics 2012-08-21 Daniel Heldt , Kolja Knauer , Torsten Ueckerdt

The definition of $1$-planar graphs naturally extends graph planarity, namely a graph is $1$-planar if it can be drawn in the plane with at most one crossing per edge. Unfortunately, while testing graph planarity is solvable in linear time,…

Computational Geometry · Computer Science 2019-11-05 Carla Binucci , Walter Didimo , Fabrizio Montecchiani

Path cover is a well-known intractable problem that finds a minimum number of vertex disjoint paths in a given graph to cover all the vertices. We show that a variant, where the objective function is not the number of paths but the number…

Data Structures and Algorithms · Computer Science 2018-03-09 Yinhui Cai , Guangting Chen , Yong Chen , Randy Goebel , Guohui Lin , Longcheng Liu , An Zhang

We study the problem of planning the deployments of a group of mobile robots. While the problem and formulation can be used for many different problems, here we use a bridge inspection as the motivating application for the purpose of…

Data Structures and Algorithms · Computer Science 2020-03-30 Michael Lin , Richard J. La

We consider an optimization problem posed by an actual newspaper company, which consists of computing a minimum length route for a delivery truck, such that the driver only stops at street crossings, each time delivering copies to all…

Data Structures and Algorithms · Computer Science 2019-01-29 Diego Delle Donne , Guido Tagliavini

Computing planar orthogonal drawings with the minimum number of bends is one of the most relevant topics in Graph Drawing. The problem is known to be NP-hard, even when we want to test the existence of a rectilinear planar drawing, i.e., an…

Computational Geometry · Computer Science 2023-09-07 Emilio Di Giacomo , Walter Didimo , Giuseppe Liotta , Fabrizio Montecchiani , Giacomo Ortali

This paper considers a natural fault-tolerant shortest paths problem: for some constant integer $f$, given a directed weighted graph with no negative cycles and two fixed vertices $s$ and $t$, compute (either explicitly or implicitly) for…

Data Structures and Algorithms · Computer Science 2022-09-16 Virginia Vassilevska Williams , Eyob Woldeghebriel , Yinzhan Xu

Exact pattern matching in labeled graphs is the problem of searching paths of a graph $G=(V,E)$ that spell the same string as the pattern $P[1..m]$. This basic problem can be found at the heart of more complex operations on variation graphs…

Computational Complexity · Computer Science 2020-06-04 Massimo Equi , Roberto Grossi , Veli Mäkinen

The graph matching optimization problem is an essential component for many tasks in computer vision, such as bringing two deformable objects in correspondence. Naturally, a wide range of applicable algorithms have been proposed in the last…

Computer Vision and Pattern Recognition · Computer Science 2022-08-01 Stefan Haller , Lorenz Feineis , Lisa Hutschenreiter , Florian Bernard , Carsten Rother , Dagmar Kainmüller , Paul Swoboda , Bogdan Savchynskyy

We propose a convex-concave programming approach for the labeled weighted graph matching problem. The convex-concave programming formulation is obtained by rewriting the weighted graph matching problem as a least-square problem on the set…

Computer Vision and Pattern Recognition · Computer Science 2008-10-27 Mikhail Zaslavskiy , Francis Bach , Jean-Philippe Vert

We develop an efficient parallel algorithm for answering shortest-path queries in planar graphs and implement it on a multi-node CPU/GPU clusters. The algorithm uses a divide-and-conquer approach for decomposing the input graph into small…

Data Structures and Algorithms · Computer Science 2015-03-26 Guillaume Chapuis , Hristo Djidjev

For a graph $G$, an edge-separating (resp. vertex-separating) path system of $G$ is a family of paths in $G$ such that for any pair of edges $e_1, e_2$ (resp. pair of vertices $v_1, v_2$) of $G$ there is at least one path in the family that…

We study a map matching problem, the task of finding in an embedded graph a path that has low distance to a given curve in R^2. The Fr\'echet distance is a common measure for this problem. Efficient methods exist to compute the best path…

Computational Geometry · Computer Science 2013-06-13 Wouter Meulemans

We consider the Vertex Cover problem in intersection graphs of axis-parallel rectangles on the plane. We present two algorithms: The first is an EPTAS for non-crossing rectangle families, rectangle families $\calR$ where $R_1 \setminus R_2$…

Data Structures and Algorithms · Computer Science 2010-01-20 Reuven Bar-Yehuda , Danny Hermelin , Dror Rawitz
‹ Prev 1 4 5 6 7 8 10 Next ›