Verification in Staged Tile Self-Assembly

Robert Schweller, Andrew Winslow, Tim Wylie

We prove the unique assembly and unique shape verification problems, benchmark measures of self-assembly model power, are ${\mathrm{coNP}}^{\mathrm{NP}}$-hard and contained in $\math…