OKlibrary
0.2.1.6

On investigations regarding arbitary boolean functions. More...
Go to the source code of this file.
On investigations regarding arbitary boolean functions.
Investigations in this file are those that are too general to go into more specific files.
shell> OKlib/Experimentation/Investigations/BooleanFunctions/analyse_random_boolean_functions 10 1 ^C
R> E = read_experiment_dirs("random_bf", list("n","seed"), "Random_bf_10.cnf_primes_stats", header=TRUE, skip=2) R> E2 = rows2columns_df(E, "length", "count", list("n","seed")) R> summary(E2) 6 7 8 9 Min. :0.0000 Min. : 9.00 Min. :297 Min. : 33.00 1st Qu.:0.0000 1st Qu.: 44.00 1st Qu.:403 1st Qu.: 82.00 Median :0.0000 Median : 57.00 Median :428 Median : 95.00 Mean :0.2071 Mean : 58.71 Mean :429 Mean : 96.14 3rd Qu.:0.0000 3rd Qu.: 70.00 3rd Qu.:454 3rd Qu.:109.00 Max. :5.0000 Max. :172.00 Max. :597 Max. :179.00 10 n Min. :0.0000 10:9999 1st Qu.:0.0000 Median :0.0000 Mean :0.4988 3rd Qu.:1.0000 Max. :6.0000 R> n=9999 R> sizes = unlist(Map(function(i) sum(ET[i,1:11]),1:n)) R> min(sizes) [1] 464 > mean(sizes) [1] 584.5926 R> max(sizes) [1] 726
shell> OKlib/Experimentation/Investigations/BooleanFunctions/analyse_random_boolean_functions 16 1 ^C
R> E = read_experiment_dirs("random_bf", list("n","seed"), "Random_bf_16.cnf_primes_stats", header=TRUE, skip=2) R> E2 = rows2columns_df(E, "length", "count", list("n","seed")) R> summary(E2) 11 Min. :0.000000 1st Qu.:0.000000 Median :0.000000 Mean :0.002573 3rd Qu.:0.000000 Max. :1.000000 12 13 14 15 Min. : 76.0 Min. :15326 Min. :48167 Min. :1441 1st Qu.:104.0 1st Qu.:16625 1st Qu.:49431 1st Qu.:1701 Median :114.0 Median :17020 Median :49779 Median :1749 Mean :114.7 Mean :17027 Mean :49774 Mean :1752 3rd Qu.:125.0 3rd Qu.:17401 3rd Qu.:50102 3rd Qu.:1805 Max. :172.0 Max. :19054 Max. :51272 Max. :2041 16 n Min. :0.0000 16:1166 1st Qu.:0.0000 Median :0.0000 Mean :0.5189 3rd Qu.:1.0000 Max. :4.0000 R> sizes = unlist(Map(function(i) sum(E2[i,1:17]),1:2712)) R> min(sizes) [1] 66820 R> max(sizes) [1] 70541
Definition in file BooleanFunctions.hpp.