0001
0002
0003
0004
0005 PopSize = 1000; n = 20;
0006 cache = [0,0,1,1,1];
0007 Card = 2*ones(1, n);
0008 maxgen = 15;
0009
0010 global Formulas;
0011 Formulas = LoadRandom3SAT(n, 1, Formulas);
0012 Formulas = LoadRandom3SAT(n, 2, Formulas);
0013 Formulas = LoadRandom3SAT(n, 3, Formulas);
0014 F = 'EvaluateSAT';
0015 selparams(1:2) = {0.5,'ParetoRank_ordering'};
0016 BN_params(1:6) = {'k2',3,0.05,'pearson','bayesian','no'};
0017 edaparams{1} = {'stop_cond_method','max_gen',{maxgen}};
0018 edaparams{2} = {'learning_method','LearnBN',BN_params};
0019 edaparams{3} = {'selection_method','truncation_selection',selparams};
0020 edaparams{4} = {'replacement_method','best_elitism',{'ParetoRank_ordering'}};
0021
0022 [AllStat,Cache]=RunEDA(PopSize,n,F,Card,cache,edaparams)