単元一覧 › 大学院数学 代数的組合せ論

代数的組合せ論の問題

難易度 1大学院の講義の例題レベル大学院数学 代数的組合せ論

7 個の元からなる集合 に、次の被覆関係( は「 は のすぐ上にある」を表す)から生成される半順序 を入れる。

すなわち、 となるのは であるか、 から へ被覆関係をたどって上がれるときである。 のメビウス関数 を

で定めるとき、 を求めよ。

この問題で使うもの

ヒント

行き詰まったら、上から順に 1 つずつ開いてください。

ヒント 1

半順序集合のメビウス関数の漸化式 を使い、ハッセ図の下の元から順に の値を書き込もう。

ヒント 2

のすぐ上の元(原子) では になる。 では、 より真に下にある元が だけであることに注意する。

ヒント 3

, , となる。あとはこれらの和をとって符号を反転させればよい。

答えと解説

答えを見る
結果を記録する(このブラウザにだけ保存されます):
解説を読む

から出発して、下の元から順に の値を書き込んでいく。

ステップ 1(最小元): 定義より 。

ステップ 2(): たとえば について、 を満たす は だけなので

も同様で、。

ステップ 3(): を満たす は の 3 つ( は の下にない)。よって

ステップ 4(): は最大元なので、 を満たす は の 6 つ。よって

したがって である。

別解

を下から順に計算する。

  • は のすぐ上なので
  • について: となる は 。
  • について: となる は の 6 個。

検算: は と 以外の元からなる部分順序集合の被約オイラー標数に等しい。この部分集合は、 ( の下に 、頂点 3 個・辺 2 本の連結な木) と孤立点 からなり、連結成分は 3 個で、被約オイラー標数は ではなく 、被約では 。よって で一致する。

この問題の確認

AI が作成した問題です。公開前に次の確認を行いました。確認の方法について

間違いを報告する

この問題の誤り・分かりにくい点・難易度や学年のずれを知らせる
どこについての報告ですか

報告の内容と問題の番号を保存します。名前やメールアドレスは保存しません。

関連する問題