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

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

1
統合とSATソルバー
統一は満足度の問題を解決するプロセスであるとウィキペディアで読みました。 同時に、そのようなソルバーが「SATソルバー」または「SMTソルバー」と呼ばれていることも知っています。それで、同じものに対して異なる名前ですか? それらが異なると言うなら、私の扱いの欠陥を指摘してください。

2
二分木の平均高さはどれくらいですか?
二分木の平均高さについて正式な定義はありますか? 次の2つの方法を使用してバイナリツリーの平均の高さを見つけることに関するチュートリアルの質問があります。 自然な解決策は、ルートからリーフへのすべての可能なパスの平均の長さを取ることです。 。avh1(T)=1# leaves in T⋅∑v leaf of Tdepth(v)avh1⁡(T)=1# leaves in T⋅∑v leaf of Tdepth⁡(v)\qquad \displaystyle \operatorname{avh}_1(T) = \frac{1}{\text{# leaves in } T} \cdot \sum_{v \text{ leaf of } T} \operatorname{depth}(v) 別のオプションは、再帰的に定義することです。つまり、ノードの平均の高さは、サブツリーの平均の高さの平均に1を加えたものです。つまり、 avh2(N(l,r))=avh2(l)+avh2(r)2+1avh2⁡(N(l,r))=avh2⁡(l)+avh2⁡(r)2+1\qquad \displaystyle \operatorname{avh}_2(N(l,r)) = \frac{\operatorname{avh}_2(l) + \operatorname{avh}_2(r)}{2} + 1 リーフのためのL及びAVH 2(_ )= 0空きスロット用。avh2(l)=1avh2⁡(l)=1\operatorname{avh}_2(l) = 1lllavh2(_)=0avh2⁡(_)=0\operatorname{avh}_2(\_) = 0 …


3
ランダウ用語の和の再訪
私は以前にランダウ項の合計について(シード)質問をしました。算術における漸近表記を乱用することの危険性を測定しようとして、混合成功しました。 さて、ここで私たちの再発の達人JeffEは本質的にこれを行います: ∑i=1nΘ(1i)=Θ(Hn)∑i=1nΘ(1i)=Θ(Hn)\qquad \displaystyle \sum_{i=1}^n \Theta\left(\frac{1}{i}\right) = \Theta(H_n) 最終結果は正しいですが、これは間違っていると思います。どうして?暗黙の定数(上限のみ)の存在をすべて追加すると、 。∑i=1nci⋅1i≤c⋅Hn∑i=1nci⋅1i≤c⋅Hn\qquad \displaystyle \sum_{i=1}^n c_i \cdot \frac{1}{i} \leq c \cdot H_n 今、どのように計算を行うからC 1、... 、C nは?答えは、私たちは不可能だと私は信じています。cはすべてのnにバインドする必要がありますが、nが大きくなるにつれてc iが増えます。それらについては何も知りません。C 私は非常によくに依存してもよいI有限:我々はバウンド負いかねますので、cが存在しない場合があります。cccc1,…,cnc1,…,cnc_1, \dots, c_ncccnnn cicic_innncicic_iiiiccc さらに、左側にある変数が無限大になるこの微妙な問題がありますまたはn?どちらも?場合のn(互換性のため)、の意味するものであるΘ (1 /私が)ことを知って、1 ≤ I ≤ nは?Θ (1 )を意味するだけではありませんか?もしそうなら、合計をΘ (n )より上に制限することはできません。iiinnnnnnΘ(1/i)Θ(1/i)\Theta(1/i)1≤i≤n1≤i≤n1 \leq i \leq nΘ(1)Θ(1)\Theta(1)Θ(n)Θ(n)\Theta(n) それで、それはどこに私たちを残すのでしょうか?それは露骨な間違いですか?微妙なもの?それとも、表記のいつもの乱用であり、我々は見てはならないコンテキストのうち、このような兆し?ランダウ項の(特定の)合計を評価するための(厳密な)正しいルールを作成できますか?=== 主な質問は:は何ですか?我々は(それはそれとしては、一定の考慮した場合である和の範囲内で)我々は簡単に反例を構築することができます。一定でないと、どう読むかわかりません。iii

2
変数とポインターの違いは何ですか?
OOと関数型プログラミングの違いを概説する記事を読んでいた私は、関数ポインターに出くわしました。コンピュータサイエンスの学位(2003年)を修了してからしばらく経っています。そのため、ポインタを調べて記憶を更新しました。 ポインタは、メモリアドレスへの参照を含む変数です。それらは、そのようなデータが存在する場合、そのメモリアドレスに含まれているデータを指すと見なすことができます。または、記事の場合のように、コードのセクションへのエントリポイントを示し、そのコードを呼び出すために使用できます。 なぜこれが変数と異なるのですか?変数はメモリアドレスの記号名であり、コンパイラは名前を実際のアドレスに置き換えます。これは、変数がメモリ位置への参照を含み、そのようなデータが存在する場合、そのアドレスのデータを指すと見なすことができることを意味します。 違いが動作にある場合(おそらく、ポインターを実行時に再割り当てできない、または他の値ではなくシンボリック変数名のみを割り当てることができます)は、それが特定の型の変数、つまりポインター型であることを意味していませんか?同じように、整数型であると宣言された変数は、それが使用できる目的でコンパイルによって制限されます。 ここで何が欠けていますか?

3
マルチプログラミングとマルチタスクの違いは何ですか
マルチプログラミングとマルチタスクを明確に区別するのは難しいと感じています。 私の主な情報源はWikipediaでしたが、WPの記事は、評判の低い情報源(大学の教授など)とは少し矛盾しているようです。 私がWPを読んだとき、マルチプログラミングは、プロセスがI / Oを待機しているときにコンテキストを切り替えることにより、CPUスループットを向上させる基本的な方法です。 マルチプログラミングでは、プログラムがタイムリーに実行されるという保証はありません。実際、最初のプログラムは、周辺機器へのアクセスを必要とせずに何時間も実行することができます。 協調時分割と同義で、協調マルチタスクは、(それは同義ではないしている)マルチプログラミング上の改良です。CPUは定期的にコンテキストを切り替えて同時実行の印象を与えますが、プロセスは引き続き生成される必要があり、設計が不十分なプログラムはシステムの残りの部分を使い果たす可能性があります。 プリエンプティブマルチタスクは、スケジューリングをより積極的に制御し、一部のプロセスを他のプロセスよりも優先させます。 この概要は正しいですか?そうでない場合は、WPが正しくないためか、WPを誤って読み取ったためですか? 一部のソースがマルチプログラミングとマルチタスクを混同しているように見えるのはなぜですか?

5
効率的なアルゴリズムとは何ですか?
漸近的な振る舞いの観点から、何が「効率的な」アルゴリズムと考えられていますか?その時点で線を引く基準/理由は何ですか?個人的に、ようなように、私が単純に「サブ多項式」と呼ぶものはすべて効率的であり、は「非効率的」になります。しかし、多項式次数で効率的と呼ばれるものは何でも聞いています。理由は何ですか?f(n)=o(n2)f(n)=o(n2)f(n) = o(n^2)n1+ϵn1+ϵn^{1+\epsilon}Ω(n2)Ω(n2)\Omega(n^2)

3
数学/ CS記法の辞書を探しています
数学やCSの論文では、時々目まいがする記号の配列が使用されています。しかし、多くの人は、1か所ではめったに教えられないような基本的な知識を前提としています。特にCSの観点から、次のような辞書を探しています。 すべての基本的な数学記号をリストし、それらの意味と例を示します。同等の方法で時々使用されるシンボルについて話します。初心者のよくある間違いに気づくでしょう。 それは、単一の記号の異なる意味を取り巻く微妙さについて話します(辞書の同じ単語の複数の定義のように)。 これは、「サブセット」のような1つの単語の説明など、各シンボルの非常に簡潔な説明ではありません。 シンボルが時々「オーバーロード」される方法を示します。たとえば、はを整数として持つことができますが、がこの表記のセットになることもあり、このセットから要素を選択することを意味します。は、整数のセット1 \ ldots nを意味することもあれば、1要素の配列を意味することもあります。( xy)(バツy)\binom{x}{y}zzzzzz[ n ][ん][n]1 … n1…ん1 \ldots n さまざまな種類の「オブジェクト」をさまざまなシンボルまたはそれらを参照する同等の方法(ただしより明確)で記述する方法と、それらのオブジェクトで可能な操作について説明する場合があります。つまり、数学オブジェクトのAPIのようなものです。 すなわち、それは時々、数学的記述をどのように提示するかについてのさまざまなニュアンスの「スタイルマニュアル」になることもあります。これは、数学のスタック交換で質問を書く人にとって非常に役立つリソースです。ここで、多くの質問は、トリッキーな数学の慣習に適合しないことに基づいて意味をなさないものです。 いくつかの本の紹介には、これらの機能の多くがあります。しかし、理想的にはそれは別の治療になるでしょう。また、理想的にはもちろんそれはオンラインであるでしょう。ラテックスシンボルの表がありますが、実際には上記の基準の多くを満たしていません。 これらの機能に一致する「シンボルの辞書」を見た人はいますか? (または、このような適切な参照が存在しない場合、優れたwikiまたはFAQプロジェクトのように見えます。)

2
2部グラフが平面であり、頂点の周りにエッジがないエッジの条件
それは持っていないときに限り二部グラフは平面であるまたはK 5未成年者。K3,3K3,3K_{3, 3}K5K5K_5 頂点の「回り込み」エッジのない平面描画を可能にするために必要または十分な条件を探しています。これらは次の条件を満たす図面です。 1つのパーツのすべての頂点が単一の垂直線上に描画されます。他の部分の頂点は、平行なバーティクルライン上に描画されます。 エッジは頂点以外では交差しません。 エッジはすべて、ポイント1の2つの垂直線の間の無限ストリップにあります。 たとえば、右下以外のすべての図面は例ではありません。左下のグラフは、QとRの位置を入れ替えることにより、条件を満たすように再描画できます。上の2つのグラフは、条件を満たすために再描画することはできません。 上の2つのグラフは、私が見つけた唯一の障害物です。私の質問は: この問題に名前はありますか? 私が見逃した他の障害物はありますか? もちろん、未成年者としてのこれら2つの障害物(および私が見逃したもの)が未成年者であることを証明する方法についてのヒントは必要十分です。 この外側平面であることと同じではないことに留意されたい外側平面である(正方形として描画することができる)が、それは私は上記言及した条件を満たすように描くことができません。K2,2K2,2K_{2, 2}

4
なぜバイナリサーチはバイナリサーチと呼ばれるのですか?
いくつかの考えられる説明を聞いたので、信頼できる参照をお願いします。 更新05.19:私の学生の1人が彼の論文で名前が以下の説明(1)から来ていると書いたので、私は質問に興味があります。今までは説明(2)から来ると思った/聞いた。私は彼の論文で間違ったことを許すことと、それが正しいかもしれないならそれを削除するように彼に言ったことの両方に気分が悪いでしょう。 (1)区間内の整数の検索を考えます。質問を使用して、ステップ番号の桁の2進数を尋ねることでそれを見つけることができます。N I I T H[ 0 、2n − 1][0,2n−1][0,2^{n-1}]んnn私ii私トンの時間ithi^{th} (2)要素のサーチスペースがある場合、スペースの残りの部分を2つに繰り返し分割する質問によって未知の要素を見つけることができます。2ん2n2^n そして、はい、私は(2)が(1)と同じアルゴリズムを与えることができることを知っていますが、それはここでのポイントではありません。(2)は、より一般的な問題にも適用できます。

1
忘却型RAMとは何ですか?
誰かが私に正確に気付かないRAMとは何かを私に説明できますか? 次のような説明がわかりましたが、技術的な側面を理解したいと思います。 暗号化は、プライバシーを確​​保するのに必ずしも十分ではありません。攻撃者が暗号化されたストレージへのアクセスパターンを観察できる場合でも、アプリケーションの動作に関する機密情報を知ることができます。Oblivious RAMは、アクセスされているメモリを継続的にシャッフルすることでこの問題を解決します。これにより、アクセスされているデータ、または以前にアクセスされたデータを完全に隠すことができます。


4
動的プログラミングの「動的」とは何ですか?
私の先輩の1人が就職の面接を受け、動的と呼ばれる理由を尋ねられました。彼は答えることができず、面接官をあきらめた後、それについて動的なものは何もないと言った、それはちょうどそのように呼ばれた。それは私には信じがたいことです。 これは、副問題が実行時に解決され、最終目標の達成に使用されるという事実を示していますか?実行時に発生する動的メモリ割り当てのように? [回答] 質問する前に、この wikiの記事を読んでおくべきでした。申し訳ありません。


2
セマンティックネットワークオントロジーはありますか?
私は知識表現のいくつかの定義と格闘し、それらを区別するための信頼できる助けを求めています。オントロジーとセマンティックネットワークの違いについて、ウィキペディアや多くのWebサイトを検索してきました(セマンティックWebと混同しないでください)。一方でWikipediaの意味ネットワーク上のページでは、オントロジーを参照してください決して、彼らは非常に似ているようだし、CSでの同様のアプリケーションを持っています。 私の推測では、セマンティックネットワークはAIの研究に適応した一種のオントロジーだと思います。ただし、両者の違いはわかりません。だから私の質問は単純です: セマンティックネットワークオントロジーはありますか?もしそうなら、それらは同義語ですか?または違いは何ですか?

弊社のサイトを使用することにより、あなたは弊社のクッキーポリシーおよびプライバシーポリシーを読み、理解したものとみなされます。
Licensed under cc by-sa 3.0 with attribution required.