On the use of smoothing to improve the performance of the splitting method - Université de Rennes Accéder directement au contenu
Article Dans Une Revue Stochastic Models Année : 2011

On the use of smoothing to improve the performance of the splitting method

Résumé

We present an enhanced version of the splitting method, called the smoothed splitting method (SSM), for counting associated with complex sets, such as the set defined by the constraints of an integer program and in particular for counting the number of satisfiability assignments. Like the conventional splitting algorithms, ours uses a sequential sampling plan to decompose a "difficult" problem into a sequence of "easy" ones. The main difference between SSM and splitting is that it works with an auxiliary sequence of continuous sets instead of the original discrete ones. The rationale of doing so is that continuous sets are easier to handle. We show that while the proposed method and its standard splitting counterpart are similar in their CPU time and variability, the former is more robust and more flexible than the latter.

Dates et versions

hal-00756762 , version 1 (23-11-2012)

Identifiants

Citer

Frédéric Cérou, Arnaud Guyader, Reuven Rubinstein, Radislav Vaisman. On the use of smoothing to improve the performance of the splitting method. Stochastic Models, 2011, 27 (4), pp.629-650. ⟨10.1080/15326349.2011.614188⟩. ⟨hal-00756762⟩
142 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More