YuhangQ/atpg-ls
1
1
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

修改了一些参数

Browse Source
This commit is contained in:
YuhangQ 2023-03-05 06:24:10 +00:00
parent 17e95ded9b
commit c15186ad01
4 changed files with 113253 additions and 18158 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

BIN
atpg
View File

Binary file not shown.

2
circuit.cpp
View File

@ -10,7 +10,7 @@ void Circuit::init_stems() {
if(gate->outputs.size() >= 2) { if(gate->outputs.size() >= 2) {
gate->stem = true; gate->stem = true;
} }
gate->stem = true; //gate->stem = true;
if(gate->stem) { if(gate->stem) {
stems.push_back(gate); stems.push_back(gate);
} }

4
ls.cpp
View File

@ -38,7 +38,7 @@ bool Circuit::local_search(std::unordered_set<Fault*> &faults) {
std::swap(stems_random[i], stems_random[rand()%stems_random.size()]); std::swap(stems_random[i], stems_random[rand()%stems_random.size()]);
} }
const int T = 100; const int T = 25;
int t = 0; int t = 0;
for(int i=0; i<stems_random.size(); i++) { for(int i=0; i<stems_random.size(); i++) {
@ -49,7 +49,7 @@ bool Circuit::local_search(std::unordered_set<Fault*> &faults) {
stem = t_stem; stem = t_stem;
} }
if(t_score > 0) t++; if(t_score > 0) t++;
if(i >= T) break; //if(i >= T) break;
} }
if(max_score > 0) { if(max_score > 0) {

131405
output.txt
View File

File diff suppressed because it is too large Load Diff