[{"@context":"http:\/\/schema.org\/","@type":"BlogPosting","@id":"https:\/\/wiki.edu.vn\/all2jp\/wiki10\/archives\/10592#BlogPosting","mainEntityOfPage":"https:\/\/wiki.edu.vn\/all2jp\/wiki10\/archives\/10592","headline":"Friedberg\u3068Muchnik\u306b\u3088\u308b\u6587 – \u30a6\u30a3\u30ad\u30da\u30c7\u30a3\u30a2","name":"Friedberg\u3068Muchnik\u306b\u3088\u308b\u6587 – \u30a6\u30a3\u30ad\u30da\u30c7\u30a3\u30a2","description":"before-content-x4 Friedberg\u3068Muchnik\u306e\u6587 \u306f\u3001\u30ea\u30c1\u30e3\u30fc\u30c9\u30fbM\u30fb\u30d5\u30ea\u30fc\u30c9\u30d0\u30fc\u30b0\u3068\u30a2\u30eb\u30d0\u30fc\u30c8\u30fb\u30e0\u30c1\u30cb\u30af\u306b\u3088\u3063\u3066\u4e92\u3044\u306b\u72ec\u7acb\u3057\u30661956\/1957\u5e74\u306b\u8a3c\u660e\u3055\u308c\u305f\u4e88\u6e2c\u53ef\u80fd\u6027\u3068\u6570\u5b66\u7684\u8ad6\u7406\u306e\u7406\u8ad6\u306e\u7d50\u679c\u3067\u3059\u3002\u305d\u308c\u306f\u3001\u9593\u306b\u3042\u308b\u518d\u5e30\u7684\u306b\u30ea\u30b9\u30c8\u53ef\u80fd\u306a\u30c1\u30e5\u30fc\u30ea\u30f3\u30b0\u306e\u5b66\u4f4d\u304c\u3042\u308b\u3068\u8a00\u3044\u307e\u3059 0 \u3068 0 ‘ \u6a2a\u305f\u308f\u3063\u3066\u3044\u308b\u3002\u3057\u305f\u304c\u3063\u3066\u3001\u6c7a\u5b9a\u7684\u3067\u306f\u306a\u3044\u518d\u5e30\u7684\u306b\u30ea\u30b9\u30c8\u53ef\u80fd\u306a\u6570\u91cf\u304c\u3042\u308a\u307e\u3059\u304c\u3001\u30c1\u30e5\u30fc\u30ea\u30f3\u30b0\u306e\u30c1\u30e5\u30fc\u30ea\u30f3\u30b0\u3092\u6e1b\u3089\u3059\u3068\u3044\u3046\u610f\u5473\u3067\u306f\u3001\u4fdd\u6301\u554f\u984c\u3088\u308a\u3082\u7c21\u5358\u3067\u3059\u3002 Friedberg\u3068Muchnik\u306f\u3001\u5f7c\u3089\u306e\u8a3c\u62e0\u306e\u305f\u3081\u306e\u65b0\u3057\u3044\u8a3c\u62e0\u624b\u6cd5\u3092\u958b\u767a\u3057\u307e\u3057\u305f \u512a\u5148\u65b9\u6cd5 \u307e\u305f \u512a\u5148\u8b70\u8ad6 \u77e5\u3089\u308c\u3066\u304a\u308a\u3001\u4e88\u6e2c\u53ef\u80fd\u6027\u7406\u8ad6\u306e\u91cd\u8981\u306a\u624b\u6cd5\u306b\u306a\u308a\u307e\u3057\u305f\u3002 after-content-x4 \u30a8\u30df\u30eb\u30fb\u30dd\u30b9\u30c8\u306f\u30011944\u5e74\u306e\u4f5c\u696d\u3067\u30c1\u30e5\u30fc\u30ea\u30f3\u30b0\u306e\u5b66\u4f4d\u3092\u8abf\u3079\u3001\u518d\u5e30\u7684\u306b\u30ea\u30b9\u30c8\u53ef\u80fd\u306a\u30c1\u30e5\u30fc\u30ea\u30f3\u30b0\u306e\u5b66\u4f4d\u3092\u5c0b\u306d\u307e\u3057\u305f 0 \u3068 0 ‘ \u4e0e\u3048\u307e\u3059\u3002\u3053\u306e\u8cea\u554f\u306f\u6b21\u306e\u3068\u304a\u308a\u3067\u3057\u305f","datePublished":"2019-01-24","dateModified":"2019-01-24","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\/7daff47fa58cdfd29dc333def748ff5fa4c923e3","url":"https:\/\/wikimedia.org\/api\/rest_v1\/media\/math\/render\/svg\/7daff47fa58cdfd29dc333def748ff5fa4c923e3","height":"","width":""},"url":"https:\/\/wiki.edu.vn\/all2jp\/wiki10\/archives\/10592","wordCount":10619,"articleBody":"     (adsbygoogle = window.adsbygoogle || []).push({});before-content-x4 Friedberg\u3068Muchnik\u306e\u6587 \u306f\u3001\u30ea\u30c1\u30e3\u30fc\u30c9\u30fbM\u30fb\u30d5\u30ea\u30fc\u30c9\u30d0\u30fc\u30b0\u3068\u30a2\u30eb\u30d0\u30fc\u30c8\u30fb\u30e0\u30c1\u30cb\u30af\u306b\u3088\u3063\u3066\u4e92\u3044\u306b\u72ec\u7acb\u3057\u30661956\/1957\u5e74\u306b\u8a3c\u660e\u3055\u308c\u305f\u4e88\u6e2c\u53ef\u80fd\u6027\u3068\u6570\u5b66\u7684\u8ad6\u7406\u306e\u7406\u8ad6\u306e\u7d50\u679c\u3067\u3059\u3002\u305d\u308c\u306f\u3001\u9593\u306b\u3042\u308b\u518d\u5e30\u7684\u306b\u30ea\u30b9\u30c8\u53ef\u80fd\u306a\u30c1\u30e5\u30fc\u30ea\u30f3\u30b0\u306e\u5b66\u4f4d\u304c\u3042\u308b\u3068\u8a00\u3044\u307e\u3059 0 \u3068 0 ‘ \u6a2a\u305f\u308f\u3063\u3066\u3044\u308b\u3002\u3057\u305f\u304c\u3063\u3066\u3001\u6c7a\u5b9a\u7684\u3067\u306f\u306a\u3044\u518d\u5e30\u7684\u306b\u30ea\u30b9\u30c8\u53ef\u80fd\u306a\u6570\u91cf\u304c\u3042\u308a\u307e\u3059\u304c\u3001\u30c1\u30e5\u30fc\u30ea\u30f3\u30b0\u306e\u30c1\u30e5\u30fc\u30ea\u30f3\u30b0\u3092\u6e1b\u3089\u3059\u3068\u3044\u3046\u610f\u5473\u3067\u306f\u3001\u4fdd\u6301\u554f\u984c\u3088\u308a\u3082\u7c21\u5358\u3067\u3059\u3002 Friedberg\u3068Muchnik\u306f\u3001\u5f7c\u3089\u306e\u8a3c\u62e0\u306e\u305f\u3081\u306e\u65b0\u3057\u3044\u8a3c\u62e0\u624b\u6cd5\u3092\u958b\u767a\u3057\u307e\u3057\u305f \u512a\u5148\u65b9\u6cd5 \u307e\u305f \u512a\u5148\u8b70\u8ad6 \u77e5\u3089\u308c\u3066\u304a\u308a\u3001\u4e88\u6e2c\u53ef\u80fd\u6027\u7406\u8ad6\u306e\u91cd\u8981\u306a\u624b\u6cd5\u306b\u306a\u308a\u307e\u3057\u305f\u3002        (adsbygoogle = window.adsbygoogle || []).push({});after-content-x4\u30a8\u30df\u30eb\u30fb\u30dd\u30b9\u30c8\u306f\u30011944\u5e74\u306e\u4f5c\u696d\u3067\u30c1\u30e5\u30fc\u30ea\u30f3\u30b0\u306e\u5b66\u4f4d\u3092\u8abf\u3079\u3001\u518d\u5e30\u7684\u306b\u30ea\u30b9\u30c8\u53ef\u80fd\u306a\u30c1\u30e5\u30fc\u30ea\u30f3\u30b0\u306e\u5b66\u4f4d\u3092\u5c0b\u306d\u307e\u3057\u305f 0 \u3068 0 ‘ \u4e0e\u3048\u307e\u3059\u3002\u3053\u306e\u8cea\u554f\u306f\u6b21\u306e\u3068\u304a\u308a\u3067\u3057\u305f Postsches\u306e\u554f\u984c \u77e5\u3089\u308c\u3066\u3044\u307e\u3059\u3002 Post\u304c\u5b9a\u7fa9\u3057\u307e\u3057\u305f \u5358\u7d14\u306a\u91cf \u305d\u3057\u3066\u3001\u591a\u304f\u306e1\u3064\u306e\u524a\u6e1b\u306e\u4e0b\u3067\u3001\u305d\u308c\u3089\u306f\u3088\u308a\u5f37\u529b\u306a\u30c1\u30e5\u30fc\u30ea\u30f3\u30b0\u306e\u524a\u6e1b\u306e\u305f\u3081\u306b\u3053\u308c\u3092\u793a\u3059\u3053\u3068\u304c\u3067\u304d\u305a\u306b\u3001\u6c7a\u5b9a\u7684\u306a\u91cf\u3068\u4fdd\u6301\u554f\u984c\u306e\u9593\u3067\u53b3\u5bc6\u306b\u3042\u308b\u3053\u3068\u3092\u793a\u3059\u3053\u3068\u304c\u3067\u304d\u307e\u3059\u3002 J.C.E. Dekker\u306f1954\u5e74\u306b\u3001\u3053\u308c\u306f\u5358\u7d14\u306a\u91cf\u3067\u3042\u308b\u305f\u3081\u4e0d\u53ef\u80fd\u3067\u3042\u308b\u3053\u3068\u3092\u793a\u3057\u307e\u3057\u305f 0 ‘ \u4e0e\u3048\u307e\u3059\u3002 [\u521d\u3081] \u3053\u306e\u554f\u984c\u306f\u30011956\/57\u5e74\u306b\u3001\u30d5\u30ea\u30fc\u30c9\u30d0\u30fc\u30b0\u3068\u30e0\u30c1\u30cb\u30af\u306b\u3088\u3063\u3066\u3001\u4e92\u3044\u306b\u72ec\u7acb\u3057\u3066\u65b0\u3057\u304f\u958b\u767a\u3055\u308c\u305f\u512a\u5148\u65b9\u6cd5\u306b\u3088\u3063\u3066\u89e3\u6c7a\u3055\u308c\u307e\u3057\u305f\u3002 1986\u5e74\u3001\u30a2\u30f3\u30c8\u30cb\u30f3\u30fb\u30af\u30c1\u30a7\u30e9\u306f\u3001\u512a\u5148\u9806\u4f4d\u306e\u8b70\u8ad6\u306b\u306f\u5fc5\u8981\u306a\u3044\u65b0\u3057\u3044\u30bd\u30ea\u30e5\u30fc\u30b7\u30e7\u30f3\u3092\u516c\u958b\u3057\u307e\u3057\u305f\u3002 Table of Contents\u30a2\u30a4\u30c7\u30a3\u30a2 [ \u7de8\u96c6 | \u30bd\u30fc\u30b9\u30c6\u30ad\u30b9\u30c8\u3092\u7de8\u96c6\u3057\u307e\u3059 ] \u6226\u7565 [ \u7de8\u96c6 | \u30bd\u30fc\u30b9\u30c6\u30ad\u30b9\u30c8\u3092\u7de8\u96c6\u3057\u307e\u3059 ] \u76f4\u611f [ \u7de8\u96c6 | \u30bd\u30fc\u30b9\u30c6\u30ad\u30b9\u30c8\u3092\u7de8\u96c6\u3057\u307e\u3059 ] \u5f62\u5f0f\u5316 [ \u7de8\u96c6 | \u30bd\u30fc\u30b9\u30c6\u30ad\u30b9\u30c8\u3092\u7de8\u96c6\u3057\u307e\u3059 ] \u30a2\u30a4\u30c7\u30a3\u30a2 [ \u7de8\u96c6 | \u30bd\u30fc\u30b9\u30c6\u30ad\u30b9\u30c8\u3092\u7de8\u96c6\u3057\u307e\u3059 ] \u6b21\u306e\u8a3c\u62e0\u306f\u30012004\u5e74\u306e\u30af\u30fc\u30d1\u30fc\u306e\u63d0\u793a\u306b\u7d9a\u304d\u3001\u30d5\u30ea\u30fc\u30c9\u30d0\u30fc\u30b0\u3068\u30e0\u30c1\u30cb\u30af\u306e\u5143\u306e\u8a3c\u62e0\u306b\u57fa\u3065\u3044\u3066\u3044\u307e\u3059\u3002        (adsbygoogle = window.adsbygoogle || []).push({});after-content-x42\u3064\u306e\u518d\u5e30\u7684\u306b\u767b\u9332\u53ef\u80fd\u306a\u91cf\u304c\u540c\u6642\u306b\u3042\u308a\u307e\u3059 a {displaystyle a} \u3068 b {displaystyle b} \u69cb\u7bc9\u3055\u308c\u305f\u3001\u305d\u308c\u305e\u308c\u304c\u30c1\u30e5\u30fc\u30ea\u30f3\u30b0\u3092\u6e1b\u3089\u3059\u3053\u3068\u306f\u3067\u304d\u307e\u305b\u3093\uff1a a \u2270 t b {displaystyle anot leq _ {t} b} \u3068        (adsbygoogle = window.adsbygoogle || []).push({});after-content-x4b \u2270 t a {displaystyle bnot leq _ {t} a} \u3002\u3053\u308c\u3089\u306e\u6761\u4ef6\u304c\u6e80\u305f\u3055\u308c\u3066\u3044\u308b\u5834\u5408\u3001\u6587\u306e\u58f0\u660e\u304c\u7d9a\u304d\u307e\u3059\u3002 if a {displaystyle a} \u307e\u305f b {displaystyle b} \u4ed6\u306e\u91cf\u306b\u6e1b\u3089\u3059\u3053\u3068\u304c\u3067\u304d\u308c\u3070\u6c7a\u5b9a\u7684\u3067\u3042\u308a\u3001\u30d1\u30eb\u30d7\u306e\u554f\u984c\u306b\u57cb\u3081\u8fbc\u307e\u308c\u308b\u53ef\u80fd\u6027\u306e\u3042\u308b\u3059\u3079\u3066\u306e\u91cf\u3092\u6e1b\u3089\u3059\u3053\u3068\u304c\u3067\u304d\u308b\u306e\u3067\u3001A\u3068B\u306f\u5165\u308b\u3053\u3068\u304c\u3067\u304d\u307e\u305b\u3093 0 ‘ \u6a2a\u305f\u308f\u3063\u3066\u3044\u308b\u3002 \u3053\u308c\u3089\u306e\u8981\u4ef6\u306f\u3001\u8981\u4ef6\u306e\u7121\u9650\u306e\u30ea\u30b9\u30c8\u306b\u3088\u3063\u3066\u4fdd\u8a3c\u3055\u308c\u307e\u3059\u3002\u591a\u5206 \u30d5\u30a1\u30a4 0 \u3001 \u30d5\u30a1\u30a4 \u521d\u3081 \u3001 … {displaystyle phi _ {0}\u3001phi _ {1}\u3001dotsc} \u30aa\u30e9\u30af\u30eb\u305d\u3073\u3048\u7acb\u3064\u6a5f\u68b0\u306e\u4e88\u6e2c\u53ef\u80fd\u306a\u30ea\u30b9\u30c8\u3002\u6b21\u306b\u3001\u3059\u3079\u3066\u306e\u30de\u30b7\u30f3\u306b\u3042\u308a\u307e\u3059 \u30d5\u30a1\u30a4 \u79c1 {displaystyle phi _ {i}} 2\u3064\u306e\u8981\u4ef6\uff1a \u79c1\u306f\u843d\u3061\u308b r 2 \u79c1 {displaystyle r_ {2i}} \u6e80\u305f\u3055\u308c\u3066\u304a\u308a\u3001\u306e\u524a\u6e1b\u306f\u3042\u308a\u307e\u305b\u3093 a {displaystyle a} \u306e\u4e0a b {displaystyle b} \u305d\u3057\u3066\u305d\u308c\u306f\u9069\u7528\u3055\u308c\u307e\u3059 a \u2270 t b {displaystyle anot leq _ {t} b} \u3002\u30a2\u30ca\u30ed\u30b0\u91d1\u7b94 b \u2270 t a {displaystyle bnot leq _ {t} a} \u3001 \u79c1\u306f\u843d\u3061\u308b r 2 \u79c1 + \u521d\u3081 {displaystyle r_ {2i+1}} \u6e80\u305f\u3055\u308c\u3066\u3044\u307e\u3059\u3002 \u8981\u4ef6\u306f\u5f7c\u3089\u306e\u5f8c\u3067\u3059 \u512a\u5148\u9806\u4f4d \u305d\u308c\u3092\u6ce8\u6587\u3057\u307e\u3057\u305f r 0 {displaystyle r_ {0}} \u6700\u512a\u5148\u4e8b\u9805\u3001 r \u521d\u3081 {displaystyle r_ {1}} 2\u756a\u76ee\u306b\u9ad8\u3044\u306a\u3069 \u6709\u9650\u91cf\u306e\u8a08\u7b97\u53ef\u80fd\u306a\u7d50\u679c\u304c\u3042\u308a\u307e\u3059 a 0 \u2286 a \u521d\u3081 \u2286 a 2 \u2286 \u22ef {displaystyle a_ {0} subseteq a_ {1} subseteq a_ {2} subseteq dotsb}} \u3068 b 0 \u2286 b \u521d\u3081 \u2286 b 2 \u2286 \u22ef {displaystyle b_ {0} Subseteq B_ {1} Subseteq B_ {2} Subseteq Dotsb}} \u69cb\u7bc9\u3055\u308c\u3066\u3044\u307e\u3059\u3002 A\u3068B\u306f\u3001\u3053\u308c\u3089\u306e\u7d50\u679c\u306e\u7121\u9650\u306e\u95a2\u9023\u6027\u3067\u3059\u3002 a = \u22c3 \u79c1 \u2208 Na \u79c1 {displaystyle a = bigcup _ {iin mathbb {n}} a_ {i}}} \u3068 b = \u22c3 \u79c1 \u2208 Nb \u79c1 {displaystyle b = bigcup _ {iin mathbb {n}} b_ {i}} \u3002\u7d50\u679c\u306f\u4e88\u6e2c\u53ef\u80fd\u3067\u3042\u308b\u305f\u3081\u3001\u5f7c\u3089\u306e\u95a2\u9023\u306f\u305d\u3046\u3067\u3059 a {displaystyle a} \u3068 b {displaystyle b} \u518d\u5e30\u7684\u306b\u30ea\u30b9\u30c8\u53ef\u80fd\u3002 \u305d\u3046\u3067\u3059 a 0 = b 0 = \u2205 {displaystyle a_ {0} = b_ {0} = emptySet} \u3002\u306e\u4e2d\u306b s + \u521d\u3081 {displaystyleS+1}  – \u5efa\u8a2d\u306e\u30b9\u30c6\u30c3\u30d7\u304c\u6d88\u3048\u307e\u3059 a s {displaystyle a_ {s}} \u3068 b s {displaystyle b_ {s}} \u91d1\u984d a s + \u521d\u3081 \u2287 a s {displaystyle a_ {s+1} supseteq a_ {s}} \u3068 b s + \u521d\u3081 \u2287 b s {displaystyle b_ {s+1} supseteq b_ {s}} \u69cb\u7bc9\u3055\u308c\u3066\u3044\u307e\u3059\u3002\u5efa\u8a2d\u306f\u304b\u3089\u3067\u3059 \u6226\u7565 \u53d7\u3051\u5165\u308c\u3089\u308c\u307e\u3057\u305f\u3002\u5404\u8981\u4ef6\u306b\u306f1\u3064\u304c\u3042\u308a\u307e\u3059 \u30b9\u30c8\u30e9\u30c6\u30b8\u30fc \u305d\u308c\u306f\u3053\u306e\u8981\u4ef6\u3092\u6e80\u305f\u305d\u3046\u3068\u3057\u307e\u3059\u3002 \u6226\u7565 [ \u7de8\u96c6 | \u30bd\u30fc\u30b9\u30c6\u30ad\u30b9\u30c8\u3092\u7de8\u96c6\u3057\u307e\u3059 ] \u76f4\u611f [ \u7de8\u96c6 | \u30bd\u30fc\u30b9\u30c6\u30ad\u30b9\u30c8\u3092\u7de8\u96c6\u3057\u307e\u3059 ] \u3059\u3079\u3066\u306e\u6226\u7565 r 2 \u79c1 {displaystyle r_ {2i}} \u4e0d\u5e73\u7b49\u3092\u5f37\u5236\u3059\u308b\u5fc5\u8981\u304c\u3042\u308a\u307e\u3059 a \u2260 \u30d5\u30a1\u30a4 \u79c1 b {displaystyle aneq phi _ {i} ^ {b}} \u9069\u7528\u53ef\u80fd\u3067\u3059\u3002\u3053\u308c\u306b\u306f2\u3064\u306e\u30aa\u30d7\u30b7\u30e7\u30f3\u304c\u3042\u308a\u307e\u3059\u3002 \u76ee\u6483\u8005  \u30d0\u30c4 {displaystyle x} \u306b a {displaystyle a} \u3055\u3089\u306b\u3001\u3067\u306f\u3042\u308a\u307e\u305b\u3093 \u30d5\u30a1\u30a4 \u79c1 b {displaystyle phi _ {i}^}}} \u5618\u3001\u307e\u305f\u306f\u5f7c\u5973\u306f\u305d\u308c\u3092\u8a3c\u4eba\u306b\u5f37\u5236\u3059\u308b \u30d0\u30c4 {displaystyle x} \u3042\u304d\u3089\u3081\u307e\u3059 \u30d5\u30a1\u30a4 \u79c1 b {displaystyle phi _ {i}^}}} \u5618\u3092\u3064\u304d\u3001\u6c7a\u3057\u3066\u5f8c\u306b\u3044\u307e\u305b\u3093 a {displaystyle a} \u624b\u306b\u5165\u308c\u305f\u3002 2\u3064\u306e\u56f0\u96e3\u304c\u3042\u308a\u307e\u3059\u3002\u4e00\u65b9\u3067\u306f\u305d\u3046\u3067\u3059 \u30d5\u30a1\u30a4 \u79c1 b {displaystyle phi _ {i}^}}} \u5e38\u306b\u5b8c\u5168\u306a\u95a2\u6570\u3068\u8cea\u554f\u3067\u306f\u3042\u308a\u307e\u305b\u3093 \u30d5\u30a1\u30a4 \u79c1 b \uff08 \u30d0\u30c4 \uff09\uff09 {displaystyle phi _ {i}^{b}\uff08x\uff09} \u3057\u305f\u304c\u3063\u3066\u3001\u672a\u5b9a\u3067\u3059\u3002\u3053\u308c\u306f\u3001\u6226\u7565\u304c s {displaystyleS}  – \u6700\u521d\u306e\u69cb\u9020\u306e\u307f\u306e\u30b9\u30c6\u30c3\u30d7 s {displaystyleS} \u306e\u8a08\u7b97\u306e\u624b\u9806 \u30d5\u30a1\u30a4 \u79c1 b \uff08 \u30d0\u30c4 \uff09\uff09 {displaystyle phi _ {i}^{b}\uff08x\uff09} \u5b9f\u65bd\u3057\u305f\u3002\u3082\u3057\u3082 \u30d5\u30a1\u30a4 \u79c1 b \uff08 \u30d0\u30c4 \uff09\uff09 {displaystyle phi _ {i}^{b}\uff08x\uff09} \u5f8c t {displaystylet} \u30b9\u30c6\u30c3\u30d7\u3001\u305d\u306e\u5f8c\u3001\u6226\u7565\u306f\u306e\u4fa1\u5024\u306b\u306a\u308a\u307e\u3059 \u30d5\u30a1\u30a4 \u79c1 b \uff08 \u30d0\u30c4 \uff09\uff09 {displaystyle phi _ {i}^{b}\uff08x\uff09} \u306e\u4e2d\u306b t {displaystylet}  – \u5efa\u8a2d\u306e\u5efa\u8a2d\u3092\u7d4c\u9a13\u3057\u3001\u305d\u308c\u306b\u5fdc\u3058\u3066\u6c7a\u5b9a\u3059\u308b\u3053\u3068\u304c\u3067\u304d\u307e\u3059 \u30d0\u30c4 {displaystyle x} \u5f8c a {displaystyle a} \u53d6\u5f97\u3059\u308b\u304b\u3069\u3046\u304b\u3002\u4fdd\u7559 \u30d5\u30a1\u30a4 \u79c1 b \uff08 \u30d0\u30c4 \uff09\uff09 {displaystyle phi _ {i}^{b}\uff08x\uff09} \u305d\u3046\u3067\u306f\u3042\u308a\u307e\u305b\u3093 \u30d5\u30a1\u30a4 \u79c1 {displaystyle phi _ {i}} \u5168\u4f53\u306e\u6a5f\u80fd\u306f\u306a\u304f\u3001\u3057\u305f\u304c\u3063\u3066\u3001\u524a\u6e1b\u306f\u524a\u6e1b\u3055\u308c\u307e\u305b\u3093\u3002\u305d\u3046\u3067\u3059 r 2 \u79c1 {displaystyle r_ {2i}} \u81ea\u52d5\u7684\u306b\u6e80\u305f\u3055\u308c\u307e\u3057\u305f\u3002 \u4e00\u65b9\u3001\u305d\u3046\u3067\u3059 b {displaystyle b} \u306e\u5efa\u8a2d\u4e2d a {displaystyle a} \u4e21\u65b9\u306e\u6570\u91cf\u304c\u540c\u6642\u306b\u69cb\u7bc9\u3055\u308c\u3066\u3044\u308b\u305f\u3081\u3001\u307e\u3060\u5229\u7528\u3067\u304d\u307e\u305b\u3093\u3002\u3057\u305f\u304c\u3063\u3066\u3001Oracle\u30de\u30b7\u30f3\u304c\u53d7\u4fe1\u3057\u307e\u3059 \u30d5\u30a1\u30a4 \u79c1 {displaystyle phi _ {i}} \u30aa\u30e9\u30af\u30eb\u306e\u3088\u3046\u306b s {displaystyleS}  – \u4ee3\u308f\u308a\u306b\u30b9\u30c6\u30c3\u30d7 b {displaystyle b} \u6709\u9650\u91cf b s {displaystyle b_ {s}} \u3002\u305d\u308c\u304c\u4fdd\u6301\u3055\u308c\u3066\u3044\u308b\u5834\u5408\u3001Oracle Uring\u30de\u30b7\u30f3\u306f\u6700\u7d42\u7684\u306b\u6700\u7d42\u7684\u306b\u591a\u304f\u306eOracle\u306e\u554f\u3044\u5408\u308f\u305b\u3092\u5c0b\u306d\u308b\u3053\u3068\u304c\u3067\u304d\u307e\u3059\u3002\u5f8c\u306e\u3059\u3079\u3066\u306e\u91cf\u3092\u8981\u6c42\u3059\u308b\u3060\u3051\u3067\u5341\u5206\u3067\u3059 b t {displaystyle b_ {t}} \u3059\u3079\u3066\u306e\u6570\u5b57\u3067 \u30d0\u30c4 \u2264 k {displaystyle xleq k} \uff08 k {displaystyle k} \u306e\u8a08\u7b97\u306b\u304a\u3051\u308b\u6700\u5927\u306eOracle\u8981\u6c42\u3067\u3059 \u30d5\u30a1\u30a4 \u79c1 b \uff08 \u30d0\u30c4 \uff09\uff09 {displaystyle phi _ {i}^{b}\uff08x\uff09} \uff09 \u3068 b s {displaystyle b_ {s}} \u305d\u308c\u3092\u78ba\u5b9f\u306b\u3059\u308b\u3053\u3068\u306b\u540c\u610f\u3057\u307e\u3059 \u30d5\u30a1\u30a4 \u79c1 Bs\uff08 \u30d0\u30c4 \uff09\uff09 = \u30d5\u30a1\u30a4 \u79c1 b \uff08 \u30d0\u30c4 \uff09\uff09 {displaystyle phi _ {i}^{b_ {s}}\uff08x\uff09= phi _ {i}^{b}\uff08x\uff09} \u306f\u3002\u3057\u305f\u304c\u3063\u3066\u3001\u6226\u7565\u306f\u8a2d\u5b9a\u3055\u308c\u307e\u3059 k {displaystyle k} \u3044\u3064 b {displaystyle b} -\u5236\u9650 \u4fee\u6b63\u3055\u308c\u305f\u3001\u305d\u308c\u306f\u6226\u7565\u304c\u306a\u3044\u3053\u3068\u3092\u610f\u5473\u3057\u307e\u3059 r 2 \u79c1 + \u521d\u3081 {displaystyle r_ {2i+1}} \u5c06\u6765\u652f\u6255\u3046\u3053\u3068\u304c\u3042\u308a\u307e\u3059 \u30d0\u30c4 \u2264 k {displaystyle xleq k} \u306b b {displaystyle b} \u8ffd\u52a0\u3002 \u6226\u7565 r 2 \u79c1 + \u521d\u3081 {displaystyle r_ {2i+1}} \u4ea4\u63db\u3055\u308c\u305f\u5f79\u5272\u3067\u5b8c\u5168\u306b\u985e\u4f3c\u3057\u3066\u3044\u307e\u3059 a {displaystyle a} \u3068 b {displaystyle b} \u3002\u3057\u305f\u304c\u3063\u3066\u3001\u3053\u308c\u3089\u306e\u6226\u7565\u306f\u985e\u4f3c\u3057\u3066\u3044\u308b\u53ef\u80fd\u6027\u304c\u3042\u308a\u307e\u3059 a {displaystyle a} -\u5236\u9650 \u633f\u5165 r 2 \u79c1 {displaystyle r_ {2i}}  – \u8a3c\u4eba\u306e\u9078\u629e\u306b\u304a\u3051\u308b\u6226\u7565\u3002\u5236\u9650\u306b\u3088\u308a\u3001\u65e2\u306b\u30a2\u30af\u30c6\u30a3\u30d6\u306a\u6226\u7565\u306e\u8a3c\u4eba\u304c\u4f7f\u7528\u3067\u304d\u306a\u304f\u306a\u308b\u3088\u3046\u306b\u306a\u308a\u307e\u3057\u305f\u3002 k {displaystyle k} \u306f\u3002\u89e3\u6c7a\u7b56\u306f\u3001\u5404\u6226\u7565\u304c\u3001\u6226\u7565\u306b\u3088\u3063\u3066\u512a\u5148\u9806\u756a\u306b\u914d\u7f6e\u3055\u308c\u305f\u5236\u9650\u306e\u307f\u3092\u89b3\u5bdf\u3059\u308b\u3053\u3068\u3067\u3059\u3002\u5f7c\u3089\u304c\u6226\u7565\u3092\u8a8d\u8b58\u3057\u307e\u3059 \u602a\u6211\u3057\u305f \u8a00\u3044\u63db\u3048\u308c\u3070\u3001\u5f7c\u5973\u304c\u5f15\u304d\u8d77\u3053\u3057\u305f\u5236\u9650\u304c\u3088\u308a\u9ad8\u3044\u512a\u5148\u4e8b\u9805\u306e\u6226\u7565\u306b\u3088\u3063\u3066\u4fb5\u5bb3\u3055\u308c\u305f\u5834\u5408\u3001\u5f7c\u5973\u306f\u65b0\u3057\u3044\u8a3c\u4eba\u3092\u9078\u629e\u3057\u3001\u6b63\u9762\u304b\u3089\u59cb\u307e\u308a\u307e\u3059\u3002 \u4eca\u3067\u306f\u3001\u6b21\u306e\u3088\u3046\u306b\u3001\u5404\u6226\u7565\u304c\u6700\u7d42\u7684\u306b\u4f55\u5ea6\u3082\u8ca0\u50b7\u3057\u305f\u3053\u3068\u3092\u8a98\u5c0e\u7684\u306b\u793a\u3059\u3053\u3068\u304c\u3067\u304d\u307e\u3059\u3002\u3064\u307e\u308a\u3001\u3042\u308b\u6642\u70b9\u3067\u6700\u7d42\u7684\u306b\u6e80\u305f\u3055\u308c\u307e\u3059\u3002\u305d\u3053\u306b\u306f r 0 {displaystyle r_ {0}} \u8ca0\u50b7\u3059\u308b\u3053\u3068\u306f\u3042\u308a\u307e\u305b\u3093\u3002\u305d\u308c\u306f\u7686\u306e\u305f\u3081\u3060\u304b\u3089\u3067\u3059 r s + \u521d\u3081 {displaystyle r_ {s+1}} \u6700\u5f8c\u306b\u3001\u512a\u5148\u9806\u4f4d\u304c\u9ad8\u3044\u8981\u4ef6\u306f\u591a\u304f\u3042\u308a\u3001\u305d\u306e\u3059\u3079\u3066\u304c\u8a98\u5c0e\u8981\u4ef6\u304c\u8ca0\u50b7\u3057\u305f\u5f8c\u306b\u6700\u7d42\u7684\u306b\u4fb5\u5bb3\u3055\u308c\u305f\u3060\u3051\u3067\u3001\u6700\u7d42\u7684\u306b\u4fb5\u5bb3\u3055\u308c\u307e\u3059\u3002 r s + \u521d\u3081 {displaystyle r_ {s+1}} \u307e\u305f\u3001\u512a\u5148\u5ea6\u304c\u9ad8\u3044\u6226\u7565\u306b\u3088\u3063\u3066\u306e\u307f\u4fb5\u5bb3\u3055\u308c\u308b\u53ef\u80fd\u6027\u304c\u3042\u308b\u305f\u3081\u3001\u6700\u7d42\u7684\u306b\u8ca0\u50b7\u3057\u307e\u3057\u305f\u3002 \u5f62\u5f0f\u5316 [ \u7de8\u96c6 | \u30bd\u30fc\u30b9\u30c6\u30ad\u30b9\u30c8\u3092\u7de8\u96c6\u3057\u307e\u3059 ] \u30d5\u30a9\u30fc\u30e0\u306e\u3059\u3079\u3066\u306e\u8981\u4ef6 r 2 \u79c1 {displaystyle r_ {2i}} \u6b21\u306e\u3088\u3046\u306b\u624b\u7d9a\u304d\u4e0a\u3067\u63d0\u793a\u3067\u304d\u308b\u6226\u7565\u304c\u3042\u308a\u307e\u3059\u3002 \u53ef\u80fd\u6027\u3092\u9078\u629e\u3057\u3066\u304f\u3060\u3055\u3044 \u76ee\u6483\u8005  \u30d0\u30c4 \u305f\u3081\u306b a \u2260 \u30d5\u30a1\u30a4 iB{displaystyle aneq phi _ {i} ^ {b}} \u3001\u305d\u308c\u306b\u3088\u3063\u3066 \u30d0\u30c4 \u307e\u3060\u5165\u3063\u3066\u3044\u306a\u3044 a \u4f55\u3088\u308a\u3082\u5618\u304c\u3042\u308a\u307e\u3059 a  – \u512a\u5148\u5ea6\u304c\u9ad8\u3044\u5730\u4f4d\u306f\u3001\u8a3c\u4eba\u3068\u3057\u3066\u307e\u3060\u9078\u3070\u308c\u3066\u3044\u307e\u305b\u3093\u3002 \u3059\u3079\u3066\u306e\u5f8c\u306e\u30b9\u30c6\u30c3\u30d7\u3067 s {displaystyleS} \u3001\u6b21\u306e\u6761\u4ef6\u306e\u3044\u305a\u308c\u304b\u304c\u9069\u7528\u3055\u308c\u308b\u304b\u3069\u3046\u304b\u3092\u78ba\u8a8d\u3057\u3066\u304f\u3060\u3055\u3044\u3002 \u30d0\u30c4 1\u3064\u4ee5\u4e0b\u306b\u3042\u308a\u307e\u3059 a  – \u512a\u5148\u5ea6\u304c\u9ad8\u3044\u7167\u660e\u3002\u3053\u306e\u5834\u5408\u306f\u305d\u3046\u3067\u3057\u305f R2i{displaystyle r_ {2i}} \u8ca0\u50b7\u3057\u3066\u623b\u3063\u3066\u304d\u307e\u3059\uff081\uff09\u3002 As(x)=0=\u03a6iBs(x)[s]{displaystyle a_ {s}\uff08x\uff09= 0 = phi _ {i}^{b_ {s}}\uff08x\uff09[s]} \u3002\u3053\u306e\u5834\u5408\u3001\u6226\u7565\u306f\u6b21\u306e\u3068\u304a\u308a\u3067\u3059\uff083\uff09\u3002\u3042\u308b \u03a6iBs(x)[s]{displaystyle phi _ {i}^{b_ {s}}\uff08x\uff09[s]} \u6700\u521d\u306e\u7d50\u679c s{displaystyleS} \u306e\u8a08\u7b97\u306e\u624b\u9806 \u03a6iBs(x){displaystyle phi _ {i}^{b_ {s}}\uff08x\uff09} \u3002 \u30d0\u30c4 {displaystyle x} \u306a\u308a\u307e\u3059 a s+1{displaystyle a_ {s+1}} \u8ffd\u52a0\u3057\u305f\u3002 \u591a\u5206 \u3068 \u8a08\u7b97\u3055\u308c\u308b\u6700\u5927\u306eOracle\u30ea\u30af\u30a8\u30b9\u30c8 \u30d5\u30a1\u30a4 iBs\uff08 \u30d0\u30c4 \uff09\uff09 {displaystyle phi _ {i}^{b_ {s}}\uff08x\uff09} \u63d0\u4f9b\u3055\u308c\u307e\u3057\u305f\u3002\u305d\u306e\u5f8c\u3001B\u5236\u9650\u306f\u3067\u3059 \u3068 \u8ffd\u52a0\u3057\u305f\u3002 \u3059\u3079\u3066\u306e\u5f8c\u306e\u30b9\u30c6\u30c3\u30d7\u3067 s {displaystyleS} \u30c1\u30a7\u30c3\u30af\u3055\u308c\u3066\u3044\u308b\u304b\u3069\u3046\u304b \u30d0\u30c4 a\u306e\u4e0b a  – \u512a\u5148\u5ea6\u304c\u9ad8\u3044\u5b58\u5728\u3002\u3082\u3057\u305d\u3046\u306a\u3089\u3001\u6226\u7565\u306f\u623b\u3063\u3066\u304d\u307e\u3059\uff081\uff09\u3002 \u8981\u6c42\u4e8b\u9805 r 2 \u79c1 + \u521d\u3081 {displaystyle r_ {2i+1}} A\u3068B\u304c\u4ea4\u63db\u3055\u308c\u308b\u30a2\u30ca\u30ed\u30b0\u6226\u7565\u304c\u3042\u308a\u307e\u3059\u3002 \u306e\u6226\u7565 n {displaystyle n} -te\u30a2\u30af\u30c6\u30a3\u30d3\u30c6\u30a3\u3092\u8981\u4ef6 n {displaystyle n}  – \uff081\uff09\u3067\u306e\u5efa\u8a2d\u306e\u30b9\u30c6\u30c3\u30d7\u3002\u3059\u3079\u3066\u306e\u30b9\u30c6\u30c3\u30d7\u3067 s {displaystyleS} \u3059\u3079\u3066\u6226\u7565\u3067\u3059 r k {displaystyle r_ {k}} \u305f\u3081\u306b k \u2264 s {displaystyle kleq s} \u30a2\u30af\u30c6\u30a3\u30d6\u3002\u3053\u308c\u306f\u3001\u3042\u3089\u3086\u308b\u30b9\u30c6\u30c3\u30d7\u3067\u591a\u304f\u306e\u6226\u7565\u3092\u8003\u616e\u3059\u308b\u5fc5\u8981\u304c\u3042\u308b\u3053\u3068\u3092\u610f\u5473\u3057\u307e\u3059\u3002\u3059\u3079\u3066\u306e\u6226\u7565\u306f\u4e88\u6e2c\u53ef\u80fd\u3067\u3042\u308b\u305f\u3081\u3001\u3059\u3079\u3066\u3067\u3059 a s {displaystyle a_ {s}} \u3068 b s {displaystyle b_ {s}} \u305d\u308c\u306b\u5fdc\u3058\u3066\u3002 \u4e0a\u8a18\u306e\u3088\u3046\u306b\u3001\u3059\u3079\u3066\u306e\u6226\u7565\u304c\u6700\u7d42\u7684\u306b\u4f55\u5ea6\u3082\u9055\u53cd\u3055\u308c\u307e\u3059\u3002\u307e\u305f\u3001\u8981\u4ef6\u3092\u793a\u3059\u5fc5\u8981\u304c\u3042\u308a\u307e\u3059 r \u79c1 {displaystyle r_ {i}} \u95a2\u9023\u3059\u308b\u6226\u7565\u306b\u9055\u53cd\u3057\u306a\u304f\u306a\u3063\u305f\u5834\u5408\u3001\u305d\u308c\u306f\u6e80\u305f\u3055\u308c\u307e\u3059\u3002\u3059\u3079\u3066\u306e\u6226\u7565\u4ee5\u6765 r \u79c1 {displaystyle r_ {i}} \uff081\uff09\u5f8c\u306b\u6700\u7d42\u7684\u306b\u8ca0\u50b7\u3057\u3066\u6e1b\u5c11\u3057\u305f\u3060\u3051\u3067\u30012\u3064\u306e\u53ef\u80fd\u306a\u7d50\u679c\u304c\u6b8b\u3063\u3066\u3044\u307e\u3059\uff08\u3053\u3053\u306b r 2 \u79c1 {displaystyle r_ {2i}} \u8868\u793a\u3055\u308c\u3066\u3044\u308b\u3001\u985e\u4f3c r 2 \u79c1 + \u521d\u3081 {displaystyle r_ {2i+1}} \uff09\uff1a \u540c\u69d8\u306b\u3001\u305d\u308c\u306f\u3059\u3079\u3066\u306e\u4eba\u3067\u3042\u308b\u3053\u3068\u3092\u793a\u3059\u3053\u3068\u304c\u3067\u304d\u307e\u3059 r 2 \u79c1 + \u521d\u3081 {displaystyle r_ {2i+1}} \u6e80\u305f\u3055\u308c\u308b\u3002 S. B.\u30af\u30fc\u30d1\u30fc\uff1a \u8a08\u7b97\u53ef\u80fd\u6027\u7406\u8ad6 \u3002 Chapman\uff06Hall\/CRC\u30012004\u5e74\u3002ISBN1-58-488237-9 \u30ea\u30c1\u30e3\u30fc\u30c9\u30fbM\u30fb\u30d5\u30ea\u30fc\u30c9\u30d0\u30fc\u30b0\uff1a \u6bd4\u985e\u306e\u306a\u3044\u7a0b\u5ea6\u306e\u89e3\u6c7a\u7b56\u306e2\u3064\u306e\u518d\u5e30\u7684\u306b\u5217\u6319\u53ef\u80fd\u306a\u30bb\u30c3\u30c8\uff08Post\u306e\u554f\u984c\u306e\u89e3\u6c7a\u7b561944\uff09 \u3002\u306e\uff1a \u56fd\u7acb\u79d1\u5b66\u30a2\u30ab\u30c7\u30df\u30fc\u306e\u8b70\u4e8b\u9332 \u3002 \u30d0\u30f3\u30c9  43 \u3001 S.  236\u2013238 \uff08 pnas.org [PDF]\uff09\u3002  \u30a2\u30f3\u30c8\u30cb\u30f3\u30fb\u30af\u30c1\u30a7\u30e9\uff1a Post\u306e\u554f\u984c\u306b\u5bfe\u3059\u308b\u4ee3\u66ff\u306e\u512a\u5148\u9806\u4f4d\u306e\u306a\u3044\u30bd\u30ea\u30e5\u30fc\u30b7\u30e7\u30f3 \u3002\u306e\uff1a \u30b3\u30f3\u30d4\u30e5\u30fc\u30bf\u30fc\u30b5\u30a4\u30a8\u30f3\u30b9\u306e\u30b9\u30d7\u30ea\u30f3\u30ac\u30fc\u8b1b\u7fa9\u30ce\u30fc\u30c8 \u3002 \u30d0\u30f3\u30c9  233 \u30011986\u3001 S.  493\u2013500 \u3002  A. A. Muchnik\uff1a \u30a2\u30eb\u30b4\u30ea\u30ba\u30e0\u306e\u7406\u8ad6\u3092\u6e1b\u3089\u3059\u554f\u984c\u306e\u4e0d\u6b63\u884c\u70ba\u306b\u3064\u3044\u3066\u3002 \uff08\u30ed\u30b7\u30a2\uff09 \u3002\u306e\uff1a doklady akademii nauk sssr\uff08n.s.\uff09 \u3002 \u30d0\u30f3\u30c9  108 \u30011956\u5e74\u3001 S.  194\u2013197 \u3002  \u2191  J.C.E.Dekker\uff1a HyperSimple\u30bb\u30c3\u30c8\u306e\u5b9a\u7406 \u3002\u306e\uff1a \u30a2\u30e1\u30ea\u30ab\u6570\u5b66\u5354\u4f1a\u306e\u8b70\u4e8b\u9332 \u3002 \u30d0\u30f3\u30c9  5 \u30011954\u5e74\u3001 S.  791\u2013796 \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\/10592#breadcrumbitem","name":"Friedberg\u3068Muchnik\u306b\u3088\u308b\u6587 – \u30a6\u30a3\u30ad\u30da\u30c7\u30a3\u30a2"}}]}]