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

いくつかのパラメーターnを含み、nの小さい値と素数で証明されたが、後で偽であることが判明した理論的コンピューターサイエンスの推測はありますか？ 数論では、そのような問題は存在します。アーロンMeyerowitzは指摘円分多項式の係数についての一つ。TCSからは、まだ解決されていない回避予想のような例を知っています。

17 big-list  primes 

私は数学の大学院生で、論理の背景がしっかりしています。私は、有限モデル理論と強制理論と集合論の別の大学院コースと一緒に、論理の1年間の大学院コースを受講しました。ほとんどのCSテキストは、論理の非常に控えめな背景のみを想定しているようで、主に命題論理と1次論理の基本をカバーしています。 ロジックからのより重いマテリアルが使用されているCSアプリケーションの場所について、いくつかのポインターを取得したいと思います。私の興味の1つは、一般に型理論と形式的方法でしょう。モデルのチェックとプログラミング言語に関する入門書を読んで、良い読書を提案できる人はいますか？

17 lo.logic  soft-question  big-list  books  formal-methods 

ラリー・ワッサーマンは最近の投稿で「p-value police」について語っています。彼は興味深い点を述べています（すべてが私のものです）（追加した斜体の前提とその下の応答）： 最も一般的な不満は、物理学者とジャーナリストがp値の意味を誤って説明していることです。たとえば、p値が0.000001の場合、「信号が本物であるという99.9999％の信頼性がある」などのステートメントが表示されます。その後、ステートメントを修正する必要があります。 as or extremeは0.000001です。 けっこうだ。しかし、それは本当に重要ですか？全体像は次のとおりです。効果の証拠は圧倒的です。言葉遣いが少し誤解を招く場合、それは本当に重要ですか？私たちはこれについて文句を言う場合、私たちはつまらないものとしてのイメージを強化すると思います。 考えさせられた- TCSのペダントリーの良い例はありますか？そのような例は、 一般的に報道機関で行われている主張 人々が作ることを主張する標準的な修正 不正確であってもクレームが捉える正しい「全体像」。 ここで、クレームは数学的に間違っているが「道徳的に正しい」ものであり、修正は技術的には正しいが、直感的な理解を変更するものではありません。 物事を先導するために、私の例は次のようになります： クレーム-NP完全問題の解決には指数関数的な時間がかかります 訂正-実際、多項式時間で解けるかどうかはわかりません 全体像-NP完全問題は難しい 注意：このフォーラムには、間違っているが「道徳的に正しい」という主張のアイデアで頭が爆発する多くの人がいることを知っています。これらは、研究論文に記載された声明ではなく、一般に向けられた声明（ある程度のライセンスが許可される場合）であることを忘れないでください。

15 ds.algorithms  soft-question  big-list 

がk = \ sqrt nで最小値を取得するという考え方を活用するアルゴリズムとデータ構造がいくつかあります。一般的な例は次のとおりです。max{k,n/k}max{k,n/k}\max \left\{k, n/k\right\}k=n−−√k=nk=\sqrt n O（\ sqrt n）の離散対数を計算するためのベイビーステップジャイアントステップアルゴリズムO(n−−√)O(n)O(\sqrt n)、 O （n−−√）O（n）O(\sqrt n)時間およびO （n ）O（n）O(n)メモリでの静的2D直交範囲カウント、 O（\ sqrt [k] n）に EXTRACT-MINがありO （n−−√k）O（nk）O(\sqrt[k] n)、O （ 1 ）O（1）O(1)にDECREASE-KEYがある優先度キュー 多項式時間でO （n−−√）O（n）O(\sqrt n)色で3色のグラフを着色する、 ほんの数例を挙げます。 このようなアルゴリズムは多くの場合最適ではありませんが、学生は理解しやすく、素朴な境界が最適でないことをすぐに示すことができます。また、平方根のアイデアのデータ構造は、キャッシュの扱いやすさのために、バイナリツリーベースのデータ構造よりも実用的である場合があります（キャッシュを無視する手法を考慮していません）。だからこそ、教えながらこのトピックにかなりの注意を払っています。 この種のより特徴的な例に興味があります。だから私は、分析が平方根のアイデアに依存する（できればエレガントな）アルゴリズム、データ構造、通信プロトコルなどを探しています。それらの漸近は最適である必要はありません。

15 ds.algorithms  ds.data-structures  big-list  teaching 

成功するランダム化解除のいくつかの主要な例や、目標（硬さのランダム接続ではなく）に向けた具体的な証拠の表示の進行状況は何ですか？P=BPPP=BPPP=BPP 私の頭に浮かぶ唯一の例は、AKS決定論的多項式時間素数テストです（これについてもGRHを想定した方法論がありました）。それでは、デランダム化について、例を通してどのような具体的な証拠がありますか（これも硬度やオラクルの関係ではありません）？ ランダム化されたポリから決定論的なポリまたは特定の問題に非常に近い何かへの時間の複雑さの改善が示された場合にのみ例を維持してください。 以下はコメントの詳細であり、このクエリに役立つかどうかはわかりません。 Chazelleは、http：//www.cs.princeton.edu/~chazelle/linernotes.htmlの「The Discrepancy Method：Randomness and Complexity（Cambridge University Press、2000）」に非常に興味深い声明を掲載しています。 「決定論的計算のより深い理解には、ランダム化の習得が必要であることは、私にとって無限の魅力の源でした。この強力な接続を説明するためにこの本を書きました。最小全域木から線形計画法、ドローネ三角形分割まで、最も効率的なアルゴリズムは多くの場合、確率的ソリューションの非ランダム化です。不一致の方法は、すべてのコンピューターサイエンスで最も実り多い質問の1つにスポットライトを当てます。

15 cc.complexity-theory  big-list  randomized-algorithms  derandomization  pseudorandom-generators 

インターネットで調べましたが、SAT問題のバリアントの「大きなリスト」は見つかりませんでした。 離れて（共通） SAT、 k-SAT、 MAX-kSAT、 Half-SAT、 XOR-SAT、 NAE-SAT 他にどんなバリアントがありますか？ （もし複雑なクラスが与えられているなら（可能であれば）本当に便利です）

14 cc.complexity-theory  sat  big-list 

今年の秋に博士号を取得し、論文の複雑性理論を研究する予定です。 すべての複雑性理論家が知っておくべき重要な論文のリストを編集しています。 私のような人にどんな論文を提案しますか？そして、その論文が重要だと思う理由を簡単に説明してください。

14 cc.complexity-theory  reference-request  big-list 

「あまりにも良い」データ構造の存在を除外する結果が知られていますか？ たとえば、注文メンテナンスデータ構造におよび機能を追加し（DietzおよびSleator STOC '87を参照）、時間操作を取得できますか？Sp l i tSpl私tSplitJO I NJo私nJoinO（1）O（1）\mathcal{O}(1) または：整数キーと時間操作を使用して順序付きセットを実装できますか？もちろん、これは少なくとも整数をソートするための線形時間アルゴリズムを発見するのと同じくらい難しいです。O（1）O（1）\mathcal{O}(1) これらの質問のどちらに対しても答えはノーであることが証明されていますか？自然なデータ構造の下限の結果はわかっていますか？

14 ds.data-structures  big-list  lower-bounds  time-complexity 

アルゴリズムゲーム理論（またはCSに関連するゲーム理論一般）では、どのような推測や主要な未解決問題が最も重要ですか？たとえば、PPAD完了としてのNASHの解決は、それが解決されるまでは最大のものだったと思います。 （追加：PPADとPおよびNPの関係を解決することは1つの良い未解決の問題ですが、計算の複雑さにそれほど深く根付いていない他の問題も良いでしょう。）

14 big-list  gt.game-theory 

私が含める2つの論文は次のとおりです。 D.コーゼン、「サブ再帰クラスの索引付け」、STOC、1978 R.ラドナー、「多項式時間還元性の構造について」、JACM、1975

14 cc.complexity-theory  lo.logic  computability  big-list  structural-complexity 

私は一般的な聴衆の話に対する人々の直感に反する結果の例を探しています。専門家以外から「あなたの直感は何を教えてくれますか？」結果の記述は、cs / mathの大学生に簡単に説明できるはずです。主にコンピューターサイエンスの結果を探しています。 お住まいの地域で最も一般的に興味のある直感に反する/予期しない結果は何ですか

14 big-list  teaching  intuition 

あなたは、いくつかのプロのプログラミングコース（/自己思考）を受講しているが、大学レベルの数学を勉強していないプログラマーと会うとします。 TCSの美しさを示すために、TCSから寄せられた素晴らしい結果/未解決の質問を集めて、簡単に説明したいと思います。 この目的に適した候補（IMHO）は、停止する問題を決定できないことを示します。もう1つは、比較ベースの並べ替えの実行時間の下限を示します（ただし、それは、私が理解することを期待しているものから少し押し出されています）。 また、Explain P = NP問題から10歳までのアイデアを使用することもできますが、それらのいくつかはそれに慣れていないことが前提です。 したがって、質問は次のとおりです。 （0.美しい） （せいぜい）高校の数学で説明可能。 （できれば）プロフェッショナルなプログラミングコース（C ++ / Java / Web /など）で表示するほど簡単ではありません。

13 soft-question  big-list  big-picture  teaching 

オンラインアルゴリズムに関する最近の本はありますか？このテーマに関する書籍は2冊しかありません。 Allan BorodinとRan El-Yanivによるオンライン計算と競合分析：これは古典的でありながら古い本であり、この分野の最近の進歩の多くは含まれていません。 Niv BuchbinderとJoseph（Seffi）NaorによるPrimal-Dualアプローチによる競合オンラインアルゴリズムの設計：これは新しい本であり、最近の多くの結果が含まれています。ただし、その範囲はLPベースのプライマルデュアルアルゴリズムに限定されます。 あなたが知っているかもしれないオンラインアルゴリズムに関するすべての本をここにリストしてください。ウェブ上で無料で入手できる書籍があれば、それは素晴らしいことです。

13 reference-request  big-list  online-algorithms 

アランチューリングの100歳の誕生日を祝うために、彼の人生についてのドキュメンタリーを見たいです。ただし、選択できるドキュメンタリーはいくつかあります。 アラン・チューリングに関するドキュメンタリーはどれがお気に入りですか？ 回答ごとに1つのドキュメンタリーのみを含めてください。

13 reference-request  soft-question  big-list  ho.history-overview 

コンパイラ理論はかなり吟味された主題のようです。この分野で起こっている未解決の問題や現在の研究は何ですか？

13 soft-question  big-list  open-problem  compilers