I Exploratory data analysis I Presenting results in concise, meaningful graphs and tables I Basics of inferenzial statistics I Organization of Experiments (Experimental Design) I Sequential statistical testing: a methdology for tuning The goal of dealing with Experimental Algorithmics is not only producing a more correct analysis but adding an important tool to the development of a good, functi...

We introduce the concept of multi-directional width-bounded geometric separators and obtain an improved separator for grid graphs. This yields an improved exact algorithm for the protein folding problem in the HP-model. For a grid graph G with n grid points P , there exists a separator A ⊆ P such that A has at most 1.02074 √ n points, and G−A has two disconnected subgraphs each with at most 2 3...

This paper describes an exact algorithm for the Equitable Coloring Problem, based on the well known DSatur algorithm for the classic Coloring Problem with new pruning rules specifically derived from the equity constraint. Computational experiences show that our algorithm is competitive with those known in literature.

Given a universe N containing n elements and a collection of multisets or sets over N , the multiset multicover (MSMC) or the set multicover (SMC) problem is to cover all elements at least a number of times as specified in their coverage requirements with the minimum number of multisets or sets. In this paper, we give various exact algorithms for these two problems, with or without constraints ...

Some fast exact algorithms for the maximum weight clique problem have been proposed. Östergård’s algorithm is one of them. Kumlander says his algorithm is faster than it. But we confirmed that the straightforwardly implemented Kumlander’s algorithm is slower than Östergård’s algorithm. We propose some improvements on Kumlander’s algorithm. Keywords—Maximum weight clique, exact algorithm, branch...

We present a novel exact algorithm for the minimum graph bisection problem, whose goal is to partition a graph into two equallysized cells while minimizing the number of edges between them. Our algorithm is based on the branch-and-bound framework and, unlike most previous approaches, it is fully combinatorial. We present stronger lower bounds, improved branching rules, and a new decomposition t...

The complexity of an algorithm is usually specied by the maximum number of steps made by the algorithm, as a function of the size of the input. However, as dierent inputs of equal size can yield dramatically dierent algorithm runtime, the size of the input is not always an appropriate basis for predicting algorithm runtime. In this paper, we argue that the compressed size of the input is more a...

Let N = {1, ... ,n} be a finite set of players and K N the complete graph on the node set N w {0}. Assume that the edges of K N have nonnegative weights and associate with each coalition S _~ N of players as cost c(S) the weight of a minimal spanning tree on the node set S u {0}. Using transformation from EXACT COVER BY 3-SETS, we exhibit the tollowing problem to be NP-complete. Given the vecto...

We present a fast and exact algorithm to compute maximum likelihood estimates for the number of faults initially contained in a software, using the hypergeometric software reliability model. The algorithm is based on a rigorous mathematical analysis of the growth behavior of the likelihood function for the model. We also clarify the stochastic process underlying the model and prove a recursion ...

Traditional SoC test scheduling approaches minimize test time under additional constraints. We argue that test costs are not determined by test time alone. Indeed, the speed of used ATE channels influences both cost and test time. We present a case for using a mixture of highspeed and low-cost ATE channels. Two heuristics and an exact algorithm are used. Experimental results show that such a mi...