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

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

2
一般化平面グラフと一般化外部平面グラフについて
すべての平面、外平面グラフ は、| E ′ | ≤ 3 | V ′ | − 6、 それぞれ| E ′ | ≤ 2 | V ′ | - 3、すべてのサブグラフ用のG ' = （V '、E '）のG。G = （V、E）G=（V、E）G=(V,E)| E′| ≤3 | V′| −6|E′|≤3|V′|−6|E'|\le 3|V'|-6| E′| ≤2 | V′| −3|E′|≤2|V′|−3|E'|\le 2|V'|-3G′= （V′、E′）G′=（V′、E′）G'=(V',E')GGG また、（外部）平面グラフは多項式時間で認識できます。 グラフについて知られていることそのような| E ′ | …
1
スタックへの単語のプッシュを許可する可視プッシュダウンオートマトンのバリアントはありますか？
目に見えてプッシュダウンのオートマトンを扱っている論文や研究はありますか？ あるいは、シンボルを -transitionsにプッシュできる構造は、同じ目標を達成できます。ϵϵ\epsilon 明らかに、そのようなバリエーションは形成される可能性がありますが、VPAを面白くする閉鎖性と決定性の特性を損なうのではないかと思っています。 私は、スタックをカウンタとして使用し、読み取られた最初のシンボルに基づいて定数でインクリメントし、読み取られた他のシンボルに基づいてカウントダウンする構造を探しています。 知らない人にとって、目に見えるプッシュダウンオートマトンは、アルファベットをプッシュシンボル、ポップシンボル、およびスタックにまったく影響を与えないシンボルに分割できるオートマトンです。プッシュとポップの選択は、読み取られている現在のシンボルによって完全に決定されます。交差点、結合、連結、星印、補数で閉じられているため、決定可能なプロパティが豊富にあります。詳細については、このペーパーを参照してください。
1
従属レコードのパラメトリック性と射影消去
π 1：A × B → Aがπ 2：A × B → BA×B≜∀α.(A→B→α)→αA×B≜∀α.(A→B→α)→α A \times B \triangleq \forall\alpha.\; (A \to B \to \alpha) \to \alpha π1:A×B→Aπ1:A×B→A\pi_1 : A \times B \to Aπ2:A×B→Bπ2:A×B→B\pi_2 : A \times B \to B これは、F型の自然な読み取りがletスタイルの消去\ mathsf {let} \;（x、y）= p \; \ mathsf {in} \;とペアであるにもかかわらず、それほど驚くべきことではありません。elet(x,y)=pinelet(x,y)=pine\mathsf{let}\;(x,y) = p \;\mathsf{in}\; eは、2種類のペアが直観主義的なロジックで相互導出可能であるためです。 …
1
？
ディック・リプトンのブログを読んでいる間、私は彼の終わり近くに、次の事実を偶然見つけボーン因子ポスト： すべての、形式関係が存在する 場合 ここで、、および、およびそれぞれはビット長がであり、因数分解は多項式サイズの回路。nnn(2n)!=∑k=0m−1akbckk(2n)!=∑k=0m−1akbkck (2^n)! = \sum_{k=0}^{m-1} a_k b_k^{c_k} m=poly(n)m=poly(n)m = poly(n)akaka_kbkbkb_kckckc_kpoly(n)poly(n)poly(n) つまり、、指数ビットのビットを持ち、潜在的に効率的に表現できます。(2n)!(2n)!(2^n)! 少し質問があります： 誰かが上記の関係の証拠を提供し、名前を教えてくれ、および/または参照を提供できますか？ 私はあなたを与えるとしたら、との各、と、あなたは（つまりはそれがである私に関係の妥当性をチェックする多項式時間アルゴリズムを提供することができ）？m a k b k c k N Pnnnmmmakaka_kbkbkb_kckckc_kNPNPNP
4
バイクリークを見つけるためのパラメータ化されたアルゴリズム
nnn頂点の無向グラフが与えられた場合、k × k -bicliqueであるサブグラフを見つけるための最もよく知られているランタイムバインドは何ですか？bicliqueの片側を「推測」する時間アルゴリズムよりも高速なパラメータ化アルゴリズムがあり 、それらすべてに付随する頂点が少なくとも個あるかどうかを確認しますか？k × kk×kk\times k（ nk）ポリ（n）（nk）ポリ（n）\binom{n}{k}\mbox{poly}(n)kkk
1
スコットのオリジナルLCF論文を求めて
次の原稿は公開されていますか？ Dana Scott、1969、高次型の計算可能な関数の理論。未公開のセミナーノート、7ページ、オックスフォード大学。 この論文については、Cardone＆Hindley、2006 History of Lambda-calculus and Combinatory Logicのセクション8.1.2、Types as setsに説明があります。さらにセクション10.1、ドメイン理論は、この原稿にいくつかの重要な秩序理論的洞察をたどります。
1
このタイプの有向グラフ問題の名前は何ですか？
エッジが自然数で装飾されている有向グラフを取得します。2つの頂点と間のすべてのパスセットは、パス内の連続する各エッジが前のエッジを装飾する自然数よりも大きい自然数で装飾されるようにしたいです。GGGPPPv1v1v_1v2v2v_2 このアプリケーションは、バスまたは電車のスケジュールになります。駅間の移動に基づいて2つの都市間の異なるルートを決定しようとしている場合。（最初の列車が到着する前に出発する予定の2番目の列車に乗ることはできません。） これを非公式に「スケジュールグラフ」と呼んでいます。しかし、私は文学でこれの名前が何であるかを知りません。 これに関連するアルゴリズムへの参照も興味深いものです。
1
ランダムk-CNFモデルを超える平均ケースのトートロジー/矛盾
十分に大きい定数cに対して、c n節のあるn 個の変数に対するランダムな -CNF式は、高い確率で満足できない（つまり、矛盾している）ことはよく知られています。したがって、ランダムなk -CNF式（十分に大きい）は、満足できないブール式（または二重に、トートロジー、つまり矛盾の否定）の自然な分布を構成します。この分布は広く研究されています。kk k nn n cncn cn cc c kk k cc c 私の質問は次のとおりです。命題のトートロジーまたは矛盾について、他の確立された分布はありますか？これらの分布は集中的に研究されていますか？
2
限られた直径の最大点のセットを見つける
所与の点におけるRのD及び距離Lは、それらのどの2つのユークリッド距離を超えるように、これらの点の最大の部分集合を見つけるリットル。p1,…,pnp1,…,pnp_1,\ldots,p_nRdRd\mathbb{R}^{d}llllll この問題の複雑さは何ですか？ 2つのポイントの距離が最大である場合は常にエッジを持つポイント上のグラフでは、問題は最大クリークを見つけることに相当します。必ずしもすべてのグラフは（例は星であるこの方法で得ることができるので、逆は成り立たないかもしれK 1 、7のためにD = 2）。したがって、関連する質問は、このクラスのグラフについて何が知られているのかということです。lllK1,7K1,7K_{1,7}d=2d=2d=2
2
情報理論的なセキュリティモデルでは、ビットコミットメントによって忘却的な転送が行われますか？
互いに信頼しない2人のarbitrarily意的に強力な参加者がいるとします。彼らはビットコミットメントにアクセスできます（たとえば、あるプレイヤーが他のプレイヤーに渡すことができるが、最初のプレイヤーが2番目のプレイヤーにキーを与えるまで開けられないデータを含む封筒）。これを使用して忘却型転送プロトコルを構築できますか。これは、プレーヤーが不正行為を検出するために最後にすべての封筒を開くことに同意した場合でも（たとえば、ポーカーハンドがプレイされた後、全員が自分のカードを公開することに同意します）？ 忘却転送は暗号学的に普遍的であるため、ビットコミットメントから忘却転送を取得できないと仮定し、ビットコミットメントと言う参照を見つけることができませんが、それを行うことができない証拠はどこかにありますか？ 最後に、プレイヤーがクオンタムである場合、誰も問題を見ていませんか？
1
（奇数ホール、反ホール）フリーグラフのリファレンス？
Xフリーグラフは、誘導サブグラフとしてXからのグラフを含まないグラフです。穴は、少なくとも4つの頂点を有するサイクルです。奇数穴は、頂点の数が奇数の穴です。antiholeは、穴の補数です。 （奇数穴、奇数穴）フリーグラフは、まさに完璧なグラフです。これが強い完全グラフ定理です。多項式時間の完全なグラフで最大の独立集合（および最大のクリーク）を見つけることは可能ですが、そのための唯一の既知の方法では、ロバシータシータ数を計算する半正定値プログラムを作成する必要があります。 （hole、antihole）-freeグラフはweakly chordalと呼ばれ、多くの問題（INDEPENDENT SET およびCLIQUEを含む）に対してかなり簡単なクラスを構成します。 （奇数穴、反穴）フリーグラフが研究されているか、記述されているかどうかは誰にもわかりますか？ これらのグラフは、関連する変数のグラフがツリーを形成する制約充足問題で非常に自然に発生します。このような問題はかなり簡単なので、Lovászシータを計算せずに、このファミリのグラフの最大の独立集合 クリークを見つける方法があればいいでしょう。 同様に、（ホール、奇数アンチホール）フリーグラフの最大の独立セットを検索する必要があります。Hsien-Chih Changは、これが（奇数ホール、反ホール）フリーのグラフよりも独立セットにとってより興味深いクラスである理由を以下に指摘します。
1
読む
この問題を理解するには何を読むべきですか？ 小深度量子回路のパワー。ある？言い換えれば、多項式時間の古典的な後処理を行う用意がある場合、任意の量子アルゴリズムの「量子」部分をpolylog（n）の深さに圧縮できますか？（これは、Shorのアルゴリズムに当てはまることが知られています。）その場合、汎用量子コンピューターの構築は、一般に信じられているよりもはるかに簡単です！ちなみに、とオラクルで分離するのは難しくありません が、問題は、そのようなオラクルを「インスタンス化する」具体的な機能があるかどうかです。--Scottアーロンソン http://www.scottaaronson.com/writings/qchallenge.htmlB Q P= B PPB Q NCBQP=BPPBQNCBQP = BPP^{BQNC}B Q PBQPBQPB PPB QNCBPPBQNCBPP^{BQNC}
2
準PER /二機能関係/ジグザグ関係の使用？
集合と与えられると、それらの間の二機能関係は、次の特性を満たす関係であると定義されます。AAABBB （〜）⊆ A × B（〜）⊆A×B(\sim) \subseteq A \times B もしとと、その後、。 〜Ba〜ba \sim ba′〜B′a′〜b′a' \sim b'〜B′a〜b′a \sim b'a′〜Ba′〜ba' \sim b 二機能関係は、異なるセットからの平等の概念を定義することを可能にする部分的同値関係の概念の一般化です。その結果、これらは準PER（QPER）とも呼ばれ、次の図からジグザグ関係とも呼ばれます。 私はそれらを使用する論文を書いていますが、セマンティクスで使用するための良い参照を追跡するのに苦労しました。 Martin Hoffmanは、効果ベースのプログラム変換の正確さでそれらを使用します。 私は、テナントと竹山も同様にそれらの使用を提案したと主張する言及を見ました（しかし、良い参考文献はありません）。 それらはとてもいいアイデアなので、私の特定の使用法が独創的であるとは信じられません。さらなる参考文献をいただければ幸いです。
2
副産物の証明理論？
同じオブジェクトが製品と連産品の両方である場合、カテゴリにはバイプロダクトがあります。誰かがバイプロダクトを持つカテゴリーの証明理論を調査しましたか？ おそらく最もよく知られている例は、ベクトル空間のカテゴリーであり、直接和と直接積の構成は同じベクトル空間を与えます。これは、ベクトル空間と線形マップが線形論理のわずかに縮退したモデルであることを意味し、この縮退を受け入れる型理論がどのように見えるか興味があります。
弊社のサイトを使用することにより、あなたは弊社のクッキーポリシーおよびプライバシーポリシーを読み、理解したものとみなされます。
Licensed under cc by-sa 3.0 with attribution required.