@misc{KonjevodKrumkeMarathe, author = {Konjevod, Goran and Krumke, Sven and Marathe, Madhav}, title = {Budget Constrained Minimum Cost Connected Medians}, url = {http://nbn-resolving.de/urn:nbn:de:0297-zib-5783}, number = {00-10}, abstract = {Several practical instances of network design problems require the network to satisfy multiple constraints. In this paper, we address the \emph{Budget Constrained Connected Median Problem}: We are given an undirected graph \$G = (V,E)\$ with two different edge-weight functions \$c\$ (modeling the construction or communication cost) and \$d\$ (modeling the service distance), and a bound~\$B\$ on the total service distance. The goal is to find a subtree~\$T\$ of \$G\$ with minimum \$c\$-cost \$c(T)\$ subject to the constraint that the sum of the service distances of all the remaining nodes \$v \in V\setminus T\$ to their closest neighbor in~\$T\$ does not exceed the specified budget~\$B\$. This problem has applications in optical network design and the efficient maintenance of distributed databases. We formulate this problem as bicriteria network design problem, and present bicriteria approximation algorithms. We also prove lower bounds on the approximability of the problem that demonstrate that our performance ratios are close to best possible}, language = {en} } @misc{BodlaenderKosterWolle, author = {Bodlaender, Hans L. and Koster, Arie M.C.A. and Wolle, Thomas}, title = {Contraction and Treewidth Lower Bounds}, url = {http://nbn-resolving.de/urn:nbn:de:0297-zib-8042}, number = {04-29}, abstract = {Edge contraction is shown to be a useful mechanism to improve lower bound heuristics for treewidth. A successful lower bound for treewidth is the degeneracy: the maximum over all subgraphs of the minimum degree. The degeneracy is polynomial time computable. We introduce the notion of contraction degeneracy: the maximum over all minors of the minimum degree. We show that the contraction degeneracy problem is NP-complete, even for bipartite graphs, but for fixed \$k\$, it is polynomial time decidable if a given graph \$G\$ has contraction degeneracy at least \$k\$. Heuristics for computing the contraction degeneracy are proposed and evaluated. It is shown that these can lead in practice to considerable improvements of the lower bound for treewidth, but can perform arbitrarily bad on some examples. A study is also made for the combination of contraction with Lucena's lower bound based on Maximum Cardinality Search (Lucena, 2003). Finally, heuristics for the treewidth are proposed and! evaluated that combine contraction with a treewidth lower bound technique by Clautiaux et al (2003).}, language = {en} } @misc{WolleKosterBodlaender, author = {Wolle, Thomas and Koster, Arie M.C.A. and Bodlaender, Hans L.}, title = {A Note on Contraction Degeneracy}, url = {http://nbn-resolving.de/urn:nbn:de:0297-zib-8180}, number = {04-43}, abstract = {The parameter contraction degeneracy -- the maximum minimum degree over all minors of a graph -- is a treewidth lower bound and was first defined in (Bodlaender, Koster, Wolle, 2004). In experiments it was shown that this lower bound improves upon other treewidth lower bounds. In this note, we examine some relationships between the contraction degeneracy and connected components of a graph, block s of a graph and the genus of a graph. We also look at chordal graphs, and we study an upper bound on the contraction degeneracy and another lower bound for treewidth. A data structure that can be used for algorithms computing the degeneracy and similar parameters, is also described.}, language = {en} } @misc{KosterWolleBodlaender, author = {Koster, Arie M.C.A. and Wolle, Thomas and Bodlaender, Hans L.}, title = {Degree-Based Treewidth Lower Bounds}, url = {http://nbn-resolving.de/urn:nbn:de:0297-zib-8193}, number = {04-44}, abstract = {Every lower bound for treewidth can be extended by taking the maximum of the lower bound over all subgraphs or minors. This extension is shown to be a very vital idea for improving treewidth lower bounds. In this paper, we investigate a total of nine graph parameters, providing lower bounds for treewidth. The parameters have in common that they all are the vertex-degree of some vertex in a subgra ph or minor of the input graph. We show relations between these graph parameters and study their computational complexity. To allow a practical comparison of the bounds, we developed heuristic algorithms for those parameters that are NP-hard to compute. Computational experiments show that combining the treewidth lower bounds with minors can considerably improve the lower bounds.}, language = {en} } @misc{BodlaenderKoster, author = {Bodlaender, Hans L. and Koster, Arie M.C.A.}, title = {On the Maximum Cardinality Search Lower Bound for Treewidth}, url = {http://nbn-resolving.de/urn:nbn:de:0297-zib-8201}, number = {04-45}, abstract = {The Maximum Cardinality Search algorithm visits the vertices of a graph in some order, such that at each step, an unvisited vertex that has the largest number of visited neighbors becomes visited. An MCS-ordering of a graph is an ordering of the vertices that can be generated by the Maximum Cardinality Search algorithm. The visited degree of a vertex \$v\$ in an MCS-ordering is the number of neighbors of \$v\$ that are before \$v\$ in the ordering. The visited degree of an MCS-ordering \$\psi\$ of \$G\$ is the maximum visited degree over all vertices \$v\$ in \$\psi\$. The maximum visited degree over all MCS-orderings of graph \$G\$ is called its {\em maximum visited degree}. Lucena (2003) showed that the treewidth of a graph \$G\$ is at least its maximum visited degree. We show that the maximum visited degree is of size \$O(\log n)\$ for planar graphs, and give examples of planar graphs \$G\$ with maximum visited degree \$k\$ with \$O(k!)\$ vertices, for all \$k\in \Bbb{N}\$. Given a graph \$G\$, it is NP-complete to determine if its maximum visited degree is at least \$k\$, for any fixed \$k\geq 7\$. Also, this problem does not have a polynomial time approximation algorithm with constant ratio, unless P=NP. Variants of the problem are also shown to be NP-complete. We also propose and experimentally analyses some heuristics for the problem. Several tiebreakers for the MCS algorithm are proposed and evaluated. We also give heuristics that give upper bounds on the value of the maximum visited degree of a graph, which appear to give results close to optimal on many graphs from real life applications.}, language = {en} } @misc{BodlaenderKoster, author = {Bodlaender, Hans L. and Koster, Arie M.C.A.}, title = {Safe separators for treewidth}, url = {http://nbn-resolving.de/urn:nbn:de:0297-zib-7544}, number = {03-32}, abstract = {A set of vertices \$S\subseteq V\$ is called a safe separator for treewidth, if \$S\$ is a separator of \$G\$, and the treewidth of \$G\$ equals the maximum of the treewidth over all connected components \$W\$ of \$G-S\$ of the graph, obtained by making \$S\$ a clique in the subgraph of \$G\$, induced by \$W\cup S\$. We show that such safe separators are a very powerful tool for preprocessing graphs when we want to compute their treewidth. We give several sufficient conditions for separators to be safe, allowing such separators, if existing, to be found in polynomial time. In particular, every minimal separator of size one or two is safe, every minimal separator of size three that does not split off a component with only one vertex is safe, and every minimal separator that is an almost clique is safe; an almost clique is a set of vertices \$W\$ such that there is a \$v\in W\$ with \$W-\{v\}\$ a clique. We report on experiments that show significant reductions of instance sizes for graphs from proba! bilistic networks and frequency assignment.}, language = {en} } @misc{BodlaenderKosterEijkhofetal., author = {Bodlaender, Hans L. and Koster, Arie M.C.A. and Eijkhof, Frank van den and Gaag, Linda C. van der}, title = {Pre-processing for Triangulation of Probabilistic Networks}, url = {http://nbn-resolving.de/urn:nbn:de:0297-zib-6655}, number = {01-39}, abstract = {The currently most efficient algorithm for inference with a probabilistic network builds upon a triangulation of a network's graph. In this paper, we show that pre-processing can help in finding good triangulations for probabilistic networks, that is, triangulations with a minimal maximum clique size. We provide a set of rules for stepwise reducing a graph, without losing optimality. This reduction allows us to solve the triangulation problem on a smaller graph. From the smaller graph's triangulation, a triangulation of the original graph is obtained by reversing the reduction steps. Our experimental results show that the graphs of some well-known real-life probabilistic networks can be triangulated optimally just by preprocessing; for other networks, huge reductions in their graph's size are obtained.}, language = {en} } @misc{EijkhofBodlaenderKoster, author = {Eijkhof, Frank van den and Bodlaender, Hans L. and Koster, Arie M.C.A.}, title = {Safe reduction rules for weighted treewidth}, url = {http://nbn-resolving.de/urn:nbn:de:0297-zib-7164}, number = {02-49}, abstract = {Several sets of reductions rules are known for preprocessing a graph when computing its treewidth. In this paper, we give reduction rules for a weighted variant of treewidth, motivated by the analysis of algorithms for probabilistic networks. We present two general reduction rules that are safe for weighted treewidth. They generalise many of the existing reduction rules for treewidth. Experimental results show that these reduction rules can significantly reduce the problem size for several instances of real-life probabilistic networks.}, language = {en} } @misc{BodlaenderFominKosteretal., author = {Bodlaender, Hans L. and Fomin, Fedor V. and Koster, Arie M.C.A. and Kratsch, Dieter and Thilikos, Dimitrios M.}, title = {On exact algorithms for treewidth}, url = {http://nbn-resolving.de/urn:nbn:de:0297-zib-9265}, number = {06-32}, abstract = {We give experimental and theoretical results on the problem of computing the treewidth of a graph by exact exponential time algorithms using exponential space or using only polynomial space. We first report on an implementation of a dynamic programming algorithm for computing the treewidth of a graph with running time \$O^\ast(2^n)\$. This algorithm is based on the old dynamic programming method introduced by Held and Karp for the {\sc Tra veling Salesman} problem. We use some optimizations that do not affect the worst case running time but improve on the running time on actual instances and can be seen to be practical for small instances. However, our experiments show that the space use d by the algorithm is an important factor to what input sizes the algorithm is effective. For this purpose, we settle the problem of computing treewidth under the restriction that the space used is only polynomial. In this direction we give a simple \$O^\ast(4^n)\$ al gorithm that requires {\em polynomial} space. We also show that with a more complicated algorithm, using balanced separators, {\sc Treewidth} can be computed in \$O^\ast(2.9512^n)\$ time and polynomial space.}, language = {en} } @misc{BodlaenderGrigorievKoster, author = {Bodlaender, Hans L. and Grigoriev, Alexander and Koster, Arie M.C.A.}, title = {Treewidth Lower Bounds with Brambles}, url = {http://nbn-resolving.de/urn:nbn:de:0297-zib-8878}, number = {05-54}, abstract = {In this paper we present a new technique for computing lower bounds for graph treewidth. Our technique is based on the fact that the treewidth of a graph \$G\$ is the maximum order of a bramble of \$G\$ minus one. We give two algorithms: one for general graphs, and one for planar graphs. The algorithm for planar graphs is shown to give a lower bound for both the treewidth and branchwidth that is at most a constant factor away from the optimum. For both algorithms, we report on extensive computational experiments that show that the algorithms give often excellent lower bounds, in particular when applied to (close to) planar graphs.}, language = {en} } @misc{MaristanydelasCasasSedenoNodaBorndoerfer2021, author = {Maristany de las Casas, Pedro and Sedeno-Noda, Antonio and Bornd{\"o}rfer, Ralf}, title = {An Improved Multiobjective Shortest Path Algorithm}, issn = {1438-0064}, url = {http://nbn-resolving.de/urn:nbn:de:0297-zib-79712}, year = {2021}, abstract = {We present a new label-setting algorithm for the Multiobjective Shortest Path (MOSP) problem that computes the minimal complete set of efficient paths for a given instance. The size of the priority queue used in the algorithm is bounded by the number of nodes in the input graph and extracted labels are guaranteed to be efficient. These properties allow us to give a tight output-sensitive running time bound for the new algorithm that can almost be expressed in terms of the running time of Dijkstra's algorithm for the Shortest Path problem. Hence, we suggest to call the algorithm \emph{Multiobjective Dijkstra Algorithm} (MDA). The simplified label management in the MDA allows us to parallelize some subroutines. In our computational experiments, we compare the MDA and the classical label-setting MOSP algorithm by Martins', which we improved using new data structures and pruning techniques. On average, the MDA is \$\times2\$ to \$\times9\$ times faster on all used graph types. On some instances the speedup reaches an order of magnitude.}, language = {en} } @misc{Hiller, type = {Master Thesis}, author = {Hiller, Benjamin}, title = {Bad Guys are Rare: Probabilistic Analysis of an Elementary Dial-a-Ride Problem}, url = {http://nbn-resolving.de/urn:nbn:de:0297-zib-10114}, school = {Zuse Institute Berlin (ZIB)}, abstract = {This thesis deals with a Dial-a-Ride problem on trees and considers both offline and online versions of this problem. We study the behavior of certain algorithms on random instances, i.e. we do probabilistic analysis. The focus is on results describing the typical behavior of the algorithms, i.e. results holding with (asymptotically) high probability. For the offline version, we present a simplified proof of a result of Coja-Oghlan, Krumke und Nierhoff. The results states that some heuristic using a minimum spanning tree to approximate a Steiner tree gives optimal results with high probability. This explains why this heuristic produces optimal solutions quite often. In the second part, probabilistic online versions of the problem are introduced. We study the online strategies REPLAN and IGNORE. Regarding the IGNORE strategy we can show that it works almost optimal under high load with high probability.}, language = {en} }