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

Chris Okasakiの1998年の本「純粋に機能的なデータ構造」以来、私はあまりにも多くの新しいエキサイティングな純粋に機能的なデータ構造が登場するのを見ていません。ほんの数例を挙げます。 IntMap（1998年に岡崎によって発明されましたが、その本にはありません） フィンガーツリー（およびモノイドに対する一般化） 「入れ子型」や「一般化代数データ型」を使用してツリーの不変式を確保するなど、既知のデータ構造を実装する興味深い方法もいくつかあります。 この分野で1998年以降に登場した他の新しいアイデアはどれですか？

563 reference-request  big-list  ds.data-structures  functional-programming 

この質問は（インスパイアされた）/（恥ずかしく盗まれた）MathOverflowでの同様の質問ですが、ここでの答えはかなり異なると思います。 私たちは皆、それぞれの理論分野でお気に入りの論文を持っています。たまに、驚くほど（例えば、重要、説得力のある、一見シンプルな）論文をみんなと共有したいと思うことがあります。これらの論文をここにリストしてください！彼らはしていない持っている理論計算機科学からのものであると-あなたは社会にアピールするかもしれないと思うものは罰金答えです。 必要なだけ答えることができます。回答ごとに1枚の用紙を入れてください！また、これはコミュニティWikiであるため、好きなものすべてに投票してください！ （再帰理論の複雑さの論文に関する以前の質問がありましたが、それは非常に特殊化されていることに注意してください。）

454 big-list  soft-question 

ポール・エルドスは、神がそれぞれの数学的定理の最もエレガントな証拠を保持している「本」について話しました。これは、本（現在は第4版になっていると思います）：本からの証拠にも影響を与えました。 もし神がアルゴリズムに関する同様の本を持っていたら、どのアルゴリズムが候補者になると思いますか？ 可能であれば、クリック可能なリファレンスと、それを機能させる重要な洞察も提供してください。 回答ごとに1つのアルゴリズムのみを入力してください。

358 ds.algorithms  soft-question  ds.data-structures  big-list 

[ タイムライン ] この質問には、誰がどんな論文を読むべきか、そして誰がどのビデオを見るべきかという精神があります。理論的なコンピューターサイエンスのさまざまな分野で注目すべき本を求めています。 この本は数学志向のものですが、コンピューター科学者にとっては素晴らしいものかもしれません。例： 確率 不等式 論理 グラフ理論 組み合わせ論 アルゴリズムの設計と分析 計算理論/計算複雑性理論 同じ主題の本（例えば、組み合わせ論の本）にそれぞれの答えを捧げてください。 注：タイトルは誤解を招く可能性があります。説明を以下に示します。XとYをコンピューターサイエンスの2つのフィールドとします。みんなの本がある フィールドXに読み込む必要があります。 フィールドYに読み込む必要があります。 両方のフィールドで読み取る必要があります。 この質問は3つのケースすべてを探します。言い換えれば、後者の場合に固有のものではありません。 編集：Dai Leが提案したように、あなたも本が好きな理由を強調してください。 関連トピック： TCS証明手法のリファレンス 自習用のオートマトン理論に関する書籍 確率の本 好きな人気の数学の本 デランダム化の初心者向けガイド 回路の下限に関するリファレンス 再帰関数の理論に関する調査記事 プログラミング言語のセマンティクスに関する書籍 下書きがオンラインで入手できる最近のTCSの本は何ですか 確率に関する本

229 reference-request  soft-question  big-list  books 

ウィキペディアは、「コンピューターサイエンスの未解決の問題」の下に2つの問題のみをリストしています。 P = NP？ 一方向関数の存在 このリストに追加すべき他の大きな問題は何ですか？ ルール： 回答ごとに1つの問題のみ 簡単な説明と関連リンクを提供します

218 big-list  open-problem 

スタンフォード大学には現在、Youtubeチャンネルがあり、動的システムから量子エンタングルメントまでのすべてのフルコースのHDビデオに無料でアクセスできます。より多くの会議やワークショップが彼らの講演をビデオ録画しています。誰もが知っておくべきオンライン動画とは何ですか？ これには、ほとんど説明的なプレゼンテーションへのいくつかの回答をシードしますが、このコミュニティwikiが新しい研究の優れたプレゼンテーションと学習場所を共有するためのリソースになることを期待していますなじみのない地域の背景を強化する。

140 soft-question  big-list 

因数分解とグラフ同型はNPの問題であり、Pに存在することもNP完全であることも知られていない。この特性を共有する他の（十分に異なる）自然の問題は何ですか？ラドナーの定理の証明から直接得られる人工的な例は考慮されません。 これらの例のいずれかは、いくつかの「合理的な」仮説のみを仮定して、NP中間体であると証明できますか？

128 cc.complexity-theory  np-hardness  big-list  np-intermediate 

これと同じスキームでいくつかの質問がありました： 誰もが読むべき論文 誰もが読むべき本 下書きがオンラインで入手できる最近のTCSの本は何ですか 誰がどんなビデオを見るべきか 私はさらに別のものを投稿することに消極的でしたが、Jeff Ericksonのアルゴリズムに関する講義ノートは私の考えを変えました。私は思った：ああ、私の！ここ数年、私はこれらの素晴らしいノートを見ていません！ だから、私は本当に読む価値がある他の素晴らしい講義ノートがあるかもしれないと思った。そのため、各コンピューターサイエンスサブフィールド（データ構造、アルゴリズム、計算理論、計算の複雑さ、暗号化など）について、選択したすばらしい講義ノートを推奨し、それが優れていると思う理由を述べてください。 整理整頓するための簡単なルール：サブフィールドごとに1つの答え。（これはコミュニティWikiになるため、既存の回答を編集し、推奨事項を追加できます。）

113 reference-request  soft-question  big-list 

理論的なコンピューターサイエンスは、「抽象化の代価」の例を示しています。最も顕著な2つは、ガウスの消去と並べ替えです。すなわち： 全体として行と列に操作を制限する場合、ガウス消去法は、たとえば行列式の計算に最適であることが知られています [1]。明らかに、Strassenのアルゴリズムはその制限に従わず、ガウス消去法よりも漸近的に優れています。 並べ替えにおいて、リストの要素を比較および移動のみが可能なブラックボックスとして扱う場合、標準のnlognnlog⁡nn \log n情報理論的下限があります。しかし、フュージョンツリーは、私が理解している限り、乗算の巧妙な使用に縛られています。 抽象化の価格の他の例はありますか？ もう少し形式的にするために、弱いモデルの計算では下限が無条件にわかっているが、強いモデルでは違反していることがわかっている例を探しています。さらに、弱いモデルの弱点は抽象化の形でもたらされるべきであり、それは確かに主観的な概念です。たとえば、モノトーン回路の制限を抽象化とは考えていません。上記の2つの例が、私が探しているものを明らかにすることを願っています。 [1] KLYUYEV、VV、およびNI KOKOVKIN-SHcHERBAK：線形代数方程式の解の算術演算数の最小化について。GI TEEによる翻訳：テクニカルレポートCS 24、6月t4、t965、スタンフォード大学コンピューターサイエンス部。

112 ds.algorithms  reference-request  big-list  lower-bounds 

「誰が読むべき本」という投稿に続いて、ドラフトがオンラインで入手できる最近の本があることに気付きました。 たとえば、上記の投稿の「近似アルゴリズム」エントリには、「近似アルゴリズムの設計」というタイトルの 2011年の本（まだ出版されていません）が引用されています。 最近の作品を知ることは、TCSのトレンドを味わいたい人にとって本当に役立つと思います。下書きが利用できる場合、実際に購入する前に本を確認できます。 そう、 下書きがオンラインで入手できる最近のTCSブックは何ですか？ ここで、「最近」とは、5年以内のものを意味します。

99 reference-request  big-list  books 

できるだけ多くのTCS関連の会議やワークショップのリストを作成する際に助けを求めたいと思います。これを行うための私の主な動機は、より多くの理論的な場所のブログ報道の可能性を計画することです-これらのイベントに参加する特派員を見つけることです それを超えて、このようなリストが誰もが理論の地位のより良い感覚を与えることを願っています。 いくつかの「明白な」会議を含む回答で質問をシードします。回答を自由に編集したり、独自の回答を投稿したりできます。 会議の標準的な略語、会議名、主題、追加のメモ。 コミュニティWikiを対象としています。

90 soft-question  big-list  conferences 

あなたが知っている最も面白いTCS関連の出版物は何ですか？ 面白いと思われるものだけを含めてください。インテリジェントにユーモラスになるように明示的に作成された作品（たとえば、複雑性理論に関する短いジョークの公開コレクションよりも）が好まれます。ユーモラスな（実際にはユーモラスで、かわいいだけでなく）タイトルの作品も受け入れられます。 「最高の」ものがトップにバブルできるように、回答ごとに1つの作品のみを入力してください。

80 reference-request  soft-question  big-list 

通常、コンピュータサイエンスに適用されるとは考えられていなかった数学の定理が、最初にコンピュータサイエンスの結果を証明するために使用された例を挙げてください。最良の例は、接続が明らかではなかったものですが、一度発見されると、明らかに「正しい方法」です。 これは、「古典数学へのTCSの適用」という質問の反対方向です。 たとえば、「グリーンの定理と平面グラフでの分離」を参照してください。分離定理（技術的証明を使用して既に知られている）は、多変量計算からのグリーンの定理を使用して再証明されます。 他にどんな例がありますか？

74 reference-request  soft-question  big-list  topology 

実装するには単純に複雑すぎる正当なユーティリティのアルゴリズムとは何ですか？ 明確にしましょう：現在の漸近最適行列乗算アルゴリズム（Coppersmith-Winograd）のようなアルゴリズムは探していません。これは実装するのに合理的ですが、実際には役に立たない定数を持っています。実用的な価値があると思われるアルゴリズムを探していますが、コーディングが非常に難しく、実装されたことがない、非常に人工的な設定でのみ実装されている、または非常に特殊な用途にのみ実装されています。 また、優れた漸近性を備えていますが、実際のパフォーマンスが低い可能性が高い、実装不可能に近いアルゴリズムも歓迎します。

67 ds.algorithms  ds.data-structures  big-list  implementation 

私はソフトウェアの専門家であり、個人研究用の代数構造に関する調査を書いており、これらの構造が理論的コンピューターサイエンス（およびそれよりも程度は低いが、コンピューターサイエンスの他のサブフィールド）でどのように使用されるかの例を作成しようとしています。 グループ理論の下で、私は形式言語の構文モノイドと、並列/並行コンピューティングのトレースと履歴モノイドに出会いました。 リング理論の観点から、グラフ処理とセミリングベースの解析のためのセミリングフレームワークに出会いました。 私の研究では、モジュール理論から代数構造の使用法をまだ発見していません（そしてそうしたいと思っています）。 さらなる例があり、それらを見つけるのに適切な場所を探していないだけだと思います。 理論的なコンピューターサイエンス（およびコンピューターサイエンスの他のサブフィールド）で一般的に見られる上記のドメインの代数構造の他の例は何ですか？あるいは、これらのトピックをカバーする可能性のある、どのジャーナルまたは他のリソースを推奨できますか？

67 reference-request  big-list  big-picture  algebra