だいぶ疲れてきました．錐計画のセッションからYinyu Yeの「A Unified Theorem on Semidefinite Programming Rank Reduction and its Applications」．標準型のSDPを考える．Barvinok (1995) はSDPが解を持つとき，その解として，階数rがr(r+1)多項式時間で…