- 英
- overwhelming、overwhelmingly
WordNet
- incapable of being resisted; "the candy looked overwhelmingly desirable to the dieting man" (同)overpoweringly, irresistibly
PrepTutorEJDIC
- 圧倒的に,圧倒的な多数で
- 圧倒的な,抗しきれない
Wikipedia preview
出典(authority):フリー百科事典『ウィキペディア(Wikipedia)』「2016/09/29 10:34:07」(JST)
[Wiki ja表示]
数学における無視可能函数(むしかのうかんすう、英: negligible function)は、極限においていかなる多項式よりも非常に緩やかな増加をするような函数である。
目次
- 1 定義
- 2 歴史
- 3 暗号理論
- 4 参考文献
- 5 関連項目
定義
実数列 μ: N → R は、任意の正整数 c に対して適当な整数 Nc を選べば、x > Nc なる全ての x について
が成り立つようにできるとき、「無視できる」という。あるいは同じことだが、次のように定義してもよい。すなわち、実数列 μ: N → R が「無視できる」とは、任意の正値多項式 poly(•) に対して適当な自然数 Npoly を選べば、x > Npoly なる全ての x に対して
が成り立つようにできることをいう。
歴史
「無視可能」という概念は sound models of analysis にまで遡ることができる。 ニュートンやライプニッツの時代(1680年代)には連続性や無限小の概念が重要な意味を持つようになっていたが、これらの概念は後の1810年代になるまではきちんと定義されたものではなかった。解析学において「連続性」の意味のある厳密な定義が初めて成されるのは、ベルナルト・ボルツァーノが1817年に著した『連続性の現代的定義』においてである。その後、コーシー、ワイエルシュトラスおよびハイネらも以下のような定義を与えている。ここでは数は全て実数全体の成す集合 R に属するものとする。
- 連続函数
- 函数 f: R → R が点 x = x0 において連続であるとは、いかなる正の数 ε > 0 に対しても正の数 δ > 0 を適当に選べば、|x − x0| < δ ならば |f(x) − f(x0)| < ε とできることをいう。
この古典的な連続性の定義を適当に書き換えれば、無視可能性の定義に書き直すことができる。まず、x0 = ∞ において f(x0) = 0 となる場合を考える。ここで「無限小」の概念を定義する必要が生じる。
- 無限小函数
- 連続函数 μ: R → R が(x を無限大に飛ばす極限で)無限小であるとは、あらゆる ε > 0 に対して適当な Nε を選べば、x > Nε なるとき常に |μ(x)| < ε とできることをいう。
引き続き、定義における ε > 0 を函数 1/xc (c > 0) あるいは 1/poly(x)(poly(x) は正値多項式)に取り替えれば、先の無視可能函数の定義を得る。定数 ε > 0 も適当な定数多項式に対する 1/ploy(x) として書けるから、無視可能函数のクラスは(無限遠における)無限小函数のクラスの部分集合になっていることがわかる。
暗号理論
計算量に基づく現代暗号理論では、セキュリティ方式が証明可能な安全性を持つとは、入力項 x を長さ n の暗号鍵とするとき、セキュリティ失敗(例えば一方向函数が覆されたり、暗号論的強擬似乱数ビットが真のビットと峻別されたり)の可能性が「無視できる」ことをいう。これを適用するためには、鍵長 n は自然数でないといけないので、冒頭の定義における x は自然数としている。
もちろん、無視可能函数の一般概念では系の入力変数 x は何も鍵長 n である必要はないのであって、実際 x は事前に与えられた系の任意の計量としてよく、無視可能函数についての解析学は、こういった系のある種の隠れた解析学的振る舞いを記述するものになる。
多項式の逆数による定式化は、計算論的有界性が多項式時間に従って定義されるのと同じ理由で利用される。これは閉包性質を持つから漸近的な設定において御しやすい。例えば仮に、無視できる可能性しかないセキュリティ条件に反して攻撃が成功したとして、攻撃回数が多項式オーダーで繰り返されたならば、攻撃が全般にわたって成功する可能性はそれでもまだ無視できる。実用上はもっと具体的な函数が求められ、それによって相手の成功可能性を低く抑えたり、その可能性が適当な閾値(2−128 など)を超えない程度に十分に長いセキュリティー変数を選んだりする。
参考文献
- Goldreich, Oded (2001). Foundations of Cryptography: Volume 1, Basic Tools. Cambridge University Press. ISBN 0-521-79172-3. Fragments available at the author's web site.
- Michael Sipser (1997). Introduction to the Theory of Computation. PWS Publishing. ISBN 0-534-94728-X. Section 10.6.3: One-way functions, pp.374–376.
- Christos Papadimitriou (1993). Computational Complexity (1st edition ed.). Addison Wesley. ISBN 0-201-53082-1. Section 12.1: One-way functions, pp.279–298.
- Jean François Colombeau (1984). New Generalized Functions and Multiplication of Distributions. Mathematics Studies 84, North Holland. ISBN 0-444-86830-5.
関連項目
- 無視可能集合
- コロンボ代数
- 超準解析
- 多項式の増加に関するグロモフの定理
- 超準微分積分学
UpToDate Contents
全文を閲覧するには購読必要です。 To read the full text you will need to subscribe.
Japanese Journal
- 海外企業を買う(73)ルクソティカ・グループ Luxottica Group : 圧倒的スケールの眼鏡世界最大手
- アペリティフ : それは中食を進化させるヒント(第2回)フルリ・ミションの圧倒的な存在感
- 食品包装 = Monthly food packaging magazine : 売れる食品づくりと製造・流通・販売の総合情報誌 60(2), 56-61, 2016-02
- NAID 40020734724
- コマツのIoT 先駆のIoTで建設をスマート化,見える化で生産性を圧倒的に向上 (特集 ロボティクスとIoT/ICT)
Related Links
- デジタル大辞泉 - 圧倒的の用語解説 - [形動]他より非常に勝っているさま。「圧倒的に強い」「圧倒的な支持を得る」 ... 出典|小学館 この辞書の凡例を見る 監修:松村明 編集委員:池上秋彦、金田弘、杉崎一雄、鈴木丹士郎、中嶋 ...
- 圧倒的遊戯 ムゲンソウルズ 攻略 Wikiへようこそ このwikiは、2012年3月22日発売 圧倒的遊戯 ムゲンソウルズ の攻略wikiです ... 注意事項 基本的にネタバレ必至なので まだクリアしてない人の楽しみを損なう恐れがありますので、ご注意 ...
Related Pictures
★リンクテーブル★
[★]
- 英
- target
- 関
- ターゲット、標的