savi.alg.weighsat3
Class StateWSAT3

java.lang.Object
  extended by savi.alg.weighsat3.StateWSAT3
All Implemented Interfaces:
java.lang.Cloneable, StateSkeleton

public class StateWSAT3
extends java.lang.Object
implements StateSkeleton

State for MAX-WEIGHTED-3-SAT problem.


Field Summary
protected  WeightedFormula formula
          reference to solved formula
protected  boolean[] varValues
          current variables assignment
protected static double weightSatRatio
          current weight
 
Constructor Summary
StateWSAT3(WeightedFormula formula)
          Creates a new instance of StateSAT3, intializes formula.
 
Method Summary
 java.lang.Object clone()
          Creates and returns a copy of this object.
 int countSatisfactClauses()
          Return number of satisfied clauses.
 void findInitialState(double temp)
          Find initial state.
 void findNextState(double temp)
          Find next state.
 double getActualCost()
          Return current value of optimalization criterion.
 double getCostSatisfactPart()
          Return current fraction of satisfaction optimalization criterion.
 double getCostWeightPart()
          Return current fraction of evaluation optimalization criterion.
 WeightedFormula getFormula()
          Return reference to formula.
 java.lang.String getReprezentation()
          Return current variables assignment, text stream of 0/1
 java.lang.String[] getSubmission()
          Return text representation of MAX-WEIGHTED-3-SAT instance.
 boolean[] getVariableValues()
          Return current variables assignment.
 double getWeight()
          Return current weight
 double getWeightSatRatio()
          Return ratio between satisfaction and evaluation variables.
 boolean isSatisfy()
          Return true if the formula is statisfacted.
 void setFormula(WeightedFormula wf)
          Set given formula.
 void setWeightSatRatio(double ratio)
          Set ratio between satisfaction and evaluation variables.
 
Methods inherited from class java.lang.Object
equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

formula

protected WeightedFormula formula
reference to solved formula


varValues

protected boolean[] varValues
current variables assignment


weightSatRatio

protected static double weightSatRatio
current weight

Constructor Detail

StateWSAT3

public StateWSAT3(WeightedFormula formula)
Creates a new instance of StateSAT3, intializes formula.

Parameters:
formula - formula to solve
Method Detail

findInitialState

public void findInitialState(double temp)
Find initial state.

Specified by:
findInitialState in interface StateSkeleton
Parameters:
temp - starting temperature

findNextState

public void findNextState(double temp)
Find next state.

Specified by:
findNextState in interface StateSkeleton
Parameters:
temp - current temperature

getActualCost

public double getActualCost()
Return current value of optimalization criterion.

Specified by:
getActualCost in interface StateSkeleton
Returns:
opt. criterion value

getCostSatisfactPart

public double getCostSatisfactPart()
Return current fraction of satisfaction optimalization criterion.

Returns:
fraction

getCostWeightPart

public double getCostWeightPart()
Return current fraction of evaluation optimalization criterion.

Returns:
fraction

getWeight

public double getWeight()
Return current weight

Returns:
current weight

setWeightSatRatio

public void setWeightSatRatio(double ratio)
Set ratio between satisfaction and evaluation variables.

Parameters:
ratio - ratio between satisfaction and evaluation variables.

getWeightSatRatio

public double getWeightSatRatio()
Return ratio between satisfaction and evaluation variables.

Returns:
ratio

isSatisfy

public boolean isSatisfy()
Return true if the formula is statisfacted.

Returns:
true if the formula is statisfacted.

getReprezentation

public java.lang.String getReprezentation()
Return current variables assignment, text stream of 0/1

Returns:
current variables assignment

countSatisfactClauses

public int countSatisfactClauses()
Return number of satisfied clauses.

Returns:
number of satisfied clauses

clone

public java.lang.Object clone()
Creates and returns a copy of this object.

Specified by:
clone in interface StateSkeleton
Overrides:
clone in class java.lang.Object
Returns:
a copy of this object

getFormula

public WeightedFormula getFormula()
Return reference to formula.

Returns:
reference to formula

setFormula

public void setFormula(WeightedFormula wf)
Set given formula.

Parameters:
wf - formula

getVariableValues

public boolean[] getVariableValues()
Return current variables assignment.

Returns:
variables assignment

getSubmission

public java.lang.String[] getSubmission()
Return text representation of MAX-WEIGHTED-3-SAT instance.

Specified by:
getSubmission in interface StateSkeleton
Returns:
array of lines