add new gadget

Author: minhthin1028

project/createmap.jl

@@ -1,4 +1,4 @@
-using UnitDiskMapping, GraphTensorNetworks
+using UnitDiskMapping, GraphTensorNetworks, Graphs
 
 function mapped_entry_to_compact(s::Pattern)
     locs, g, pins = mapped_graph(s)
@@ -40,8 +40,8 @@ function compute_mis_overhead(s)
     locs2, g2, pins2 = mapped_graph(s)
     m1 = mis_compactify!(solve(Independence(g1, openvertices=pins1), "size max"))
     m2 = mis_compactify!(solve(Independence(g2, openvertices=pins2), "size max"))
-    @test nv(g1) == length(locs1) && nv(g2) == length(locs2)
-    sig, diff = UnitDiskMapping.is_diff_by_const(content.(m1), content.(m2))
+    @assert nv(g1) == length(locs1) && nv(g2) == length(locs2)
+    sig, diff = UnitDiskMapping.is_diff_by_const(GraphTensorNetworks.content.(m1), GraphTensorNetworks.content.(m2))
     @assert sig
     return diff
 end
@@ -74,4 +74,5 @@ end
 dump_mapping_to_julia(joinpath(@__DIR__, "..", "src", "extracting_results.jl"),
     (Cross{false}(), Cross{true}(),
     Turn(), WTurn(), Branch(), BranchFix(), TrivialTurn(), TCon(), BranchFixB(),
-    UnitDiskMapping.simplifier_ruleset...))
+    EndTurn(),
+    UnitDiskMapping.simplifier_ruleset...))

src/UnitDiskMapping.jl

@@ -6,7 +6,7 @@ using Graphs
 
 export UGrid, apply_crossing_gadgets!, apply_simplifier_gadgets!, apply_gadget!, embed_graph
 export unapply_gadgets!, unmatch
-export Pattern, Corner, Turn, Cross, source_graph, mapped_graph, TruncatedTurn
+export Pattern, Corner, Turn, Cross, source_graph, mapped_graph, TruncatedTurn, EndTurn
 export mapped_entry_to_compact, source_entry_to_configs, map_config_back, mis_overhead
 export UNode, contract_graph, compress_graph
 

src/extracting_results.jl

@@ -5,7 +5,7 @@ function mapped_entry_to_compact(::Cross{false})
 end
 
 function source_entry_to_configs(::Cross{false})
-    return Dict(Pair{Int64, Vector{BitVector}}[5 => [[1, 0, 0, 1, 0, 0, 1, 0, 1], [1, 0, 1, 0, 0, 0, 1, 0, 1]], 12 => [[0, 1, 0, 0, 1, 0, 1, 0, 1], [0, 0, 1, 0, 1, 0, 1, 0, 1]], 8 => [[0, 1, 0, 0, 1, 0, 0, 1, 0], [0, 0, 1, 0, 1, 0, 0, 1, 0], [0, 1, 0, 0, 1, 0, 1, 0, 0], [0, 0, 1, 0, 1, 0, 1, 0, 0]], 1 => [[1, 0, 0, 1, 0, 0, 0, 1, 0], [1, 0, 1, 0, 0, 0, 0, 1, 0], [1, 0, 0, 1, 0, 0, 1, 0, 0], [1, 0, 1, 0, 0, 0, 1, 0, 0]], 0 => [[0, 1, 0, 1, 0, 0, 0, 1, 0], [0, 1, 0, 1, 0, 0, 1, 0, 0]], 6 => [[0, 1, 0, 1, 0, 1, 0, 0, 1]], 11 => [[1, 0, 1, 0, 1, 1, 0, 1, 0]], 9 => [[1, 0, 1, 0, 1, 0, 0, 1, 0], [1, 0, 1, 0, 1, 0, 1, 0, 0]], 14 => [[0, 1, 0, 0, 1, 1, 0, 0, 1], [0, 0, 1, 0, 1, 1, 0, 0, 1]], 3 => [[1, 0, 0, 1, 0, 1, 0, 1, 0], [1, 0, 1, 0, 0, 1, 0, 1, 0]], 7 => [[1, 0, 0, 1, 0, 1, 0, 0, 1], [1, 0, 1, 0, 0, 1, 0, 0, 1]], 4 => [[0, 1, 0, 1, 0, 0, 1, 0, 1]], 13 => [[1, 0, 1, 0, 1, 0, 1, 0, 1]], 15 => [[1, 0, 1, 0, 1, 1, 0, 0, 1]], 2 => [[0, 1, 0, 1, 0, 1, 0, 1, 0]], 10 => [[0, 1, 0, 0, 1, 1, 0, 1, 0], [0, 0, 1, 0, 1, 1, 0, 1, 0]]])
+    return Dict(Pair{Int64, Vector{BitVector}}[5 => [[1, 0, 1, 0, 0, 0, 1, 0, 1], [1, 0, 0, 1, 0, 0, 1, 0, 1]], 12 => [[0, 1, 0, 0, 1, 0, 1, 0, 1], [0, 0, 1, 0, 1, 0, 1, 0, 1]], 8 => [[0, 1, 0, 0, 1, 0, 1, 0, 0], [0, 0, 1, 0, 1, 0, 1, 0, 0], [0, 1, 0, 0, 1, 0, 0, 1, 0], [0, 0, 1, 0, 1, 0, 0, 1, 0]], 1 => [[1, 0, 1, 0, 0, 0, 1, 0, 0], [1, 0, 0, 1, 0, 0, 1, 0, 0], [1, 0, 1, 0, 0, 0, 0, 1, 0], [1, 0, 0, 1, 0, 0, 0, 1, 0]], 0 => [[0, 1, 0, 1, 0, 0, 1, 0, 0], [0, 1, 0, 1, 0, 0, 0, 1, 0]], 6 => [[0, 1, 0, 1, 0, 1, 0, 0, 1]], 11 => [[1, 0, 1, 0, 1, 1, 0, 1, 0]], 9 => [[1, 0, 1, 0, 1, 0, 1, 0, 0], [1, 0, 1, 0, 1, 0, 0, 1, 0]], 14 => [[0, 1, 0, 0, 1, 1, 0, 0, 1], [0, 0, 1, 0, 1, 1, 0, 0, 1]], 3 => [[1, 0, 1, 0, 0, 1, 0, 1, 0], [1, 0, 0, 1, 0, 1, 0, 1, 0]], 7 => [[1, 0, 1, 0, 0, 1, 0, 0, 1], [1, 0, 0, 1, 0, 1, 0, 0, 1]], 4 => [[0, 1, 0, 1, 0, 0, 1, 0, 1]], 13 => [[1, 0, 1, 0, 1, 0, 1, 0, 1]], 15 => [[1, 0, 1, 0, 1, 1, 0, 0, 1]], 2 => [[0, 1, 0, 1, 0, 1, 0, 1, 0]], 10 => [[0, 1, 0, 0, 1, 1, 0, 1, 0], [0, 0, 1, 0, 1, 1, 0, 1, 0]]])
 end
 
 mis_overhead(::Cross{false}) = -1.0
@@ -27,7 +27,7 @@ function mapped_entry_to_compact(::Turn)
 end
 
 function source_entry_to_configs(::Turn)
-    return Dict(Pair{Int64, Vector{BitVector}}[0 => [[0, 1, 0, 1, 0]], 2 => [[0, 0, 1, 0, 1], [0, 1, 0, 0, 1]], 3 => [[1, 0, 1, 0, 1]], 1 => [[1, 0, 0, 1, 0], [1, 0, 1, 0, 0]]])
+    return Dict(Pair{Int64, Vector{BitVector}}[0 => [[0, 1, 0, 1, 0]], 2 => [[0, 1, 0, 0, 1], [0, 0, 1, 0, 1]], 3 => [[1, 0, 1, 0, 1]], 1 => [[1, 0, 0, 1, 0], [1, 0, 1, 0, 0]]])
 end
 
 mis_overhead(::Turn) = -1.0
@@ -38,7 +38,7 @@ function mapped_entry_to_compact(::WTurn)
 end
 
 function source_entry_to_configs(::WTurn)
-    return Dict(Pair{Int64, Vector{BitVector}}[0 => [[1, 0, 1, 0, 0]], 2 => [[1, 0, 0, 0, 1], [0, 0, 0, 1, 1]], 3 => [[0, 1, 0, 1, 1]], 1 => [[0, 1, 1, 0, 0], [0, 1, 0, 1, 0]]])
+    return Dict(Pair{Int64, Vector{BitVector}}[0 => [[1, 0, 1, 0, 0]], 2 => [[0, 0, 0, 1, 1], [1, 0, 0, 0, 1]], 3 => [[0, 1, 0, 1, 1]], 1 => [[0, 1, 1, 0, 0], [0, 1, 0, 1, 0]]])
 end
 
 mis_overhead(::WTurn) = -1.0
@@ -49,7 +49,7 @@ function mapped_entry_to_compact(::Branch)
 end
 
 function source_entry_to_configs(::Branch)
-    return Dict(Pair{Int64, Vector{BitVector}}[0 => [[0, 1, 0, 1, 0, 0, 1, 0]], 4 => [[0, 1, 0, 0, 0, 1, 0, 1], [0, 0, 1, 0, 0, 1, 0, 1], [0, 1, 0, 1, 0, 0, 0, 1]], 5 => [[1, 0, 1, 0, 0, 1, 0, 1]], 6 => [[0, 1, 0, 0, 1, 1, 0, 1], [0, 0, 1, 0, 1, 1, 0, 1]], 2 => [[0, 1, 0, 0, 1, 0, 1, 0], [0, 0, 1, 0, 1, 0, 1, 0], [0, 1, 0, 0, 1, 1, 0, 0], [0, 0, 1, 0, 1, 1, 0, 0]], 7 => [[1, 0, 1, 0, 1, 1, 0, 1]], 3 => [[1, 0, 1, 0, 1, 0, 1, 0], [1, 0, 1, 0, 1, 1, 0, 0]], 1 => [[1, 0, 1, 0, 0, 0, 1, 0], [1, 0, 1, 0, 0, 1, 0, 0], [1, 0, 0, 1, 0, 0, 1, 0]]])
+    return Dict(Pair{Int64, Vector{BitVector}}[0 => [[0, 1, 0, 1, 0, 0, 1, 0]], 4 => [[0, 1, 0, 0, 0, 1, 0, 1], [0, 0, 1, 0, 0, 1, 0, 1], [0, 1, 0, 1, 0, 0, 0, 1]], 5 => [[1, 0, 1, 0, 0, 1, 0, 1]], 6 => [[0, 1, 0, 0, 1, 1, 0, 1], [0, 0, 1, 0, 1, 1, 0, 1]], 2 => [[0, 1, 0, 0, 1, 1, 0, 0], [0, 0, 1, 0, 1, 1, 0, 0], [0, 1, 0, 0, 1, 0, 1, 0], [0, 0, 1, 0, 1, 0, 1, 0]], 7 => [[1, 0, 1, 0, 1, 1, 0, 1]], 3 => [[1, 0, 1, 0, 1, 1, 0, 0], [1, 0, 1, 0, 1, 0, 1, 0]], 1 => [[1, 0, 1, 0, 0, 1, 0, 0], [1, 0, 1, 0, 0, 0, 1, 0], [1, 0, 0, 1, 0, 0, 1, 0]]])
 end
 
 mis_overhead(::Branch) = -1.0
@@ -60,7 +60,7 @@ function mapped_entry_to_compact(::BranchFix)
 end
 
 function source_entry_to_configs(::BranchFix)
-    return Dict(Pair{Int64, Vector{BitVector}}[0 => [[0, 1, 0, 0, 1, 0], [0, 0, 1, 0, 1, 0], [0, 1, 0, 1, 0, 0]], 2 => [[0, 1, 0, 1, 0, 1]], 3 => [[1, 0, 1, 0, 0, 1], [1, 0, 0, 1, 0, 1]], 1 => [[1, 0, 1, 0, 1, 0]]])
+    return Dict(Pair{Int64, Vector{BitVector}}[0 => [[0, 1, 0, 0, 1, 0], [0, 1, 0, 1, 0, 0], [0, 0, 1, 0, 1, 0]], 2 => [[0, 1, 0, 1, 0, 1]], 3 => [[1, 0, 0, 1, 0, 1], [1, 0, 1, 0, 0, 1]], 1 => [[1, 0, 1, 0, 1, 0]]])
 end
 
 mis_overhead(::BranchFix) = -1.0
@@ -99,6 +99,17 @@ end
 mis_overhead(::BranchFixB) = -1.0
 
 
+function mapped_entry_to_compact(::EndTurn)
+    return Dict([0 => 0, 1 => 1])
+end
+
+function source_entry_to_configs(::EndTurn)
+    return Dict(Pair{Int64, Vector{BitVector}}[0 => [[0, 0, 1], [0, 1, 0]], 1 => [[1, 0, 1]]])
+end
+
+mis_overhead(::EndTurn) = -1.0
+
+
 function mapped_entry_to_compact(::UnitDiskMapping.DanglingLeg)
     return Dict([0 => 0, 1 => 1])
 end

src/gadgets.jl

@@ -108,18 +108,18 @@ end
 
 struct Cross{CON} <: CrossPattern end
 iscon(::Cross{CON}) where {CON} = CON
-# ⋅ ● ⋅ 
-# ◆ ◉ ● 
-# ⋅ ◆ ⋅ 
+# ⋅ ● ⋅
+# ◆ ◉ ●
+# ⋅ ◆ ⋅
 function source_graph(::Cross{true})
     locs = [(2,1), (2,2), (2,3), (1,2), (2,2), (3,2)]
     g = simplegraph([(1,2), (2,3), (4,5), (5,6), (1,6)])
     return locs, g, [1,4,6,3]
 end
 
-# ⋅ ● ⋅ 
-# ● ● ● 
-# ⋅ ● ⋅ 
+# ⋅ ● ⋅
+# ● ● ●
+# ⋅ ● ⋅
 function mapped_graph(::Cross{true})
     locs = [(2,1), (2,2), (2,3), (1,2), (3,2)]
     locs, unitdisk_graph(locs, 1.5), [1,4,5,3]
@@ -128,20 +128,20 @@ Base.size(::Cross{true}) = (3, 3)
 cross_location(::Cross{true}) = (2,2)
 connect_locations(::Cross{true}) = [(2, 1), (3,2)]
 
-# ⋅ ⋅ ● ⋅ ⋅ 
-# ● ● ◉ ● ● 
-# ⋅ ⋅ ● ⋅ ⋅ 
-# ⋅ ⋅ ● ⋅ ⋅ 
+# ⋅ ⋅ ● ⋅ ⋅
+# ● ● ◉ ● ●
+# ⋅ ⋅ ● ⋅ ⋅
+# ⋅ ⋅ ● ⋅ ⋅
 function source_graph(::Cross{false})
     locs = [(2,1), (2,2), (2,3), (2,4), (2,5), (1,3), (2,3), (3,3), (4,3)]
     g = simplegraph([(1,2), (2,3), (3,4), (4,5), (6,7), (7,8), (8,9)])
     return locs, g, [1,6,9,5]
 end
 
-# ⋅ ⋅ ● ⋅ ⋅ 
-# ● ● ● ● ● 
-# ⋅ ● ● ● ⋅ 
-# ⋅ ⋅ ● ⋅ ⋅ 
+# ⋅ ⋅ ● ⋅ ⋅
+# ● ● ● ● ●
+# ⋅ ● ● ● ⋅
+# ⋅ ⋅ ● ⋅ ⋅
 function mapped_graph(::Cross{false})
     locs = [(2,1), (2,2), (2,3), (2,4), (2,5), (1,3), (3,3), (4,3), (3, 2), (3,4)]
     locs, unitdisk_graph(locs, 1.5), [1,6,8,5]
@@ -151,19 +151,19 @@ cross_location(::Cross{false}) = (2,3)
 
 struct Turn <: CrossPattern end
 iscon(::Turn) = false
-# ⋅ ● ⋅ ⋅ 
-# ⋅ ● ⋅ ⋅ 
-# ⋅ ● ● ● 
+# ⋅ ● ⋅ ⋅
+# ⋅ ● ⋅ ⋅
+# ⋅ ● ● ●
 # ⋅ ⋅ ⋅ ⋅
 function source_graph(::Turn)
     locs = [(1,2), (2,2), (3,2), (3,3), (3,4)]
     g = simplegraph([(1,2), (2,3), (3,4), (4,5)])
     return locs, g, [1,5]
 end
 
-# ⋅ ● ⋅ ⋅ 
-# ⋅ ⋅ ● ⋅ 
-# ⋅ ⋅ ⋅ ● 
+# ⋅ ● ⋅ ⋅
+# ⋅ ⋅ ● ⋅
+# ⋅ ⋅ ⋅ ●
 # ⋅ ⋅ ⋅ ⋅
 function mapped_graph(::Turn)
     locs = [(1,2), (2,3), (3,4)]
@@ -175,20 +175,20 @@ cross_location(::Turn) = (3,2)
 
 export Branch, TrivialTurn, BranchFix, WTurn, TCon, BranchFixB
 struct Branch <: CrossPattern end
-# ⋅ ● ⋅ ⋅ 
-# ⋅ ● ⋅ ⋅ 
-# ⋅ ● ● ● 
-# ⋅ ● ● ⋅ 
+# ⋅ ● ⋅ ⋅
+# ⋅ ● ⋅ ⋅
+# ⋅ ● ● ●
+# ⋅ ● ● ⋅
 # ⋅ ● ⋅ ⋅
 function source_graph(::Branch)
     locs = [(1,2), (2,2), (3,2),(3,3),(3,4),(4,3),(4,2),(5,2)]
     g = simplegraph([(1,2), (2,3), (3, 4), (4,5), (4,6), (6,7), (7,8)])
     return locs, g, [1, 5, 8]
 end
-# ⋅ ● ⋅ ⋅ 
-# ⋅ ⋅ ● ⋅ 
-# ⋅ ● ⋅ ● 
-# ⋅ ⋅ ● ⋅ 
+# ⋅ ● ⋅ ⋅
+# ⋅ ⋅ ● ⋅
+# ⋅ ● ⋅ ●
+# ⋅ ⋅ ● ⋅
 # ⋅ ● ⋅ ⋅
 function mapped_graph(::Branch)
     locs = [(1,2), (2,3), (3,2),(3,4),(4,3),(5,2)]
@@ -199,19 +199,19 @@ cross_location(::Branch) = (3,2)
 iscon(::Branch) = false
 
 struct BranchFix <: CrossPattern end
-# ⋅ ● ⋅ ⋅ 
+# ⋅ ● ⋅ ⋅
+# ⋅ ● ● ⋅
 # ⋅ ● ● ⋅
-# ⋅ ● ● ⋅ 
 # ⋅ ● ⋅ ⋅
 function source_graph(::BranchFix)
     locs = [(1,2), (2,2), (2,3),(3,3),(3,2),(4,2)]
     g = simplegraph([(1,2), (2,3), (3,4),(4,5), (5,6)])
     return locs, g, [1, 6]
 end
-# ⋅ ● ⋅ ⋅ 
-# ⋅ ● ⋅ ⋅ 
 # ⋅ ● ⋅ ⋅
-# ⋅ ● ⋅ ⋅ 
+# ⋅ ● ⋅ ⋅
+# ⋅ ● ⋅ ⋅
+# ⋅ ● ⋅ ⋅
 function mapped_graph(::BranchFix)
     locs = [(1,2),(2,2),(3,2),(4,2)]
     return locs, unitdisk_graph(locs, 1.5), [1, 4]
@@ -221,18 +221,18 @@ cross_location(::BranchFix) = (2,2)
 iscon(::BranchFix) = false
 
 struct WTurn <: CrossPattern end
-# ⋅ ⋅ ⋅ ⋅ 
-# ⋅ ⋅ ● ● 
-# ⋅ ● ● ⋅ 
+# ⋅ ⋅ ⋅ ⋅
+# ⋅ ⋅ ● ●
+# ⋅ ● ● ⋅
 # ⋅ ● ⋅ ⋅
 function source_graph(::WTurn)
     locs = [(2,3), (2,4), (3,2),(3,3),(4,2)]
     g = simplegraph([(1,2), (1,4), (3,4),(3,5)])
     return locs, g, [2, 5]
 end
-# ⋅ ⋅ ⋅ ⋅ 
-# ⋅ ⋅ ⋅ ● 
-# ⋅ ⋅ ● ⋅ 
+# ⋅ ⋅ ⋅ ⋅
+# ⋅ ⋅ ⋅ ●
+# ⋅ ⋅ ● ⋅
 # ⋅ ● ⋅ ⋅
 function mapped_graph(::WTurn)
     locs = [(2,4),(3,3),(4,2)]
@@ -243,19 +243,19 @@ cross_location(::WTurn) = (2,2)
 iscon(::WTurn) = false
 
 struct BranchFixB <: CrossPattern end
-# ⋅ ⋅ ⋅ ⋅ 
+# ⋅ ⋅ ⋅ ⋅
 # ⋅ ⋅ ● ⋅
-# ⋅ ● ● ⋅ 
+# ⋅ ● ● ⋅
 # ⋅ ● ⋅ ⋅
 function source_graph(::BranchFixB)
     locs = [(2,3),(3,3),(3,2),(4,2)]
     g = simplegraph([(1,3), (2,3), (2,4)])
     return locs, g, [1, 4]
 end
-# ⋅ ⋅ ⋅ ⋅ 
-# ⋅ ⋅ ⋅ ⋅ 
+# ⋅ ⋅ ⋅ ⋅
+# ⋅ ⋅ ⋅ ⋅
+# ⋅ ● ⋅ ⋅
 # ⋅ ● ⋅ ⋅
-# ⋅ ● ⋅ ⋅ 
 function mapped_graph(::BranchFixB)
     locs = [(3,2),(4,2)]
     return locs, unitdisk_graph(locs, 1.5), [1, 2]
@@ -267,7 +267,7 @@ iscon(::BranchFixB) = false
 
 struct TCon <: CrossPattern end
 # ⋅ ◆ ⋅ ⋅
-# ◆ ● ⋅ ⋅ 
+# ◆ ● ⋅ ⋅
 # ⋅ ● ⋅ ⋅
 function source_graph(::TCon)
     locs = [(1,2), (2,1), (2,2),(3,2)]
@@ -306,6 +306,26 @@ cross_location(::TrivialTurn) = (2,2)
 iscon(::TrivialTurn) = true
 connect_locations(::TrivialTurn) = [(1,2), (2,1)]
 
+struct EndTurn <: CrossPattern end
+# ⋅ ● ⋅ ⋅
+# ⋅ ● ● ⋅
+# ⋅ ⋅ ⋅ ⋅
+function source_graph(::EndTurn)
+    locs = [(1,2), (2,2), (2,3)]
+    g = simplegraph([(1,2), (2,3)])
+    return locs, g, [1]
+end
+# ⋅ ● ⋅ ⋅
+# ⋅ ⋅ ⋅ ⋅
+# ⋅ ⋅ ⋅ ⋅
+function mapped_graph(::EndTurn)
+    locs = [(1,2)]
+    return locs, unitdisk_graph(locs, 1.5), [1]
+end
+Base.size(::EndTurn) = (3,4)
+cross_location(::EndTurn) = (2,2)
+iscon(::EndTurn) = false
+
 ############## Rotation and Flip ###############
 export RotatedGadget, ReflectedGadget
 struct RotatedGadget{GT} <: Pattern
@@ -402,4 +422,4 @@ function _boundary_config(pins, config)
         res += Int(config[p]) << (i-1)
     end
     return res
-end
+end

src/mapping.jl

@@ -72,7 +72,7 @@ end
 const crossing_ruleset = (Cross{false}(),
                     Turn(), WTurn(), Branch(), BranchFix(), TCon(), TrivialTurn(),
                     RotatedGadget(TCon(), 1), ReflectedGadget(Cross{true}(), "y"),
-                    ReflectedGadget(TrivialTurn(), "y"), BranchFixB(),
+                    ReflectedGadget(TrivialTurn(), "y"), BranchFixB(), EndTurn(),
                     ReflectedGadget(RotatedGadget(TCon(), 1), "y"))
 function apply_crossing_gadgets!(ug::UGrid, ruleset=crossing_ruleset)
     tape = Tuple{Pattern,Int,Int}[]

test/mapping.jl

@@ -60,6 +60,37 @@ end
     end
 end
 
+
+@testset "interface_K23" begin
+    g = SimpleGraph(5)
+
+    add_edge!(g, 1, 5)
+    add_edge!(g, 4, 5)
+    add_edge!(g, 4, 3)
+    add_edge!(g, 3, 2)
+    add_edge!(g, 5, 2)
+    add_edge!(g, 1, 3)
+
+    res = map_graph(g)
+
+    # checking size
+    gp = Independence(SimpleGraph(res.grid_graph); optimizer=TreeSA(ntrials=1, niters=10), simplifier=MergeGreedy())
+    missize_map = solve(gp, "size max")[].n
+    missize = solve(Independence(g), "size max")[].n
+    @test res.mis_overhead + missize == missize_map
+
+    # checking mapping back
+    misconfig = solve(gp, "config max")[].c
+    c = zeros(Int, size(res.grid_graph.content))
+    for (i, loc) in enumerate(findall(!iszero, res.grid_graph.content))
+        c[loc] = misconfig.data[i]
+    end
+    original_configs = map_configs_back(res, [c])
+    @test count(isone, original_configs[1]) == missize
+    @test is_independent_set(g, original_configs[1])
+end
+
+
 @testset "interface" begin
     g = smallgraph(:petersen)
     res = map_graph(g)
@@ -79,4 +110,4 @@ end
     original_configs = map_configs_back(res, [c])
     @test count(isone, original_configs[1]) == missize
     @test is_independent_set(g, original_configs[1])
-end
+end