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

より数学的な背景から来て、私は実際にコーディングする方法を学びませんでした。私はTCSで博士号を取得していますが、多くの人々は、プログラミング（およびコンピューター全般）について私がほとんど知らないことに驚きました。擬似コードでアルゴリズムを書くことはできますが、プログラミング言語はまったく知りません。 いつか自分の仕事のためにいくつかのアルゴリズムを実装する必要があるかもしれないと想像できますが、この瞬間を待つことができますか？それとももっと何かありますか？ TCSでコーディングする方法を知ることは（プログラミングが直接関与していない分野で）どれほど重要ですか：CC理論家が（たとえば）コーディング方法を知ることができる理由はありますか？コーディング方法を学ぶのに多くの時間を費やす価値はありますか？そして、もしあれば、より適切なプログラミング言語のカテゴリ（機能的、命令的、オブジェクト指向..）がありますか？

66 soft-question  big-list  advice-request  career 

10/12/08に編集： 質問を修正して、より多くの人が意見を共有できるようにしましょう。あなたの貢献が必要です！ この投稿は、MOの1つに触発されています：数学における一般的な誤った信念の例。大きなリストは、品質を制御するのが難しい膨大な数の回答を生成する場合がありますが、MOに関する関連記事が成功した後、TCSの一般的な誤った信念のリストを作成することが役立つと確信しています。 それでも、このサイトは研究レベルの質問に答えるために設計されているため、ような例は非多項式時間を意味するので、リストに載せないでください。その間、難しくないかもしれないいくつかの例が欲しいが、詳細に考えることなく、それは同様に合理的に見える。この例は教育的なものであり、通常は対象を初めて勉強するときに表示されます。NPNP\mathsf{NP} この分野で勉強している人々に見える、理論的なコンピューターサイエンスにおける一般的な誤った信念のいくつかの（自明でない）例は何ですか？ 正確に言うと、TCSの驚くべき結果や直感に反する結果とは異なる例が必要です。この種の結果は人々を信じ難くさせますが、それは真実です。ここでは、人々は一見真実であると思われるかもしれないが、より深く考えた後、内部の欠陥が暴露されるという驚くべき例を求めています。 リストの適切な回答の例として、これはアルゴリズムとグラフ理論の分野から来ています。 以下のために -nodeグラフ、 -EDGEセパレータサイズのエッジの部分集合であるのノード、それぞれがせいぜいで構成され、2つの隣接していない部分に分割することができるノード。次の「補題」があります。G k S k G ∖ S 3 n / 4nnnGGGkkkSSSkkkG∖SG∖SG \setminus S3n/43n/43n/4 ツリーには1エッジのセパレータがあります。 右？

62 big-list  examples 

以下に更新 私たちは皆、ピアレビューの決定的な重要性を知っています。これは、品質管理と研究に関するフィードバックの主要な形です。ただし、初期段階の研究者（私のような）にとっては、混乱を招くシステム/プロセスになることがあります。 したがって、科学的な審判プロセスに関するガイダンスを提供する論文がいくつかあります。コンピューターサイエンスからの2つの（非常に異なる）例- この1994年のParberryによる記事と、最近のCormodeによる記事 -は素晴らしいアドバイスを提供します（後者は陰謀の悪戯かもしれませんが）。 ここでは、特に理論的なコンピュータサイエンスの特性に関連して、レビュープロセスについて、このコミュニティの経験豊富なメンバーから幅広いアドバイスを求めたいと思います。 論文の結果の重要性を判断する主な基準は何ですか？会議/ジャーナルに論文を受け入れるべきかどうかを判断するにはどうすればよいですか？正当性を検証することは重要ですか？ 審判レポートの主な要素は何ですか？どの部分が最も重要ですか？（非）受け入れの推奨を与えることは常に必要ですか？レポートには何が含まれ、編集者だけに何が含まれますか？ 会議の評価は、ジャーナルの評価とどのように異なりますか？会議のレポートは、ジャーナルのレポートとどのように異なりますか？（いったいどうすれば私の推奨事項の「自信」を評価できますか？）ジャーナルのバージョンは会議の論文とは大きく異なるべきですか？ 論文が理解できない場合はどうなりますか？...の証拠？（それは私のせいですか？） 誤字/文法上の間違いはどうですか？それらがたくさんある場合はどうなりますか？ レポートにどれくらいの時間を費やすべきですか？ 1年にいくつのレポートを作成する予定ですか？レフェリーへのリクエストを拒否することはいつ受け入れられますか？ もちろん、これはCWであるため、このトピックに関する他の関連する質問と回答をお勧めします。 この質問は、MathOverflowでの同様の投稿に触発された（盗まれた）ものです。 2011年2月15日更新： 私は、特に会議論文のレビューとプログラム委員会のメンバーシップに関して、この質問についてより多くの意見を得ることに非常に興味があります。（これらの2つの役割はそれ自体が異なる獣であり、どちらもジャーナル記事IMOのレフェリーとは非常に異なります）。理論的なコンピューターサイエンスのすべての研究者が最終的に引き受けなければならない責任。 時間。委員会メンバーまたは会議レビュアーとしてどれくらいの時間を費やす予定ですか？数週間のうちに10個以上を処理できる可能性があるとしたら、どうすれば時間切れを回避できますか？時間を過ごす最も重要なことは何ですか？ 信頼。論文が私の専門分野から離れすぎている場合はどうなりますか？他の誰かが提出物をレビューするように指名/依頼する際に考慮すべき要素は何ですか？自分の専門分野からそれほど離れていない場合、レビューすることを選択した場合、いつ信頼度評価1を与えることができますか？ 基準。ジャーナルと会議には重大な違いがあります。いくつかの非常に重要な論文は、ジャーナルに掲載されていません。いくつかの非常に重要な論文は、以前は会議に登場しませんでした。これらの設定で論文を評価する基準の最も重要な違いは何ですか？ 推奨事項。本質的に、主にスペースと時間の制約により、会議論文の著者に提供できる推奨事項は少なくなります。また、通常、レビューは1回のみです。別の考慮事項は、私の報告書が強力な委員会全体に公開されることです。私が提供できる提案/指令の範囲は何ですか？ 以前と同様に、特定の質問をするのを逃したと思われる場合は、お知らせください、または直接編集してください。結局のところ、これはCWです。 これらの新しい考えは、Sureshが彼のブログで言及した論文を読むことにより、部分的に動機付けられています。

62 soft-question  big-list  paper-review 

多くの場合、TCSカンファレンスに参加するとき、カンファレンスの主催者が面倒を見てくれることを望んでいる小さな詳細に気付きます。そして、会議を開催するとき、すでにそれを忘れています。 したがって、質問：TCS会議を改善するために簡単に実行できる小さなステップはどれですか うまくいけば、この質問が、会議を開催するたびに再確認できるリソースになり、同じ間違いを何度も繰り返さないようにすることができます... 私はここで、比較的小さくて安価な詳細に興味があります。会議の主催者は、時間内にそれについて考えていれば簡単にできたことでしょう。たとえば、会議のWebページに事前に配置できる有用な情報かもしれません。1日を節約できる5ドルのガジェット。宴会用のレストランを選択する際に考慮すべきこと。コーヒーブレイクの最適なタイミング。または会議バッジの理想的なデザイン。 ここでは、会議の取り決めのすべての側面（論文の提出、プログラム委員会、レビュー、現地の取り決めなど）をカバーできます。 これはコミュニティWikiの質問です。回答ごとに1つのアイデアを投稿してください。他の回答は、意見の重要度に応じて上下に投票してください。

61 soft-question  big-list  research-practice  conferences 

私は番号によってパラメータ問題の例を探していますK ∈ Nk∈Nk \in \mathbb{N}問題の硬さがあり、非単調にkkk。例示のために（私の経験で）ほとんどの問題は、単一の相転移を有するkkk -SATから単相転移有するK ∈ { 1 、2 }k∈{1,2}k \in \{1,2\}ために（問題はPである）K ≥ 3k≥3k \ge 3の問題はNP-あります（コンプリート）。私は、kが増加するにつれて両方向（簡単なものからハードなもの、そしてその逆）に相転移がある問題に興味があります。kkk 私の質問は、計算の複雑さの難易度ジャンプで尋ねられた質問にいくらか似ており、実際、そこにある回答のいくつかは私の質問に関連しています。 私が知っている例： kkk平面グラフの彩色性：Pでは、場合を除き、k = 3k=3k=3NP完全です。 kkk端子を備えたシュタイナーツリー：k = 2k=2k=2（最短sss - tttパスに崩壊する）およびk = nk=nk=n（MSTに崩壊する）のPであるが、NP-hard "in between"。これらの相転移がシャープかどうかはわかりません（たとえば、場合はP k0k0k_0、場合はNP-hard k0+ 1k0+1k_0+1）。また、他の例とは異なり、の遷移はkkk入力インスタンスのサイズに依存します。 平面式モジュロの満足割り当てをカウントnnn：Pで場合nnnメルセンヌある素数数n = 2k− 1n=2k−1n=2^k-1のための、および＃のP-完全最も/（？）の他のすべての値nnn（でアーロン・スターリングからこのスレッド） 。相転移がたくさん！ 誘導されたサブグラフの検出：問題は、整数ではなくグラフによってパラメーター化されます。そこグラフ存在H1⊆ H2⊆ H3H1⊆H2⊆H3H_1 \subseteq H_2 \subseteq H_3（ここで、⊆⊆\subseteqかどうかを決定れる、サブグラフ関係の特定の種類を示す）H私⊆ GHi⊆GH_i \subseteq G所与のグラフのGGGためPにあるiは∈ { …

60 cc.complexity-theory  np-hardness  big-list  phase-transition 

TCSでは、古典数学（代数、トポロジー、解析、幾何学など）からの強力な結果とアイデアを使用することがよくあります。 逆になった場合の例は何ですか？ ここに私が知っているものがあります（また、私が尋ねている結果の種類の風味を与えるために）： キュービカルフォーム（Guy Kindler、Ryan O'Donnell、Anup Rao、Avi Wigderson：Spherical Cubes and Rounding in High Dimensions、FOCS 2008） 幾何学的複雑性理論プログラム。（これは技術的には代数幾何学と表現理論のTCSへの応用ですが、P対NPの追求において新しい量子群と新しい純粋な代数幾何学と表現理論のアイデアを導入するように導かれました。） 近似アルゴリズムと近似不可能な結果に触発されたメトリック埋め込みの作業 私は特に、TCSの論理への適用（有限モデル理論、証明理論など）を特に探していません。特に驚かない限り、TCSと論理の関係は、この質問の目的にとっては近すぎて標準的かつ歴史的です。

60 reference-request  big-list 

（入力長+出力長）で多項式時間で実行されるが、同じメジャーでの漸近的な実行時間は本当に巨大な指数/定数（少なくとも、実行時間の証明された上限はそのような方法）？

59 ds.algorithms  big-list 

スレッドでは、理論的なコンピューターサイエンスの主要な未解決の問題は？、Iddo Tzameretは次の素晴らしいコメントを述べました。 ような基本的な問題と見なされる主要な未解決の問題と、解決されると技術的なブレークスルーを構成するが、必ずしも基本的なものではない主要な未解決の問題、たとえば指数下限回路（つまり、AC ^ 0 + \ mod 6ゲート）。したがって、「TCSのフロンティアにおける未解決の問題」などと題された新しいコミュニティwikiを開く必要があります。P≠NPP≠NP P\neq NP AC0(6)AC0(6) AC^0(6) AC0+mod6AC0+mod6 AC^0+\mod 6 Iddoはスレッドを開始しなかったので、このスレッドを開始すると思いました。 多くの場合、フィールドの主要な未解決の問題は、関連する分野で働く研究者に知られていますが、現在の研究が行き詰まっている点は部外者には知られていません。引用された例は良い例です。部外者として、回路の複雑さの最大の問題の1つは、NPがスーパー多項式サイズの回路を必要とすることを示すことであることは明らかです。しかし、部外者は、私たちが立ち往生している現在のポイントがmod 6ゲートを備えたAC 0回路の指数関数的な下限を証明しようとしていることに気付かないかもしれません。（もちろん、私たちが行き詰まっている場所を説明する同様の難易度の他の回路の複雑さの問題があるかもしれません。これはユニークではありません。）別の例はn 1.801よりも良いSATの時間空間の下限を示すことです。 このスレッドはこのような例です。そのような問題を特徴付けることは難しいため、このような問題が持つ特性の例をいくつか挙げます。 多くの場合、フィールドの大きな未解決の問題ではありませんが、解決されれば大きなブレークスルーになります。 昨日問題が解決したと誰かがあなたに言った場合、信じられないほど難しいことではありません。 これらの問題には、基本的ではない数値や定数が含まれることもよくありますが、これはたまたま私たちが行き詰まっている場所にあるために発生します。 特定の分野の最前線での問題は、長年にわたって変わらない分野の最大の問題とは対照的に、時々変化し続けます。 多くの場合、これらの問題は未解決の最も簡単な問題です。たとえば、AC 1の指数下限もありませんが、 [6]がそのクラスに含まれているため、 [6]の下限を表示するのが形式的に簡単になり、したがって回路の複雑さの現在のフロンティア。AC0AC0AC^0AC0AC0AC^0 回答ごとに1つの例を投稿してください。標準のビッグリストおよびCW規則が適用されます。誰かが私が探している問題の種類を私よりもうまく説明できる場合は、この投稿を編集して適切な変更を行ってください。 編集：Kavehは、答えには、特定の問題がフロンティアにある理由に関する説明も含めることを提案しました。たとえば、なぜ我々はACに対する下限を探している0 [6]といないAC 0 [3]？答えは、AC 0に対して下限があるということです[3]。しかし、明らかな疑問は、AC 0でこれらの方法が失敗する理由です[6]。答えがこれを説明することができればそれは素晴らしいでしょう。

58 big-list  open-problem 

最近、物理学者と話すとき、私は経験上、指数関数的な時間がかかるように思われる問題がPまたはBPPにあることが非自明である場合、通常、減少が起こる「包括的な理由」を特定できると主張しました。 ---そしてほとんどの場合、その理由は十数個以下の「通常の容疑者」のリストに属します（例：動的計画法、線形代数...）。しかし、それは私に考えさせられました：実際にそのような理由のまともなリストを書き留めることはできますか？これが最初の不完全な試みです。 （0）数学的特性。問題には、明白な「純粋に数学的な」特性があり、一度知られると、poly（n）の可能性のリストを徹底的に検索できることがすぐにわかります。 例：グラフの平面性。クラトフスキーの定理からO（n 6）アルゴリズムに従います。 （以下の「平面」が指摘するように、これは悪い例でした。平面性の組み合わせ特性を知っていても、多項式時間アルゴリズムを与えることはまだ非常に重要です。ですから、ここでより良い例を置き換えてみましょう。たとえば、「バイナリで記述された入力nが与えられ、n個の穴のある表面に埋め込まれた任意のマップに色を付けるために必要な色の数を計算します。」これが計算可能（または有限です！）しかし、答えを与える既知の公式があり、公式がわかれば、多項式時間で計算するのは簡単です。 P.） とにかく、これは特にありません、ほとんど私に興味状況の一種。 （1）動的プログラミング。 多くの場合、満たされる制約が線形またはその他の単純な順序で配置されるため、指数関数的な爆発なしに再帰的な解決を可能にする方法で問題を分割できます。「純粋な組み合わせ」。代数構造は必要ありません。おそらく、グラフの到達可能性（したがって2SAT）は特殊なケースです。 （2）マトロイド。 問題にはマトロイド構造があり、貪欲なアルゴリズムを機能させることができます。例：マッチング、最小スパニングツリー。 （3）線形代数。 問題は、線形システムの解法、行列式の計算、固有値の計算などに減らすことができます。間違いなく、Valiantのマッチゲート形式によって解決可能な問題を含む「奇跡的なキャンセル」を含むほとんどの問題も線形代数の傘に含まれます。 （4）凸面。 問題は、ある種の凸最適化として表現できます。半正定値計画法、線形計画法、ゼロサムゲームは一般的な（ますます）特殊なケースです。 （5）多項式IDテスト。 代数の基本定理が効率的なランダム化アルゴリズムにつながるように、問題を多項式の同一性のチェックに減らすことができます-場合によっては、素数性のように、証明可能な決定的アルゴリズムにさえなります。 （6）マルコフ連鎖モンテカルロ。 問題は、急速に混合する歩行の結果からのサンプリングに減らすことができます。（例：完全に一致するものをほぼ数えます。） （7）ユークリッドアルゴリズム。 GCD、継続分数... その他/正確に分類する方法が明確ではありません：安定結婚、多項式因子、順列群のメンバーシップ問題、数論および群論における他のさまざまな問題、低次元格子問題... 私の質問は、私が除外した最も重要なことは何ですか？ 明確にするために： リストは完全なものではない可能性があることを理解しています：有限の数の理由を与えても、誰かがPにあるエキゾチックな問題を見つけることができますが、それらの理由はありません。その理由もありますが、私は、1つだけの問題で機能するアイデアよりも、PまたはBPPで一見無関係に見える多くの異なる問題を引き起こすアイデアに興味があります。 また、物事をどのように分割するかが主観的であることも認識しています。たとえば、マトロイドは動的プログラミングの特殊なケースにすぎないのでしょうか？深さ優先探索による可解性は、動的プログラミングとは別に、独自の理由として十分に重要ですか？また、見方によっては複数の理由で同じ問題がPに発生することがよくあります。たとえば、線形代数のために主固有値を見つけることはPですが、それは凸最適化問題でもあります。 要するに、私は「分類定理」を望んでいません-効率的なアルゴリズムについて現在知っていることを有用に反映するリストだけのためです。そして、私が最も興味を持っているのは、PまたはBPPに幅広い適用性を持つものを置くためのテクニックですが、上記のリストに収まらないテクニック、または私の自慢をうまくするための私の粗雑な最初の試みを改善するための他のアイデアです物理学者。

56 big-list  big-picture 

論文を書くためにどのツールを使用しますか？ 私が経験した小さな経験から、理論家は実際に創造的であることに加えて、論文の執筆と精製に多くの時間を費やしています。つまり、自分の仕事を他の人に伝えることです。論文はそうする正しい方法ではないかもしれませんが、それは別の議論のために残されるべきです。いずれにせよ、可能な限り優れたソフトウェアツールを使用して、結果を書き出すのに費やす時間を削減したいと思われます。したがって、この質問は、そこに隠された宝物を見つけることを目的としています。 私たちのほとんどは、LaTeXといくつかのシステムを使用してペーパーリファレンスを整理していると思います。しかし、vim / emacsと非常に気の利いたライブラリもあり、私にとっては時間の節約になりました。そのため、論文を書くために使用する設定について知りたいと思いました。また、学習しようとしたがうまくいかなかったこともあるかもしれません。あまり知られていないかもしれないが、たとえば、グラフやオートコンプリート機能を描くための非常に特殊なソフトウェアであっても、物事をスピードアップすることがわかっているものに特に興味があります。 ドンクヌースがインタビューで彼の設定について語っています。「どのツールセットを使用していますか[...]」という質問を検索します。 更新：Sadeqは、ここで図を描画するためのツールについての議論を指摘しました。

55 soft-question  big-list  research-practice  writing 

情報理論を使用して簡潔な組み合わせステートメントを簡単な方法で証明するお気に入りの例は何ですか？ 私が考えることができるいくつかの例は、ローカルでデコード可能なコードの下限に関連しています。たとえば、このペーパーでは、長さのバイナリ文字列の束に対して、すべてのに対して異なるとますペア{ }、この場合、mは少なくともnの指数関数であり、指数は平均比に線形に依存します。 N iはkはI 、J 1、J 2 、EをI = X jの1 ⊕ X J 2。k i / mx1,...,xmx1,...,xmx_1,...,x_mnnniiikikik_ij1,j2j1,j2j_1,j_2ei=xj1⊕xj2.ei=xj1⊕xj2.e_i = x_{j_1} \oplus x_{j_2}.ki/mki/mk_i/m 別の（関連する）例は、ブールキューブの等周不等式です（回答でこれについて詳しく説明してください）。 もっと良い例はありますか？できれば、短く簡単に説明できます。

54 co.combinatorics  big-list  it.information-theory 

アルゴリズムの効率を分析する2つの方法は次のとおりです。 ランタイムに漸近的な上限を設定する 実行して実験データを収集します。 （1）と（2）の間に大きなギャップがある既知のケースがあるのだろうか。これにより、（a）実験データがより厳密な漸近を示唆するか、（b）理論分析がXがYよりはるかに優れていることを示唆し、実験データがYがはるかに優れていることを示唆するようなアルゴリズムXおよびYがあることを意味しますバツ。 実験では通常、平均ケースの動作が明らかになるため、最も興味深い答えは平均ケースの上限を参照するものと期待しています。ただし、シンプレックスに関するNoamの回答など、さまざまな境界について話す興味深い回答を除外したくありません。 データ構造を含めます。回答ごとに1つのアルゴ/ DSを入力してください。

52 ds.algorithms  big-list  ds.data-structures 

この質問は、1998年に岡崎の本が出版されてからのPFDSの新機能に関する別の質問に触発されたものです。 まず、次の2つの質問から始めます。 ハッシュテーブルの速度に近づく純粋に機能的なセットデータ構造はありますか？試行錯誤はまだありません。 O（1）が追加された純粋に機能的なフィンガーツリーはありますか？これまでのベストは、カプランとタージャンによって考案されたO（lg lg n）です。 他に純粋に機能するデータ構造の問題は何ですか？

51 big-list  ds.data-structures  functional-programming 

理論的なコンピューター科学者は何をするのかとよく聞かれます。この質問に対していくつかの素晴らしい回答をいただければ幸いです。私は技術的な専門用語に頼る傾向があり、この時点で人々の目は通常glみます。 理論的なコンピューター科学者は、コンピューター科学者ではない人々が理解できる用語で何をしますか？ 良い答えは、漠然としていたり​​、ささいなことをせずに、きびきびと、精神的に正確でなければなりません。ボーナスポイントについては、理論上のコンピューター科学者が数学者でもIT専門家でもない理由を示唆する答えが必要です。 この質問は、MOの質問https://mathoverflow.net/questions/3559/colloquial-catchy-statements-encoding-serious-mathematicsに触発されていますが、意図は異なります。

51 big-list  soft-question 

MOでの実り多い質問に続いて、CSでいくつかの注目すべき論文名について議論する価値があると思いました。 私たちのほとんどが面白いタイトルの論文を読む（または少なくとも一見）に惹かれる（少なくとも会議で論文のリストを調べるたびにそうする）こと、あるいは貧弱な読書を避けることに魅力があるかもしれません。名前付き記事。 タイトル（および、必ずしもそうではないが、内容）のために、どの論文を覚えていますか？ 私のお気に入りは、適切なTCS論文ではありませんが、「リレーショナルモデルは死んでおり、SQLは死んでおり、自分自身はそれほど気分が良くありません」です。。

50 soft-question  big-list