[math-fun] schrodinger NP-complete? Actually...