ImpagliazzoのHeuristicaのハード・インスタンス

Impagliazzoの想像上の世界Heuristicaでは、P≠NPでも、すべてのNP問題は、サンプリング可能な確率分布の平均で簡単です。

Impagliazzoの論文で、Heuristicaでハード・インスタンスを見つけると、最初にインスタンスを見つけるよりも、インスタンスを解決するためにはるかに多くの労力を要します。

  この   世界、   グラウス
  かもしれない   〜する   できる   に
  見つける   問題   それ   ガウス
  できない   回答   クラスで、   しかし
  それ   かもしれない   取る   グラウス
  a   週間   に   見つける
  問題   それ   ガウス   できた
  ない   解決する   に   a
  日、   そして   a   年
  に   見つける   1   それ
  ガウス   できた   ない   解決する
  に   a   月。   (ここに、
  私   午前   前提   それ
  ガウス   持っている   いくつかの多項式
  利点   以上   グラウス、   以来
  ガウス   は   後   すべて
  a   天才!)   おそらく、「実生活」は、
  は   ない   そう   敵対的
  それ   それ   〜する   解決する
  扱いにくい   問題   ちょうど   に
  私たちを与える   a   ハード   時間、
  そう   すべてのために   実用的な   目的
  この   世界   見分けがつかない
  アルゴリズム。

しかし、私が明確にしていないのは、次のシナリオが可能かどうかということです。時間がかかる3-SATインスタンスを見つけるには1.001
n n
は解決します。言い換えれば、Grouseは、Grouseが指数関数的な量の作業に投資する準備ができていれば、ガウスに対して指数関数的な優位性を維持することができます。

これがHeuristicaでは起こり得ないという単純な議論があるか(そうでなければ、標準的な複雑さ仮説があるか)?

ベストアンサー
申し訳ありませんが、適切な答えはありません

返信を残す

メールアドレスが公開されることはありません。 * が付いている欄は必須項目です