検索結果- 英語 - 多言語
検索内容:
no-ghost theorem
spectral theorem
(mathematics) a theorem providing conditions under which an operator or matrix can be diagonalized
(数学)作用素または行列が対角化できる条件を示す定理
Slutsky's theorem
Miquel's theorem
Helly's theorem
Radon's theorem
Brewer's theorem
(computing theory) A theorem stating that it is impossible for a distributed data store to simultaneously provide more than two of three guarantees: consistency (every read receives the most recent write or an error), availability (every request receives a non-error response, without the guarantee that it contains the most recent write), and partition tolerance (the system continues to operate despite an arbitrary number of messages being dropped or delayed between nodes).
(コンピューティング理論)分散データストアが、整合性(全ての読み取りが最新の書き込みまたはエラーを返す)、可用性(全てのリクエストに対してエラーのない応答を返すが、最新版の書き込みを保証しない)、分割耐性(任意の数のメッセージがノード間で消失または遅延してもシステムが動作し続ける)の3つの保証のうち、2つ以上を同時に満たすことは不可能であると示す定理
Gibbard's theorem
A theorem stating that, for any deterministic process of collective decision, at least one of the following three properties must hold: (i) the process is dictatorial, i.e. there exists a distinguished agent who can impose the outcome; (ii) the process limits the possible outcomes to two options only; (iii) the process encourages agents to think strategically: once an agent has identified their preferences, they have no action at their disposal that would best defend their opinions in any situation.
ギバードの定理とは、決定論的な集合的意思決定過程において、少なくとも以下の3つの性質のいずれかが成り立たなければならないという定理である。 / 1. 独裁性:特定の主体(エージェント)が決定的に結果を押し付けられる、いわゆる独裁的な状況。 / 2. 二択制限:意思決定の結果として、選択肢が2つに限定される。 / 3. 戦略的行動の促進:各エージェントは、自らの嗜好が明確になった後、どの行動をとれば最も自分の意見を守ることができるか、どの行動もその目的を十分に達成できない状況に置かれる。