In this post we will partially discuss this paper by Erlebach et. al. The classical MST problem is studied for graphs with edge and vertex uncertainties. In general a problem with uncertainties can be specified as a triple where , the for the problem consists of a set of data points and is a set of where . The function defines the solution for a particular configuration . The input of the problem is just the set of areas . An algorithm can any of the and this determines the value of the data point . The objective is to minimize the number of such updates and still be able to compute . An algorithm is update competitive if it can compute with at most updates where is the minimum number of updates required by any algorithm.
Example: Given a weighted graph the areas can be open intervals such that the edge weight . The function can then be a minimum spanning tree of .
The algorithm in this paper gives a general strategy to solve problems with uncertainties. The algorithm is update competitive where is an upper bound on the size of a witness set . A witness set is a set of areas such that in order to verify the solution at least one element of needs to be updated. The witness algorithm is a kind of template for problems with uncertainties as it does not specify how a witness set is to be computed.
Question : In general is it always possible to compute a witness set in polynomial time?
The problem discussed in this paper is an extension of the concept of MST to graphs with uncertain edge weights. A MST of such a graph is said to be a MST in all possible realizations of edge weights, that satisfy the basic condition of the edge weight belonging to its assigned area. The paper provides an algorithm that is update competitive when the areas are open intervals or singletons. Furthermore it is proved that, there is no update competitive algorithm in this case. When there are no restrictions on the areas at all, it is proved that there is no constant update algorithm for the MST problem. The paper also considers graphs with vertex position uncertainties [where vertices are points in an Euclidean space].
The algorithm looks a lot like Kruskals MST algorithm. The main crux it to find witness sets of size as edges are considered in their special sorted order. For details please refer to the paper.
Some comments and questions:
1) How about approximation algorithms for problems with uncertainties? The goal of an approximation algorithm would be to compute an approximate solution to problems with uncertainties with minimum updates.
2) In this model, there seems to be no restriction on the running time of the algorithm but the only importance seems to be given to the number of updates. Is there a model which combines the two meaningfully?
3) The notion of a MST that applies to all possible realizations of a graph with edge uncertainties seems too restrictive.