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

特定の概念をどのように理解する必要があるか、および表記法の規則についての質問。

1
割り当て、評価、名前のバインドの違いは何ですか？
Nameバインディングが識別子（data / code / expression）にいくつかの値を割り当てることを読みました。割り当てと評価は同じことをしているようです。それは紛らわしい。バインドされた変数に値が割り当てられているのに、値が割り当てられていない自由変数が1つであると言えますか？
1
2つの問題が類似している場合、それは何と呼ばれますか？
2つの問題とがあると仮定します。PPPQQQ 「を解くことはを解くことと同じである」とどうやって言えますか？PPPQQQ たとえば、がNPハードである場合、「を多項式時間で解くアルゴリズムが存在する場合、は多項式時間で解くことができる」と言えます。PPPPPPAAAQQQ これにはもっと短い期間があるはずですが、私はそれが類似していないと確信しています。 ある同等の権利言葉は？
1
ハイパーバイザーとexokernelの違い
ハイパーバイザー（第一種）は、ハードウェアへのゲストの手術システムの要求を管理し、作成した仮想マシンを実行するソフトウェアです。exokernelは LETのプログラムがハードウェアに直接アクセスすることを、手術システムのカーネルで実装しabstactionsは、そのアーキテクチャのための実行可能ファイルの種類を実行することを特定のライブラリのサポートで、または。 どちらもハードウェアとアプリケーションソフトウェア間の抽象化レイヤーです。 2つとも、同じマシンで異なる実行可能ファイル/ソフトウェア/オペレーティングシステム/何でも実行できます では、2つの違いは何ですか？
1
ロックの一貫性のない状態
私はマルチプロセッサプログラミングのアートを読んでおり、一貫性のないロックの概念を理解しようとしています。具体的には、37ページで、一貫性のないロックの定義2.8.1と補題2.8.1は私には明確ではありません。 定義2.8.1。Lockオブジェクトの状態sは、一部のスレッドがクリティカルセクションにあるグローバル状態では一貫していませんが、ロック状態は、クリティカルセクションにスレッドがない、またはスレッドが開始しようとしているグローバル状態と互換性があります。 補題2.8.1デッドロックのないロックの実装が不整合な状態になることはありません。 証明： Lockオブジェクトが一貫性のない状態sであり、クリティカルセクションにスレッドが存在しないか、スレッドが開始しようとしているとします。スレッドBがクリティカルセクションに入ろうとすると、実装にデッドロックがないため、スレッドBは最終的に成功する必要があります。 Lockオブジェクトが不整合な状態sにあるとします。ここで、Aはクリティカルセクションにあります。スレッドBがクリティカルセクションに入ろうとする場合、スレッドBはAが出るまでブロックする必要があります。BはAがクリティカルセクションにあるかどうかを判断できないため、矛盾があります。 わからないこと： 一貫性がないということは、スレッドがクリティカルセクションにある場合、他のスレッドがそれについて知ることができないということだけを意味しますか？ 補題証明の矛盾は何ですか？スレッドAがクリティカルセクションにあり、ロックが不整合な状態にあるとします。別のスレッドがロックの状態を上書きして取得するのを阻止するものは何ですか？
2
無料の昼食の定理とは何ですか？
私は無料ランチの定理について読んでいますが、それが何であるかはよくわかりません。この定理が「汎用のユニバーサルオプティマイザは存在しない」という主張として他の場所で説明されているのを聞いたことがあります。一方、ウィキペディアの記事では、「1つずつ評価される」「候補ソリューション」について説明しています。特定の形式のアルゴリズムのみを検討すると、それははるかに限定的な主張になります。 この定理が実際に主張していることを誰かが説明できますか？
5
空の文字列の重要性
null参照文字列とは異なる文字列の意味で、CS（および特に正式な言語）での空の文字列の重要性は何ですか？ 独自のギリシャ文字（ε）さえ持っている「空の文字列」という別の概念が必要なのはなぜですか？ EOLキャラクターだけで置き換えることはできませんか？
4
問題の時間の複雑さは、問題のエンコードによって変わりますか？
決定の問題があるとしましょう DDD そして私はそれを言語にエンコードします L⊂{0,1}∗L⊂{0,1}∗L \subset \{0,1\}^*。これで、別の言語にエンコードすることもできますL′L′L'。 の時間の複雑さに関する定理はありますか LLL そして L′L′L'？ 同じ問題の異なるエンコーディングを使用すると、問題の時間の複雑さがどのように変化しますか？
1
First-Order Logicを使用したナレッジベースの基本的で複雑な用語の違い
私は、Ronald BrachmanとHector Levesqueによる優れた知識表現と推論を読んでいます。 第3章「知識の表現」のセクション3.2「語彙」の冒頭で、彼らは次のように述べています。 KB（ナレッジベース）の作成では、KBのドメインに関する事実の基礎を提供するドメイン依存の述語と関数のセットから開始することをお勧めします。 同じセクションで、これらの事実は3つのカテゴリに分けられます。 基本的な事実 複雑な事実 用語の事実 章全体を読んだ後、これらのタイプの事実の違いを完全には理解できませんでした。 誰かがこれらの概念の違いを理解するのを手伝ってくれる？
1
完全な二分木の極小値を見つける方法は？
完全な二分木の極小値を見つける方法は？ 考慮してください nnn完全二分木-node、いくつかについて。各ノードは実数ラベル付けされています。ノードにラベルを付ける実数はすべて異なると想定できます。ノードラベルの場合は極小であるラベルよりも小さいすべてのノードのに接合されているエッジによって。TTTn=2d−1n=2d−1n = 2^d − 1dddv∈V(T)v∈V(T)v \in V(T)xvxvx_vv∈V(T)v∈V(T)v \in V(T)xvxvx_vxwxwx_wwwwvvv あなたは、それぞれの完全なバイナリツリー与えられているが、標識は唯一以下で指定された暗黙的な方法：各ノードのために、あなたは価値判断できすることにより、プロービングノード。極小値を見つける方法を示してのみ使用プローブのノードに。TTTvvvxvxvx_vvvvTTTO(logn)O(log⁡n)O(\log n) TTT 帰属：これは、Jon KleinbergとEva Tardosによる本「Algorithm Design」の第5章「Divide and Conquer」の問題6のようです。
3
TMが言語を受け入れることと決めることの違いは何ですか？
率直に言って、私は今のところその素材にとても不快です。理解できることはいくつかありますが、まだ理解できないことはたくさんあります。 私の最初の課題は、言語を受け入れるTMの完全な説明を1つの質問（私は方法を知っています）で私に尋ねることです L={x∈{0,1}∗∣x is divisible by 4}L={x∈{0,1}∗∣x is divisible by 4}L = \{ x \in \{0,1\}^* \mid x \text{ is divisible by } 4 \}。で終わるバイナリ文字列は4で割り切れるので、はこのTMが受け入れる言語です。000000{00,100,1100,1000,11100,11000,10100,10000,…}{00,100,1100,1000,11100,11000,10100,10000,…}\{00,100,1100,1000,11100,11000,10100,10000,\dots\} しかし、（非）決定可能性のトピックについては、すべての文字列を受け入れるTMとその言語からの文字列のみを受け入れるTMが存在し、その同じTMがすべての文字列とその言語にない文字列のみを拒否する場合、言語は決定可能であることを知っています。 どちらが質問につながりますか：言語を受け入れ、決定するチューリングマシンの違いは何ですか？
1
意思決定ツリーとルールベースの推論の違い
私はこのトピックに不慣れです。スポーツの予測について読んでいるいくつかの科学論文では、ルールベースの推論に出会いました。この用語は意味論的推論と同じですか（2つの主な方向は前方と後方の連鎖です）。はいの場合、意思決定ツリーとこれの違いを指摘できますか？私にとっては、ほとんど同じように見えます。
2
の定義
私は第3版のCLRSアルゴリズムのテキストを扱っています。第3章では、次で始まる漸近表記について議論を始めます。 ΘΘ\Theta表記。私は最初の定義を理解しました： Θ(g(n))={f(n)|∃c1,c2>0,n0∈N:0≤c1g(n)≤f(n)≤c2g(n) ∀n≥n0}Θ(g(n))={f(n)|∃c1,c2>0,n0∈N:0≤c1g(n)≤f(n)≤c2g(n) ∀n≥n0}\Theta(g(n)) = \{ f(n)\,|\, \exists\, c_1, c_2 > 0, n_0 \in \mathbb{N}: 0 \leq c_1 g(n) \leq f(n) \leq c_2 g(n)\ \ \forall n \geq n_0\} しかし、次のページのテキストには次のように書かれています： の定義 Θ(g(n))Θ(g(n))\Theta(g(n)) すべてのメンバーが f(n)∈Θ(g(n))f(n)∈Θ(g(n))f(n) \in \Theta(g(n)) 漸近的に負でない、つまり f(n)f(n)f(n) いつでも負にならない nnn十分に大きいです。（漸近的に正の関数とは、十分に大きなすべてに対して正の関数ですnnn。）したがって、関数g（n）自体は漸近的に非負でなければならず、そうでなければセット Θ(g(n))Θ(g(n))\Theta(g(n)) 空です。 関数が負である場合のセットについての最後の部分 Θ(g(n))Θ(g(n))\Theta(g(n))は空であり、正の関数の一般的な要件は混乱を招くようなものです。誰かが私にとってこの定義を明確にでき、それが何を意味するのか、例を挙げて可能であれば、それは大いに評価されます。
弊社のサイトを使用することにより、あなたは弊社のクッキーポリシーおよびプライバシーポリシーを読み、理解したものとみなされます。
Licensed under cc by-sa 3.0 with attribution required.