Debug minimum sample = 64

src/BSD.h

@@ -26,8 +26,8 @@ public:
 		mask = new bool [parameter_input_bit_width]; 
 	};
 	~BDD_node(){
-		//arr_delete ( which_root_node_all );
-		//arr_delarr_delete ( mask 	); 
+		arr_delete ( which_root_node_all );
+		arr_delete ( mask 	); 
 	};
 
 };
@@ -38,7 +38,7 @@ public:
 		mask = new bool [parameter_input_bit_width];
 	}
 	~BDD_node_mask(){
-		//arr_delete (mask);
+		arr_delete (mask);
 	}
 };
 class BDD_class{
@@ -249,12 +249,12 @@ public:
 int	BDD_class::BSD_samples_train_each_layer(){
 		int	BSD_samples_train;
 		if(total_finish_weight/((pow(2.0,20)*how_many_start_nodes)) > 0.9999999999){
-			BSD_samples_train = 10;
+			BSD_samples_train = 64;
 			if(total_finish_weight/((pow(2.0,20)*how_many_start_nodes)) > 1){
-				BSD_samples_train = 2;
+				BSD_samples_train = 64;
 			}
 		}else{
-			BSD_samples_train = max(4,min(int(total_sample_max * (1-total_finish_weight/(pow(2.0,20)*how_many_start_nodes))),parameter_max_samples-1));
+			BSD_samples_train = max(64,min(int(total_sample_max * (1-total_finish_weight/(pow(2.0,20)*how_many_start_nodes))),parameter_max_samples-1));
 		}
 		cout<<"BSD train samples:	"<<BSD_samples_train<<endl;
 		return BSD_samples_train;

src/BSD_top.h

@@ -10,7 +10,7 @@ extern const int			parameter_max_orders		= 1;
 
 //算法的parameter 	Algorithm_parameter
 extern const int	parameter_multi_output_index	= 0; 		//BSD从第几层开始化简，前面若干层展开序确定
-extern const int	parameter_max_BDD_width		= 32000;	//BSD每一层最多多少个节点
+extern const int	parameter_max_BDD_width		= 320000;	//BSD每一层最多多少个节点
 int	parameter_early_stop_depth	= parameter_input_bit_width;		//BSD到第几层终止，输出此时的不准确BSD
 int	parameter_early_stop_split_nodes= 1000000;	//BSD每一层最多多少个节点