[b]このワークシートは[url=https://www.geogebra.org/m/twxxx3yq]Math by Code[/url]の一部です。[br][/b][br][br]こんなパズルがあります。[br][b][size=150][color=#0000ff]「あるパーティーにN組２N人の夫婦が参加しています。[br]Xさん夫婦も参加しました。どの夫婦もパートナーとは握手しませんでした。[br]Xさんが自分以外の参加者全員に「握手人数」取材したところ、全員バラバラでした。[br]Xさん夫婦は何人と握手したでしょうか。」[br][/color][/size][/b][br][b][size=150]＜小さい数で実験＞[br][/size][/b]＊抽象的な問題に出会ったら、具体的な数で試してみる[br]＊そして、極端なものに着目して規則性を見つける[br]＊段階的に動的に調べる[br]　という３つの方針で取り組んでみよう。[br]・n=２の4人パーティーの場合。[br]　[b]握手の最大人数[/b]は自分とパートナーをのぞく4-2=2人です。[br] Xさん以外は3人だから、2以下の[b]異なる３数は｛0,1,2｝[/b]と決まりますね。[br] Xさんの取材した握手人数は０,1,2の3通りとわかります。[br] 握手数で人にゼッケンをつけて調べましょう。全員[b]のゼッケンは0,1,2,x[/b]となりました。[br] 次は、[b]最大と最小に着目して段階的に[/b]調べましょう。[br] 「２」さんは「０」「２」以外の「１」「ｘ」の２人と握手しました。[br]「２」「１」「０」さんはもう握手数を達成したので終了です。[br] このうち、「２」と握手していないのは「０」なので、「２」と「０」が夫婦ですね。[br]すると、残った[b]「１」と「ｘ」が夫婦[/b]だから、それぞれ[b]１回の握手[/b]が答えです。[br][br]・n=３の６人パーティーの場合。[br]　[b]握手の最大人数[/b]は自分とパートナーをのぞく６-2=4人です。[br] Xさん以外は５人だから、４以下の異なる５数は｛0,1,2,3,4｝と決まります。[br] Xさんの取材した握手人数は０,1,2,3,4の5通りとわかります。[br] 握手数で人にゼッケンをつけて調べましょう。全員のゼッケンは0,1,2,3,4,xとなりました。[br] 次は、最大と最小に着目して段階的に調べましょう。[br] 「4」さんは「0」「4」以外の{１,2,3,ｘ}の4人と握手しました。[br]「4」「1」「0」さんはもう握手数を達成したので終了です。[br]　このうち、「4」と握手していないのは「0」なので、「4」と「0」が夫婦ですね。[br]次に残った、{2,3,ｘ}を考えます。[br] 「3」さんはさっきの「４」さんに加え{2,ｘ}の2人と握手します。[br]「3」「2」さんはもう握手数を達成したので終了です。[br]「3」と握手していないのは「1」なので、「3」と「1」が夫婦ですね。[br] すると、残った[b]「2」と「ｘ」も夫婦[/b]だから、それぞれ[b]２回の握手[/b]が答えです。[br][br][b][size=150]＜一般化してみよう＞[br][/size][/b]ｍ＝2nとおくと、m人の参加者のうち、Xさんが取材した人数は「[b]m-1[/b]」人だね。[br]最大の「握手人数」を答えた人は、自分とパートナーの２人を除く「[b]m-2[/b]」人と握手できる。[br]しかし、m-1人の取材結果がすべて異なるということは、最小の「握手人数」は「[b]０[/b]」人となる。[br]そこで、簡単のために、参加者を点とし、[b]点の名前を「握手人数」で表そう[/b]。[br]Xは未定で、Xさんのパートナーは０からｍ−２のどれかになる。[br]すると、この握手人数問題は、[b]０、１、…,m−２とX[/b]のｍ人の連結状態を表すグラフをかく問題に置き換えることができるね。[br]ｍ個の点V={[b]X, m-2,m-3,.....,2,1,0[/b]}がある。[br]ｍ人を握手数を達成したかどうかで２分しよう。はじめは、達成={}, 未達＝Vとなる。[br]握手を次のように段階的に実行してみよう。[br]握手会１）[b]握手数1位[/b]の[b]m-2[/b]が自分と{m-2,0}以外と握手。達成＝{[b]m-2,0,1[/b]}で、m−2は未握手の[b]０と夫婦[/b]。[br]握手会２）[b]握手数[/b][b]2位[/b]の[b]m-3[/b]が達成者以外と握手。新たに{[b]m-3,2[/b]}が達成し、m-3は未握手の[b]1と夫婦[/b]。[br]握手会３) [b]握手数[/b][b]3位[/b]の[b]m-4[/b]が達成者以外と握手。新たに{[b]m-4,3[/b]}が達成し、m-4は未握手の[b]2と夫婦[/b]。[br]...................................................[br]握手会n-1) m-n=[b]n[/b]が残りと握手。新たに{[b]n, n-1[/b])が達成し、nは未握手の[b]n-2と夫婦[/b]となる。[br][br]こうして握手会を進めていくと、最初の達成者が3人で、それ以降は毎回2人となる。[br]全体が偶数人だから、最後に握手会ができない人が残る。[br]最後の握手会を考えてみると、[br]握手会ｎ）残りはm-(n+1)=[b]n-1の1人が残る[/b]。[br]　　　　　[b]n-1もXもn-1回[/b]目までの握手会に参加していたが互いに未握手。だから夫婦。[br]結局、[b]X夫婦は2人ともn-1回[/b]の握手をしている。[br][br]ここで面白いのは、夫婦の握手数だ。m-2+0=m-3+1=m-4+2=.....=n+1+n-2=n-1+n-1=[b]2n-2[/b]と一定になる。[br][br][color=#9900ff][u][b][size=150]質問：握手が完了したときのグラフをかくコードはどうしたら作れますか。[br][/size][/b][/u][/color][br]whileを回して、達成点と未達点のリストを更新して作ってみよう。[br][br][b][br][/b]

[br][IN]Pythonで作るとこうなります。[br]#===================================[br]from matplotlib import pyplot as plt[br]import networkx as nx[br]cnt=1[br][color=#0000ff][b]def drawParty(n):[br][/b][/color] global cnt[br] B = nx.Graph()[br] m = 2*n[br] psum = m-2[br] V = list(range(m-1)) + ["x"][br] Vm = list(range(n-1)) + ["x"][br] Vw = sorted(list(range(n-1,m-1)),reverse=True)[br][b] B.add_nodes_from(Vm, bipartite=0)[br] B.add_nodes_from(Vw, bipartite=1)[br] colorList = ['Green']*n + ['Red']*n #色名は頭文字を大文字にする[br] print(f"V1は{Vm}と{Vw}の2部グラフ")[br][/b] R = V[br] starting = psum[br] while len(R)>2:[br] source = starting[br] partner = psum -source[br][b][color=#0000ff] couple = [source, partner][br] print(f"夫婦は{couple}")[br][/color] R = set(R) - set(couple)[br] for destination in R:[br] B.add_edge(source,destination)[br] starting -=1[br][/b] print(f"夫婦は{R}")[br] plt.subplot(1,3,cnt)[br][b][color=#0000ff] pos = nx.bipartite_layout(B, Vm)[br][/color][/b] nx.draw_networkx(B,pos,node_color=colorList)[br][b] print(f"夫婦{R}の握手数は2人とも",B.degree("x"))[br][/b] cnt +=1[br] return True[br][br][b][color=#0000ff]for couples in range(3,6):[br] drawParty(couples)[br][/color][/b]#==========================================[br][OUT][br]V1は[0, 1, 'x']と[4, 3, 2]の2部グラフ[br]夫婦は[4, 0][br]夫婦は[3, 1][br]夫婦は{2, 'x'}[br]夫婦{2, 'x'}の握手数は2人とも 2[br]V1は[0, 1, 2, 'x']と[6, 5, 4, 3]の2部グラフ[br]夫婦は[6, 0][br]夫婦は[5, 1][br]夫婦は[4, 2][br]夫婦は{3, 'x'}[br]夫婦{3, 'x'}の握手数は2人とも 3[br]V1は[0, 1, 2, 3, 'x']と[8, 7, 6, 5, 4]の2部グラフ[br]夫婦は[8, 0][br]夫婦は[7, 1][br]夫婦は[6, 2][br]夫婦は[5, 3][br]夫婦は{'x', 4}[br]夫婦{'x', 4}の握手数は2人とも 4[br]

昔からあるパズルで、[br][br]「１人の先頭が船を使って、狼、ヤギ、キャベツを川の向こう岸に渡す。[br]船頭が１回で運べるのは１種類だけ。[br]また、狼とヤギのみの状態、ヤギとキャベツのみの状態はつくらない。[br]どのような手順で狼、ヤギ、キャベツをすべて向こう岸に運ぶことができるか。」[br][br][b][size=150]＜記号の状態変化として取り組む＞[br][/size][/b][br]まず、記号F,W,G,Cを使って船頭、狼、ヤギ、キャベツとしよう。GC,GWがダメな状態だ。[br]4つのあるなしは2^4=16通りの状態があるが、４つの物を２つの岸に分割すると考えてみる。[br]ダメな２通りの状態を取り除いた16-2=14通りを[br][b]FのあるものとFのないものに分けると２部グラフ[/b]になる。[br]Fあり、Fなし、Fなし、Fありを交互に繰り返すからだ。[br]Fありの[color=#0000ff][b]FWGC[/b][/color]の残りの対岸は[b]∅[/b][br]Fありの[color=#0000ff][b]FWG[/b][/color]の残りの対岸は[b]C[/b][br]Fありの[color=#0000ff][b]FWC[/b][/color]の残りの対岸は[b]G[/b][br]Fありの[color=#0000ff][b]FGC[/b][/color]の残りの対岸は[b]W[/b][br]Fありの[color=#0000ff][b]FG[/b][/color]の残りの対岸は[b]CW[/b][br]（FありのFW、FCの残りの対岸はそれぞれGC、GWとなるからこの[b]４つの状態は除外[/b]する。[br] Fのみの対岸はWGCとなり無法地帯になるからこれも除外する。）[br]結局、[b]可能な状態は１４−４＝１０個あり、Fあり５個とFなし５個がきれいに対応[/b]する。[br]しかも、[b]スタートがFWGCでゴールが∅となるように、交互に結ぶ２部グラフ[/b]を作ろう。

[size=150][b]＜挟み打ちで経路の絞り込み＞[br][/b][/size]状態変化を考えるときはスタートとゴールの両方から挟み打ちすると無駄な調べが減りますね。[br]・Fありの[b]FXYの次はXかYを運ぶので、XかY[/b]になります。逆にいうと[b]FXの前はFXYです。[/b][br]だから、[b]FWG[/b]の行き先はWか[b]G[/b]、[br]FWCの行き先はWかC、[br][b]FGC[/b]の行き先は[b]G[/b]かC、[br][b]FGの残りはGか∅[/b]です。[br]ただし、[b]FWCだけはGがないので、Fだけ移動するWCを行き先にできます[/b]ね。[br]また、[b]FWGC[/b]の行き先はFはGを他とセットにしてうつしますから、[b]WC[/b]だけです。[br]・逆にFがなくなった[b]XにFがもどってきてFXになる[/b]ことはできるでしょう。[br]これら岸からFあり５点とFなし５点の２部グラフのありうる辺を明確にします。[br][color=#0000ff]（スタートから考える）[/color][br]こちら岸の状態はスタートFあり→Fなし→Fあり→Fなし…のくり返しです。[br]FWGCの次はCWだけ。CWの次はFをつけたFWCだけです。[br]FWCの次はWかCかWCです。まとめると、FWGC→CW→FWC→[b]W/C/WC[/b]。[br][color=#0000ff]（終わりから考える）[/color][br]こちら岸の状態のゴールFなし←Fあり←Fなし←Fあり…のくり返しです。[br]FXで∅になるのはFGだけでした。だから、∅の前はFGです。[br]FGの前は∅かGですが、∅をくり返しても仕方ないので、Gですね。[br]Gの前はFを他をセットでくっつけてFGWかFGCです。FGWならその前はC,FGCならその前はGです。[br]まとめると、∅←FG←G←FGW←[b]W[/b]か　∅←FG←G←FGC←[b]C[br][/b][color=#0000ff]（挟み打ちする）[/color][br]あとは挟み打ちするだけです。スタートからの[b]W/C/WC[/b]とゴールからの[b]WかCがつながります。[br][/b]FWGC→CW→FWC→[b]W→FGW→G→FG→∅[br][/b]FWGC→CW→FWC→[b]C→FGC→G→FG→∅[br][br]次の図のように、１行目が可能な辺、[br]２行目左がこの岸の状態変化、右が向こう岸[br]３行目左が[b]この岸の状態変化、右が向こう岸。[br][/b][/b]当たり前ではあるけれど、[br][b][color=#0000ff]部を入れ替えただけなので、左図と右図の矢線の模様が同一になるね。[/color][/b]

[b][size=150]＜グラフをモデルにして一般化しよう＞[br][/size][/b][br]さて、どうだったでしょうか。[br]記号化することで、状態変化が明確になりました。[br][br][b][u][size=150][color=#9900ff]質問：意味づけを捨てて、グラフ問題として定式化するにはどうしたらようでしょうか。[br][/color][/size][/u][/b][br]Fは船頭なので、これは残しましょう。[br][b]運ぶものitems[/b]は頭文字をとってますが、これもabcなどの一般的な名前にして与えましょう。[br]だめな状態がab,bcならabcだけもだめなので、最初からダメ状態のリストbanを与えましょう。[br]Fabcのオンオフから[b]状態全体[/b]をFabcと∅を含めた文字列の[b]部分集合res[/b]として生成しましょう。[br]Fabc-こちら岸の状態＝対岸の状態なので、banの補集合と文字入れ替えもbanに加え[br][b]ダメ文字列banz[/b]を作りましょう。[br][br][b][color=#0000ff]全体状態resからbanzを引いたものをbaseにします。[br][/color][/b]baseをFありの状態とFなしの状態の2部に分割します。2部グラフを作る問題になりました。[br]このbase[br]2部グラフの辺はスタートがFabcで、ゴールが∅です。[br]辺はFあり、Fなし、Fあり、Fなしを交互につなぐことで、スタートからゴールにいたるPathを探す[br]問題に変わります。[br]グラフのスタートとゴールからpathを探す問題は、HamiltonPathの部分です。[br]前回やった深さ優先探索DepthFirstSearch,dfsの出番ですね。[br][br]すると残る課題は、[color=#0000ff]Fなし[b]f[/b][/color]と[color=#0000ff]Fあり[b]n[/b][/color]の２つの部を結べる辺をルールからどうやって作るのか[br]ということだけですね。[br][br][b]nからとった要素をitem, fから取った要素をfitemとします。[br][/b][br]fitemの状態の文字列がitemの文字列を含めばFが運び去ったり、Fが運び込んだりした変化になります。[br]運べるのはF自身かFと１つだけなので、岸にいる数が1回で１か２しか変化しませんね。[br]これを両方満足するのが条件１（cond1)です。[br][br]Fと何か１つだけある状態から何もなくなる状態に変わることは可能です。これが条件２(cond2)[br]この２条件のどちらかを満足する要素の組み合わせのときだけ、辺をつなぎましょう。[br]その辺の集合をeListとして、グラフに追加します。[br][br][b] cond1 = (set(item) <= set(fitem)) and (len(fitem)-len(item)<3)[br] cond2 = item=="" and len(fitem)==2[br][/b][br]そうすると、この辺の情報をグラフに登録して、隣接辞書を取得します。[br]その辞書をグラフデータとしてfind_pathに渡してやり、そのあとdfsの機能で、pathを探すだけです。[br]

#[IN]Python[br]#================[br]from matplotlib import pyplot as plt[br]from itertools import combinations,permutations[br]import networkx as nx[br]from collections import defaultdict[br]#ここからデータ作成[br]def graphF(f,n):[br] G = nx.Graph()[br] G.add_nodes_from(f, bipartite=0)[br] G.add_nodes_from(n, bipartite=1)[br] return G[br][br]def digraphF(f,n):[br] G = nx.DiGraph()[br] G.add_nodes_from(f, bipartite=0)[br] G.add_nodes_from(n, bipartite=1)[br] return G[br][br][b]def transF(items,ban):[br] #F＋文字列itemsの部分集合resを作る。[br][/b] res=[][br] items="F"+items[br] n=len(items)[br] for i in range(n+1):[br] res =res + list(combinations(items,i))[br] res = [ ''.join(x) for x in res][br][b] #引数の文字列リストbanからダメ状態文字列banzを作る。[br][/b] bans=[] #補集合追加 [br] zen=set(items)[br] for bitem in ban:[br] bans.append(''.join(list(zen-set(bitem))))[br] bans = bans + ban[br] banz=[] #順列生成[br] for items in bans:[br] banz = banz + [''.join(x) for x in permutations(items)][br] [b] #ダメでないグラフの基本となる点リストbaseを作る。[br] [/b] base = list(set(res)-set(banz))[br] f = list(filter(lambda x:"F" in x , base))[br] n = list(set(base)-set(f))[br] G = graphF(f,n)[br][b] #妥当な辺リストをeListを作り、それから隣接辞書を得る。[br][/b] eList=[][br] for item in n:[br] for fitem in f:[br] cond1 = (set(item) <= set(fitem)) and (len(fitem)-len(item)<3)[br] cond2 = item=="" and len(fitem)==2[br] if cond1 or cond2:[br] eList.append((item,fitem))[br] G.add_edges_from(eList)[br] adjacency_dict = nx.to_dict_of_lists(G)[br][b] #2部グラフ作成のための２部の頂点を隣接辞書を返す。[br][/b] return f,n,adjacency_dict[br][br][b]#ここからPathの検索（深さ優先）[br]def dfs(graph, now_pos, visited, path,prevpath,paths):[br][/b] prevpath = path[br] visited[now_pos] = True[br] path.append(now_pos)[br][b] paths.append(path)[br][/b] for neighbor in graph[now_pos]:[br] if not visited[neighbor]:[br][b] dfs(graph, neighbor, visited, path.copy(), prevpath.copy(),paths)[br][/b] else:[br][b] paths.append(prevpath.copy())[br][/b] visited[now_pos] = False[br] path.pop()[br][b] return paths[br][/b][br][b]def find_path(graph, start,end):[br][/b] keys=graph.keys()[br] visited={}[br] for item in keys:[br] visited[item]=False[br] path = [][br] prevpath = [][br] paths = [][br][b] res = dfs(graph, start, visited, path, prevpath,paths)[br] maxlen = max(list(map(lambda x:len(x), res)))[br] fil= list(filter(lambda x:len(x)==maxlen and x[maxlen-1]=="", res))[br][/b] return fil[br][br][b]def solveRiver(items, ban):[br] f,n,adjList = transF(items, ban)[br] #print(adjList) #ちゃんと動いているかを確認したいときはコメントをはずす。[br][/b][b] results = find_path(adjList, "F"+items, "")[br][/b] cnt=len(results)[br] num = 0[br][b] for result in results:[br][/b] #print(result)[br] num +=1[br][b] if result:[br][/b] R = digraphF(f,n)[br][b] arrowList=[][br] answer = f"こちら岸の変化は、{result[0]}"[br] for i in range(len(result)-1):[br] arrowList.append((result[i],result[i+1]))[br] answer +=f"->{result[i+1]}"[br] answer +="∅"[br][/b] print(answer)[br] R.add_edges_from(arrowList)[br][b] colorList = ['red']*len(f) + ['yellow']*len(n) #色名は頭文字を大文字にする[br] pos = nx.bipartite_layout(R, n)[br] plt.subplot(1,cnt,num)[br] nx.draw_networkx(R,pos,node_color=colorList)[br][/b] else:[br] print("パスは見つかりませんでした")[br] [br]#実行開始＝＝＝＝＝＝＝＝＝＝＝＝＝＝[br][b][color=#0000ff]items="wgc" #船頭Fが運ぶべきもの[br]ban=["gc","gw","gcw"] #船頭がいないときのダメな状態[br]ans = solveRiver(items,ban)[br][/color][/b]#=============================[br][OUT][br]こちら岸の変化は、Fwgc->wc->Fwc->w->Fwg->g->Fg->∅[br]こちら岸の変化は、Fwgc->wc->Fwc->c->Fgc->g->Fg->∅[br]

＜条件を変えてためしてみよう＞[br][br]Q「船頭Fが犬d,猫c、ペットフードpを運ぶ。一度に1つだけ運べます。Fがいないと、dもcもpをたべてしまいます。どんな順番で運びますか？」[br]A「items="dcp"にして、ban="dc,cp,dcp"にします。」[br][br]#実行開始＝＝＝＝＝＝＝＝＝＝＝＝＝＝[br]items="dcp" #船頭Fが運ぶべきもの[br]ban=["dp","cp","dcp"] #船頭がいないときのダメな状態[br]ans = solveRiver(items,ban)[br]#=============================[br][OUT][br]こちら岸の変化は、Fdcp->dc->Fdc->c->Fcp->p->Fp->∅[br]こちら岸の変化は、Fdcp->dc->Fdc->d->Fdp->p->Fp->∅[br]

[b][size=150]＜意味づけによる渡河問題解法の一般化＞[br][br][/size][/b]渡河問題では、abcを運ぶのに、共存できない2者の組み合わせが２つあります。どうしてダメかは物語としていろいろあります。たてとえば2者の組ab, bc,caのうちのab,acがだめということにしましょう。[br]すると、aがダメになる原因を作っていることがわかります。次の３ステップで渡せます。[br][br]・最初にaだけ運ぶ。もどってきたら残りのa以外（bc）の片方だけ運びます。[br]・次はaを連れてもどります。bcのうち残りを運ぶことでaが取り残されます。[br]・最後にFはもどってきたら、取り残されたaを最後に向こう岸に渡します。