PROBLEM_TYPE= It indicates the problem type to solve. This value must be equal in every configuration file.
|
Value
|
Problem
|
|
1
|
Logic Clauses Satisfaction (SAT)
|
|
2
|
Radio Network Design (RND)
|
|
3
|
Onemax Problem (ONE)
|
FITNESS_FUNCTION= This is the fitness function type to use. All islands must have the same fitness function.
|
Problem
|
|||
|
Value
|
SAT
|
RND
|
ONE
|
|
1
|
Original Function
|
Original Function
|
Original Function
|
|
2
|
Gottlieb_Voss_F1
|
Average use
|
|
|
3
|
Gottlieb_Voss_F2
|
Average + Deviation use
|
|
|
4
|
Gottlieb_Voss_F3
|
Penalized
|
|
|
5
|
Gottlieb_Voss_F4
|
||
Click here for more information
SOLUTION_FITNESS= Here we indicate the maximum fitness value. For SAT problem it will be 1.0 corresponding to all variables satisfactions. For RND it depends on the problem parameters. For ONE it will be the same as NUM_GENES.
NUM_GENES= It is the number of chromosome genes. For the SAT problem, this value is the number of variables and, for the RND problem it is the number of transmitters (lower than 127) and for ONE it is the number of bits.
GENE_LENGTH= This is the gene length in bits. For SAT=1, for ONE=1 and for RND=13.
CHROM_LENGTH= Here, we put the chromosome length in bits. This value is NUM_GENES multiplied by GENE_LENGTH.
SIDE_LENGTH= This is the side length of the geographic area in the RND problem.
CELL_OF_TRANS = This is the side length of the cell in the RND problem.
BITS_PER_COORD= Here we put the bits necessary to represent a coordinate in RND problem.
NUM_CLAUSULES = It is the number of clauses in the SAT formule.
LIT_IN_CLAUSULE = It is the number of variables in each clause in the SAT formule.
NUM_LITERALS = This parameter contains the number of different variables in SAT formule.
