時空のトレードオフの下限

3SAT [ 1 ]の下限に関する議論に続いて、時空のトレードオフとして定式化された主な下限の結果は何だろうと思っています。たとえば、サヴィッチの定理などの結果を除外しています。適切なエントリは、単一の問題とその境界に焦点を合わせます。例は次のとおりです。

「TとSをSATアルゴリズムの実行時間と空間に設定します。その後、T⋅S≥n2cos（π/ 7）−o（1）を無限に頻繁に持つ必要があります。」（ライアン・ウィリアムズによる[ 1 ]で与えられた。）

または

「SATは、一般的なランダムアクセス非決定性チューリングマシンのn > ^{1 + 0（1）}時間とε> 0のn1 ^-ε空間で同時に解くことができません。」（10.1109 / CCC.1997.612300のランスフォートノウ）

さらに、自然時空トレードオフ複雑度クラス（回路クラスを除く）の定義を含めています。

cc.complexity-theory ds.algorithms big-list space-time-tradeoff

— MichaëlCadilhac
ソース

うーん。CWタグを必要としない別の例。

— Suresh Venkat

どういう意味ですか？

— ミカエルカディルハック

Sureshは、質問を大きなリスト以外のものに言い換え、探しているものをより具体的に記述した場合、この質問に「コミュニティwiki」を置く必要はないと言っています。また、それは本当に「ソフトな質問」ですか？

— ライアンウィリアムズ

まあ、私は大きなリストが欲しいのですが、具体的ではない質問は、それを得る良い方法だと思います。この種のリストは禁止されていますか？（答えが出ていないので、何か間違ったことをしたと推測できますが、何がわからないのでしょう。）また、知的作業を必要としないので、これは柔らかい質問です。

— ミカエルカディルハック

最終的にはFAQでこれを明らかにしたいと思っています。これは技術的な問題なので、簡単な質問ではないと思います。ソフト質問は、研究に関するトピック-大学院への

— 。SureshVenkat

以下にいくつかの追加のリファレンスを示します。これらを引用している論文を見ると、さらに多くを見つけることができます。

$P$ $T^2 S \geq \Omega(n^3)$

$O(n)$ $O(1)$ $k+1$ $T S \geq \Omega(n^2)$ $k$

$S \leq o(n)$ $T \geq \omega(n)$

$TS \geq \Omega(n^2)$

— ライアン・ウィリアムズ
ソース