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

最近、私はまともな数のCoLT論文を読んでいます。私は個々の論文に苦労することはありませんが（少なくとも、通常は他の理論の論文に苦労することはありません）、分野全体をしっかりと把握しているとは思えません。 CoLTを大学院レベルで導入するための標準的なテキスト、調査、または講義ノートはありますか？ 基本的な理論Aの背景がありますが、機械学習や統計に関する特定の知識はありません。私は主にPAC学習や学習オートマトンなどに関心があり、ベイジアン推論やVC理論などにはあまり関心がありません。 関連する質問 統計学習理論の最近の進歩に関するリソース/本

10 reference-request  machine-learning  lg.learning  survey  books 

グラフの最も単純な表現は、隣接行列/リストを使用します。つまり、各ノードとエッジが明示的に表現されます。強い規則性を示すグラフの暗黙的な表現の重要性は、長い間認識されてきました。たとえば、Galperin＆Wigderson（1983）、Papadimitriou＆Yannakakis（A Note on Succinct Representations of Graphs、1986）は、隣接行列が（i、j）がエッジかどうかを答えるブール式で表されるグラフの問題を調査しましたノード番号iとjのバイナリ表現が与えられます。縮小に関して一般的に満たされた制約の下では、明示的なグラフのP完全問題はこの表現ではPSPACE完全になり、NP完全問題はNEXPTIME完全になる、などです。 このような通常のグラフへの自然なアプローチは、ROBDDを使用してブール式を表すことです。難しさは、古典的なアルゴリズムはノードを1つずつ列挙する傾向があるため、そのような表現に指数関数的なコストがかかるため、回避する必要があります。そのような表現を使用して解決されている古典的な問題について発表された論文があります、例えば、Gentilini等。（線形に結合したコンポーネントを線形ステップのシンボリックステップで計算）、Woelfel（OBDDを使用したシンボリックトポロジカルソート）。 そのような最新技術の文献を浚うのは不便なので、そのような技法の調査があるかどうか疑問に思っています...

10 ds.algorithms  reference-request  graph-theory  survey  binary-decision-diagrams 

コンピューターサイエンスの基本的なクラスの並列アナログのように、並列プログラミングの優れた紹介を提供するオンラインで利用可能な講義ノートまたはその他のリソースを探しています。 私の焦点は次のとおりです。分割統治、貪欲アルゴリズム、動的プログラミングなど、つまり逐次アルゴリズムの基本パターン（および問題）について話すことができますが、並列アルゴリズムのアプローチを分類するための適切な言語がありません。 たとえば、次の各問題への明白な並列アプローチには定性的振る舞いが異なるという事実を表すために、適切な用語を取得したいと思います。 整数の配列をすべてゼロに設定します（完全にスケーリングします）。 整数の配列を合計する（使用するスレッドが多いほど、オーバーヘッドが大きくなります）。 配列を指定して、各エントリと他のエントリの積をリストします（標準のdouble-for-loopを並列化すると、実行時間はプロセッサ数のsqrtにスケーリングされます）。 共有メモリ環境で十分であり、プロセス間通信は私にはそれほど関係ありません（実際、私はそれをまったく回避するアルゴリズムに興味があります）。さらに、技術的な側面は私には無視できます。

10 reference-request  soft-question  dc.parallel-comp  survey 

Les Valiantの独創的な論文を読んでいたをいて、その論文の10ページの命題4.3で苦労しました。 それはのために特定の値を持つ発電機がある場合、その場合、なぜ私が見ることができない基礎と{ （1、B 1）... （R、BのR）}、次いで同じでいくつかの発電機が存在しますV LとGのいずれかの基準の値{ （X 1、Y B 1）... （X R、Y 、BのR）v a l GvalGvalG{ （a1、b1）… （ar、br）}{(a1,b1)…(ar,br)}\{(a_1,b_1) \ldots (a_r,b_r)\}v a l GvalGvalG（ 1 S T K I N D）又は { （X 、B 1、yは1）... （XのBのR、Y R）}（ 2 N dは k個のI N Dのいずれかの） X 、Y ∈ F。{ （x a1、yb1）… （x …

10 ds.algorithms  counting-complexity  survey 

ネットワークコーディングについて学びたい： http://en.wikipedia.org/wiki/Network_coding 上記のテーマについて（IEEEサーベイおよびチュートリアルなどから）良い調査を知っていますか。Googleで大学のコースをいくつか見つけましたが、良い情報源を既に読んで知っている人からの推薦をお願いします。 ありがとうVasilis

10 it.information-theory  coding-theory  survey  ni.networking-internet 

k-SATの入門書をどこに向ければよいか知りたいのですが（これは、コンピューターサイエンスのバックグラウンドが不十分な数学者向けかもしれません）。また、k-SATを解くために使用されている現在の方法を調査または説明している可能性のある論文も知りたいです。最後に、k-SATを解くための最もよく知られた方法に興味があります。最高の平均的なケースと最高の最悪のケースの振る舞いを知りたいのですが。 要するに、数学（コンピュータサイエンスではない）の誰かがk-SATの専門家になるのに役立つ論文を探しています。

9 reference-request  sat  survey 

アロンとスペンサーの組み合わせ論における確率論的方法についての有名な本を読んだ。 この教科書を超えて、この方法の以下の複雑な理論的トピックとの最近の進歩および関係についての調査または講義ノートはありますか？ 具体的な計算モデル、エキスパンダーグラフをだます擬似ランダムジェネレーター。 回路、分岐プログラム、ストリーミング、プロパティテスト、学習、通信の複雑さなどの具体的な計算モデルの複雑さの下限。 代数的符号化理論と情報理論のランダム化された複雑さの理論的側面。 VC次元、矛盾、その他の幾何学的トピック。

8 cc.complexity-theory  reference-request  co.combinatorics  soft-question  survey 

私たちが利用できる既知の問題のデータベースで、それらの複雑さとアルゴリズム、関連する問題、参照などに関する情報はありますか？[そうでない場合、作成できますか？私はこれがトピックから外れていることを知っていますが、それはとても役に立つでしょう]

8 cc.complexity-theory  reference-request  survey