SLIDE 14 3D ¡WF ¡DNA ¡Origami ¡– ¡Design ¡
Algorithmic ¡concerns: ¡
Trivial: ¡not ¡all ¡polyhedral ¡graphs ¡admit ¡Eulerian ¡circuits ¡
Add ¡a ¡minimal ¡number ¡of ¡double-‑edges ¡
→ Edmonds’ ¡“Blossom ¡algorithm” ¡for ¡maximum ¡matchings ¡
Nontrivial: ¡not ¡all ¡Eulerian ¡circuits ¡can ¡be ¡stapled ¡properly ¡
The ¡circuit ¡needs ¡to ¡be ¡planar, ¡but ¡even ¡this ¡is ¡not ¡quite ¡enough ¡ ¡
One ¡actually ¡needs ¡so ¡called ¡“A-‑trails”, ¡where ¡consecu8ve ¡edges ¡of ¡the ¡ circuit ¡are ¡neighbours ¡in ¡the ¡cyclic ¡ordering ¡around ¡the ¡respec8ve ¡vertex ¡
Finding ¡A-‑trails ¡is ¡an ¡NP-‑hard ¡problem ¡(with ¡some ¡caveats). ¡We ¡use ¡a ¡ branch-‑and-‑bound ¡search ¡with ¡some ¡heuris8cs. ¡
Algorithmic ¡Founda8ons ¡of ¡Programmable ¡MaKer, ¡Schloss ¡Dagstuhl, ¡July ¡2016 ¡