諏訪湖SAにて。

こんにちは。


久々の遠出。
中央道諏訪湖SA、ここにはスタバがあるので立ち寄った。




今日は快晴だったので、諏訪湖が見事な眺めでしたね。
このところ事務所に缶詰め状態が続いてきつかったけど、
こういう美しい景色を見ると前向きになれる。

店外に洒落たテーブルがあって、そこでしばし休憩。
ふと思いついた問を１つ。




何人のグループなのかわからないし、注文の内訳もわからないが、
指定されたペアが必ずいる、ということを示す問題。

例えば、下の図の5人の場合。



ケン（茶髪）とユキ（左）が「飲み物が異なる男女2名」となるし、
これ以外にも条件を満たす2名がいますね。

当たり前すぎて何を示せばよいのやら、と言う感じなのだけど、
スマートに証明を書くのが結構ムズい。

いろいろ説明方法はあるかと思う。
論理的な説明をすることの練習になる問かなと、思った。

また明日。