問題は2つの部分からなります。 (1) 任意の置換に対して、それを実現するアミダクジが存在することを示せ。 (2) アミダクジの横棒の本数の偶奇は、そのアミダクジが与える置換の偶奇と一致することを示せ。

離散数学置換アミダクジ互換置換の偶奇グラフ理論
2025/6/25

1. 問題の内容

問題は2つの部分からなります。
(1) 任意の置換に対して、それを実現するアミダクジが存在することを示せ。
(2) アミダクジの横棒の本数の偶奇は、そのアミダクジが与える置換の偶奇と一致することを示せ。

2. 解き方の手順

(1) 任意の置換は互換の積で表せることを利用します。また、隣接互換はアミダクジの横棒1本に対応することを利用します。
* 任意の置換 σ\sigma を考えます。
* σ\sigma は互換の積で表せます。すなわち、σ=τ1τ2τk\sigma = \tau_1 \tau_2 \dots \tau_k (ただし、τi\tau_i は互換) と表せます。
* さらに、任意の互換は隣接互換の積で表せます。例えば、(i,j)(i, j) (ただし i<ji < j) は (i,i+1)(i+1,i+2)(j1,j)(j2,j1)(i,i+1)(i, i+1)(i+1, i+2)\dots(j-1, j)(j-2, j-1)\dots(i, i+1) と表せます。
* 隣接互換 (i,i+1)(i, i+1) は、アミダクジの ii 番目の縦線と i+1i+1 番目の縦線の間に横棒を1本引くことに対応します。
* したがって、任意の置換は隣接互換の積で表せるので、対応するアミダクジを作成できます。
(2) アミダクジの横棒の数は隣接互換の数に対応し、隣接互換1つは置換の符号を反転させます。
* アミダクジの横棒の本数を nn とします。これはアミダクジが実行する隣接互換の回数に相当します。
* 各隣接互換は置換の符号を 1-1 倍します。
* したがって、nn 回の隣接互換の結果、置換の符号は (1)n(-1)^n 倍されます。
* 置換の符号が (1)n(-1)^n であることは、nn が偶数ならば置換は偶置換、奇数ならば奇置換であることを意味します。
* すなわち、横棒の数が偶数ならば偶置換、奇数ならば奇置換となります。

3. 最終的な答え

(1) 任意の置換に対して、それを実現するアミダクジが存在する。
(2) アミダクジの横棒の本数の偶奇は、そのアミダクジが与える置換の偶奇と一致する。

「離散数学」の関連問題

* 最初のANDゲートは、入力AとBを受け取り、$X = A \cdot B$を出力します。 * NOTゲートは、入力Bを受け取り、$Y = \overline{B}$を出力します。 ...

論理回路論理式真理値表ブール代数ベン図
2025/6/25

2つのベクトル $x = (1, 0, 1, 0, 1)$ と $y = (1, 1, 0, 0, 1)$ のハミング距離 $d_H$ を求める問題です。

ハミング距離ベクトル離散数学
2025/6/25

正五角柱の7つの面を、赤、青、黄、緑、黒、紫の6色を使って塗り分ける。隣り合う面は異なる色を塗る。2つの五角形(底面)が同じ色であるような塗り方の数と、正五角柱の塗り方の総数を求める問題。回転して同じ...

組み合わせ順列円順列場合の数グラフ彩色
2025/6/25

問題は2つあります。 1. 5人の大人と3人の子どもが円形のテーブルの周りに座る時、子ども同士が隣り合わない座り方は何通りあるか。ただし、回転して一致するものは同じ座り方とみなす。

順列組合せ円順列場合の数場合の数
2025/6/25

1から100までの整数が書かれた100枚のカードから1枚を選ぶ問題が2つあります。それぞれの問題で以下の情報が与えられています。 **問題1:** * P: カードは77ではない * Q: カ...

論理推論命題
2025/6/25

問題は、方程式 $x + y + z = 10$ を満たす正の整数解 $(x, y, z)$ の組が何個あるかを求めるものです。

組み合わせ方程式正の整数解
2025/6/25

異なる6個の玉を、指定された条件で組に分ける場合の数を求める問題です。 (1) 3個、2個、1個の3組に分ける (2) 2個ずつの3組に分ける (3) A, Bの2組に分ける (0個の組があってもよい...

組み合わせ場合の数分割包除原理
2025/6/25

集合の関係を $\subset$ または $=$ を使って表す問題です。 (1) $A = \{1, 3, 5, 7, 9, 11\}$、 $B = \{3, 7, 9\}$ (2) $C = \{2...

集合部分集合要素約数
2025/6/25

関係 $S = \{(1, 3), (2, 4)\}$ に対し、選択肢の中から成り立つものを選ぶ問題です。 選択肢は次のとおりです。 1. $1S3$

関係集合順序対
2025/6/25

与えられた命題 $\neg \neg \neg(\forall x \in \mathbb{N} (\exists y \in \mathbb{N} (x+y > 10)))$ と同値な命題を選択肢の...

命題論理論理記号全称量化子存在量化子否定
2025/6/25