タグ付けされた質問 「survey」

コンピューターサイエンスにおけるトポロジの応用に関する調査を作成したいと思います。私は、コンピューターサイエンスのトポロジカルなアイデアの歴史を取り上げ、現在のいくつかの開発を強調する予定です。誰かが以下の質問について意見を述べることができれば、非常に役立ちます。 コンピューターサイエンスでのトポロジの使用の時系列を説明する論文やメモはありますか？ トポロジーの結果のコンピューターサイエンスへの最も重要な応用は何ですか？ トポロジーを使用して計算の洞察を得る現在の研究で最も興味深い分野は何ですか？ ありがとう！

61 reference-request  ho.history-overview  topology  survey 

この質問の目的は、コンピューターの体系的な使用が役立つ理論的なコンピューターサイエンスから例を収集することです。 定理につながる推測を構築する際に、 推測または証明アプローチを偽造すること、 証明の構築/検証（の一部）。 特定の例がある場合は、それがどのように行われたか説明してください。おそらくこれは、他の人が日常の研究でコンピューターをより効果的に使用するのに役立つでしょう（今日のTCSでは、これはかなり一般的ではないようです）。 （単一の「正しい」答えがないため、コミュニティWikiとしてフラグが立てられます。）

55 proofs  survey  examples 

現在、TCSの階層定理に関する調査を書いています。関連論文の検索階層は、TCSや数学だけでなく、神学や社会学から生物学や化学に至るまでの多くの科学における基本的な概念であることに気付きました。情報量が膨大であることを見て、私はこのコミュニティに助けを求めることができることを望みます。もちろん、私に書誌検索をしてもらいたくはありませんが、2種類の情報を求めています。 あなたの仕事の結果である階層と階層定理、同僚やあなたがよく知っている他の人々の仕事であり、あなたはそれがあまり知られていないと思います。これは、たとえば、興味のあるあいまいな計算モデルの階層定理や、ゲーム理論に関連する特定のクラスの階層などです。 この種の調査に含める必要があるとみなされる階層と階層定理。これはおそらく私には既に知られているでしょうが、どの階層がより重要だと考えているのか、なぜそうなっているのかを知るのに役立ちます。これは、「PHPHPHがないとこの種の研究を行うことができないため、P Hは非常に重要だ」または「あまりよく知られていないが、論理ベースのTCSでは常にこの階層を使用し、重要なツールだと考えています。」。そして、はい、論理の人々は言及すべき多くの階層を持っていると信じていますが、問題の階層について話していることに留意してください。 ここで更新されたリストを保持します。 DTIMEDTIMEDTIME階層 NTIMENTIMENTIME階層 SPACESPACESPACE階層 算術（Kleeneとも呼ばれる）階層 超算術階層 分析階層 チョムスキー階層 Grzegorczyk階層と関連：Wainer階層（急成長）、Hardy階層 （低速成長）、およびVeblen階層 リッチーの階層 Axtの階層（Axt63で定義） ループ階層（MR67で定義） NCNCNC（ACACAC、ACCACCACC）階層 Sipser83で定義されている深度階層 多項式階層（）およびあまり洗練されていないMeyer-Stockmeyer階層（数量詞間の区別なし）PHPHPH 指数階層（）ELEMENTARYELEMENTARYELEMENTARY 中間階層（ラダーの定理） NPNPNP それほど頑丈ではない（アーサー・マーリン）AMAMAM （非決定的な固定パラメータ）階層と関連交互W階層（A W -hierarchy）とW * -hierarchy（パラメータ依存深さW）WWWAWAWAWW∗W∗W^{*} 階層のカウント フーリエ階層 （上ブール階層）、また（上クエリ階層に等しいN P）NPNPNPNPNPNP GoldreichKNR09に見られるプロパティテストの階層 星のない通常言語のドットの深さの階層 ：入力の各ビットが最大d回テストされるという追加条件を使用して、多項式サイズの分岐プログラムによって解決可能なクラスは、 dの異なる値の階層を形成しますBPd(P)BPd(P)BP_{d}(P)ddd 回路の複雑さの時間階層 通信の複雑さにおける多項式階層 注：独占的に言及されたくない場合は、そう言ってください。経験則として、コミュニティと、新しい情報を明らかにする特定の人物の両方に言及します。

42 cc.complexity-theory  reference-request  big-list  survey 

幾何学的複雑性理論は、代数幾何学、表現理論などの純粋な数学の多くの知識を必要とするようです。 私はCSの学生であり、非常に抽象的で純粋な数学のクラスはありませんが、このプログラムに興味があります。 この理論を学習するための「最小知識」のリストはありますか？ このリストには、CSまたは数学部門の講義ノート、任意のジャーナルまたは会議の調査、および純粋な数学の教科書が含まれています。 [ 編集：後で追加 ]コメントありがとうございます。 コンピューティングの一般理論：「計算理論の紹介」というタイトルのSipserの本を読みました 複雑性理論：特に、複雑性の下限の具体的なモデルに興味があります。したがって、私はアロラ・バラクの教科書の「具体的な下限」の部分を読みました。また、Nisanが書いたコミュニケーションの複雑さの本のいくつかの章に、基本的な知識があります。 基本的な数学：ベクトル空間などの一般的な定義や、イプシロン-デルタ引数に基づく計算の正確な引数など、証明ベースの線形代数について学びました。 代数：グループ、リング、フィールドの定義と例について学びました。私はcsの学生のためのクラスを持っていましたが、この代数システムの一般的な理論については学びませんでした。

38 reference-request  big-list  survey  gct 

Wikipediaで欠落しているTCSトピックのうち、最も記事に興味があるものはどれですか。 それらは、目立たない省略や、本当に記事があるべきだと思うトピックだけかもしれません。 回答ごとに1つのトピックを入力してください。そうすれば、最も必要なものを投票できます。 2017年5月2日更新：Shuchi Chawlaは、ウィキペディアのTCSカバレッジを改善する取り組みを主導しています。人々が適切に答えを更新し、より多くの答えを追加し、そして/または努力に貢献することを期待して、このアップデートを追加しています！

26 soft-question  big-list  survey 

Cormen、Leiserson、Rivest、Steinの「Introduction to Algorithms」などの標準的な教科書に記載されているものを超える、高度なデータ構造に関する本を探しています。 Erik DemaineやMIT のAndréSchulzのAdvanced Data Structuresコースなどの高度なデータ構造に関する大学院レベルのコースを教えるために使用できる本。データ構造の百科事典ハンドブックはさらに良いでしょう。

24 soft-question  ds.data-structures  survey  books 

株式市場の予測は難しいです！TCSはこの感情をより正式にすることができますか？ 最近、私は金融について少し考え始め、TCSの知識がどのように役立つか疑問に思っていました。ヘッジファンドや投資会社は常にアルゴリズム取引、機械学習、AIを使用しているようですが、TCSの結果はほとんどないようです。特に、私は2つの論文しか知りません： Sanjeev Arora、Boaz Barak、Markus Brunnermeier、およびRong Ge、Computational Complexity and Information Asymmetry in Financial Products、2009年 Philip Z. Maymin、Marketsは、P = NP、2011の場合にのみ効率的です。 最初の論文は、デリバティブが、計算限界エージェントの情報の非対称性のコストを（それを減らすという望ましい目標の代わりに）増幅できることを示しています。2番目の論文は、NP困難な問題を解決するために市場効率を使用できることを示すことにより、効率的な市場の一般的な信念に挑戦します。 関連するアイデアに関する本/調査または独創的な論文はありますか？特に、市場を予測または近似すること、またはそのような市場で最適に（または最適に近い）取引をすることの難しさに関連するものは？ もう少しメタ質問：なぜこれに関する論文の不在があるように見えるのですか？関心がないのですか、それともすべての利害関係者が非公開契約の背後に隠れているクオンツになるのですか？ 関連する質問 社会科学におけるアルゴリズムレンズ 金融経済学におけるポートフォリオ理論の複雑性分類とは何ですか？

19 cc.complexity-theory  reference-request  survey  ce.computational-finance  algorithmic-lens 

自動定理の証明と証明探索は、縮約のない線形およびその他の命題の部分構造論理で簡単ですか？ これらの論理で証明される自動定理と、証明探索における縮約の役割について、どこでもっと読むことができますか？

18 reference-request  lo.logic  survey  automated-theorem-proving  linear-logic 

コンテキストのない言語Lが規則的であることを意味する条件のリスト、つまり次の形式の条件を収集すると便利です。 プロパティPは、通常の言語を生成するCFGを特徴付ける必要はありません。さらに、Pは決定可能である必要はなく、Pはコンテキストフリーの言語に「何らかの形で依存する」必要があります（「Lの構文モノイドは有限」、「Lは空間o（log log n）で決定可能」など）オン、私が探しているものではありません）。

14 reference-request  fl.formal-languages  regular-language  context-free  survey 

ましょう感度とブール関数であるS （F ）とブロック感度B S （F ）。fffs(f)s(f)s(f)bs(f)bs(f)bs(f) が存在すること感度ブロック感度推測推測状態よう∀ F 、B S （F ）≤ S （F ）C。c>0c>0c>0∀f, bs(f)≤s(f)c∀f, bs(f)≤s(f)c\forall f,\mbox{ }bs(f)\leq s(f)^c この推測の真実と虚偽の意味は何ですか？ 参考文献も引用してください。

12 cc.complexity-theory  big-picture  boolean-functions  survey 

さまざまなプログラミング言語機能のセマンティクスに関する調査（論文、書籍の章、チュートリアル、リンクなど）がありますか？私はもともとここhttp://www.digitalmars.com/d/2.0/comparison.htmlのDの機能に圧倒されました stackoverflowで同様の質問をし、これら2つのサイトの視点が異なることを理解していますが、ここから何が得られるかを確認したいと思います。 返信ありがとうございます！メタに関する提案をしてくれたDave Clarkeに感謝します！

12 reference-request  pl.programming-languages  survey 

Clay Mathematics InstituteのStephen A. Cookが説明したように、最近対問題について思い出しました。N PPP\mathsf{P}NPNP\mathsf{NP} それは私の興味をそそりました、そして、私はそれについてもっと学びたいです。最初のステップは、問題のより深い理解と、一般的な分野の理解を得ることです。 問題について詳しく知ることができる書籍やその他のリソースをお勧めできますか？

12 cc.complexity-theory  reference-request  survey  books  p-vs-np 

アルゴリズムの高度なトピックに関するリソース（ハンドブックが望ましい）を探しています（CLRSやDPVなどのアルゴリズムの教科書でカバーされているものを超えるトピック）。 Erik DemaineやDavid KargerのAdvanced Algorithmsコースのようなアルゴリズムコースでトピックを教えるために使用できる素材のタイプ。 フィールドの概要（ハンドブックなど）を提供するリソースが望ましいですが、Vijay Vaziraniの「近似アルゴリズム」の本など、より焦点を絞ったリソースでも問題ありません。

11 ds.algorithms  reference-request  survey  books 

現在、平面セパレーター、ツリーセパレーター、有界ツリー幅グラフ、有界属グラフなどから、グラフのセパレーターに関する山ほどの結果があります。これに関する良い更新された調査とその応用はありますか？

11 reference-request  graph-algorithms  survey 

コンピュータサイエンスにおける進数の適用の具体的な（または豊富なソース）例はありますか？ppp

11 survey