[{"@context":"http:\/\/schema.org\/","@type":"BlogPosting","@id":"https:\/\/wiki.edu.vn\/all2jp\/wiki10\/archives\/13630#BlogPosting","mainEntityOfPage":"https:\/\/wiki.edu.vn\/all2jp\/wiki10\/archives\/13630","headline":"\u30d5\u30a3\u30dc\u30ca\u30c3\u30c1\u30d2\u30fc\u30d7 – \u30a6\u30a3\u30ad\u30da\u30c7\u30a3\u30a2","name":"\u30d5\u30a3\u30dc\u30ca\u30c3\u30c1\u30d2\u30fc\u30d7 – \u30a6\u30a3\u30ad\u30da\u30c7\u30a3\u30a2","description":"before-content-x4 \u30b3\u30f3\u30d4\u30e5\u30fc\u30bf\u30fc\u30b5\u30a4\u30a8\u30f3\u30b9\u306b\u306f\u3001 \u30d5\u30a3\u30dc\u30ca\u30c3\u30c1\u30d2\u30fc\u30d7 \uff08 \u82f1\u8a9e \u30d2\u30fc\u30d7 \u300cHalde\u300d\uff09\u512a\u5148\u30ad\u30e5\u30fc\u3092\u5b9f\u73fe\u3059\u308b\u4e8c\u9805\u982d\u306b\u4f3c\u305f\u30c7\u30fc\u30bf\u69cb\u9020\u3002\u3053\u308c\u306f\u3001\u4efb\u610f\u306e\u9806\u5e8f\u3067\u5b9a\u7fa9\u3055\u308c\u305f\u512a\u5148\u5ea6\u3092\u6301\u3064\u8981\u7d20\u3092\u30d2\u30fc\u30d7\u3067\u52b9\u7387\u7684\u306b\u4fdd\u5b58\u3067\u304d\u308b\u3053\u3068\u3092\u610f\u5473\u3057\u3001\u8981\u7d20\u306f\u5e38\u306b\u6700\u512a\u5148\u4e8b\u9805\u3067\u5e38\u306b\u524a\u9664\u3067\u304d\u308b\u3053\u3068\u3092\u610f\u5473\u3057\u307e\u3059\u3002\u8981\u7d20\u306e\u512a\u5148\u9806\u4f4d\u306f\u30ad\u30fc\u306b\u611f\u9298\u3092\u53d7\u3051\u307e\u3059\u3002\u3057\u305f\u304c\u3063\u3066\u3001\u305f\u3068\u3048\u3070\u3001\u6570\u5024\u5168\u4f53\u306b\u308f\u305f\u3063\u3066\u5c0f\u7b49\u3057\u3044\u95a2\u4fc2\uff08\u2264\uff09\u3092\u8868\u3059\u3088\u3046\u306b\u3001\u30ad\u30fc\u306e\u91cf\u3088\u308a\u3082\u5408\u8a08\u9806\u5e8f\u304c\u5fc5\u8981\u3067\u3059\u3002\u30d5\u30a3\u30dc\u30ca\u30c3\u30c1\u30d8\u30c3\u30d7\u306f\u30011984\u5e74\u306b\u30de\u30a4\u30b1\u30ebL.\u30d5\u30ec\u30c3\u30c9\u30de\u30f3\u3068\u30ed\u30d0\u30fc\u30c8E.\u30bf\u30eb\u30b8\u30e3\u30f3\u306b\u3088\u3063\u3066\u6700\u521d\u306b\u8aac\u660e\u3055\u308c\u307e\u3057\u305f\u3002\u5f7c\u3089\u306e\u540d\u524d\u306f\u3001\u30d5\u30a3\u30dc\u30ca\u30c3\u30c1\u6570\u304c\u4e3b\u8981\u306a\u5f79\u5272\u3092\u679c\u305f\u3057\u3066\u3044\u308b\u30c7\u30fc\u30bf\u69cb\u9020\u306e\u5206\u6790\u306b\u7531\u6765\u3057\u3066\u3044\u307e\u3059\u3002 after-content-x4 fibonacci-heps\u306f\u64cd\u4f5c\u3092\u52b9\u7387\u7684\u306b\u30b5\u30dd\u30fc\u30c8\u3057\u3066\u3044\u307e\u3059\u3002 \u5165\u308c\u308b – \u8981\u7d20\u3092\u633f\u5165\u3059\u308b\u306b\u306f\u3001 \u524a\u9664 \u307e\u305f \u6d88\u53bb – \u8981\u7d20\u3092\u524a\u9664\u3059\u308b\u306b\u306f\u3001 getmin – \u6700\u5c0f\u30ad\u30fc\u306e\u8981\u7d20\u3092\u898b\u3064\u3051\u308b\u306b\u306f\u3001","datePublished":"2019-05-14","dateModified":"2019-05-14","author":{"@type":"Person","@id":"https:\/\/wiki.edu.vn\/all2jp\/wiki10\/archives\/author\/lordneo#Person","name":"lordneo","url":"https:\/\/wiki.edu.vn\/all2jp\/wiki10\/archives\/author\/lordneo","image":{"@type":"ImageObject","@id":"https:\/\/secure.gravatar.com\/avatar\/44a4cee54c4c053e967fe3e7d054edd4?s=96&d=mm&r=g","url":"https:\/\/secure.gravatar.com\/avatar\/44a4cee54c4c053e967fe3e7d054edd4?s=96&d=mm&r=g","height":96,"width":96}},"publisher":{"@type":"Organization","name":"Enzyklop\u00e4die","logo":{"@type":"ImageObject","@id":"https:\/\/wiki.edu.vn\/wiki4\/wp-content\/uploads\/2023\/08\/download.jpg","url":"https:\/\/wiki.edu.vn\/wiki4\/wp-content\/uploads\/2023\/08\/download.jpg","width":600,"height":60}},"image":{"@type":"ImageObject","@id":"https:\/\/wikimedia.org\/api\/rest_v1\/media\/math\/render\/svg\/74a9dfea91c47d1c6563e89bbcd891771b91acfa","url":"https:\/\/wikimedia.org\/api\/rest_v1\/media\/math\/render\/svg\/74a9dfea91c47d1c6563e89bbcd891771b91acfa","height":"","width":""},"url":"https:\/\/wiki.edu.vn\/all2jp\/wiki10\/archives\/13630","wordCount":3401,"articleBody":"     (adsbygoogle = window.adsbygoogle || []).push({});before-content-x4\u30b3\u30f3\u30d4\u30e5\u30fc\u30bf\u30fc\u30b5\u30a4\u30a8\u30f3\u30b9\u306b\u306f\u3001 \u30d5\u30a3\u30dc\u30ca\u30c3\u30c1\u30d2\u30fc\u30d7 \uff08 \u82f1\u8a9e  \u30d2\u30fc\u30d7 \u300cHalde\u300d\uff09\u512a\u5148\u30ad\u30e5\u30fc\u3092\u5b9f\u73fe\u3059\u308b\u4e8c\u9805\u982d\u306b\u4f3c\u305f\u30c7\u30fc\u30bf\u69cb\u9020\u3002\u3053\u308c\u306f\u3001\u4efb\u610f\u306e\u9806\u5e8f\u3067\u5b9a\u7fa9\u3055\u308c\u305f\u512a\u5148\u5ea6\u3092\u6301\u3064\u8981\u7d20\u3092\u30d2\u30fc\u30d7\u3067\u52b9\u7387\u7684\u306b\u4fdd\u5b58\u3067\u304d\u308b\u3053\u3068\u3092\u610f\u5473\u3057\u3001\u8981\u7d20\u306f\u5e38\u306b\u6700\u512a\u5148\u4e8b\u9805\u3067\u5e38\u306b\u524a\u9664\u3067\u304d\u308b\u3053\u3068\u3092\u610f\u5473\u3057\u307e\u3059\u3002\u8981\u7d20\u306e\u512a\u5148\u9806\u4f4d\u306f\u30ad\u30fc\u306b\u611f\u9298\u3092\u53d7\u3051\u307e\u3059\u3002\u3057\u305f\u304c\u3063\u3066\u3001\u305f\u3068\u3048\u3070\u3001\u6570\u5024\u5168\u4f53\u306b\u308f\u305f\u3063\u3066\u5c0f\u7b49\u3057\u3044\u95a2\u4fc2\uff08\u2264\uff09\u3092\u8868\u3059\u3088\u3046\u306b\u3001\u30ad\u30fc\u306e\u91cf\u3088\u308a\u3082\u5408\u8a08\u9806\u5e8f\u304c\u5fc5\u8981\u3067\u3059\u3002\u30d5\u30a3\u30dc\u30ca\u30c3\u30c1\u30d8\u30c3\u30d7\u306f\u30011984\u5e74\u306b\u30de\u30a4\u30b1\u30ebL.\u30d5\u30ec\u30c3\u30c9\u30de\u30f3\u3068\u30ed\u30d0\u30fc\u30c8E.\u30bf\u30eb\u30b8\u30e3\u30f3\u306b\u3088\u3063\u3066\u6700\u521d\u306b\u8aac\u660e\u3055\u308c\u307e\u3057\u305f\u3002\u5f7c\u3089\u306e\u540d\u524d\u306f\u3001\u30d5\u30a3\u30dc\u30ca\u30c3\u30c1\u6570\u304c\u4e3b\u8981\u306a\u5f79\u5272\u3092\u679c\u305f\u3057\u3066\u3044\u308b\u30c7\u30fc\u30bf\u69cb\u9020\u306e\u5206\u6790\u306b\u7531\u6765\u3057\u3066\u3044\u307e\u3059\u3002        (adsbygoogle = window.adsbygoogle || []).push({});after-content-x4fibonacci-heps\u306f\u64cd\u4f5c\u3092\u52b9\u7387\u7684\u306b\u30b5\u30dd\u30fc\u30c8\u3057\u3066\u3044\u307e\u3059\u3002 \u5165\u308c\u308b  – \u8981\u7d20\u3092\u633f\u5165\u3059\u308b\u306b\u306f\u3001 \u524a\u9664 \u307e\u305f \u6d88\u53bb  – \u8981\u7d20\u3092\u524a\u9664\u3059\u308b\u306b\u306f\u3001 getmin  – \u6700\u5c0f\u30ad\u30fc\u306e\u8981\u7d20\u3092\u898b\u3064\u3051\u308b\u306b\u306f\u3001 Extractmin  – \u6700\u5c0f\u9650\u306e\u30ad\u30fc\u3001\u3064\u307e\u308a\u6700\u512a\u5148\u4e8b\u9805\u3067\u8981\u7d20\u3092\u8fd4\u3057\u3066\u524a\u9664\u3059\u308b\u305f\u3081\u306b\u3001 DecoseSeyKey  – \u8981\u7d20\u306e\u30ad\u30fc\u3092\u6e1b\u3089\u3059\u305f\u3081 \u30de\u30fc\u30b8 \u307e\u305f \u9023\u5408  –  2\u3064\u306eHEP\u306e\u878d\u5408\u7528\u3002 \u3059\u3079\u3066\u306e\u64cd\u4f5c\u306f\u3001\u5bfe\u6570\u6700\u60aa\u306e\u7528\u8a9e\u3001\u3064\u307e\u308a o \uff08 \u30ed\u30b0 \u2061 n \uff09\uff09 {displaystyle {mathcal {o}}\uff08log n\uff09} \u3001\u5b9f\u88c5\u3001\u3057\u305f\u304c\u3063\u3066 n \u73fe\u5728\u30d2\u30fc\u30d7\u5185\u306b\u3042\u308b\u8981\u7d20\u306e\u6570\u306f\u305d\u3046\u3067\u3059\u3002\u64cd\u4f5c\u306e\u307f \u524a\u9664 \u3001 Extractmin \u3068 DecoseSeyKey \u6700\u60aa\u306e\u5834\u5408\u3001\u7dda\u5f62\u7528\u8a9e\u304c\u5fc5\u8981\u3067\u3059\u3002        (adsbygoogle = window.adsbygoogle || []).push({});after-content-x4o \uff08 n \uff09\uff09 {displaystyle {mathcal {o}}\uff08n\uff09} \u3002\u305f\u3060\u3057\u3001\u4ed6\u306e\u307b\u3068\u3093\u3069\u3059\u3079\u3066\u306e\u64cd\u4f5c\u306e\u30b3\u30b9\u30c8\u306f\u511f\u5374\u3055\u308c\u307e\u3059\u3002 o \uff08 \u521d\u3081 \uff09\uff09 {displaystyle {mathcal {o}}\uff081\uff09} \u3002 \u305d\u306e\u7d50\u679c\u3001\u30d5\u30a3\u30dc\u30ca\u30c3\u30c1\u30d8\u30c3\u30d7\u306f\u3001\u511f\u5374\u7a3c\u50cd\u6642\u9593\u5206\u6790\u3092\u4f34\u3046\u64cd\u4f5c\u306e\u5b9f\u884c\u306b\u304a\u3051\u308b\u4e8c\u5206\u306ehep\u307e\u305f\u306f\u4e8c\u9805HEPS\u3067\u3059 \u5165\u308c\u308b \u3068 \u30de\u30fc\u30b8 \u691c\u8a0e\u3002\u3057\u304b\u3057\u3001\u305d\u308c\u3089\u306f\u60aa\u3044\u6700\u60aa\u306e\u671f\u9593\u306b\u9069\u3057\u3066\u3044\u307e\u3059 \u524a\u9664 \u3001 Extractmin \u3068 DecoseSeyKey \u500b\u3005\u306e\u64cd\u4f5c\u3092\u52b9\u7387\u7684\u306b\u5b9f\u884c\u3059\u308b\u5fc5\u8981\u304c\u3042\u308b\u30aa\u30f3\u30e9\u30a4\u30f3\u30a2\u30eb\u30b4\u30ea\u30ba\u30e0\u306e\u5834\u5408\u3002 \u6bd4\u8f03\u671f\u9593\uff1a        (adsbygoogle = window.adsbygoogle || []).push({});after-content-x4\uff08*\uff09\u511f\u5374\u8cbb \uff08**\uff09\u3088\u304f\u77e5\u3089\u308c\u3066\u3044\u308b\u4f4d\u7f6e\u3067\u3001\u305d\u3046\u3067\u306a\u3051\u308c\u3070 o \uff08 \u30ed\u30b0 \u2061 n \uff09\uff09 {displaystyle {mathcal {o}}\uff08log n\uff09} *  \u3053\u306e\u30d5\u30a3\u30dc\u30ca\u30c3\u30c1\u30d2\u30fc\u30d7\u306b\u306f\u3001\u30b0\u30ec\u30fc\u30c90\u30011\u30013\u306e3\u3064\u306e\u6728\u304c\u3042\u308a\u307e\u3059\u30023\u3064\u306e\u30ce\u30c3\u30c8\u304c\u30de\u30fc\u30af\u3055\u308c\u3066\u3044\u307e\u3059\u3002\u3057\u305f\u304c\u3063\u3066\u3001\u30d2\u30fc\u30d7\u306e\u53ef\u80fd\u6027\u306f9\uff083\u672c\u306e\u6728 + 2\u00d73\u306e\u30de\u30fc\u30af\u3055\u308c\u305f\u30ce\u30c3\u30c8\uff09\u3067\u3059\u3002 \u30d5\u30a3\u30dc\u30ca\u30c3\u30c1\u30d2\u30fc\u30d7\u306f\u3001\u79e9\u5e8f\u3042\u308b\u5f8c\u7d99\u8005\u3092\u6301\u3064\u6728\u306e\u30ea\u30b9\u30c8\u3067\u69cb\u6210\u3055\u308c\u3066\u304a\u308a\u3001\u305d\u306e\u7d50\u3073\u76ee\u306b\u306f\u30ad\u30fc\u3068\u304a\u305d\u3089\u304f\u30de\u30fc\u30ad\u30f3\u30b0\u304c\u542b\u307e\u308c\u3066\u3044\u307e\u3059\u3002\u30ad\u30fc\u306b\u611f\u9298\u3092\u53d7\u3051\u305f\u5404\u30ce\u30fc\u30c9\u306e\u512a\u5148\u9806\u4f4d\u306f\u3001\u5c11\u306a\u304f\u3068\u3082\u5b50\u4f9b\u306e\u512a\u5148\u4e8b\u9805\u3068\u540c\u3058\u304f\u3089\u3044\u5927\u304d\u3044\u3067\u3059\u3002\u3053\u308c\u306f\u30d2\u30fc\u30d7\u6761\u4ef6\u3068\u547c\u3070\u308c\u307e\u3059\u3002\u3053\u3053\u306b\u793a\u3055\u308c\u3066\u3044\u308b\u3082\u306e\u3068 \u30df\u30f3\u30d2\u30fc\u30d7 \u3088\u308a\u5927\u304d\u306a\u512a\u5148\u5ea6\u306f\u3001\u3088\u308a\u5c0f\u3055\u306a\u30ad\u30fc\u306b\u3088\u3063\u3066\u793a\u3055\u308c\u307e\u3059\u3002 \u5faa\u74b0\u7684\u306a\u4e8c\u91cd\u5438\u5f15\u30ea\u30b9\u30c8\u306f\u3001\u6728\u306e\u30ea\u30b9\u30c8\u3068\u3001\u6728\u306e\u30ce\u30fc\u30c9\u5185\u306e\u5b50\u30ce\u30fc\u30c9\u306e\u30ea\u30b9\u30c8\u306e\u4e21\u65b9\u306b\u4f7f\u7528\u3055\u308c\u307e\u3059\u3002 \u3055\u3089\u306b\u3001\u30dd\u30a4\u30f3\u30bf\u30fc\u306f\u3001\u6700\u512a\u5148\u4e8b\u9805\u3001\u3064\u307e\u308a\u6700\u5c0f\u306e\u30ad\u30fc\u3067\u3001\u8981\u7d20\u4e0a\u3067\u7ba1\u7406\u3055\u308c\u307e\u3059\u3002 \u30d5\u30a3\u30dc\u30ca\u30c3\u30c1\u306e\u982d\u304c\u305d\u3046\u3059\u308b\u3067\u3057\u3087\u3046 \u6b63\u898f\u5316 \u3059\u3079\u3066\u306e\u6728\u304c\u7570\u306a\u308b\u7a0b\u5ea6\u306e\u6839\u3092\u6301\u3063\u3066\u3044\u308b\u5834\u5408\u3001i\u3002 H.\u30ea\u30b9\u30c8\u5185\u306e\u6728\u306e\u6839\u304c\u3059\u3079\u3066\u7570\u306a\u308b\u591a\u304f\u306e\u5b50\u30ce\u30fc\u30c9\u3092\u6301\u3063\u3066\u3044\u308b\u5834\u5408\u3002 \u30d5\u30a3\u30dc\u30ca\u30c3\u30c1\u30d2\u30fc\u30d7\u306f\u3001\u6700\u5c0f\u30d8\u30c3\u30c9\u30d7\u30ed\u30d1\u30c6\u30a3\u3092\u6e80\u305f\u3059\u6728\u306e\u30b3\u30ec\u30af\u30b7\u30e7\u30f3\u3067\u3059\u3002 H.\u5b50\u4f9b\u306e\u9375\u306f\u3001\u5e38\u306b\u7236\u89aa\u306e\u9375\u3088\u308a\u3082\u5927\u304d\u3044\u304b\u7b49\u3057\u304f\u306a\u308a\u307e\u3059\u3002\u3053\u308c\u306f\u3001\u6700\u5c0f\u306e\u30ad\u30fc\u304c\u5e38\u306b\u6728\u306e1\u3064\u306e\u6839\u5143\u306b\u3042\u308b\u3053\u3068\u3092\u610f\u5473\u3057\u307e\u3059\u3002\u4e8c\u9805HEP\u3068\u6bd4\u8f03\u3057\u3066\u3001\u30d5\u30a3\u30dc\u30ca\u30c3\u30c1\u30d2\u30fc\u30d7\u306e\u69cb\u9020\u306f\u3088\u308a\u67d4\u8edf\u3067\u3059\u3002\u6728\u306b\u306f\u51e6\u65b9\u3055\u308c\u305f\u5f62\u304c\u306a\u304f\u3001\u6975\u7aef\u306a\u5834\u5408\u306b\u306f\u3001\u30d2\u30fc\u30d7\u306b\u306f\u5225\u306e\u6728\u306b\u8981\u7d20\u304c\u3042\u308a\u307e\u3059\u3002\u3053\u306e\u67d4\u8edf\u6027\u306b\u3088\u308a\u3001\u4e00\u90e8\u306e\u30d7\u30ed\u30bb\u30b9\u3092\u5b9f\u884c\u3059\u308b\u3053\u3068\u304c\u3067\u304d\u307e\u3059\u3002\u3053\u308c\u306f\u3001\u5f8c\u306e\u30d7\u30ed\u30bb\u30b9\u306e\u4f5c\u696d\u306b\u3088\u3063\u3066\u5f15\u304d\u8d77\u3053\u3055\u308c\u308b\u3082\u306e\u3067\u3059\u3002\u305f\u3068\u3048\u3070\u3001HEP\u306e\u30de\u30fc\u30b8\u306f\u3001\u5358\u306b\u6728\u306e2\u3064\u306e\u30ea\u30b9\u30c8\u3092\u30c1\u30a7\u30c3\u30af\u3059\u308b\u3053\u3068\u306b\u3088\u3063\u3066\u3001\u64cd\u4f5c\u306f DecoseSeyKey \u6642\u3005\u3001\u5f7c\u306e\u5305\u62ec\u7684\u306a\u30ce\u30fc\u30c9\u304b\u3089\u7d50\u3073\u76ee\u3092\u5207\u308a\u53d6\u308a\u3001\u65b0\u3057\u3044\u30c4\u30ea\u30fc\u3092\u5f62\u6210\u3057\u307e\u3059\u3002 \u305f\u3060\u3057\u3001\u3042\u308b\u6642\u70b9\u3067\u3001\u76ee\u7684\u306e\u7528\u8a9e\u3092\u9054\u6210\u3059\u308b\u305f\u3081\u306b\u3001\u30d2\u30fc\u30d7\u306b\u6ce8\u6587\u3092\u5c0e\u5165\u3059\u308b\u5fc5\u8981\u304c\u3042\u308a\u307e\u3059\u3002\u7279\u306b\u3001\u30ce\u30fc\u30c9\u306e\u7a0b\u5ea6\uff08\u3053\u3053\u3067\u306f\u5b50\u4f9b\u306e\u6570\u3092\u610f\u5473\u3057\u307e\u3059\uff09\u306f\u975e\u5e38\u306b\u4f4e\u304f\u4fdd\u305f\u308c\u307e\u3059\u3002 o \uff08 \u30ed\u30b0 \u2061 n \uff09\uff09 {displaystyle {mathcal {o}}\uff08log n\uff09} \u305d\u3057\u3066\u3001k\u306e\u30ce\u30fc\u30c9\u306b\u6839\u4ed8\u3044\u3066\u3044\u308b\u90e8\u5206\u30c4\u30ea\u30fc\u306e\u30b5\u30a4\u30ba\u306f\u5c11\u306a\u304f\u3068\u3082 f K+2 \u3001\u305d\u308c\u306b\u3088\u3063\u3066 f k  k -te fibonacci\u756a\u53f7\u3002\u3053\u308c\u306f\u3001\u30eb\u30fc\u30c8\u30ce\u30fc\u30c9\u4ee5\u5916\u306e\u30ce\u30fc\u30c9\u304b\u3089\u306e\u307f\u5b50\u4f9b\u3092\u5207\u308a\u53d6\u308b\u3053\u3068\u304c\u3067\u304d\u308b\u3068\u3044\u3046\u30eb\u30fc\u30eb\u306b\u3088\u3063\u3066\u9054\u6210\u3055\u308c\u307e\u3059\u3002 2\u756a\u76ee\u306e\u5b50\u4f9b\u304c\u906e\u65ad\u3055\u308c\u3066\u3044\u308b\u5834\u5408\u3001\u30ce\u30fc\u30c9\u81ea\u8eab\u304c\u5305\u62ec\u7684\u306a\u30ce\u30fc\u30c9\u304b\u3089\u5207\u308a\u53d6\u3089\u308c\u3001\u65b0\u3057\u3044\u30c4\u30ea\u30fc\u306e\u6839\u5143\u306b\u306a\u308b\u5fc5\u8981\u304c\u3042\u308a\u307e\u3059\u3002\u6728\u306e\u6570\u306f\u64cd\u4f5c\u4e2d\u3067\u3059 Extractmin \u6728\u304c\u30ea\u30f3\u30af\u3055\u308c\u3066\u3044\u308b\u5834\u6240\u3092\u6e1b\u3089\u3057\u307e\u3059\u3002 \u69cb\u9020\u304c\u7de9\u3093\u3067\u3044\u308b\u305f\u3081\u3001\u4e00\u90e8\u306e\u64cd\u4f5c\u306b\u306f\u6642\u9593\u304c\u304b\u304b\u308b\u5834\u5408\u304c\u3042\u308a\u307e\u3059\u304c\u3001\u4ed6\u306e\u64cd\u4f5c\u306f\u975e\u5e38\u306b\u8fc5\u901f\u306b\u5b9f\u884c\u3055\u308c\u307e\u3059\u3002\u511f\u5374\u3055\u308c\u305f\u30e9\u30f3\u30cb\u30f3\u30b0\u6642\u9593\u5206\u6790\u3067\u306f\u3001\u975e\u5e38\u306b\u9ad8\u901f\u306a\u30d7\u30ed\u30bb\u30b9\u304c\u5b9f\u969b\u3088\u308a\u3082\u5c11\u3057\u6642\u9593\u304c\u304b\u304b\u308b\u3075\u308a\u3092\u3059\u308b\u3053\u3068\u306b\u3088\u308a\u3001\u6f5c\u5728\u7684\u306a\u65b9\u6cd5\u3092\u4f7f\u7528\u3057\u307e\u3059\u3002\u3053\u306e\u8ffd\u52a0\u6642\u9593\u306f\u5f8c\u3067\u7d50\u5408\u3055\u308c\u3001\u5b9f\u969b\u306e\u7528\u8a9e\u304b\u3089\u9045\u3044\u64cd\u4f5c\u304c\u63a7\u9664\u3055\u308c\u307e\u3059\u3002\u5f8c\u3067\u4f7f\u7528\u3059\u308b\u305f\u3081\u306b\u7bc0\u7d04\u3055\u308c\u308b\u6642\u9593\u306f\u3001\u5e38\u306b\u6f5c\u5728\u7684\u306a\u95a2\u6570\u306b\u3088\u3063\u3066\u6e2c\u5b9a\u3055\u308c\u307e\u3059\u3002\u30d5\u30a3\u30dc\u30ca\u30c3\u30c1\u30d2\u30fc\u30d7\u306e\u53ef\u80fd\u6027\u306f\u306b\u3088\u3063\u3066\u4e0e\u3048\u3089\u308c\u307e\u3059 \u30dd\u30c6\u30f3\u30b7\u30e3\u30eb= t + 2m \u3002 \u6728\u306e\u6570\u306f\u30d5\u30a3\u30dc\u30ca\u30c3\u30c1\u30d2\u30fc\u30d7\u306b\u3042\u308a\u3001 m \u30de\u30fc\u30af\u3055\u308c\u305f\u30ce\u30c3\u30c8\u306e\u6570\u3002\u3053\u306e\u7d50\u3073\u76ee\u304c\u5225\u306e\u30ce\u30fc\u30c9\u306e\u4e0b\u4f4d\u7d50\u3073\u76ee\u306b\u306a\u3063\u305f\u305f\u3081\u3001\u5f7c\u306e\u4e0b\u4f4d\u30ce\u30fc\u30c9\u306e\u5c11\u306a\u304f\u3068\u30821\u3064\u304c\u5207\u65ad\u3055\u308c\u305f\u5834\u5408\u3001\u7d50\u3073\u76ee\u304c\u30de\u30fc\u30af\u3055\u308c\u307e\u3059\u3002\u3059\u3079\u3066\u306e\u6839\u306f\u30de\u30fc\u30af\u3055\u308c\u3066\u3044\u307e\u305b\u3093\u3002\u64cd\u4f5c\u306e\u511f\u5374\u7528\u8a9e\u306f\u3001\u5b9f\u969b\u306e\u6642\u9593\u306e\u5408\u8a08\u3068 c  – \u5834\u5408\u306b\u3088\u3063\u3066\u306f\u3001\u30dd\u30c6\u30f3\u30b7\u30e3\u30eb\u306e\u9055\u3044\u304c\u3042\u308a\u307e\u3059 c \u5b9a\u6570\u3067\u3059\u3002 \u3057\u305f\u304c\u3063\u3066\u3001\u5404\u30c4\u30ea\u30fc\u306e\u6839\u306f\u3001\u30d2\u30fc\u30d7\u306b\u6642\u9593\u5358\u4f4d\u3092\u7bc0\u7d04\u3057\u307e\u3057\u305f\u3002\u3053\u306e\u6642\u9593\u5358\u4f4d\u306f\u3001\u5f8c\u3067\u3053\u306e\u30c4\u30ea\u30fc\u3092\u511f\u5374\u6642\u95930\u306b\u5225\u306e\u30c4\u30ea\u30fc\u3068\u30ea\u30f3\u30af\u3059\u308b\u305f\u3081\u306b\u4f7f\u7528\u3067\u304d\u307e\u3059\u3002\u3055\u3089\u306b\u3001\u30de\u30fc\u30af\u3055\u308c\u305f\u5404\u7d50\u3073\u76ee\u306b2\u3064\u306e\u6642\u9593\u30e6\u30cb\u30c3\u30c8\u304c\u4fdd\u5b58\u3055\u308c\u307e\u3059\u3002\u5305\u62ec\u7684\u306a\u7d50\u3073\u76ee\u304b\u3089\u7d50\u3073\u76ee\u3092\u5207\u308a\u53d6\u308b\u3053\u3068\u304c\u3067\u304d\u307e\u3059\u3002\u3053\u306e\u5834\u5408\u3001\u30ce\u30fc\u30c9\u306f\u30eb\u30fc\u30c8\u306b\u306a\u308a\u30012\u756a\u76ee\u306e\u6642\u9593\u5358\u4f4d\u306f\u4ed6\u306e\u30eb\u30fc\u30c8\u306b\u305d\u306e\u4e2d\u306b\u4fdd\u5b58\u3055\u308c\u305f\u307e\u307e\u3067\u3059\u3002 Table of Contents\u624b\u8853 \u5165\u308c\u308b [ \u7de8\u96c6 | \u30bd\u30fc\u30b9\u30c6\u30ad\u30b9\u30c8\u3092\u7de8\u96c6\u3057\u307e\u3059 ] \u624b\u8853 \u30de\u30fc\u30b8 [ \u7de8\u96c6 | \u30bd\u30fc\u30b9\u30c6\u30ad\u30b9\u30c8\u3092\u7de8\u96c6\u3057\u307e\u3059 ] \u624b\u8853 DecoseSeyKey [ \u7de8\u96c6 | \u30bd\u30fc\u30b9\u30c6\u30ad\u30b9\u30c8\u3092\u7de8\u96c6\u3057\u307e\u3059 ] [ \u7de8\u96c6 | \u30bd\u30fc\u30b9\u30c6\u30ad\u30b9\u30c8\u3092\u7de8\u96c6\u3057\u307e\u3059 ] \u624b\u8853 \u524a\u9664 [ \u7de8\u96c6 | \u30bd\u30fc\u30b9\u30c6\u30ad\u30b9\u30c8\u3092\u7de8\u96c6\u3057\u307e\u3059 ] \u624b\u8853 \u5165\u308c\u308b [ \u7de8\u96c6 | \u30bd\u30fc\u30b9\u30c6\u30ad\u30b9\u30c8\u3092\u7de8\u96c6\u3057\u307e\u3059 ] \u306e\u5834\u5408\u3001\u8981\u7d20\u3092\u633f\u5165\u3059\u308b\u5834\u5408 \u5165\u308c\u308b \u3053\u308c\u304c\u5358\u306b\u5225\u306e\u30c4\u30ea\u30fc\u3068\u3057\u3066\u6728\u306e\u30ea\u30b9\u30c8\u306b\u633f\u5165\u3055\u308c\u3001\u5fc5\u8981\u306b\u5fdc\u3058\u3066\u3001\u633f\u5165\u3055\u308c\u305f\u8981\u7d20\u306e\u30ad\u30fc\u304c\u4ee5\u524d\u306e\u6700\u5c0f\u8981\u7d20\u306e\u30ad\u30fc\u3088\u308a\u3082\u5c0f\u3055\u3044\u5834\u5408\u3001\u30dd\u30a4\u30f3\u30bf\u30fc\u304c\u6700\u5c0f\u8981\u7d20\u306b\u66f4\u65b0\u3055\u308c\u308b\u5834\u5408\u3002\u3057\u305f\u304c\u3063\u3066\u3001\u7528\u8a9e\u306f\u4e00\u5b9a\u3067\u3059\u3002 o \uff08 \u521d\u3081 \uff09\uff09 {displaystyle {mathcal {o}}\uff081\uff09}  \u624b\u8853 \u30de\u30fc\u30b8 [ \u7de8\u96c6 | \u30bd\u30fc\u30b9\u30c6\u30ad\u30b9\u30c8\u3092\u7de8\u96c6\u3057\u307e\u3059 ] \u305d\u308c\u3092\u4f7f\u7528\u3057\u30662\u3064\u306eHEP\u306e\u30de\u30fc\u30b8\u3082\u540c\u69d8\u306b\u7c21\u5358\u3067\u3059 \u30de\u30fc\u30b8 \u3002\u3053\u3053\u3067\u3001\u30de\u30fc\u30b8\u30c4\u30ea\u30fc\u306e\u30ea\u30b9\u30c8\u306f\u5358\u306b\u30c1\u30a7\u30fc\u30f3\u3055\u308c\u3001\u8ffd\u52a0\u3055\u308c\u305f\u30d2\u30fc\u30d7\u306e\u6700\u5c0f\u8981\u7d20\u306e\u30ad\u30fc\u304c\u4ee5\u524d\u306e\u6700\u5c0f\u8981\u7d20\u306e\u9375\u3088\u308a\u3082\u5c0f\u3055\u3044\u5834\u5408\u3001\u30dd\u30a4\u30f3\u30bf\u30fc\u306f\u6700\u5c0f\u8981\u7d20\u306b\u5b9f\u88c5\u3055\u308c\u308b\u5834\u5408\u304c\u3042\u308a\u307e\u3059\u3002\u3053\u306e\u7528\u8a9e\u306f\u518d\u3073\u4e00\u5b9a\u3067\u3059\uff1a o \uff08 \u521d\u3081 \uff09\uff09 {displaystyle {mathcal {o}}\uff081\uff09}  \u624b\u8853 DecoseSeyKey [ \u7de8\u96c6 | \u30bd\u30fc\u30b9\u30c6\u30ad\u30b9\u30c8\u3092\u7de8\u96c6\u3057\u307e\u3059 ]  \u30ad\u30fc\u3092\u7d50\u3073\u76ee9\u304b\u30890\u306b\u6e1b\u3089\u3057\u305f\u5f8c\u3001\u30d5\u30a3\u30dc\u30ca\u30c3\u30c1\u306e\u982d\u3068\u3001\u3053\u306e\u7d50\u3073\u76ee\u3068\u305d\u306e2\u3064\u306e\u9855\u8457\u306a\u7956\u5148\u306f\u3001\u30eb\u30fc\u30c81\u3067\u6728\u304b\u3089\u5207\u308a\u53d6\u3089\u308c\u3001\u65b0\u3057\u3044\u30eb\u30fc\u30c4\u3068\u3057\u3066\u914d\u7f6e\u3055\u308c\u307e\u3059\u3002 \u307e\u305f\u3001\u64cd\u4f5c DecoseSeyKey \u30d5\u30a3\u30dc\u30ca\u30c3\u30c1\u30d2\u30fc\u30d7\u3067\u975e\u5e38\u306b\u6020zy\u306a\u5b9f\u884c\u3055\u308c\u307e\u3059\u3002\u66f4\u65b0\u3055\u308c\u308b\u8981\u7d20\u306e\u9375\u306f\u3001\u6700\u521d\u306b\u65b0\u3057\u3044\u5024\u306b\u914d\u7f6e\u3055\u308c\u307e\u3059\u3002\u4eca\u3001\u305d\u308c\u306f\u30d2\u30fc\u30d7\u30d7\u30ed\u30d1\u30c6\u30a3\u3001\u3064\u307e\u308aH.\u3059\u3079\u3066\u306e\u5b50\u4f9b\u306f\u7236\u89aa\u3088\u308a\u3082\u5927\u304d\u304f\u3001\u3082\u306f\u3084\u6e80\u305f\u3055\u308c\u3066\u3044\u307e\u305b\u3093\u3002\u3053\u308c\u3092\u5fa9\u5143\u3059\u308b\u305f\u3081\u306b\u3001\u66f4\u65b0\u3055\u308c\u305f\u8981\u7d20\u306f\u3001\u7236\u89aa\u306e\u30ce\u30fc\u30c9\u306e\u5b50\u4f9b\u306e\u30ea\u30b9\u30c8\u304b\u3089\u524a\u9664\u3055\u308c\u3001\u5225\u306e\u6728\u3068\u3057\u3066\u6728\u306e\u30ea\u30b9\u30c8\u306b\u633f\u5165\u3055\u308c\u307e\u3059\u3002 \u30d2\u30fc\u30d7\u64cd\u4f5c\u304c\u305d\u306e\u3088\u3046\u306a\u64cd\u4f5c\u3092\u901a\u3058\u3066\u5927\u304d\u304f\u6210\u9577\u3057\u3059\u304e\u308b\u3053\u3068\u3092\u907f\u3051\u308b\u305f\u3081\u306b\u3001\u305d\u308c\u306f Extractmin \u975e\u5e38\u306b\u9577\u3044\u9593\u3001\u3042\u306a\u305f\u306f1\u3064\u306e\u5b50\u4f9b\u306e\u30ce\u30fc\u30c9\u306e\u307f\u304c\u5404\u7d50\u3073\u76ee\u304b\u3089\u524a\u9664\u3055\u308c\u308b\u53ef\u80fd\u6027\u304c\u3042\u308b\u3068\u3044\u3046\u72b6\u614b\u3092\u914d\u7f6e\u3057\u307e\u3059\u3002\u305d\u3046\u3057\u306a\u3044\u3068\u3001\u30ce\u30fc\u30c9\u81ea\u8eab\u3092\u7236\u89aa\u306e\u30ce\u30fc\u30c9\u306e\u5b50\u30ea\u30b9\u30c8\u304b\u3089\u524a\u9664\u3059\u308b\u5fc5\u8981\u304c\u3042\u308a\u307e\u3059\uff08\u624b\u9806 \u5207\u308b \uff09\u3053\u308c\u3092\u5b9f\u73fe\u3059\u308b\u305f\u3081\u306b\u3001\u4e0a\u8a18\u306e\u30ce\u30fc\u30c9\u306e\u30de\u30fc\u30ad\u30f3\u30b0\u304c\u8868\u793a\u3055\u308c\u307e\u3059\u3002\u30ce\u30c3\u30c8\u306f\u3001\u30eb\u30fc\u30c8\u30ea\u30b9\u30c8\u306e\u30ce\u30fc\u30c9\u3067\u306f\u306a\u3044\u5834\u5408\u306b\u6b63\u78ba\u306b\u30de\u30fc\u30af\u3055\u308c\u3001\u5b50\u4f9b\u306f\u5b50\u4f9b\u30ea\u30b9\u30c8\u304b\u3089\u524a\u9664\u3055\u308c\u307e\u3057\u305f\u3002\u7236\u89aa\u304c\u30de\u30fc\u30af\u3055\u308c\u305f\u5b50\u4f9b\u304c\u524a\u9664\u3055\u308c\u308b\u3088\u3046\u306b\u306a\u3063\u305f\u5834\u5408\u3001\u3042\u306a\u305f\u306f\u624b\u9806\u3092\u547c\u3073\u51fa\u3057\u307e\u3059 \u5207\u308b \u7236\u89aa\u3078\u306e\u518d\u5e30\u3002\u983b\u7e41\u306b\u6570\u5b66\u7684\u306a\u5206\u6790\u306e\u5f8c\u3001\u7a0b\u5ea6\u306e\u6728\u306e\u7d50\u3073\u76ee\u306e\u6570\u304c k {displaystyle k} \u3001d\u3002 H.\u6728\u306e\u6839\u304c\u3042\u308a\u307e\u3059 k {displaystyle k} \u5b50\u4f9b\u305f\u3061\u3001\u305d\u3057\u3066\u3092\u901a\u3057\u3066 \uff08 k + 2 \uff09\uff09 {displaystyle\uff08k+2\uff09} -e fibonacci\u756a\u53f7 f k + 2 \u2265 \u30d5\u30a1\u30a4 k {displaystyle f_ {k+2} geq varphi ^{k}} \u305d\u308c\u306b\u3088\u3063\u3066\u5e95\u306b\u9650\u5b9a\u3055\u308c\u3066\u3044\u307e\u3059 \u30d5\u30a1\u30a4 {displaystyle varphi} \u30b4\u30fc\u30eb\u30c7\u30f3\u30ab\u30c3\u30c8 1+52 {displaystyle {frac {1+ {sqrt {5}}} {2}}}}} \u306f\u3002\u3053\u308c\u306f\u95a2\u6570\u7528\u3067\u3059 Extractmin \u975e\u5e38\u306b\u91cd\u8981\u3067\u3059\u3002 [ \u7de8\u96c6 | \u30bd\u30fc\u30b9\u30c6\u30ad\u30b9\u30c8\u3092\u7de8\u96c6\u3057\u307e\u3059 ]  \u6700\u5c0f\u30ad\u30fc1\u306e\u7d50\u3073\u76ee\u304c\u524a\u9664\u3055\u308c\u3001\u305d\u306e\u4e0b\u4f4d\u8981\u7d20\u304c\u5225\u3005\u306e\u6728\u3068\u3057\u3066\u8ffd\u52a0\u3055\u308c\u307e\u3057\u305f\u3002  \u624b\u8853\u3092\u5b8c\u4e86\u3057\u305f\u5f8c\u306e\u30d5\u30a3\u30dc\u30ca\u30c3\u30c1\u30d8\u30c3\u30c9 Extractmin \u3002\u307e\u305a\u3001\u30ce\u30fc\u30c93\u30686\u304c\u63a5\u7d9a\u3055\u308c\u3066\u3044\u307e\u3059\u3002\u6b21\u306b\u3001\u7d50\u679c\u306f\u30eb\u30fc\u30c82\u306e\u30c4\u30ea\u30fc\u306b\u30ea\u30f3\u30af\u3055\u308c\u307e\u3059\u3002 \u4eca\u3001\u4e2d\u5fc3\u7684\u306a\u95a2\u6570\u3078\uff1a Extractmin \u3002\u3053\u306e\u95a2\u6570\u306e\u958b\u59cb\u306f\u975e\u5e38\u306b\u5358\u7d14\u3067\u3059\u3002\u30dd\u30a4\u30f3\u30bf\u30fc\u304c\u793a\u3059\u6700\u5c0f\u8981\u7d20\u304c\u767a\u884c\u3055\u308c\u3001\u3059\u3079\u3066\u306e\u5b50\u4f9b\u304c\u500b\u3005\u306e\u6728\u3068\u3057\u3066\u30eb\u30fc\u30c8\u30ea\u30b9\u30c8\u306b\u8ffd\u52a0\u3055\u308c\u3001\u8981\u7d20\u81ea\u4f53\u304c\u30d2\u30fc\u30d7\u304b\u3089\u524a\u9664\u3055\u308c\u307e\u3059\u3002\u3053\u308c\u3067\u3001\u65b0\u3057\u3044\u6700\u5c0f\u5024\u3092\u6c7a\u5b9a\u3059\u308b\u5fc5\u8981\u304c\u3042\u308a\u307e\u3059\u3002\u305f\u3060\u3057\u3001\u4ee5\u524d\u306e\u6a5f\u80fd\u306e\u3044\u305a\u308c\u3082\u30d2\u30fc\u30d7\u3092\u6df1\u304f\u4f38\u3070\u3059\u3053\u3068\u306f\u306a\u3044\u305f\u3081\u3001\u3053\u308c\u306b\u306f\u7dda\u5f62\u6642\u9593\u304c\u304b\u304b\u308a\u307e\u3059\u3002\u3057\u305f\u304c\u3063\u3066\u3001\u30d2\u30fc\u30d7\u306f\u4e8b\u524d\u306b\u624b\u9806\u3068\u3068\u3082\u306b\u4f7f\u7528\u3055\u308c\u307e\u3059 \u6383\u9664 “\u30af\u30ea\u30fc\u30f3\u30a2\u30c3\u30d7”\u3002\u305d\u306e\u5f8c\u3001\u30eb\u30fc\u30c8\u30ea\u30b9\u30c8\u306e\u3059\u3079\u3066\u306e\u8981\u7d20\u306f\u3001\u65b0\u3057\u3044\u6700\u5c0f\u5024\u3092\u898b\u3064\u3051\u308b\u305f\u3081\u306b\u884c\u308f\u308c\u307e\u3059\u3002 \u624b\u9806 \u6383\u9664 \uff1a\u3053\u306e\u305f\u3081\u3001\u30a2\u30ec\u30a4\u304c\u6700\u521d\u3067\u3059 a {displaystyle a} \u304b\u3089 0 {displaystyle 0} \u305d\u308c\u307e\u3067 2 de \u30ed\u30b0 \u2061 n {displaystyle 2cdot log n} \u521d\u671f\u5316\u3002\u3053\u308c\u306f\u3001\u6b21\u306e\u3088\u3046\u306b\u3059\u308b\u5fc5\u8981\u304c\u3042\u308a\u307e\u3059 \u6383\u9664 \u305d\u308c\u4ee5\u5916\u306e d {displaystyle d} \u30eb\u30fc\u30c8\u30ea\u30b9\u30c8\u306b\u7a0b\u5ea6\u306e\u8981\u7d20\u304c\u3042\u308b\u5834\u5408\u3001\u6728\u306e\u4e0a\u306b\u30dd\u30a4\u30f3\u30bf\u30fc\u304c\u7acb\u3063\u3066\u3044\u307e\u3059 d {displaystyle d} \u5b58\u5728\u3057\u305f\u3002\u3057\u305f\u304c\u3063\u3066\u3001\u30eb\u30fc\u30c8\u30ea\u30b9\u30c8\u306e\u3059\u3079\u3066\u306e\u8981\u7d20\u306f\u3001\u3053\u306e\u914d\u5217\u306b\u5206\u985e\u3055\u308c\u307e\u3059\u3002 2\u3064\u306e\u8981\u7d20\u304c\u540c\u3058\u7a0b\u5ea6\u3092\u6301\u3063\u3066\u3044\u308b\u3068\u304d\u306b\u30aa\u30fc\u30d0\u30fc\u30e9\u30c3\u30d7\u304c\u3042\u308b\u5834\u5408\u3001\u4ed6\u306e\u8981\u7d20\u306e\u7236\u89aa\u306e\u5c0f\u3055\u306a\u30ad\u30fc\u3067\u8981\u7d20\u304c\u4f5c\u6210\u3055\u308c\u3001\u305d\u306e\u7a0b\u5ea6\u304c\u5897\u52a0\u3057\u3001\u914d\u5217\u306b\u5206\u985e\u3055\u308c\u307e\u3059\u3002\u4e0a\u8a18\u306e\u6570\u5b66\u5206\u6790\u306f\u3001\u305b\u3044\u305c\u3044\u305d\u308c\u3092\u4fdd\u8a3c\u3057\u307e\u3059 2 de \u30ed\u30b0 \u2061 n {displaystyle 2cdot log n} \u914d\u5217\u5185\u306e\u8981\u7d20\u3092\u30b9\u30bf\u30f3\u30c9\u3057\u307e\u3059\u3002\u6700\u5f8c\u306b\u3001\u65b0\u3057\u3044\u30eb\u30fc\u30c8\u30ea\u30b9\u30c8\u3092\u8a2d\u5b9a\u3059\u308b\u5fc5\u8981\u304c\u3042\u308a\u307e\u3059\u3002\u3053\u308c\u3092\u884c\u3046\u306b\u306f\u3001\u914d\u5217\u306e\u3059\u3079\u3066\u306e\u8981\u7d20\u304c a {displaystyle a} \u901a\u904e\u3057\u3066\u30ea\u30b9\u30c8\u306b\u7d71\u5408\u3057\u307e\u3057\u305f\u3002\u305d\u306e\u7528\u8a9e\u306f\u305d\u3046\u3067\u3059 o \uff08 \u30ed\u30b0 \u2061 n \uff09\uff09 {displaystyle {mathcal {o}}\uff08log n\uff09} \u3002 \u624b\u8853 \u524a\u9664 [ \u7de8\u96c6 | \u30bd\u30fc\u30b9\u30c6\u30ad\u30b9\u30c8\u3092\u7de8\u96c6\u3057\u307e\u3059 ] \u306e\u305f\u3081\u306b\u30d2\u30fc\u30d7\u304b\u3089\u8981\u7d20\u3092\u524a\u9664\u3057\u307e\u3059 \u524a\u9664 \u6700\u521d\u306b\u884c\u308f\u308c\u307e\u3059 DecoseSeyKey \u524a\u9664\u3055\u308c\u308b\u8981\u7d20\u306e\u30ad\u30fc\u306f\u3001\u524d\u306e\u6700\u5c0f\u5024\u3088\u308a\u3082\u5c0f\u3055\u3044\u5024\u306b\u8a2d\u5b9a\u3055\u308c\u307e\u3059\u3002\u3053\u308c\u306b\u3088\u308a\u3001\u3053\u306e\u8981\u7d20\u304c\u65b0\u3057\u3044\u6700\u5c0f\u8981\u7d20\u306b\u306a\u308a\u307e\u3059\u3002\u305d\u308c\u304b\u3089\u305d\u308c\u306f\u53ef\u80fd\u3067\u3059 Extractmin \u9664\u53bb\u3055\u308c\u308b\u3002\u306e\u30e9\u30f3\u30bf\u30a4\u30e0 DecoseSeyKey \u306e\u4e00\u5b9a\u3067\u3059 Extractmin \u306b\u76f8\u5f53\u3057\u307e\u3059 o \uff08 \u30ed\u30b0 \u2061 n \uff09\uff09 {displaystyle {mathcal {o}}\uff08log n\uff09} \u3001\u3057\u305f\u304c\u3063\u3066\u3001\u64cd\u4f5c\u304c\u3042\u308a\u307e\u3059 \u524a\u9664 \u30e9\u30f3\u30bf\u30a4\u30e0\u3082 o \uff08 \u30ed\u30b0 \u2061 n \uff09\uff09 {displaystyle {mathcal {o}}\uff08log n\uff09} \u3002 \u64cd\u4f5c \u524a\u9664 \u3068 DecoseSeyKey \u5bfe\u5fdc\u3059\u308b\u8981\u7d20\u306e\u4f4d\u7f6e\u304c\u30d2\u30fc\u30d7\u3067\u77e5\u3089\u308c\u3066\u3044\u308b\u3053\u3068\u3092\u8ff0\u3079\u3066\u3044\u307e\u3059\u3002\u4e00\u822c\u306b\u3001\u30d2\u30fc\u30d7\u5185\u306e\u8981\u7d20\u3092\u52b9\u7387\u7684\u306b\u691c\u7d22\u3059\u308b\u3053\u3068\u306f\u3067\u304d\u307e\u305b\u3093\u3002\u3057\u305f\u304c\u3063\u3066\u3001\u64cd\u4f5c \u5165\u308c\u308b \u633f\u5165\u3055\u308c\u305f\u8981\u7d20\u306e\u30b3\u30f3\u30c6\u30ca\u3078\u306e\u30dd\u30a4\u30f3\u30bf\u3092\u914d\u4fe1\u3057\u307e\u3059\u3002\u3053\u308c\u306f\u3001\u5fc5\u8981\u306b\u5fdc\u3058\u3066\u9069\u5207\u306a\u5834\u6240\u3067\u547c\u3073\u51fa\u3057\u30d7\u30ed\u30b0\u30e9\u30e0\u304c\u899a\u3048\u3066\u3044\u307e\u3059\u3002 Dijkstra\u306e\u30a2\u30eb\u30b4\u30ea\u30ba\u30e0\u304c\u6700\u77ed\u306e\u30d1\u30b9\u307e\u305f\u306f\u30d7\u30ea\u30e0\u304b\u3089\u306e\u30a2\u30eb\u30b4\u30ea\u30ba\u30e0\u3092\u898b\u3064\u3051\u3066\u3001\u30b0\u30e9\u30d5\u3067\u6700\u5c0f\u9650\u306e\u30a8\u30ad\u30b5\u30a4\u30c6\u30a3\u30f3\u30b0\u306a\u30c4\u30ea\u30fc\u3092\u898b\u3064\u3051\u308b\u3053\u3068 n \u7d50\u3073\u76ee\u3068 m \u30a8\u30c3\u30b8\u306f\u3001\u30e9\u30f3\u30bf\u30a4\u30e0\u3068\u3068\u3082\u306b\u4f7f\u7528\u3067\u304d\u307e\u3059 o \uff08 n de \u30ed\u30b0 \u2061 \uff08 n \uff09\uff09 + m \uff09\uff09 {displaystyle {mathcal {o}}\uff08ncdot log\uff08n\uff09+m\uff09} \u5b9f\u88c5\u3059\u308b\u3002\u30d0\u30a4\u30ca\u30ea\u307e\u305f\u306f\u4e8c\u9805\u5c71\u3067\u306f\u3001\u306e\u6761\u4ef6\u306e\u307f o \uff08 \uff08 n + m \uff09\uff09 de \u30ed\u30b0 \u2061 \uff08 n \uff09\uff09 \uff09\uff09 {displaystyle {mathcal {o}}\uff08\uff08n+m\uff09cdot log\uff08n\uff09\uff09} \u53ef\u80fd\u3002 \u30de\u30a4\u30b1\u30eb\u30fbL\u30fb\u30d5\u30ec\u30c3\u30c9\u30de\u30f3\u3001\u30ed\u30d0\u30fc\u30c8\u30fbE\u30fb\u30bf\u30fc\u30b8\u30e3\u30f3\uff1a Fibonacci Heaps\u3068\u6539\u5584\u3055\u308c\u305f\u30cd\u30c3\u30c8\u30ef\u30fc\u30af\u6700\u9069\u5316\u30a2\u30eb\u30b4\u30ea\u30ba\u30e0\u306e\u4f7f\u7528 \u3002\u306e\uff1a ACM\u306e\u30b8\u30e3\u30fc\u30ca\u30eb \u3002 34\u5e74\u76ee\u3001 \u3044\u3044\u3048\u3002  3 \u30011987\u3001 S.  596\u2013615 \u3001doi\uff1a 10.1145\/28869.28874 \u3002       (adsbygoogle = window.adsbygoogle || []).push({});after-content-x4"},{"@context":"http:\/\/schema.org\/","@type":"BreadcrumbList","itemListElement":[{"@type":"ListItem","position":1,"item":{"@id":"https:\/\/wiki.edu.vn\/all2jp\/wiki10\/#breadcrumbitem","name":"Enzyklop\u00e4die"}},{"@type":"ListItem","position":2,"item":{"@id":"https:\/\/wiki.edu.vn\/all2jp\/wiki10\/archives\/13630#breadcrumbitem","name":"\u30d5\u30a3\u30dc\u30ca\u30c3\u30c1\u30d2\u30fc\u30d7 – \u30a6\u30a3\u30ad\u30da\u30c7\u30a3\u30a2"}}]}]