アルゴリズムと計算量の問題
互いに異なる 個の実数を、 通りの並べ方のどれもが等確率 で起こるように並べ、配列 を作る。 を満たす整数の組 のうち、 となるものを転倒といい、転倒の個数を とする( は、この配列を挿入ソートで昇順に並べかえるときに行われる隣り合う要素の交換の回数に等しい)。 の期待値 を求めよ。
この問題で使うもの
- 指示変数と期待値の線形性(説明と入口の問題)
この問題を解けるようになるまで(16 技能)
読み込み中…
右端(太枠)がこの問題で使う技能です。左へドラッグすると、さらに前の前提をさかのぼれます。技能を押すと、そこまでの道筋が光ります。
ヒント
行き詰まったら、上から順に 1 つずつ開いてください。
ヒント 1
使う技能は「指示変数と期待値の線形性」。 を、組 ごとに「転倒なら 、そうでなければ 」となる確率変数の和に分けよう。
ヒント 2
を組 が転倒のとき 、そうでないとき とすると であり、 となる。 どうしが独立でなくても が成り立つ。
ヒント 3
と の値を入れかえる対応を考えると である。組 は 個ある。
答えと解説
答えを見る
どこでつまずきましたか?(選ぶと、戻る場所を案内します)
解説を読む
方針: の分布表を直接作るのは大変なので、 を指示変数の和に分け、期待値の線形性を使う。
手順1(指示変数を定める): を満たす各組 に対して
とおく。 は転倒になっている組の個数なので
である。組 の個数は 個である。
手順2(各指示変数の期待値): は か の値をとるので である。
ある並べ方で と の値を入れかえると別の並べ方になり、この対応で「 となる並べ方」と「 となる並べ方」が 対 に対応する。よって両者はどちらも 通りであり、
手順3(期待値の線形性): 期待値の線形性 は確率変数が独立でなくても成り立つ。実際、 は独立ではない( なら必ず )が、それでも和の期待値は期待値の和になる。したがって
答え:
別解
各組 ()について、転倒を表す指示確率変数 を、 のとき 、そうでないとき と定める。 個の値は互いに異なり、並べ方は等確率なので、対称性より である。したがって 。
組 の個数は である。期待値の線形性より
。
検算:一般の では で、 なら 。また では、転倒数は か が各確率 なので期待値 となり、公式と一致する。