コンピュータサイエンス

私はこの特定のコンピューティング/暗号/データベースの問題について何年も考えてきましたが、すでに解決策があるかどうか知りたいだけです。正直なところ、この問題がどの分野に属しているかはわかりません。 一言で言えば、人物Aはデータのリストを持ち、別の人物（B）はこのリストの各アイテムにスコアを与え、これらすべてのスコアを合計してリスト全体の総合スコアを提供するアルゴリズムを持っています。データが非常に安全に保たれるように（できれば人物Aを離れないように）、データリストでアルゴリズムを実行して、人物Bがアルゴリズムが適切に実行され、改ざんされていないことを確認するにはどうすればよいでしょうか。 ここに例があります：アンナとボブは大きな村に住んでいます。アンナは自分のコンピューターに、村で行ったすべての良いことと悪いことのリストを持っています。ボブは、そのようなリストの非常に単純なスコアリングアルゴリズムを作成しました。これは、リストの各項目で実行され、スコアを与え、これらすべての数値を加算して、アンナに最終スコアを与えます。このスコアにより、ボブはアンナが村のコミュニティにとってどれほど有益であり、ボブの意見に固有のものであるかを知ることができます。（これは実際に私が作りたいシステムなので、これは単なる例ではありません） しかし、アンナはボブに彼女のリストを与えることを望んでいません。ボブはそこに潜在的に恥ずかしい情報にアクセスできるからです（誰もが自分のクローゼットにスケルトンを持っています）。ただし、ボブは嘘をついてボブにスコアが非常に高いのでボブが彼女を助ける可能性が高いと伝えるため、ボブは自分でアルゴリズムを実行することをアンナに信頼していません。 私がすでに考えたいくつかの解決策がありますが、すべて問題があります： A.ランダムな人物を見つけてデータを取得し、アルゴリズムを実行してスコアを送り返しますが、このランダムな人物がアンナを知らず、アンナを助けたり、データのコピーを作成したりして、後で試すのは難しい場合があります。それをたどってアンナを脅迫します。 B.アンナにアルゴリズムを実行させますが、たとえば、イベントを1と評価する代わりに、チェックコードをスコアにエンコードして1.0000000000797と評価します。これにより、ボブが後でこれをチェックコードとして使用して、指定されているかどうかを確認できます。スコアは正しいです。ただし、このチェックはボナによって誤用され、アンナが何をしたかを示すこともできます。また、アンナがボブのアルゴリズムを実行するにはフルアクセスが必要であることを考えると、このようなシステムはリバースエンジニアリングが簡単で、アンナが正しいチェックコードで誤ったスコアを出すことができると想像できます。 C.村は、そのようなデータとアルゴリズムを取得して一緒に実行するための安全なサーバーを作成します。ただし、AnnaとBobはどちらも、これを実行するのに十分なほど信頼しておらず、データのコピーを作成したり、スコアを変更したりすることはありません。また、私はこれがP2Pシステムであることを望みます。

8 cryptography  security  protocols  encryption 

ニューラルネットワークの多くの活性化関数（シグモイド、tanh、softmax）は、単調で、連続的で、微分可能です（ただし、導関数が存在しないいくつかの点を除く）。 連続性と微分可能性の理由は理解していますが、単調性の理由は本当に理解できません。

8 machine-learning  neural-networks 

英語のテキストの段落を含む2つの大きなファイルがあります。 最初のテキストは約200ページの長さで、ページあたり約10段落（各段落は5文長）です。 2番目のテキストには、最初のテキストとほぼ同じ段落とテキストが含まれています。また、ページ数は200ページで、1ページに10段落あります。ただし、最初のテキストと比較すると、段落はランダム化され、順序が異なります。また、大部分の段落では、類似の段落と比較して、表現にわずかな変更があります。たとえば、最初のテキストの段落には次のようなLike Jimmy, I wanted to go to the palace文があり、2番目のテキストの段落の対応する文にはがありますLike Jimmy, I really wanted to go to the castle。 私は、追加のような、ここで変更を取得できるようにしたいreallyとの削除palaceが置換されましたcastle。段落がおおまかに揃っている場合、テキストを比較する方法はたくさんあるので、これはかなり簡単です。ただし、段落が揃っていないため、そうではありません。 ファイルが小さい場合（数段落）、レーベンシュタイン距離はおそらくうまく機能しますが、ファイルが大きいため、テキスト1の各段落をテキスト2の各段落と比較して、一致する段落を見つけるのは非効率的です。 この問題を効率的に処理するには、他にどのようなアプローチがありますか？

8 strings  data-mining  natural-language-processing  edit-distance 

この決定問題が決定可能かどうかを判断したいと思います。Haltと "空の文字列を受け入れる"から削減を確立しようとしましたが、解決策はまだ見つかりません。 誰かが私を助けてくれますか？

8 computability  turing-machines  undecidability 

次のアルゴリズムの時間の複雑さを分析することに行き詰まっています。 def fun (r, k, d, p): if d > p: return r if d = 0 and p = 0: r <- r + k return r if d > 0: fun (r, k + 1, d - 1, p) if p > 0: fun (r, k - 1, …

8 algorithm-analysis  runtime-analysis 

問題と言語の関係を正確に尋ねたい。私たちはすべての言語のセットが数え切れないことを知っています。問題のセットも数え切れないですか？すべての問題を言語で定義できますか？言語は複数の問題を解決できますか？問題と言語は1対1で対応していますか？

8 formal-languages 

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

8 graph-theory  reference-request  optimization  combinatorics  applied-theory 

たとえば、有限のバイナリ文字列を入力として指定すると、すべてのゼロが削除される（つまり、0010001101011は111111に評価される）抽象プログラムがあると言えます。これは、チューリング計算可能な関数です。 空の文字列に達したときにのみ停止するときに、循環タグシステムはこれをどのように計算できますか（定義により、チューリング完全であると計算できます）。ウィキペディアの記事では、2タグシステムに変換する例を示していますが、元のシステムにはないエミュレートされた停止が追加されています。 サイクリックタグシステムがどのように有意に停止するかについての言及はありません。その出力はどうなっているはずですか？私はのようなものを考えました ステップ数（ただし、入力が、私が見つけられないある種の豪華なエンコーディングなしでは可能な出力を制限します） 最後の生産（ただし、有限の出力範囲しかありません） 固定小数点（このシステムでは検出できず、非常に限られた生産ルールと入力でのみ存在します） しかし、彼らは機能しません、少なくとも私が見ることができる方法ではありません。

8 computability  turing-machines 

我々が充足式を有する想像でき解決する問題は、「変数の割り当てありで（S 0、。。。、S n）はFを満足できないものにしますか？」解決する1つの方法は、変数の面でFのためのすべての解を見つけることであるS 0、。。。、SF(A0,A1,...Ak,S0,...,Sn)F(A0,A1,...Ak,S0,...,Sn)F(A_0, A_1,...A_k,S_0,...,S_n)(S0,...,Sn)(S0,...,Sn)(S_0,...,S_n)とカウントが< 2 nの場合、不足しているソリューションが答えになりますが、このような割り当ての数が少ない場合、このアルゴリズムは非常に複雑になります。S0,...,SnS0,...,SnS_0,...,S_n2n2n2^n 私の質問は： SATソルバーの呼び出しを減らして問題を解決する方法はありますか？ 理論的にはよく知られている問題ですか（それについてGoogleが何を読むべきか）。

8 logic  satisfiability  sat-solvers 

私には最終/受け入れ状態のない有限オートマトンがあるので、Fは空です。どうすれば最小化できますか？ テストでこれを取得しましたが、オートマトンに受け入れ状態がないため、問題への対処方法がわかりませんでした。それ自体へのすべての遷移を伴う単一の初期状態は正しい答えですか？

8 automata  finite-automata 

質問： そのジャムの情報トポロジー（暗号学的に安全な）ハッシュが存在することができる？{0,1}∗{0,1}∗\{0,1\}^{*} 私たちは、与えられた効率的に計算可能な近さ述語追加できると時間K（Y ）（またはY自体を）あれば教えてくれるyがある非常に近いX（例えばレーベンシュタイン距離またはのハミング距離のxとyの未満であります固定定数c）？hk(x)hk(x)h_k(x)hk(y)hk(y)h_k(y)yyyyyyxxxxxxyyyccc バックグラウンド： 情報トポロジによって Iはポイントとトポロジー空間を意味上Σ *と塩基と{ X Σ *：X ∈ Σ * }。Σ∗Σ∗\Sigma^*Σ∗Σ∗\Sigma^*{xΣ∗:x∈Σ∗}{xΣ∗:x∈Σ∗}\{x\Sigma^* : x \in \Sigma^* \} トポロジについて考える良い方法は、オープンセットを肯定 / 検証可能なポイントのプロパティと見なすことです（つまり、trueの場合、trueであることを確認/観察できます）。これを念頭に置いて、クローズドセットは反駁可能なプロパティです。 関数は、開集合の逆画像が開いている場合は連続です。我々の場合、この手段は、その全てについてのy ∈ Σ *、あるI ⊆ Σ *ように F - 1（Y 、Σ *）= ⋃ X ∈ I X Σ *。f:Σ∗→Σ∗f:Σ∗→Σ∗f:\Sigma^* \to \Sigma^*y∈Σ∗y∈Σ∗y \in \Sigma^*I⊆Σ∗I⊆Σ∗I \subseteq \Sigma^*f−1(yΣ∗)=⋃x∈IxΣ∗.f−1(yΣ∗)=⋃x∈IxΣ∗.f^{-1}(y\Sigma^*) = \bigcup_{x\in …

8 complexity-theory  cryptography  hash  string-metrics  topology 

これが私の質問の出典です。 自己均衡ツリー（AVL）を指定して、中央値を返すメソッドをコーディングします。 （中央値：データサンプルの上半分と下半分を区切る数値。例：系列が 2、7、4、9、1、5、8、3、6 中央値は5です。） 私は次の解決策を提供できます： 指定されたツリーをトラバースし、要素の数を返します。 木をトラバース n / 2 + 1（n奇数の場合）して、順番にツリーウォークを適用します。値n / 2 + 1番目の要素は、中央値です。 しかし、二分探索木でそれを行うことができますか？AVLに適したアルゴリズムはありますか？

8 data-structures  search-trees  selection-problem  balanced-search-trees 

おそらくほぼ正しい（PAC）学習モデルは、次のように定義されます。 概念クラスアルゴリズムが存在する場合PAC-学習可能であると言われていると多項式関数そのような任意のそれ> 0ε及びδ> 0は、すべての分布のために、D上のX及びターゲットコンセプトc∈Cの場合、サンプルサイズm≥poly（1 /ε、1 /δ、n、size（c））について次のことが成り立ちます。CCCAAApoly(⋅,⋅,⋅,⋅)poly(·,·,·,·)poly(·,·,·,·)ε>0ε>0ε>0δ>0δ>0δ>0DDDXXXc∈Cc∈Cc∈Cm≥poly(1/ε,1/δ,n,size(c))m≥poly(1/ε,1/δ,n,size(c))m≥poly(1/ε,1/δ,n,size(c)) Pr[R(hs)≤ε]≥1−δPr[R(hs)≤ε]≥1−δPr[R(hs)≤ε]≥1-δ ここで、R(hs)R(hs)R(hs)は、分布Dに続く変数Xのインスタンスを含むサイズmのサンプルSの一般化誤差であり、size（c）は、c∈Cの計算表現の最大コストです。SSSmmmXXXDDDsize(c)size(c)size(c)c∈Cc∈Cc∈C poly(1/ε,1/δ,n,size(c))poly(1/ε,1/δ,n,size(c))poly(1/ε,1/δ,n,size(c))が多項式であることを知っています。しかし、poly（1 /ε、1 /δ、n、size（c））の明示的な形式は何poly(1/ε,1/δ,n,size(c))poly(1/ε,1/δ,n,size(c))poly(1/ε,1/δ,n,size(c))ですか？変数は何ですか？その程度は何ですか？

8 machine-learning 

無向で重み付けされていないグラフがあり、測地線距離の観点から、からノードを選択し、それらが互いに可能な限りペアになるようにします。言い換えれば、それらは可能な限りグラフの周りに広がる必要があります。k GGGGkkkGGG ましょう間の最短経路の長さおよびで。ここで、頂点のセットに対して、 UがV G X ⊆ V （G ）D （X ）= Σ { U 、V } ⊆ X D （U 、V ）。d(u,v)d(u,v)d(u,v)uuuvvvGGGX⊆V(G)X⊆V(G)X \subseteq V(G)d(X)=∑{u,v}⊆Xd(u,v).d(X)=∑{u,v}⊆Xd(u,v).d(X) = \sum_{\{u,v\} \subseteq X}d(u,v). 問題SCATTERED SETを、入力が最大化する個の頂点セットを見つけるように要求する問題であるとします。k X d （X ）G,kG,kG,kkkkXXXd(X)d(X)d(X) SCATTERED SETを解決する効率的なアルゴリズムはありますか？

8 algorithms  graph-theory  graphs 

二部グラフが与えられ、すべての頂点が赤または青のいずれかに色付けされている場合、次の操作を使用して青の頂点の数を最小限に抑えようとしています。G=(A,B,E)G=(A,B,E)G = (A,B,E) 頂点を選択vavav_aAAA 色フリップ、という意味とのすべての隣人色が変わります。N[va]N[va]N[v_a]vavav_avavav_a 青い頂点の数を最小にする色変更セットを選択する多項式時間アルゴリズムはありますか？必要な再着色の数は関係ありません。X⊆AX⊆AX \subseteq A 反転の順序は重要ではなく、すべての頂点について、反転するかしないかを確認します。色は、2を法として増分される数値と考えることができます。これにより、簡単なアルゴリズムが生成されます。AAAO(2|A|⋅n)O(2|A|⋅n)O(2^{|A|} \cdot n)

8 algorithms  graphs