証明難しい

昨日の続きで SNL の定式化を見ているが、簡単そうに証明できそうなことがあったので、証明しようとしたら案外難しいことが分かった。
もともとのネットワークが連結でない場合は証明できないことが分かったが、そうでないときに成り立つのかどうかが難しい。
今日はこればかりだったが、もう少し考えてみる必要がありそうだ。


今日の作業内容：証明検討 5h
今日のランチ：角笛 鶏のささみ定食
明日の予測作業時間：5h