Skip to content

Commit

Permalink
Update notebooks/unweighted.jl
Browse files Browse the repository at this point in the history
Co-authored-by: Shengtao Wang <[email protected]>
  • Loading branch information
GiggleLiu and Wang-Shengtao authored Nov 16, 2023
1 parent c4fe2fc commit 8fc07f8
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion notebooks/unweighted.jl
Original file line number Diff line number Diff line change
Expand Up @@ -181,7 +181,7 @@ md"The MIS size of the petersen graph is 4."
missize_petersen = solve(IndependentSet(petersen), SizeMax())[]

# ╔═╡ 2589f112-5de5-4c98-bcd1-138b6143cd30
md" The MIS size of the mapped KDG graph is much larger"
md" The MIS size of the mapped KSG graph is much larger"

# ╔═╡ 1b946455-b152-4d6f-9968-7dc6e22d171a
missize_petersen_ksg = solve(IndependentSet(SimpleGraph(petersen_res.grid_graph)), SizeMax())[]
Expand Down

0 comments on commit 8fc07f8

Please sign in to comment.