11.1. SAT Configuration File

 


####################################################################
## MAIN PARAMETERS : ##
####################################################################

SYNC_PORT =1500       # Port to synchronize the island
NUM_ISLANDS =4         # Total number of islands

HOST_1 =127.0.0.1
HOST_2 =127.0.0.1
HOST_3 =127.0.0.1
HOST_4 =127.0.0.1

PORT_1 =6101
PORT_2 =6102
PORT_3 =6103
PORT_4 =6104

####################################################################
## PROBLEM PARAMETERS : ##
####################################################################

PROBLEM_TYPE =1         # 1=Satisfacibility problem (SAT)

FITNESS_FUNCTION =1          # If SAT 1:Default function
SOLUTION_FITNESS =0.98     # The maximum reachable fitness (a solution) 1.0 if SAT

NUM_GENES =250         # Number of variables if SAT
GENE_LENGTH =1         # 1 if SAT. Bits to represent a literal
CHROM_LENGTH =250  # Length of chromosome:NUM_GENES*GENE_LENGTH

############## SAT Parameters ##############

NUM_CLAUSULES =1065    # Number of clausules
LIT_IN_CLAUSULE =3         # Number of literals per clausule
NUM_LITERALS =250         # Number of variables

####################################################################
## ALGORITHM PARAMETERS: ##
####################################################################

ALG_TYPE =3        # Algorithm type 3:Simulated Annealing

NUM_MAX_EVAL =10000000     # Maximum number of evaluations

ALG_STOP =3    # Stopping condition:3:Get SOLUTION_FITNESS or Get NUM_MAX_EVAL

MIGRATION_FREQ =2048      # Frequency of migrations
MIGRATION_TYPE =3            # Type of migration:3:random indiv

PROB_CROSS =0.5        # Probability of applying crossover
PROB_MUT =0.05           # Probability of applying mutation:

CROSS_TYPE =3          #Cross operator to use:3:UX
MUTATION_TYPE =1    # Mutation to apply:1:Binary mutation

POP_V_SIZE =1
POP_H_SIZE =1
POPSIZE =1        # Size of population on each island:POP_V_SIZE*POP_H_SIZE

REPLACEMENT_TYPE =1       # 1:worst indiv
SELECTION_TYPE =1              # 1:Roulette wheel

####################################################################
## MISCELLANEOUS : ##
####################################################################

NUM_MIG =1         # Number of migrate individuals
UX_RATIO =0.6     # Ratio for UX cross operator: [0,1)

MAX_T =0.3            # Maximum start temperature for simulated annealing
MIN_T =0.001         # Minimum alowable temperature for simulated annealing

 

 

[Previous][Index][Home][Next]