next up previous index
Next: Dynamic Programming Up: Minimization with Discrete Labels Previous: Local vs. Global Solutions

8.2.3

Highest Confidence First

Highest Confidence First (HCF) [Chou and Brown 1990,Chou et al. 1993] is a serial, deterministic algorithm for combinatorial minimization in which the label set is discrete, . Its feature is the introduction of a special uncommitted label and the strategy for ``committing'' a site.    

Denote the uncommitted label by 0. The original label set is augmented by this label into . A label is said to be uncommitted if or committed if . Initially, all label are set uncommitted, . A rule is that once a site is committed, its label cannot go back to 0 but can change to another value in .

The commitment and label changes are based on a stability measure defined in the following. The two assumptions made in ICM are also made in HCF. Therefore we have the conditional posterior potential

where means any clique c containing site i. After augmenting the label set, we define the conditional potential for a committed label asgif

where

Therefore, a site has no effect on its neighbors unless it has committed. When no neighbor is active, the local energy measure reduces to the likelihood of the label. A remark is that the uncommitted label is different from the NULL label described in Chapter 5 for object recognition because any clique involving a site labeled NULL incurs a non-zero penalty.

The stability of i with respect to f is defined as

 

where . The stability S of an uncommitted site is the negative difference between the lowest and the second lowest local energies (conditional potentials). The stability S of a committed site is the difference between the current local energy and the lowest possible energy due to any other label. Note the range of a stability is . A negative stability means there is room to improve. All uncommitted sites have non-positive . The magnitude of is equal to the change in energy due to the change in the label . A lower value of indicates a more stable configuration and a negative value with larger magnitude gives us more confidence to change f to a new configuration.

  
Figure 8.4: The highest confidence first algorithm.

The following rule is imposed for deciding the order of update: At each step, only the least stable site is allowed to change its label or to make its commitment. Suppose that is the least stable site. Then if , change to

otherwise, change to

Therefore, the first committed label is that yields the maximum local likelihood . The HCF algorithm is described in Fig.8.4. Create_Heap creates a heap in which the S-values are sorted, the least stable site is placed at the top. Change_State(k) changes to according to the rule described earlier. Update_S(k) updates the stability value of k using the current f. Adjust_Heap(k) adjusts the heap according to the current S-values.

A parallel version of HCF, called ``local HCF'', is described in [Chou et al. 1993]. In local HCF, the updating on each iteration is performed according to the following rule: For each site in parallel, change the state of the site if its stability is negative and lower than the stabilities of its neighbors.

Some results are given in Chou et al. 's paper in which HCF is compared with other algorithms including simulated annealing and ICM. The results show that HCF is, on the whole, better in terms of the remaining energy . The initialization is not a problem for HCF because it is always set to 0's.



next up previous index
Next: Dynamic Programming Up: Minimization with Discrete Labels Previous: Local vs. Global Solutions