org.chocosolver.cutoffseq

Class LubyCutoffStrategy

java.lang.Object

org.chocosolver.cutoffseq.AbstractCutoffStrategy

org.chocosolver.cutoffseq.LubyCutoffStrategy

All Implemented Interfaces:

ICutoffStrategy

public final class LubyCutoffStrategy
extends AbstractCutoffStrategy

A Luby cutoff strategy. Based on:
"Optimal Speedup of Las Vegas Algorithms", M. Luby, A. Sinclair, D. Zuckerman, IPL: Information Processing Letters, 1993, 47, 173-180.
Example, with s=1: 1, 1, 2, 1, 1, 2, 4, 1, 1, 2, 1, 1, 2, 4, 8, 1, 1, 2, ...

Since:

13/05/11

Author:

Charles Prud'homme, Arnaud Malapert, Hadrien Cambazard

Field Summary

Fields inherited from class org.chocosolver.cutoffseq.AbstractCutoffStrategy

scaleFactor

Constructor Summary

Constructors

Constructor and Description
LubyCutoffStrategy(long s) A Luby cutoff strategy.

Method Summary

Modifier and Type	Method and Description
long	getNextCutoff() From SAT 2012: computing Luby values the way presented by Donald Knuth in his invited talk at the SAT 2012 conference.
String	toString()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

LubyCutoffStrategy

public LubyCutoffStrategy(long s)

A Luby cutoff strategy.

Parameters:

s - scale factor

Method Detail

getNextCutoff

public long getNextCutoff()

From SAT 2012: computing Luby values the way presented by Donald Knuth in his invited talk at the SAT 2012 conference.
Credits: sat4j.

Returns:

the next restart cutoff

toString

public String toString()

Overrides:

toString in class Object