(c) ドローのトップハーフに入ったフェレールとディミトロフが同時に決勝進出することは起こり得ない。
(d) ドローのボトムハーフに入ったベルディヒとラオニッチが同時に決勝進出することは起こり得ない。
この場合、パラメータ（考慮すべき必要十分な変数）は、
① ベルディヒのQF進出（Yes/No）
② フェレールの決勝進出（Yes/No）
③ ラオニッチの決勝進出（Yes/No）
④ ディミトロフの優勝（Yes/No）
となり、事実上の4元連立方程式に帰結する。
これらを解くと、錦織君が初戦敗退した場合にファイナル進出を確定させるCP（必要十分条件）は、
「①No」または「③No」または「②No 且つ ④No」
これら3つの結果の内、いずれか1つでも満たすこと。
一方、錦織君が初戦敗退した場合にファイナル進出を消滅させる逆CPは、
「①Yes 且つ ②Yes 且つ ③Yes」または「①Yes 且つ ③Yes 且つ ④Yes」
これら2つの結果の内、いずれか1つでも満たすこと。（ほぼ起こり得ないと考えられる）
このように考えると案外、気が楽かも知れませんね。 (^o^)/ |
|
