No.3032 ホモトピー入門
タグ : / 解いたユーザー数 18
作問者 :

問題文
U
D
L
R
のいずれかの文字からなる列 に対して、-座標平面の原点 から出発し、格子点を以下のように移動する:
- が
U
なら -座標が増える方向に移動 - が
D
なら -座標が減る方向に移動 - が
L
なら -座標が減る方向に移動 - が
R
なら -座標が増える方向に移動
ただし、U
と D
及び L
と R
の個数がそれぞれ等しく、最終的に原点 に戻ってくるものとする。このような文字列 を「ループ」と呼ぶ。
この格子点の移動経路の変更を、ループ に対する操作として以下のように定義する:
- のどこか一ヶ所の部分列
LR
,RL
,UD
,DU
のいずれかを取り除く - のどこか一ヶ所に
LR
,RL
,UD
,DU
のいずれかを挿入する - 後述の条件を満たすときに限り、 のどこか一ヶ所の部分列 を に書き換える ( は
L
,R
のいずれか、 はU
,D
のいずれか) - 後述の条件を満たすときに限り、 のどこか一ヶ所の部分列 を に書き換える ( は
L
,R
のいずれか、 はU
,D
のいずれか)
3, 4 の書き換え操作の条件について説明する。3, 4 の書き換え操作は、移動経路の変更時に格子点を頂点に持つ一辺の長さが1の正方形をまたぐ必要がある。
例えばループ の RU
という部分列を UR
に書き換えてループ にするとき、下図の斜線部分の正方形をまたぐ:
この正方形に のどちらも含まれていないとき、かつそのときに限り、書き換えを許可する。
ループ に対する書き換え操作を何度か行うことで、空列からなるループに書き換えられるときループ は「null-ホモトピック」であるということにしよう。
問題から与えられる 個のループ のうち、null-ホモトピックなものの個数を出力せよ。
背景
この問題は、(折れ線で与えられた) 内のループが null-ホモトピックであるかを判定させる問題である(数学的なホモトピーの定義と同値であることが示せる)。
ここでは格子点の移動を書き換えるという方法でホモトピーを定義したが、数学ではもっと一般化して、曲線を「連続的に変形できるか」を考える。
例えば、始点と終点がそれぞれ同じであるような平面上の曲線 を考える。 と の間に、 で「連続的に」パラメータ付けされた、始点と終点がそれぞれ同じであるような曲線 で から へ少しずつ変形していくことができるかを考えてみよう。
そのように連続的な変形が可能であることを「, はホモトピックである」という。問題は、「連続的にパラメータ付けされている」とはどういうことかであるが、これは で定義された関数 が連続であると定義されている。
このような問題を考えて何が面白いのだろうか。上では 内の曲線を考えていたので、あらゆる二つの曲線がホモトピックとなってしまう。しかし、平面からいくつかの点を除いた 内の曲線のみに制限して考えると途端に話は難しくなる。
例えば として、 をそれぞれ上側と下側の半円弧を通って から へ向かう曲線としよう。そして、 という連続的にパラメータ付けされている 内の曲線を想像しよう。
このとき、直観的には、どのように を に連続的に変形しても、円内の点 を通ってしまいそうである。
しかし、これを数学的に証明するのは簡単な作業ではない。 の場合は、回転数という概念を使うことで分かる。実際、 のときホモトピックであることと回転数が等しいことは同値である。
入力
ただし、 の中にある U
と D
及び L
と R
の個数はそれぞれ等しい。
出力
最後に改行してください。
サンプル
サンプル1
入力
2 4 ULDR URDL
出力
0
の周りを一周する曲線である。回転数を考えることで空列に経路変更できないことが言える。
サンプル2
入力
2 8 URDLRULD RULDURDL
出力
2
行った道を逆向きにたどるループであり、書き換え操作 1 を繰り返せば空列にできる。
サンプル3
入力
1 6 RULLDR
出力
0
二点の周りを一周するループである。
提出するには、Twitter 、GitHub、 Googleもしくは右上の雲マークをクリックしてアカウントを作成してください。