public class MagicSquares extends ExampleFD
MagicSquare problem consists of filling the square of size n with numbers from 1 to n^2 in such a way that all rows, all columns, and main diagonals are equal to the same number K. K can be computed to be equal to (n * (n^2 + 1)) / 2.
Modifier and Type | Field and Description |
---|---|
List<Constraint> |
guidingShaving
It specifies the list of constraints which can be used for guiding shaving.
|
int |
number
It specifies the number
|
Constructor and Description |
---|
MagicSquares() |
Modifier and Type | Method and Description |
---|---|
static void |
main(String[] args)
It executes the program which solves the MagicSquare problem.
|
void |
model()
It specifies a standard way of modeling the problem.
|
void |
model4Shaving()
It creates the model with specification of what constraint can
help in guiding shaving.
|
void |
modelDual()
IT creates a dual model.
|
static void |
test(String[] args)
It executes the program which solves the MagicSquare problem using many different
model and searches.
|
creditSearch, getSearch, getSearchVariables, getStore, printMatrix, search, searchAllAtOnce, searchAllOptimal, searchLDS, searchMasterSlave, searchMaxRegretOptimal, searchMiddle, searchMostConstrainedStatic, searchOptimal, searchSmallestDomain, searchSmallestMedian, searchSmallestMiddle, searchSmallestMin, searchWeightedDegree, searchWithMaxRegret, searchWithRestarts, shavingSearch
public int number
public List<Constraint> guidingShaving
public void model()
ExampleFD
public void model4Shaving()
public void modelDual()
public static void test(String[] args)
args
- the first argument allows to specify the size of magic square.public static void main(String[] args)
args
- the first argument allows to specify the size of magic square.Copyright © 2022. All rights reserved.