File tree Expand file tree Collapse file tree 2 files changed +3
-3
lines changed Expand file tree Collapse file tree 2 files changed +3
-3
lines changed Original file line number Diff line number Diff line change 9595function apply_simplifier_gadgets! (ug:: UGrid ; ruleset, nrepeat:: Int = 10 )
9696 tape = Tuple{Pattern,Int,Int}[]
9797 for _ in 1 : nrepeat, pattern in ruleset
98- for j= 0 : size (ug. content, 1 ) # start from 0 because there can be one empty padding column/row.
99- for i= 0 : size (ug. content, 2 )
98+ for j= 0 : size (ug. content, 2 ) # start from 0 because there can be one empty padding column/row.
99+ for i= 0 : size (ug. content, 1 )
100100 if match (pattern, ug. content, i, j)
101101 apply_gadget! (pattern, ug. content, i, j)
102102 push! (tape, (pattern, i, j))
Original file line number Diff line number Diff line change 4040 mis_overhead1 = sum (x-> mis_overhead (x[1 ]), tape)
4141 mis_overhead2 = sum (x-> mis_overhead (x[1 ]), tape2)
4242 @show mis_overhead2
43- gp = Independence (SimpleGraph (ug3); optimizer= TreeSA (ntrials = 1 , niters = 10 ), simplifier= MergeGreedy ())
43+ gp = Independence (SimpleGraph (ug3); optimizer= GreedyMethod (nrepeat = 10 ), simplifier= MergeGreedy ())
4444 missize_map = solve (gp, " size max" )[]. n
4545 missize = solve (Independence (g), " size max" )[]. n
4646 @test mis_overhead0 + mis_overhead1 + mis_overhead2 + missize == missize_map
You can’t perform that action at this time.
0 commit comments