diff --git a/circuit.h b/circuit.h index 72f505d..1239b43 100644 --- a/circuit.h +++ b/circuit.h @@ -86,7 +86,7 @@ int* flip_need_update; std::vector flip_update_queue; // incremental stem struct -const int STEM_INC = 2; +int STEM_INC = 0; const int STEM_WEIGHT_MAX = 1e9; ll stem_total_weight; int stem_total_cnt; diff --git a/ls.cpp b/ls.cpp index 00f5f08..21e164a 100644 --- a/ls.cpp +++ b/ls.cpp @@ -138,7 +138,7 @@ bool Circuit::local_search(std::unordered_set &faults) { void Circuit::ls_update_weight() { - //STEM_INC += 5; + STEM_INC += 1; if(rand() % 10000 <= SP * 10000) { for(Gate* g : gates) { @@ -280,6 +280,8 @@ void Circuit::ls_init_data_structs() { } } + STEM_INC = 0; + fault_propagate_score = 0; fault_propagate_tatal_len = 0;