応用情報技術者 2022年 春期 午前2 問47

判定条件網羅【午前2解説】

正解の理由

• 第1判定「A>0かつB=0」に対して (1) で真、(2) で偽 を与え、
• 第2判定「A>0かつC=1」に対して (1) で真、(2) で偽 を与えます。
  したがって、両判定について真・偽の両方が出力され、判定（分岐）網羅を満たします。

解法ステップ

1. 流れ図から判定点を洗い出す。ここでは
   • D1: 「A>0かつB=0」
   • D2: 「A>0かつC=1」
2. 各判定について、「真」と「偽」を少なくとも一度は出すことを目標にする（判定＝複合式全体の真偽）。
3. パス上の代入文が判定の評価に与える影響を整理する。
   • 最初の四角で $C=1$（1→C）。
   • D1がNoの場合は2→Cにより $C=2$。
   • D1がYesの場合はA×C→Cにより（直前の $C=1$ を用いて）$C=A$。
4. D2を真にするためには「A>0かつC=1」になることが必要。D1 Yesのとき $C=A$ なのでD2が真になる条件は $A>0$ かつ $A=1$、すなわち $A=1$。
5. 以上より、1つのケースでD1=真かつD2=真（例：A=1,B=0）、もう1つのケースでD1=偽かつD2=偽（例：A=1,B=1）を用意すれば良い。これで各判定の両方の評価を得られるため最少は2ケースとなる。

選択肢別の誤答解説

• ア: (1) A=0, B=0　(2) A=1, B=1
  (1) はD1偽、D2偽。 (2) はD1偽、D2偽。どちらもD1が一度も真にならず、判定網羅を満たさない。
• イ: (1) A=1, B=0　(2) A=1, B=1
  先述の通り、D1は (1) で真、(2) で偽。D2も (1) で真、(2) で偽。両判定の真・偽を網羅する最小の組合せである。
• ウ: (1) A=0, B=0　(2) A=1, B=1　(3) A=1, B=0
  D1・D2は網羅できるが、ケース数が3で冗長。最少を問う設問には適さない。
• エ: (1) A=0, B=0　(2) A=0, B=1　(3) A=1, B=0
  これもD1・D2は網羅できるが、ケース数が3で最少ではない（A=1が1回しかなく冗長な組合せを含む）。

よくある誤解

1. 「判定網羅＝条件網羅」と混同する
   • 判定（分岐）網羅は「複合判定そのものの真偽を両方出す」こと。条件網羅は「各原子条件を両方の真偽にする」こと。どちらか一方を満たしても必ずしも他方を満たすとは限らない。
2. Cを固定の入力だと誤認する
   • 図中の1→Cや2→C、A×C→C、C²→Cは変数Cの代入であり、判定の真偽はこれらの代入結果によって変わる。テストケース間でCの値が異なることを意識する必要がある。
3. 「各判定の原子条件を個別に真偽させる必要がある」と考え、不要にケースを増やす
   • 判定網羅では不要にケースを増やさず、判定全体の真偽を満たせばよい。

補足コラム

FAQ