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

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

2
参照要求：型システムに適用されるカテゴリ理論
プログラミング言語理論を真に理解するために、カテゴリー理論をどのように学ばなければならないかについて、私は聞き続けています。これまでのところ、カテゴリーの領域に足を踏み入れることなく、かなりのPLを学びました。しかし、私は自分が行方不明になっていたものを見るために飛躍する時だと思った。 残念ながら、私が見つけることのできるソースはどれも、型システムやプログラミングに接続しているようには見えません。彼らはそれがコンピューター科学者のためのカテゴリー理論への入門であると言うが、それから一般的な抽象的なナンセンス（私はこれを愛情を込めて言う）に変わります。 私の質問は実際には2つあると思います： カテゴリー理論はPLの「深い概念」を理解するために不可欠ですか？ 型システムとプログラミングへの実用的なアプリケーションの観点からカテゴリー理論を説明するソースは何ですか？ これまでのところ、私が得た最も遠いのは、ファンクターの漠然とした概念です（私が知る限り、これはMLのファンクターとは関係がないようです）。カテゴリ理論的な観点からモナドを理解するために頭の中に留めておかなければならない抽象化を恐れています。
4
グラフ同型問題は解決されましたか？
ウィキペディアのグラフ同型問題ページは、いや、解決されていないことを示しているようです。しかし、私の友人は、グラフ同型の多項式時間アルゴリズムを指摘しました。私は論文の論法を十分に理解していません。 私は、証明のようなものなしに多項式時間アルゴリズムで非常に大まかな試みを行っていますが、続行する前にこの問題にうまく対処できたかどうかを知りたいです。 では、グラフ同型問題は解決されましたか？
4
グループ理論と形式言語のブリッジ定理
数学グループとCS フォーマル言語、またはチューリングマシンなどのその他のコアCSコンセプトを関連付けたりリンクしたりする自然な方法または注目すべき方法はありますか？ 参照/アプリケーションを探しています。ただし、セミグループとCS言語の間のリンク（つまり、有限オートマトン経由）を認識していることに注意してください。（セミオートマトンに関するこの文献は「グループオートマトン」を見たことがありますか？） 私は何年も前に、TM遷移テーブルをバイナリ操作、場合によってはグループ、おそらくTM状態テーブルの何らかの対称性に基づいて変換する1つの論文を見ました。それは特にそれを探求しませんでしたが、それも除外しませんでした。 また、特に、有限群の分類に関する数学研究の大部分に関して、TCSで何らかの意味や解釈がありますか？数学的研究のこの巨大な建物の「アルゴリズムレンズ」ビューとは何ですか？計算の潜在的な隠された構造について「言っていること」は何ですか？ この質問は、他のいくつかのメモから一部影響を受けています： TCSでの代数構造の使用 グロモフの定理に関するRJリプトン
2
通信後問題の決定可能な制限
ポストの対応問題（PCP）が決定不能です。 PCPの有界バージョンは完全であり、PCPのマーク付きバージョン（2つのリストのいずれかの単語は最初の文字が異なる必要があります）はP S P A C E [1]にあります。N PNP\mathrm{NP}P S P A C EPSPACE\mathrm{PSPACE} これらの制限されたバージョンは、他の問題の複雑さの結果を（削減を通じて）証明するために使用されていますか？ PCPに決定可能（および特に -complete）にする他の制限されたバージョンがありますか？P S P A C EPSPACE\mathrm{PSPACE} [1] V. Halava、M。Hirvensalo、R。De Wolf（1999）による「Marked PCP is decidable」
1
ポイントのセットをカバーするために最小数の直線を見つけることの使用は何ですか？
コンピュータサイエンスには、2Dの特定のポイントセットをカバーする最小数の直線を見つけるという一般的な問題[1] [2]があります。 私は多くの論文をスキャンしましたが、それらのどれも問題の明確な動機を持っていません。 この問題を解決するための用途は何ですか？これを説明する論文はありますか？
3
マルチコアSATソルバー
私は25k節5k変数SAT問題を解決しようとしています。1時間（precosat）実行されていて、後でより大きなものを解決したいので、マルチコアSAT-Solverを探しています。 SAT-Solversが多いように思えるので、私はかなり迷っています。 誰かが私の場合に最適なものを指摘してもらえますか？ また、誰かがおおよその時間を教えてくれれば幸いです（可能であれば）。
2
VCSとファイルバージョンの正式なCS定義はありますか？
冗談かどうかはわかりませんが、git、hg、svnなどのバージョン管理システムでファイルの正式な定義と呼ばれるものを読んだことがあります。それは同相写像のような数学的オブジェクトのようなものでした。それは冗談だったのですか、それとも、バージョン管理システムとVCSの数学についてのコンピューターサイエンス理論があるのですか？
2
2ウェイDFAの空の問題の複雑さは何ですか？
2ウェイDFAの空を決定する時間の複雑さはどのくらいですか？つまり、読み取り専用の入力テープを逆方向に移動できる有限オートマトンです。 Wikipediaによると、これらはDFAと同等ですが、同等のDFAは指数関数的に大きくなる可能性があります。私はそれらの補足物と交差点の州の複雑さを発見しましたが、それらの空虚性テストのためではありません。 私がこれを見つけることができる論文を誰かが知っていますか？
1
プログラミング言語セマンティクスプロトタイピングツール
プログラミング言語のセマンティクスと型システムのプロトタイプを作成するためのツールはありますか？また、これにより、型の健全性など、標準プロパティの何らかのモデルチェックが可能になりますか？ Alloyについての本を読んでおり、リレーショナルロジックを使用して表現されたモデルに対して、私が望んでいる正確な機能を提供しているので、これを質問します。 私はOttを知っていますが、証明アシスタントシステム用のコードの生成に重点を置いているため、このような「モデルチェック」機能はありません。 そのようなツールの存在についての参照があればよいでしょう。
1
NP困難な問題は平均して多項式になることができますか？
平均的な場合の「多項式」であるな問題があるかどうか疑問に思っています。これを解釈するには2つの方法があると思いますか？NPNPNP 場合、解くアルゴリズムが存在し得るのタイムランニング（平均場合）償却と-hard問題定数を？N P O （n k）kP≠ NPP≠NPP \neq NPNPNPNPO （nk）O(nk)O(n^k)kkk やもあるハードな問題はありますか？B P P P PNPNPNPB PPBPPBPPPPPPPP だれでもこれらの質問のいずれかに答えるか、または参照を提供できますか
3
論理と計算に関する入門書
Logic and Computationに関する優れた入門書（ただし包括的な）についての提案を教えていただけますか？ 私が心に留めているいくつかのあいまいなトピックは次のとおりです。 Presburger artihm。、PA、ZF、ZFC、HOL 集合論、型論 さまざまな理論によるモデリング計算（チューリングマシン） 計算の複雑さ（FMT、記述的な複雑さ）とのリンク
1
FPTASのすべての問題がFPTにもあるのはなぜですか？
よると、多項式時間近似スキーム上のWikipediaの記事： FPTASのすべての問題は、固定パラメーターで扱いやすくなっています。 この結果は私を驚かせます-これらのクラスは互いに完全に異なっているようです。FPTASは問題を近似するのがいかに簡単かで問題を特徴付け、FPTASはいくつかのパラメーターに対する難易度で問題を特徴付けます。残念ながら、ウィキペディア（私がこの質問をしている時点では）は、これについての引用を提供していません。 この結果の標準的な証拠はありますか？または、この接続について詳しく知るために相談できる情報源はありますか？
2
ボトルネック問題のあるジョブスケジューリング
与えられたジョブJ 1、J 2、。。。、JはN、各ジョブが必要T 、I > 0 、T I ∈ Nを完了する時間を。nnnJ1,J2,...,JnJ1,J2,...,JnJ_1,J_2,...,J_nTi>0,Ti∈NTi>0,Ti∈NT_i > 0, T_i \in N 各ジョブは、一度に1つのジョブしか処理できない単一のマシンMによって前処理および後処理する必要があり、両方のフェーズに1単位の時間を必要とします。前処理された後、ジョブは無制限のパワーを持つマシン（無制限の数のジョブを並行して処理できる）に送信され、時間T iで準備が整うので、マシンMに（すぐに）送信する必要があります。後処理のために。JiJiJ_iTiTiT_i 関連する決定問題は次のとおりです。 入力：処理時間のN個のジョブ、整数K ≥ 2 N質問：私たちは、時間内のすべてのジョブを処理することができますが、≤ Kは、上記の「ボトルネック」モデルを使用していますか？Ti>0,Ti∈NTi>0,Ti∈NT_i >0, T_i \in \mathbb{N}NNNK≥2NK≥2NK\geq 2N ≤K≤K\leq K この問題に名前はありますか？ その複雑さは何ですか？（それをある以上であることN P -complete？） PP\sf{P}NPNP\sf{NP} 3月29日更新： M.Cafaroの回答で正しく認識されているように、問題は制約なしの最小終了時間問題（UMFT）（スケジューリングアルゴリズムのハンドブックの第17章を参照）に似てい ます。 これはハード（Wで提供）です。 KernとW. Nawijn、「単一マシンでのタイムラグのある複数操作ジョブのスケジューリング」、Twente大学、1993年）。私が見ることができるように、私のモデルにはいくつかの違いがあります：NPNP\sf{NP} 前処理/後処理時間は一定（時間の1単位） ジョブが完了したらすぐに後処理する必要があります（UMFTモデルでは遅延が許可されます） Kern＆Nawijnの証明をオンラインで見つけられなかったので、上記の制限が問題の難易度を変えるかどうかはまだわかりません。 最後に、大きなオーブンを備えた単一の調理ロボットのようなプロセス全体を考えることができます。ロボットはさまざまな種類の食品を一度に1つずつ準備し（すべて同じ時刻で準備する必要があります）、オーブンに入れます。調理したらすぐにオーブンから取り出し、冷たい材料を追加する必要があります... 「料理ロボットの問題」:-)
弊社のサイトを使用することにより、あなたは弊社のクッキーポリシーおよびプライバシーポリシーを読み、理解したものとみなされます。
Licensed under cc by-sa 3.0 with attribution required.