タグ付けされた質問 「big-list」

答えがアイテム（本、定理、ソフトウェアなど）の大きなリストである質問

14
確率に関する本
私は高校と大学の両方で確率論に関するいくつかのコースを通過しましたが、確率に関してはTCSの論文を読むのに苦労しています。 TCS論文の著者は、確率に非常に精通しているようです。彼らは確率式で魔法のように働き、定理を非常に簡単に証明します。一方、1つの式がどのように導出され、どのように恒等式（または不等式）が証明されるかを理解するには、十分な時間をかけなければなりません。 私は問題を一度だけ解決することに決めました。本を一冊一冊読みたいです。 したがって、確率で1冊だけの本を提案するように求められたら、どの本をお勧めしますか？
5
NEXP完全な問題
NPに完全な問題がたくさんあり、それらを収集する情報源があります。たとえば、Garey and Johnsonの本を参照してください。NEXPの完全な問題のリストも参照してください。利用できるものはありますか？存在しないと思うので、この質問を開きます（これはコミュニティWikiのはずですか？このことについては知りません）。 理想的には、リストはNEXPの完全な問題のさまざまな「タイプ」を網羅し、おそらく全体像を得るためのある程度の健全な冗長性を備えていますが、繰り返しはしません。たとえば、簡潔なエンコーディングの形式がわずかに異なる場合は、同じNP完全問題の2つまたは3つの異なる簡潔なバージョンを例として使用するとよいでしょう。ダースではありません。冗長性を追加するクリーンな方法は、「NEXP-complete if BLAH」という形式の句を追加することです。「入力グラフの次数が最大BLAHの場合、NEXP-completeのまま」という形式の句も歓迎します。 最後に、個人的な好みを追加します。私は、もしあれば、「代数的」フレーバーの完全な問題に最も興味を持っています。たとえば、私のお気に入りの＃P-complete問題は、代数的フレーバーのパーマネントです。NEXP = MIPの平等性が、私が気付いていない素敵な代数的NEXP完全問題を提供できることを願っています。
7
リプトンの最も影響力のある結果
リチャード・J・リプトンは、 「新しいアイデアとテクニックの紹介のために」2014年クヌース賞の受賞者に選ばれました。 リプトンが開発した主な新しいアイデアとテクニックは何ですか？ 注意。この質問はコミュニティWikiになります。回答ごとにそのようなアイデア、テクニック、または結果を1つ入力してください。
30 big-list 
19
TCSの美しい結果
最近、私の友人（TCSで働いている）が会話で、「生涯のTCSの美しい結果のすべて（または可能な限り）を見たり知りたい」と述べました。この種のことで、この分野の美しい結果と、次の質問の動機について疑問に思いました。 あなたの意見では、理論計算機科学ではどの結果（またはアイデア）が美しいですか？理由も述べていただければ幸いです。[アイデアが数学に由来する場合でも問題はありませんが、TCSでの関心が高まり、用途が見つかりました] カントールの対角論としての答えから始めます。それはシンプルでエレガントでありながら強力な結果だからです。
17
完全に非幾何学的な何かを解決するために、幾何学からの洞察が有用だった例
3つの空間次元を持つ宇宙で進化したことの良い点の1つは、空間内のオブジェクトに関する問題解決スキルを開発したことです。したがって、たとえば、3次元の数字は3次元の点と考えることができ、したがって3次元の数字についての計算は3次元の点についての計算と考えることができます。これは、幾何学の手法を使用して、完全に非幾何学的な問題を解決できる場合があることを示唆しているようです。誰もそのような例を知っていますか？ もちろん、「幾何学的」および「非幾何学的」という用語はここではわずかにあいまいです。すべてのポイントを座標で置き換える場合、幾何学的問題は実際には非幾何学的であると主張できます。しかし、直感的には、定義は明確です。SoCGに論文を送ることを検討する場合、幾何学的なものと呼ぶことにしましょう。
10
「現代の」コンピューターサイエンスが登場する前の確率的（ランダム化）アルゴリズム
編集：2012年12月6日までに最高スコアの回答を選択します。 これは簡単な質問です。 （決定的）アルゴリズムの概念は、BCにまでさかのぼります。確率的アルゴリズムはどうですか？ ではこのwikiエントリ、計算幾何学における最も近いペアの問題のためのラビンのアルゴリズムは、最初の無作為化アルゴリズム（年???）として与えました。リプトンは、ここでのランダムアルゴリズムの現代の始まりとしてRabinのアルゴリズムを導入しましたが、最初のアルゴリズムとしてではありません。また、1960年代に発見された確率的有限オートマトン（非常に単純な計算モデル）の多くのアルゴリズムを知っています。 1960年代以前であっても、確率的/ランダム化されたアルゴリズム（または方法）を知っていますか？ または どの発見が最初の確率的/ランダム化アルゴリズムとみなされますか？
5
古典的定理の量子証明
それにもかかわらず、量子力学/情報とは一見関係のない定理（例えば、純粋に古典的な物体に関する何かを述べている）が量子ツールを使用して証明できる問題の例に興味があります。古典的定理の量子証明（A.ドラッカー、R。ウルフ）の調査では、このような問題の素晴らしいリストが提供されていますが、確かにもっとたくさんあります。 特に興味深いのは、実際の複雑な分析と同様に、量子証明が可能なだけでなく、「より明るく」、複雑な設定に実際の問題を入れることがより自然になる場合の例です（たとえば、代数的に閉じているなど）。言い換えれば、量子世界が「自然の生息地」である古典的な問題。CC\mathbb{C} （私はここで正確な意味で「量子」を定義しておらず、そのようなすべての議論は最終的に線形代数に要約されると主張することができます;まあ、実数のペアのみを使用するために複素数を使用して任意の引数を翻訳することもできます-しかし？）
2
トポロジプロパティの複雑さ。
私は、トポロジー（連続体理論に強くフレーバーされたポイントセットトポロジーの散在）のコースを受講するコンピューター科学者です。私は、トポロジプロパティの空間の記述を（単純に）テストする決定問題に興味を持ちました。それらは同相写像まで保存されていました。 たとえば、ノットの属を決定するのはPSPACEであり、NP-Hardであることが知られています。（Agol 2006; Hass、Lagarias、Pippenger 1999） 他の結果は、より多くの、より一般的な感じた：AAマルコフ（の息子マルコフは）次元で同相写像するための2つの空間を試験することが1958年に示した以上が（4-マニホールド用決定不可能を示すことによって）決定不能です。残念なことに、この最後の例は、同相写像の下で保存されている特性ではなく、同相写像の問題自体を扱っているため、私の質問の完璧な例ではありません。555 「低次元トポロジー」には、結び目とグラフ理論という大量の仕事があるようです。私は間違いなく低次元トポロジーの結果に興味がありますが、一般化された結果にはもっと興味があります（これらはまれなようです）。 私は平均してNP困難な問題に最も興味を持っていますが、そうではないことがわかっている問題を列挙することを奨励しています。 トポロジー特性の計算の複雑さについてどのような結果が知られていますか？
6
指数関数的に長い解像度証明を必要とするブール式のよく知られたクラス
多くの場合、SATソルバーには、切断面法、変数の伝播、分岐と境界、節の学習、インテリジェントバックトラッキング、または手織りの人間のヒューリスティックが含まれています。しかし、何十年もの間、最高のSATソルバーは解像度証明技術に大きく依存しており、単に支援のために、また解像度スタイルの検索を直接行うために、他のものの組み合わせを使用しています。明らかに、少なくともいくつかのケースでは、どのアルゴリズムでも多項式時間で充足可能性の質問を決定できないことが疑われます。 1985年、Hakenは論文「解像度の難易度」で、CNFでエンコードされた鳩の穴の原理は多項式サイズの解像度の証明を受け入れないことを証明しました。これは解像度ベースのアルゴリズムの難しさについて何かを証明しますが、最先端のソルバーを判断できる基準も提供します-実際、今日のSATソルバーの設計に関する多くの考慮事項の1つは、その実行方法です既知の「ハード」ケース。 指数関数的なサイズの解像度の証明を証明できるブール式のクラスのリストを持つことは、新しいSATソルバーをテストするための「ハード」式を提供するという意味で役立ちます。そのようなクラスを一緒にコンパイルする際にどのような作業が行われましたか？そのようなリストと関連する証拠を含む参照を誰かが持っていますか？回答ごとにブール式のクラスを1つリストしてください。
4
ウィキペディアの記事がありません
Wikipediaで欠落しているTCSトピックのうち、最も記事に興味があるものはどれですか。 それらは、目立たない省略や、本当に記事があるべきだと思うトピックだけかもしれません。 回答ごとに1つのトピックを入力してください。そうすれば、最も必要なものを投票できます。 2017年5月2日更新：Shuchi Chawlaは、ウィキペディアのTCSカバレッジを改善する取り組みを主導しています。人々が適切に答えを更新し、より多くの答えを追加し、そして/または努力に貢献することを期待して、このアップデートを追加しています！
5
コンピュータサイエンスの長期にわたるエラー
これはcstheoryスタックに関する最初の質問なので、何らかの形でエチケットに違反している場合でも失礼にならないでください） 私たちが知っているように、数学では、有名な数学者、スーパースター、天才でさえ、時々深刻な間違いをしています。たとえば、4色の定理とフェルマーの定理はどちらも、最も明るい頭脳でさえも妄想に陥るという劇的な事例を提供します。いくつかの偽の証拠の不正確さを証明するのに何年もかかることがあります。 私の質問は、コンピューターサイエンスにおけるそのような間違いの顕著な例をいくつか教えていただけますか？「Dr. Xは1972年にO（log n）時間未満でYを実行することは不可能であることを証明しましたが、1995年には彼が実際に間違っていたことがわかりました」。
2
単項言語の複雑な動物園
もちろん、単項言語では複雑な結果がいくつか崩れる可能性がありますが、この場合の既知の結果を要約した調査があるのではないかと思います。単項言語の一種の複雑な動物園です。そのような参照を知っていますか？
11
TCSを刺激する人気の科学の本は何ですか？
コンピュータサイエンスでは、人気のある科学の本はないという評判があります。もちろん、それは本当ではありません！ （のリストの同じ精神で何本万一誰も読む？、論文は誰もが読むべきか？、ビデオは誰も時計？べきことからインスピレーションを好きに人気の数学の本） CS理論を刺激する人気の科学の本やリソースは何ですか？ この本がなぜいいのかについての説明をお願いします。
24 big-list  books 
弊社のサイトを使用することにより、あなたは弊社のクッキーポリシーおよびプライバシーポリシーを読み、理解したものとみなされます。
Licensed under cc by-sa 3.0 with attribution required.