The Maximum Agreement Forest problem has been extensively studied in phylogenetics. Most previous work is on two binary phylogenetic trees. In this paper, we study a generalized version of the problem: the Maximum Agreement Forest problem on multiple rooted multifurcating phylogenetic trees, from the perspective of fixed-parameter algorithms. By taking advantage of a new branch-and-bound strate...

We describe a new exact solver for the minimization of open stacks problem (MOSP). By combining nogood recording with a branch and bound strategy based on choosing which customer stack to close next, our solver is able to solve hard instances of MOSP some 5-6 orders of magnitude faster than the previous state of the art. We also derive several pruning schemes based on dominance relations which ...

We consider reoptimization (i.e., the solution of a problem based on information available from solving a similar problem) for branch-and-bound algorithms and propose a generic framework to construct a reoptimizing branch-and-bound algorithm. We apply this to an elevator scheduling algorithm solving similar subproblems to generate columns using branchand-bound. Our results indicate that reoptim...

A Bayesian probabilistic approach is presented for the damage detection of multistory frame structures. In this paper, a Bayesian probabilistic approach is applied to identify multiple damage locations using estimated modal parameters when (1) the measurement data are potentially corrupted with noise, (2) only a small number of degrees of freedom are measured, and (3) a few fundamental modes ar...

In this paper, a branch and bound algorithm for computing the treewidth of a graph is presented. The method incorporates extensions of existing results, and uses new pruning and reduction rules, based upon properties of the adopted branching strategy. We discuss how the algorithm can not only be used to obtain exact bounds for the treewidth, but also to obtain upper and/or lower bounds. Computa...

The size-change abstraction (SCA) is an important program abstraction for termination analysis, which has been successfully implemented in many tools for functional and logic programs. In this paper, we demonstrate that SCA is also a highly effective abstract domain for the bound analysis of imperative programs. We have implemented a bound analysis tool based on SCA for imperative programs. We ...

The branch-and-bound algorithm is stated in general i ty, and i l l us t ra ted by two applications, unidirect ional graph search, and reducing a sparse matrix to i t s minimal band form. The algorithm is then generalised to mult iple par t i t ions , applied to bid i rect ional graph searching for both heurist ic and non-heuristic searches, and further extended to graph searches and problem so...

This work addresses the correction and improvement of Mavrotas and Diakoulaki’s branch and bound algorithm for mixed 0-1 MOLP. We first develop about the issues encountered by the original algorithm and propose and corrected version for the biobjective case. We then introduce several improvements about the bounds and end with the proposition of a new algorithm based on the two phase method and ...

The cutwidth minimization problem consists of finding a linear layout of a graph so that the maximum linear cut of edges (i.e., the number of edges that cut a line between consecutive vertices) is minimized. This paper starts by reviewing previous exact approaches for special classes of graphs as well as a linear integer formulation for the general problem. We propose a branch and bound algorit...