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

特定の狭い問題に関する文献の論文を要求する質問。

2
ループを使用して左再帰を処理する再帰降下パーサーの正しい名前は?
この文法は再帰的に残されています: Expression ::= AdditionExpression AdditionExpression ::= MultiplicationExpression | AdditionExpression '+' MultiplicationExpression | AdditionExpression '-' MultiplicationExpression MultiplicationExpression ::= Term | MultiplicationExpression '*' Term | MultiplicationExpression '/' Term Term ::= Number | '(' AdditionExpression ')' Number ::= [+-]?[0-9]+(\.[0-9]+)? したがって、理論的には、再帰的降下は機能しません。ただし、各左再帰ルールが特定の優先レベルに対応し、単一のトークンの先読みで正しい生成を選択するのに十分であるという文法のプロパティを利用することで、左再帰ルールをwhileループで個別に解析できます。 たとえば、AdditionExpression非終端を解析するには、次の疑似コードで十分です。 function parse_addition_expression() { num = parse_multiplication_expression() while (has_token()) { get_token() if (current_token …

1
正式な言語を使用して数学表記を研究できますか?
質問:最適な表記法の研究にそれをどのように適用するかを論じる正式言語またはプログラミング言語理論の紹介テキストはありますか? 特に、スタック言語、解析ツリー、インデックスとは何か、そして特定のタイプの表記法が指数関数的な冗長性につながる時期を予測する方法に興味があります。 数学の専攻として私が学んだ唯一のコンピュータサイエンスは、アルゴリズムとグラフ理論、および複雑さの理論とブール関数の非常に控えめな中級者でした。したがって、これを論じている唯一の本が入門書ではない場合、指数表記の爆発を論じているそのような本と、私の質問に直接取り組む本を準備する入門書をリストした回答の両方に感謝します。 コンテキスト:この質問は、主にPhysics.SEへの回答に触発されており、次のように述べています。 括弧はスタック言語(Chomskyの分類では文脈自由文法)によって解析されるので、括弧はスタックを使用して解析できないため、テンソルインデックスの縮約を再現する括弧表記がないことを(厳密に)証明するのは非常に簡単です。グラフ。括弧は構文解析ツリーを生成し、グラフ内には常に指数関数的に多くの最大ツリーがあるため、表記には指数関数的な冗長性があります。 残りの回答では、「指数表記の爆発」の他の例について、たとえば計算生物学のペトリネットを使用して説明します。 たとえば、ここで言及されているように、関数と引数に適用される関数が明確に区別されていない場合、数学表記が解析しにくい他の例もあります。この関数は、引数になり、引数は、たとえば、関数となる場合には特に混乱になることができ、ここで。

3
アルゴリズムの複雑さとオートマトンクラスの関係
次の質問に答えるグラフの描写またはテキストを見つけることができませんでした:アルゴリズムの複雑さ(クイックソートのベスト/ワーストケースなど)と、アルゴリズムを実装できるオートマトンのクラスの間に直接の関係はありますか?たとえば、オートマトンが表現できる複雑さの範囲はありますか?上記の質問に対する答えが「はい」の場合、関係を表すリソースはありますか?ありがとう!


2
シュタイナーツリー問題の実際のアプリケーション?
シュタイナーツリー問題(STP)の実際のアプリケーションはありますか? VSLIチップ設計がSTPの優れたアプリケーションであることを理解しています。STPの観点から定式化できる、人々が提案できる現実世界の問題の他の例はありますか? 背景:私は博士課程の研究を始めており、大規模な組み合わせ最適化問題の分解と解決にハイブリッドメタヒューリスティックスと主双対法を使用することを検討しています。私はSTPに魅力を感じており、それを研究するための多くの現実的な動機があるのか​​、それとも理論的に興味があるのか​​疑問に思っています。

1
NP∩co-NPとNPIとの関係について何を知っていますか?
TAは本日、NPと共同NPについて質問するために立ち寄りました。私も困惑したところに行きました。P、NPI、NP、Co-NPのベン図は、P≠NP(他のケースは退屈です)と仮定するとどのように見えますか? 4つの基本的なオプションがあるようです。 NP∩co-NP = P 特に、co-NPI∩NPI =∅ NP∩co-NP = P∪NPI 特に、co-NPI = NPI? NP∩co-NP⊃P∪NPI∪co-NPI この場合のフォローアップの質問は、NPCとco-NPCがどのように関連しているかです。重複はありますか? 何か他のもの、それは特にNPIからのいくつかの問題はco-NPにあり、他はそうではありません。 どちらが正しいか、少なくともどれが正しくないかを知っていますか? NPIとNP∩co-NPの複雑な動物園のエントリは、何かが知られているという希望を抱かせるものではありませんが、そこに浮かんでいる他のすべてのクラス(およびこの質問への影響)を理解するのに十分なほど複雑な理論には流暢ではありません。 。

1
教科書相互排除アルゴリズムの実際的な関連性は何ですか?
相互排除アルゴリズムについてはかなりの量の研究が行われています。たとえば、その多くは、マルチプロセッサプログラミングのような古典的な教科書で紹介されており、章全体がそれらに向けられています。 一般的な言語とOSが提供する同期プリミティブ(たとえば、pthreadライブラリによって提供される)を使用するのではなく、コンカレントシステムのエンジニアリング中にこれらのアルゴリズムが必要になる可能性がある実際の状況は何でしょうか。 標準のプリミティブが特別に調整されていないと思われる多くの特殊なケースを考えることができます。 -そのような状況での実践において、教科書の相互排除アルゴリズムのいずれかが大幅に改善されていますか? 簡単に言えば、どの相互排除アルゴリズムが、並行処理プリミティブの典型的な言語提供ライブラリをすでに自由に使えるエンジニアに実際に関連していますか?

1
NCの指数関数的アナログ?
Nickのクラス(NC)は、多項式数のプロセッサを使用して、多対数時間で決定できる問題のクラスです。 指数関数的なアナログについて知りたい。これは、指数関数的な数のプロセッサを使用して多項式時間で決定できる問題をカバーするだろう。 私が探しているのは、このクラスの名前と、このクラスと他の複雑性クラスとの間の既知の関係、またはクラスの正規の問題です。NPとco-NPが含まれるのは簡単なようですが、PSPACE内に含まれていると思いますが、それ以外についてはよくわかりません。

4
プログラマーのためのコンピューターサイエンス
私は独学のプログラマーであり、8年間コーディングを行っています。この経験により、私はプログラミングの原則(ifステートメント、クラス、ポリモーフィズムなど)にすでに精通しています。 しかし、私は「コンピュータサイエンス」を学んだことがなく、プログラミングだけを学びました。コンピューターサイエンスを独習する立場にある人にとって、優れたリソースとは何ですか。つまり、速いペースで動き、基本的なプログラミングの知識を前提としているリソースです。

1
一般的なグラフのすべての完全/最大一致をカウントして見つける
最近、私は次の質問につながった問題に対処しています。 一般的なグラフですべての最大/完全なマッチングを列挙するための優れたアルゴリズムはありますか? 一般的なグラフですべての最大/完全な一致を見つけるための優れたアルゴリズムはありますか? これら2つの問題の複雑さは同じですか? 次の参考資料を見つけました。 二部グラフのすべての完全な最大および最大マッチングを列挙するアルゴリズム-二部グラフのすべての最大マッチングを列挙するアルゴリズムを提案します。 検索すべての2部グラフでパーフェクトマッチング部グラフ内のすべての完璧なマッチングを求めるアルゴリズムの提案- 両方のアルゴリズムの複雑さは、グラフ内の完全一致の数に依存します(最悪の場合、指数実行時間を意味します)。 さらに、両方の記事が2部グラフを扱っているため、一般的なグラフで同じ問題を扱っている同様の記事を見つけることができませんでした。 上記の問題に関する情報と参照をいただければ幸いです。


1
ゲーム理論のための高い数学
私は博士号を取得しています。コンピュータサイエンスの学生であり、ナッシュ、カライ、スモロディンスキーなどの古典的なゲーム理論の論文を理解しようとしています。しかし、数学の部分を理解するのは難しいと思います。これらの論文は数学者のために、数学者のために書かれたようです。 ゲーム理論の数学的予備知識を説明した本を、数学的な背景が豊富でない人に勧められますか?

1
が確定的コンテキストフリーではないことを証明する論文
これらのレクチャースライドは、 が確定的プッシュダウンで受け入れられないことの証明を示していますオートマトン。残念ながら、スライドは証明がどこから来たかについては言及していません。L = { aんbん| N ≥ 0 } ∪ { Aんb2 n| N ≥ 0 }L={anbn∣n≥0}∪{anb2n∣n≥0}L=\{ a^n b^n \mid n \geq 0 \} \cup \{ a^n b^{2n} \mid n \geq 0 \} 完全な証明を与える学術論文や教科書を知っている人はいますか?引用したいのですが、見つけられませんでした。

1
制限されたアルファベットサイズの1カウンターオートマトンのユニバース問題は決定不可能ですか?
次の宇宙の問題を考えてください。 宇宙問題。言語のクラスの有限集合と、言語Lを受け入れるオートマトンが与えられた場合、L = Σ ∗かどうかを決定します。ΣΣ\SigmaLLLL = Σ∗L=Σ∗L=\Sigma^* [1]では、ユニバースの問題が特定のクラスの1カウンターオートマトンでは決定不可能であることを述べ、証明しています。次に、この結果は、すべての非決定論的な1カウンターオートマトンのクラスに続きます。オートマトンの入力アルファベットのサイズを制限するとき、この問題がまだ決定不可能であるかどうか知られているのだろうかと思います。 アルファベットサイズ1で問題が決定的になると思いますが、サイズ2はどうですか?そして、そのターンアウト場合は、最小値が何であるかを決定可能であることをの問題は決定不能であるように。n∈Nn∈Nn \in \mathbb{N} この質問に対する答えはわかっていると思いますが、答えを見つけるのに苦労しています。それがすでに知られているなら、参考文献をいただければ幸いです。 [1] オハイオ州イバラ(1979)。決定不可能なユニバースの問題がある制限された1カウンターマシン。数学システム理論、13(1)、181-186

6
有限状態機械の実用化
DFA、NFA、ムーア、ミーリーマシンなどの有限状態マシンの実用的なアプリケーションを探しています... Linuxカーネルの例を誰かが指摘すると、役に立ちます。KMPアルゴリズムのような文字列照合でDFAが使用されていることを知っています。 NFA、ムーア、ミーリーのマシンの重要性は何ですか?

弊社のサイトを使用することにより、あなたは弊社のクッキーポリシーおよびプライバシーポリシーを読み、理解したものとみなされます。
Licensed under cc by-sa 3.0 with attribution required.