第295回 グラフ理論:表現と制約(前編)

三つ目の封筒を開けた「僕」とテトラちゃんとミルカさん。そこに入っていた問題は……

登場人物紹介

:数学が好きな高校生。

テトラちゃんの後輩。 好奇心旺盛で根気強い《元気少女》。言葉が大好き。

ミルカさん:数学が好きな高校生。 のクラスメート。長い黒髪の《饒舌才媛》。

$ \newcommand{\HIRANO}{\unicode[sans-serif,STIXGeneral]{x306E}} \newcommand{\SQRT}[1]{\sqrt{\mathstrut #1}} \newcommand{\SET}[1]{\{\,#1\,\}} \newcommand{\EMPTYSET}{\{\,\}} $

図書室にて

いまは放課後。ここは高校の図書室。

と後輩のテトラちゃんは、クラスメートのミルカさんといっしょに村木先生から渡された問題を解いていた。

一つ目と二つ目の封筒に入っていた問題をようやく解いたところ。(第294回参照)

ミルカ「さあ、じゃあ、そろそろ封筒を開けてもいいかな」

テトラ「え……? もう開けましたが?」

「まさか……」

ミルカ「どうやらそのまさからしい」

ミルカさんは新しい封筒を取り出してひらひらさせる。

ミルカ「村木先生から封筒をもらってきた。テトラに渡した封筒が二つとも開けられたら、 この封筒を開けるようにとのことだ。 村木先生はいつもの通り……」

「演出過剰!」

テトラ「ですね!」

テトラちゃんミルカさんは封筒を開ける。

中にはもちろん《カード》が入っていた。でも一枚じゃない。

カード1

《機材について》(カード1)

あなたは、二つの《施設》《機材》を管理するスタッフである。

施設$A$には$m$台の機材$a_1,a_2,a_3,\ldots,a_m$がある。

施設$B$にも$m$台の機材$b_1,b_2,b_3,\ldots,b_m$がある。

機材には$1,2,3,\ldots,m$の《型番》が付いていて、 同じ型番は同種類の機材を表している。 たとえば機材$a_1$と機材$b_1$は型番$1$の同種類の機材である。

「二つの施設と、$m$台の機材……」

ミルカ「$m$台ずつだから、合計で$2m$台の機材だな」

テトラ「施設って何でしょう。機材とは? ……気になります」

「よくわからないけど、これらの機材を僕たちが管理する……という設定なんだね」

テトラ「これまでの封筒が《過去》と《未来》でしたから、これは《現在》かもしれませんね」

ミルカ「《機材について》はこれだけだ。次の《カード》を読もう」

カード2

《ユーザと予約と割り当てについて》(カード2)

機材を利用する$n$人のユーザ$u_1,u_2,u_3,\ldots,u_n$がいる。

※イラストは「いらすとや」さんから

ユーザは、それぞれ$1$台以上の機材を利用する。

利用するために各ユーザは、機材の番号を使って《予約》を行う。

たとえば、あるユーザが$1$番の機材一つに対して予約を行ったとするなら、この予約を$\SET{1}$で表す。

$1$番の予約をしたユーザへ機材の《割り当て》を行う際には、 施設$A$と$B$のどちらの機材を割り当ててもいい。

  • 割り当て$\SET{a_1}$を受けた場合、ユーザは施設$A$へ行って機材$a_1$を利用する。
  • 割り当て$\SET{b_1}$を受けた場合、ユーザは施設$B$へ行って機材$b_1$を利用する。

ただし、一人のユーザに割り当てるのはすべて同じ施設の機材でなければならない

たとえば、ユーザが$1$番と$4$番の二つの機材に対して予約$\SET{1,4}$を行った場合、 そのユーザへの割り当ては、

  • 施設$A$の割り当て$\SET{a_1,a_4}$
  • 施設$B$の割り当て$\SET{b_1,b_4}$

のいずれかである。 二つの施設の機材が混じった$\SET{a_1,b_4}$は割り当てではない。

「お、なるほど。パズルっぽくなってきたね」

テトラ「どうぶつユーザ、かわいいですねっ! 機材を扱うどうぶつたち……」

ミルカ「予約は$\SET{1,4}$のように型番の集合で表し、割り当ては$\SET{a_1,a_2}$のように機材の集合で表すわけだな」

テトラ「機材を直接予約するのではなく、型番で予約するんですね」

「どちらの施設の機材が割り当てられてもかまわないという意味なんだね、きっと」

テトラ「どういうことでしょう」

「このカード2にある通りだよ。予約$\SET{1,4}$を行ったユーザが実際に使うのは施設$A$の$\SET{a_1,a_4}$かもしれないし、施設$B$の$\SET{b_1,b_4}$かもしれない。 どちらの施設の機材でも、型番が同じだからいいでしょうという意味」

テトラ「ははあ……でも、これで何が起きるんでしょう」

「その前に、カード2に書かれている《制約》に注意しないとね。さらっと読んだだけだと見逃すかも」

テトラ「制約というのは、これのことですね。《個人割当同一施設制約条件》ですっ!」

  • 一人のユーザに割り当てるのはすべて同じ施設の機材でなければならない。

「長い名前付けるのブームなの、テトラちゃん……《同一施設制約》くらいにしようよ」

テトラ「ですよね……と、ともかく割り当てるときには$\SET{a_1,a_4}$のように同じ施設の機材をまとめないといけないというのはわかりました。そういう制約があるんですね」

ミルカ「カード3にはもう一つ制約が出てくるようだ」

カード3

《割り当ての衝突について》(カード3)

予約にしたがって機材の割り当てを行った結果、 複数の割り当てに同一機材が属してしまうことがある。 これを割り当ての《衝突》と呼ぶことにする。

たとえば、$\SET{a_1,a_2,a_3}$と$\SET{a_3,a_4,a_5}$は衝突している($a_3$が両方に属している)。

また、$\SET{b_1,b_3,b_5}$と$\SET{b_2,b_4}$は衝突していない。

$\SET{a_1,a_2,a_3}$と$\SET{b_1,b_2}$も衝突していない。

衝突が起きないように機材の割り当てを行うことが可能ならば、その予約の集まりを《割り当て可能》と呼ぶことにする。

また、どのように割り当てを行っても衝突が避けられないならば、その予約の集まりを、《割り当て不可能》と呼ぶことにする。

テトラ「なるほどです。同じ機材を二人に割り当てちゃまずいということですね」

「こちらは《衝突禁止制約》かな」

ミルカ「やっと問題が出てきた」

カード4

《問題》(カード4)

管理スタッフであるあなたの前には、予約が集まっている。

この予約の集まりに対して、

  • 《割り当てが可能》ならば、少なくとも一つの割り当てを行い、
  • 《割り当てが不可能》ならば、不可能であることを示す。

このための手順を考案せよ。

テトラ「えっ……!?」

「どうしたのテトラちゃん」

テトラ「これが問題なんですか?」

ミルカ「村木先生の《カード》にしては珍しいな。問題の形になっている」

テトラ「あ、あたしは……何か具体的な予約が与えられて、それに対する割り当てを行ってくださいという問題が出てくると思ったんです。 《同一施設制約》と《衝突禁止制約》に注意しながら、根気よく割り当てていこう……と構えていたんですが」

「なるほどね。今回の《カード》の問題は、具体的な割り当てを見つけるのじゃなく、割り当てを見つけるための手順を考えよというんだ」

ミルカ「割り当てが可能ならば、だな。割り当てが不可能ならば、不可能であることを示す」

テトラ「手順を考案する問題……」

テトラちゃんミルカさんは口を閉じて考える。

だいぶ複雑な設定で与えられた問題がある。 でも、どんな問題だとしても、最初にやることは決まっている。まず……

この続きは有料会員登録をすると
読むことができます。
cakes会員の方はここからログイン

1週間無料のお試し購読する

cakesは定額読み放題のコンテンツ配信サイトです。簡単なお手続きで、サイト内のすべての記事を読むことができます。cakesには他にも以下のような記事があります。

人気の連載

おすすめ記事

複素数って、どんな数? 世界を広げたいあなたのための一冊がここに!

ケイクス

この連載について

初回を読む
数学ガールの秘密ノート

結城浩

数学青春物語「数学ガール」の中高生たちが数学トークをする楽しい読み物です。中学生や高校生の数学を題材に、 数学のおもしろさと学ぶよろこびを味わいましょう。本シリーズはすでに12巻も書籍化されている大人気連載です。 (毎週金曜日更新)

この連載の人気記事

関連記事

関連キーワード

コメント

hyuki Web連載を復習してね! https://t.co/UBjIKVWqf0 約1ヶ月前 replyretweetfavorite

chibio6 この問題での奇数長サイクルとはミルカさんの例のようなことだと思うのだけど、では間にもう1… https://t.co/aQJ6U1sYpL 約1ヶ月前 replyretweetfavorite

aramisakihime 「僕」より少し遅れて、テトラちゃんより少し早く、「二彩色グラフ」が見えました。見えなかったものが見えることが面白いです。 約1ヶ月前 replyretweetfavorite

kusoposi 今回はなんだかプログラムの設計をしているみたいだ( ・ω・) 約1ヶ月前 replyretweetfavorite