Module org.maxicp

Package org.maxicp.search.blackbox

Class RestartRunnableSearch

java.lang.Object

org.maxicp.search.blackbox.RunnableSearch

org.maxicp.search.blackbox.RestartRunnableSearch

public class RestartRunnableSearch
extends RunnableSearch

Feasibility search phase based on repeated DFS restarts.

The class repeatedly launches a depth-first search on the same model, but stops each restart after a bounded number of failures. The failure budget grows according to the Luby sequence, which gives a robust restart policy for hard search spaces: many short runs are tried first, then progressively longer runs are allowed when the search still has not found a solution.

When a solution is found, it is copied out of the current model state and stored in the enclosing BlackBoxSearch. This phase does not optimize anything; it only tries to determine whether the model is feasible and, if so, record one feasible assignment.

Field Summary

Fields inherited from class org.maxicp.search.blackbox.RunnableSearch

blackBoxSearch

Constructor Summary

Constructors

Constructor	Description
RestartRunnableSearch(BlackBoxSearch blackBoxSearch, ModelDispatcher model, List<IntExpression> vars, int baseFailureLimit, double randomSwapProbability, long randomSeed)

Method Summary

Modifier and Type	Method	Description
SearchStatus	run(long timeLimitInMillis)

Methods inherited from class org.maxicp.search.blackbox.RunnableSearch

hasFeasibleSolution

Methods inherited from class java.lang.Object

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

Constructor Details

RestartRunnableSearch

public RestartRunnableSearch(BlackBoxSearch blackBoxSearch,
 ModelDispatcher model,
 List<IntExpression> vars,
 int baseFailureLimit,
 double randomSwapProbability,
 long randomSeed)

Method Details

run

public SearchStatus run(long timeLimitInMillis)