タグ付けされた質問 「reference-request」

参照リクエストは、作成者が質問に関連する作業について知る必要がある場合に使用されます。

3
アルゴリズム進化ゲーム理論のソース
私は非常に緩い意味でタイトル用語を使用します。 数学的基礎を含む、進化ゲーム理論に関するかなりの量の研究があります。「進化ゲームと人口動態」を勧められましたが、まだ詳しく調べていません。 また、このサイトで人気のあるトピックであるアルゴリズムゲーム理論に関するかなりの量の研究があります。 私が見たいのは、特定の進化ダイナミクスに関する計算の複雑さまたは収束ステートメントを作成する作業です。 例（非常に大まかに言って）： 人口と進化のスキームが与えられた場合、長期的な人口の最適性の確率的な後悔を与えることができます（最高の個人と比較して？）。これは、専門家の集団と盗賊の問題に強く関連しているようです。非定常環境ではどうですか？ 環境で相互作用し、ほぼすべての種類のマルチプレイヤーゲームをプレイするさまざまな種の集団のセットを考えると、進化戦略を考えると、戦略または戦略分布の最終的な安定性についてどのような声明を出すことができますか？ 環境との直接的な関係または他の種との関係のいずれかで、多くの「ニッチ」（言い回しの広義の方法）があるあらゆる種類の環境で、集団がどのように分布するかについてどのような声明を立てることができますかこれらのニッチ全体。 私が尋ねていないが、そうすべき問題-AGT、TCS、遺伝的アルゴリズム、進化ゲーム理論、または個体群生物学の背景をほとんど持たずにこれに来ています。最適化/機械学習/統計の観点から質問をしていますが、これは間違っているか不完全である可能性があります。
2
論理関係の起源は何ですか？
実際に2つの質問があります。 誰が最初に論理関係を使用してセマンティクスを関連付けましたか？ 私はそれらをレイノルドの「直接意味論と継続意味論の関係について」までさかのぼりましたが、徹底的な調査をしたとは言えません。 以前の日付の論理関係（Tait、'67）への参照が見つかりましたが、セマンティクスの関連ではありません。 論理関係の現在の最良の紹介は何ですか？ 私は、ミッチェルの「プログラミング言語のための型システム」をTCSのハンドブックで知っています。他にどんな博覧会がありますか？
5
モジュラー分解のリファレンス
Modular Decompositionのパワーとその特性をよりよく理解するための優れた論文/本は何ですか？ モジュラー分解のアルゴリズム面に特に興味があります。線形時間でグラフのモジュラー分解を見つけることができると聞いたことがあります。そのための比較的単純なアルゴリズムはありますか？それほど効率的ではないが単純なアルゴリズムはどうですか？
1
TarskianMöglichkeitに関する論文や記事を探しています
いくつかの背景：Łukasiewicz多くの多値論理は様相論理として意図され、Łukasiewiczが与えられた伸長様相演算子の定義を： （彼はタルスキーに属性）。◊ A =de f¬ A → A◊A=def¬A→A\Diamond A =_{def} \neg A \to A これは、いくつかの逆説的で、奇妙な様相論理を与える一見不合理ではない定理であれば、特に。代替¬ AのためにBそれは様相論理の歴史の中で脚注に追いやられている理由を確認します。（◊ A ∧ ◊ B ）→ ◊ （A ∧ B ）（◊A∧◊B）→◊（A∧B）(\Diamond A\land \Diamond B) \to \Diamond (A\land B)¬ A¬A\neg ABBB ただし、可能性演算子の定義が線形論理およびその他の部分構造論理に適用されると、それほど不合理ではないことに気付きました。これについては今月初めに非公式の話をしています。講演へのリンクはhttp://www.cs.st-andrews.ac.uk/~rr/pubs/lablunch-20110308.pdfにあります （サブ構造のモーダルロジックについて尋ねた理由の1つは、これらのロジックの表現力をこの演算子の使用と比較することでした。） とにかく、私が言及している非重要な作品は、A。Turquetteによる「Australasian Association for Logic 1997 Annual Conferenceでの「Tarski'sMöglichkeitの一般化」」の講演だけです。要約は、BSL 4（4）にある http://www.math.ucla.edu/~asl/bsl/0404/0404-006.ps基本的Turquetteはでアプリケーション提案用-valued論理M -stateシステム。（この講演のメモ、スライド、その他のコンテンツを入手することができなかったので、詳しい情報をお持ちの方からのご意見をお待ちしています。）mmmmmm これに関する他の記事や論文を知っている人はいますか？ （私はそれのためのアプリケーションを持っていませんが、私はその特性が論文に値するのに十分面白いと思います。）
3
FPT削減の手法に関する参考資料はありますか？
誰もが知っているように、Garey and Johnsonの有名な本（および他の多くの本）は、古典的な設定におけるリダクションテクニックの優れたリファレンスを提供します。パラメータ化されたアルゴリズムの削減手法のトピックに関する調査や書籍、たとえばfpt削減はありますか？
1
建設的な計量空間の不動点定理？
バナッハの不動点定理によれば、空でない完全な計量空間があればAAA、一様に収縮する関数f:A→Af:A→Af : A \to Aには一意の不動点μ(f)μ(f)\mu(f)ます。しかし、この定理の証明は選択公理を必要とする-私たちは、任意の要素を選択する必要があり∈ Aを反復開始するfはコーシー列を取得するには、からAを、F （）、F 2（）、F 3（a ）、a∈Aa∈Aa \in Afffa,f(a),f2(a),f3(a),…a,f(a),f2(a),f3(a),…a, f(a), f^2(a), f^3(a), \ldots。 建設的分析では不動点定理はどのように述べられていますか？ また、建設的な計量空間への簡潔な参照はありますか？ 私が尋ねる理由は、タイプがさらにメトリック構造を（特に）運ぶ、システムFのモデルを構築したいからです。建設的なセット理論では、Uが積、指数関数、およびUインデックス付きファミリで閉じられ、システムFのモデルを簡単に作成できるように、セットファミリを作成できるので、かなり便利です。UUUUUUUうんU 建設的なウルトラメトリック空間の同様のファミリーを作り上げることができたら、とてもうれしいです。しかし、建設的な集合論に選択肢を追加することは古典的であるため、明らかに、不動点定理、およびおそらく他のものについてももっと注意する必要があります。
3
計算の複雑さのクラスを特徴付ける理論
「FPHの応用理論」という論文を読むと、次の文章に出会うことができます。 計算の複雑さのクラスを特徴付ける理論を考慮すると、3つの異なるアプローチがあります。 1つは、理論内で定義できる関数が特定の複雑度クラス内で「自動的に」機能することです。そのようなアカウントでは、適切なクラスにとどまるように構文を制限する必要があります。これにより、一般的に、関数が考慮中の複雑度クラスにある場合でも、関数の特定の定義が機能しなくなるという問題が発生します。 2番目のアカウントでは、基礎となるロジックが制限されています。 3番目のアカウントでは、構文を制限せず、一般に、任意の（部分再帰）関数やロジックの「関数用語」を書き留めることはできませんが、検討中の複雑度クラスに属する関数用語のみ、特定の特性を持つことを証明できます。通常、それらは「証明可能」な特性です。基礎となる構文フレームワークによると、関数の項は単純な計算特性を持つ場合があります。つまり、項として、特性特性を証明するために使用される論理は古典的です。λλ\lambda 私の質問は、上記の3つのアプローチの紹介としての参照に関するものです。この一節では、アプローチの特徴だけを示していますが、これらには一般に受け入れられている名前がありますか？
2
理論的コンピューターサイエンスとは何ですか？
私は数学の大学院生であり、理論的なコンピューターサイエンスは、そのトピックについての良い読み物を見つけることができなかったため、それが何であるかを理解できなかった領域です。このドメインが実際に何であるか、どのようなトピックに関係しているのか、それに着手するためにどのような前提条件が必要なのかなどを知りたいのです。 理論的なコンピューターサイエンスの入門書とは何ですか？ そのようなことを考えると。そうでない場合、理論的なコンピューターサイエンスが何であるかを理解したい場合、コンピューターサイエンスに関する基本的な知識を持っている（つまり、1つまたは2つのプログラミング言語の基礎を知っている）数学者はどこから始めるべきですか？おすすめは何ですか？ ありがとう！
1
禁止されたサブシーケンスを持つ順列
ましょう表す集合{ 1 、。。。、n }およびC（n、k）は、繰り返しのない[ n ]の要素のすべてのk組み合わせのセットを示します。ましょう、P = P 1 P 2。。。Pのkはであるk個の中のタプルC （N 、K ）。順列 π ：[ n ] → [ n[n][n][n]{1,...,n}{1,...,n}\{1,...,n\}kkk[n][n][n]p=p1p2...pkp=p1p2...pkp= p_1p_2...p_kkkkC(n,k)C(n,k)C(n,k)セットの [ N ]ことを回避する P整数のないKタプルが存在しない場合、I 1π:[n]→[n]π:[n]→[n]\pi:[n]\rightarrow [n][n][n][n]pppように π （I 1）= P 1、i1&lt;i2&lt;...&lt;iki1&lt;i2&lt;...&lt;iki_1<i_2<...<i_kπ(i1)=p1,π(i2)=p2,...,π(ik)=pk.π(i1)=p1,π(i2)=p2,...,π(ik)=pk.\pi(i_1) = p_1, \;\;\pi(i_2)=p_2,\;\; ...,\;\;\pi(i_k) = p_k. たとえば、場合、順列12453はサブシーケンスとして134を回避しますが、順列1 2 3 5 4は回避しません。n=5n=5n=51245312453124531341341341235412354\mathbf{1}2\mathbf{3}5\mathbf{4} 質問：みましょう一定です。集合所与S ⊂ C （N 、K ）のK個のタプル、置換見つける …
2
有限集合の正規表現のサイズを最小化する
言語の仕様としてDFAを使用している場合でも、正規表現のサイズを最小化することはPSPACE完全であることが知られています。 言語が有限の場合、結果はどうなりますか？ この問題は2つのモデルで検討できます。 入力は言語のすべての文字列であり、すべての文字列の長さの合計によって入力サイズを測定します。 入力はDFAであり、DFAの状態の数によって入力サイズを測定します。 Kleene starは有限の場合には役に立たないため、、式では（連結）が使用されます。もちろん、正規表現の長さは任意です。代わりに、各操作に重みを付け（括弧の追加を含む）、正規表現の重みを最小化するように要求できます。（）（）()|||⋅⋅\cdot 編集： adrianNが指摘したように、それは文法ベースのコードに関連しています。有限集合を記述するために最小長の文脈自由文法を生成することはNP完全です。最小サイズの文脈自由文法が最小サイズの正規表現について多くを暗示している理由は明らかではありません。巧妙な書き換えルールがこれら2つを関連付け、最初のモデルでは問題がNPにあることを証明できます。
弊社のサイトを使用することにより、あなたは弊社のクッキーポリシーおよびプライバシーポリシーを読み、理解したものとみなされます。
Licensed under cc by-sa 3.0 with attribution required.