Here we develop a polynomial time algorithm that provably finds the ... in which the ground state satisfies an area law with only a logarithmic correction but for which computing any approximating ...