恋がNP完全であることの証明~定式化まで~