P>GP > G のとき、Yes を出力します。
または、 PGP \leq G のとき、No を出力します。  

解答例(Python3)