logo NEO

 

JGDS: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][Next]
Our Software

orangebox Mallba

orangebox DLOPT

orangebox epiGA

orangebox epiGApy

orangebox ssGA

orangebox JGDS

orangebox xxGA

orangebox JCell

orangebox MHTB

orangebox DEME

orangebox JMetal

orangebox More...

orangebox Go Back



J. Cabello Galisteo 2008