>king
BPQ=np or notという根本的な問題もある。