研究

一つ読むか、三つ読むか。

三つの情報源のうち一つが虚偽の報告を返し得るとき、どこまで観測すればよいか。失敗確率を5%以下に保つ計画の最悪時の期待費用は、指定したモデルの理論下限に一致します。後期観測一件の費用を2とすると、その値は約5.4293です。

詳しく読む
許容失敗確率と最悪時の期待費用の関係。三つすべてを読む端点(約0.2698546%、6費用単位)と、三つから一つを等確率で選ぶ端点(約33.4233456%、2費用単位)を結ぶ線分が、達成費用と全戦略の下界を表す。5%での最適値は約5.4293費用単位。265%5.4293

精度から、観測の最小費用を求める。

必要な精度を満たす観測の最小費用を求める。既知の線形モデルでの取得計画に加え、学んだ予測を確かめる最低検査費用と、学習・検査を合わせた費用の上限を明らかにしました。

詳しく読む

ここで、止められる。

{000, 100}残る未知は一次元

二進立方体上の候補000と100。二つは一ビットだけ異なる。出力000は、どちらの候補からも一ビット以内。000100010110001101011111

出力は000でよい。

000と100は、どちらも二つの候補から一ビット以内にあります。

まだ、測る必要がある。

{000, 111}残る未知は一次元

二進立方体上の候補000と111。二つは三ビット異なる。両方から一ビット以内の出力はなく、失敗を許さないなら観測を続ける必要がある。000100010110001101011111

両方に届く出力はない。

候補間の距離は三ビット。両方から一ビット以内にある出力は存在しません。

● は残った候補。一つの辺は一ビットの違いを表します。許容する誤りは出力の一ビットまで。失敗確率はゼロ。

証明を、次の検証へ。

積み重ねた証拠を、次の判断へ。証明構造の共有とタスクをまたぐ活用に加え、更新後も再取得なしで実行を完了できる条件と、対象モデルでの最悪時の継続費用を明らかにしました。

詳しく読む
複数の検証が共通の証明構造を利用する様子を、立体的なモジュールで表した概念図。