情報科学 › ソフトウェア設計とテスト › テストの理論

ペアワイズ網羅の大きさ

定理 5.2（「テストの理論」§5）・ ✓公理まで証明済み

$k \ge 2$ 、 $v \ge 2$ とする。

$N(k, v) \ge v^2$ 。
$N(k, v) \ge \log_v k$ 。
$N(k, v) \le \bigl\lceil v^2 \ln \tfrac{k(k-1)}{2} \bigr\rceil + v^2 \le \lceil 2 v^2 \ln k \rceil + v^2$ 。この大きさのテスト集合は、「未網羅の組をもっとも多く網羅するテストを 1 つずつ足す」貪欲法で得られる。

本文で読む（証明と前後の説明）→

閉包の状態

✓ 公理まで証明済み

証明が使う定理を前提としてたどると、Rikai の中の証明だけで定義・公理（物理では基本仮定）までつながっています（前提の定理類 15 件、定義なども含めて 21 件）。

印の意味: ✓公理まで証明済み・ △証明あり（閉包未完）・ ※主張のみ。テーマごとの集計は閉包の状況。

前提をたどる証明が使う定理・定義（直接 2 件）

▸ を開くと、その項目の証明が使う前提が出ます。深い先は各項目のページでたどれます。

数学的帰納法の原理✓定理 3.2・証明の技術
- 背理法の正当性✓命題 6.2・証明の技術
- 整列性公理 3.1・証明の技術
無作為な反例探索で言える範囲✓定理 6.2・検算と検証
- 確率変数の独立性定義 2.3・確率変数と期待値
- 導関数の符号と単調性✓系 3.4・平均値の定理とテイラーの定理
  - ラグランジュの平均値の定理✓定理 3.3・平均値の定理とテイラーの定理
    ロルの定理✓定理 3.1・平均値の定理とテイラーの定理この先をたどる →

これを使っている定理

証明で明示的に参照している定理は、まだありません。

関連するノック 2 問