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

この質問は技術的ではないかもしれません。アルゴリズムのクラスの非ネイティブスピーカーとTAとして、私はいつもかと思ったガジェット「節ガジェット」または「変数ガジェット」で意味を。辞書によると、ガジェットは機械またはデバイスですが、NP完全証明の文脈でガジェットがどのような口語的意味を持っているかはわかりません。

11 cc.complexity-theory  np-hardness  terminology  reductions 

色付きのグラフはタプルとして説明できます。ここで、はグラフ、は色です。2つの色付きのグラフとは、同型であるが存在し、色付けが守られている場合、つまりすべての。(G,c)(G,c)(G,c)GGGc:V(G)→Nc:V(G)→Nc : V(G) \rightarrow \mathbb{N}(G,c)(G,c)(G,c)(H,d)(H,d)(H,d)π:V(G)→V(H)π:V(G)→V(H)\pi : V(G) \rightarrow V(H)c(v)=d(π(v))c(v)=d(π(v))c(v) = d(\pi(v))v∈V(G)v∈V(G)v \in V(G) この概念は、色付きのグラフの同型を非常に厳密に捉えています。同じ地域の2つの政治地図があり、それらが異なる色セットを使用している場合を考えます。同じように色付けされているかどうかを尋ねる場合、2つのカラーセット間に全単射マッピングが存在し、両方のマップの色がこのマッピングを介して一致するかどうかを意味すると想定します。この概念は、色付きのグラフをタプルとして記述することで形式化できます。ここで、は頂点セットの同値関係です。我々は、2つのそのようなグラフと言うことができる及び同型が存在する場合に同形であるように、すべてのペアについて(G,∼)(G,∼)(G,\sim)∼∼\simGGG(G,∼1)(G,∼1)(G,\sim_1)(H,∼2)(H,∼2)(H,\sim_2)π:V(G)→V(H)π:V(G)→V(H)\pi : V(G) \rightarrow V(H)v1,v2∈V(G)v1,v2∈V(G)v_1,v_2 \in V(G)には、 v1∼1v2 iff π(v1)∼2π(v2)v1∼1v2 iff π(v1)∼2π(v2)v_1 \sim_1 v_2 \text{ iff } \pi(v_1) \sim_2 \pi(v_2) 私の質問は、この概念が以前に標準形などを見つけるために研究されているかどうか、そうであればそれはどのような名前で知られていますか？

9 terminology  graph-isomorphism  equivalence 

比較ベースのソートアルゴリズムの最小の複雑さはΩ （n ログn ）Ω(nlog⁡n)\Omega(n \log n)比較であることは誰もが知っています。私はブラインドソートを実行しようとしています。つまり、番のんnn出力に、んnn項目のリストをソートする回路（ブール演算、算術演算、および「比較」ゲート）を指定しています。 すべての比較を事前計算してから、結果のビットに対して算術を実行すると、アルゴリズムが得られますが、いくつかのクレイジーな "ポインター算術"によって、を得ることができると思いますバージョン。（ n2）(n2){n \choose 2}Θ （n３）Θ(n3)\Theta(n^3)Θ （n2）Θ(n2)\Theta(n^2) 比較ベースのソートアルゴリズムの 1 と同様のラインに沿った比較ベースのソート回路の既知の下限はありますか？時間でブラインドソートすることも可能でしょうか？n ログんnlog⁡nn \log nn ログんnlog⁡nn \log n

9 cc.complexity-theory  terminology  sorting 

次の問題に名前があるのか​​、それに関連する結果があるのか​​と思います。 LETここで加重グラフであるの間の辺の重み表し及び、そしてすべてのための、。問題は、隣接するエッジの重みの合計を最大化する頂点のサブセットを見つけることです： サブセットの内側とサブセットの外側の両方のエッジをカウントしていることに注意してください。これがこの問題をmax-cutと区別するものです。ただし、uとvの両方がSにある場合でも、エッジ（u、v）のみをカウントしますG=(V,w)G=(V,w)G = (V,w)w(u,v)w(u,v)w(u,v)uuuvvvu,v∈Vu,v∈Vu,v \in Vw(u,v)∈[−1,1]w(u,v)∈[−1,1]w(u,v) \in [-1,1]maxS⊆V∑(u,v):u∈S or v∈Sw(u,v)maxS⊆V∑(u,v):u∈S or v∈Sw(u,v)\max_{S \subseteq V} \sum_{(u,v) : u \in S\ \textrm{or}\ v\in S} w(u,v)uuuvvvSSS(u,v)(u,v)(u,v) 1回（2回ではなく）。これは、目的を単に学位の合計であると区別するものです。 すべてのエッジの重みが負でない場合、問題は些細なものであることに注意してください-単にグラフ全体を取ってください！

9 reference-request  graph-theory  approximation-algorithms  terminology  approximation-hardness 

次の2つの質問で、理論Aと理論Bの起源と応用について教えてください。とTCSにおけるカテゴリー理論の確かなアプリケーション？、多くの人々が理論的なCSでこれらの2つの領域の分割についての知識と意見を共有しました。 私は、グラフ理論とカテゴリー理論の両方の経験を持つ数学の学生であり、それぞれ理論Aと理論Bの重要な数学的知識を持っています。理論CSについてさらに学び、おそらく真剣な研究を行うことを目指しています。理論Aと理論Bの間に交差があるかどうかに興味があります。ある場合、交差で何らかの作業を行った人がいますか、少なくともこのトピックに参照がありますか？

8 terminology  ho.history-overview  research-practice 

私が正しい場所に来たことを願っています...それは（おそらく）かなり単純な論理プログラミングの質問です。 フォームに2つの句がある場合： B:-A C:-A これらを次のように変換できます。 B,C:-A （編集： where B,Cは結合詞です。ボトムアップ評価を行っているので、それぞれのヘッドの結合詞を含む1つの句を使用して、同じボディを持つ複数の句を表すと便利です。これは簡単なようですが、このような変換には名前があります。ただし、結果の句がHorn句ではなくなったことを知っています。） この変換に名前があるかどうかは誰かが知っていますか。そうであれば、それを説明する場所へのポインタ（できればオンライン）を提供できます。 （n00bから）感謝します。

8 reference-request  pl.programming-languages  terminology  logic-programming