4頂点完全グラフK_{4}の空間埋め込みには, α不変量と呼ばれるホモトピー
不変量が定義されます. 本講演では, α不変量はホモトピー完全不変量である
か?という問題を考えます.