public class Golomb extends ExampleFD
Modifier and Type | Field and Description |
---|---|
int |
bound
It specifies the upper bound of the optimal solution.
|
int |
noMarks
It specifies the number of marks (number of natural numbers in
the sequence).
|
ArrayList<IntVar> |
subs
It contains all differences between all possible pairs of marks.
|
Constructor and Description |
---|
Golomb() |
Modifier and Type | Method and Description |
---|---|
static void |
main(String[] args)
It executes the program which computes the optimal Golomb ruler.
|
void |
model()
It specifies a standard way of modeling the problem.
|
boolean |
searchOptimalInfo()
It specifies specific search for the optimal solution search procedure, which
printouts intermediate search results and shows how the search is progressing.
|
static void |
test(String[] args)
It executes the program which first computes the optimal Golomb ruler.
|
creditSearch, getSearch, getSearchVariables, getStore, printMatrix, search, searchAllAtOnce, searchAllOptimal, searchLDS, searchMasterSlave, searchMaxRegretOptimal, searchMiddle, searchMostConstrainedStatic, searchOptimal, searchSmallestDomain, searchSmallestMedian, searchSmallestMiddle, searchSmallestMin, searchWeightedDegree, searchWithMaxRegret, searchWithRestarts, shavingSearch
public int noMarks
public int bound
public void model()
ExampleFD
public boolean searchOptimalInfo()
public static void main(String[] args)
args
- the first argument specifies the number of marks, the second argument specifies the upper bound of the optimal solution.public static void test(String[] args)
args
- the first argument specifies the number of marks, the second argument specifies the upper bound of the optimal solution.Copyright © 2015. All rights reserved.