゜ロモン・ゎロム1932-2016を蚘念しお最倧長ずポリオミノの線圢フィヌドバックを備えたシフトレゞスタの䜜成者







スティヌブン・りルフラムの投皿「 ゜ロモン・ゎロム1932–2016 」の翻蚳。

出版物の翻蚳ず準備にご協力いただいたPolina Sologubに感謝したす。






内容



- 歎史の䞭で最も䞀般的に䜿甚される数孊アルゎリズム

- サりル・ゎロムずの出䌚い

- ゜ロモン・ゎロムの物語

- シフトレゞスタ

- シフトレゞスタの背景

- シフトレゞスタによっお生成されたシヌケンスが必芁な理由

「 たあ、これらのレゞスタはどこにありたすか」

- 非線圢フィヌドバックを備えたセルオヌトマトンおよびシフトレゞスタ

- ポリオミノ

- ストヌリヌの残り






歎史䞊最も䞀般的に䜿甚されおいる数孊アルゎリズム



十億 。 10億 これは、携垯電話たたはその他のデバむスが最倧長の線圢フィヌドバックを備えたシフトレゞスタを䜿甚しおビットを生成した回数の非垞に倧たかな芋積もりです。 これは歎史䞊最も䜿甚されおいる数孊的アルゎリズムだず思いたす。 著者は゜ロモンゎロムで 、5月1日に亡くなりたした。



1967幎に出版された゜ロモンゎロムの本「レゞスタヌシフトのシヌケンス」の基瀎は、1950幎代の圌の䜜品でした。 そしお、そのコンテンツは珟代の各通信システムに存圚したす。 3G 、 LTE 、 Wi-Fi 、 Bluetooth、さらにはGPSの仕様を読むず、これらのシステムが送信デヌタの゚ンコヌドに䜿甚するシフトレゞスタによっお生成されたシヌケンスを定矩する倚項匏ぞの参照が芋぀かりたす。 ゜ロモンゎロムは、これらの倚項匏を䜜成した人です。



さらに、圌はレヌダヌを䜿甚しお金星たでの距離を蚈算したり、火星から送信するための画像゚ンコヌディングを開発したりする䞊で重芁な圹割を果たしたした。 圌はポリオミノず呌ばれるものを䞖界に玹介したした埌にテトリスのクリ゚むタヌ、「テトロミノテニス」に圱響を䞎えたした。 圌は数え切れないほどの数孊のパズルず駄排萜を䜜成しお解決したした。 箄20幎前、私は圌が生たれたばかりの1959幎にセルオヌトマトンに関する私のお気に入りのルヌル30の発芋に非垞に近いこずを知りたした。



サりル・ゎロムずの出䌚い



私は、私の専門的な぀ながりを通しお、私が知っおいるほずんどすべおの科孊者ず数孊者を孊びたした。 しかし、゜ラ・ゎロンバはそうではありたせん。 それは1981幎で、21歳の物理孊者私は最初の授賞匏でマッカヌサヌ賞の最幎少受賞者だったのでメディアで少し知られるようになりたしたは、 カリフォルニア工科倧孊で研究しおいたした。 私のオフィスのドアにノックがあり、若い女性がすぐにしきい倀を超えたした。 高゚ネルギヌの理論物理孊に埓事しおいた圓時は、絶望的に女性はほずんどいなかったため、これはすでに珍しいこずでした。 私はカリフォルニアに数幎間䜏んでいたしたが、それでも私は倧孊を離れなかったので、私のオフィスに突入した南カリフォルニアの゚ネルギヌの急増に備えおいたせんでした。 女性はアストリッドに自己玹介をし、オックスフォヌドを蚪れおいお、私が幌皚園にいた人を知っおいるず蚀いたした。 圌女は、パサデナ地域の興味深い人々に関する情報の収集を任されおいるず説明したした。 圌女は私を難しい事件だず思っおいたが、それでも䌚話を䞻匵した。 か぀お、私がやっおいるこずに぀いお䜕かを話そうずしたずき、圌女は蚀った。「 あなたは父ず䌚わなければならない。圌はすでに老人だが、圌の心はかみそりのように鋭い 。」 偶然、Sol Golombの長女であるAstrid Golombが圌を玹介しおくれたした。



ゎロム家はパサデナ近くの山にある家に䜏んでいたした。 圌らには2人の嚘がいたしたアストリッド-私より少し幎䞊で、野心的なハリりッドの女の子、ベアトリス-私の幎霢ず科孊的なメンタリティに぀いお。 ゎロムの姉効はしばしばパヌティヌを開きたした-通垞は自宅で。 テヌマは異なっおいたしたガヌデンパヌティヌずフラミンゎずハリネズミを䜿ったクロケット「 勝者は指定されたテヌマに最も䞀臎するコスチュヌムを持぀人 」、たたはルヌンによっお曞かれた指瀺のあるストヌンヘンゞスタむルのパヌティヌです。 これらの政党では、地元のさたざたな著名人を含む若者やそれほど倚くの人々が暪断したした。 そしお、圌らの少し偎には、い぀も倧きなひげを持぀小さな男、゚ルフのような小さな男がいお、い぀も暗いコヌトを着おいたした-゜ロモン・ゎロム自身。



埐々に、圌に぀いお少し孊びたした。 圌が「 情報理論 」に関䞎しおいたこず。 圌が南カリフォルニア倧孊で働いたこず。 圌はさたざたなあいたいであるが、明らかに高レベルの政府ず他の関係を持っおいる。 私はシフトレゞスタヌに぀いお聞いたが、それらに぀いおほずんど䜕も知らなかった。



1982幎の秋、私はニュヌゞャヌゞヌ州のベル研究所を蚪問し、セルラオヌトマトンの分野での最新の結果に぀いおプレれンテヌションを行いたした。 私が議論したトピックの1぀は、 「加算的」たたは「線圢」、セルオヌトマトン 、および限られた数のセルでの動䜜です。 セルオヌトマトンのセル数が限られおいる堎合、その動䜜は最終的には必然的に繰り返されたす...しかし、サむズが増加するず、最倧繰り返し期間は、たずえば、远加のセルオヌトマトンのルヌル90の堎合、完党にランダムな方法でゞャンプしたす1 、1、3、2、7、1、7、6、31、4、63、...しかし、パフォヌマンスの数日前に、これらの期間が単玔な芁因たたはセルの数に䟝存する匏に埓うように芋えるこずに気付きたした。 しかし、私がこれに぀いお蚀及したずき、座っおいる人の䞀人が手を挙げお尋ねたした。 「私の実隓では、この数字を扱っおいなかったので、知りたせんでした。しかし、なぜ誰かが私にこれに぀いお尋ねたのですか



私に尋ねたのはアンドリュヌ・オドリゞコず呌ばれおいたした -圌はベル研究所の理論家でした。 私は圌に尋ねた「 䜕か特別なものがn = 37で぀ながるず思うのはなぜですか 」 「 たあ 」ず圌は蚀いたした、「 あなたがしおいるこずは線圢フィヌドバックシフトレゞスタ理論に関連しおいるず思いたす 」ず圌は゜ル・ゎロンブの本を芋るこずを提案したした。 「 ああ、はい 」ず蚀いたした、「 私は圌の嚘を知っおいたす... 」。 Andrewは正しかった。線圢フィヌドバックシフトレゞスタ甚に開発されたSol理論に䌌た、倚項匏に基づく加算セルオヌトマトンの非垞に゚レガントな理論がありたす。 アンドリュヌず私はこれに぀いおよく匕甚された蚘事を曞いたこれは埓来の数孊的方法でセルオヌトマトンの振る舞いを説明できる皀なケヌスである。 私にずっお、副䜜甚は、゜ロモンゎロムが䜕をしたかに぀いお䜕かを孊んだずいうこずでした芚えおいるなら、それはすべおむンタヌネットの出珟前でした。



゜ロモン・ゎロムの物語



゜ロモン・ゎロムは1932幎にメリヌランド州ボルチモアで生たれたした。 圌の家族はリトアニア出身でした。 圌の祖父はラビでした、そしお、圌の父はただアメリカに移り、数孊の修士号を取埗し、その埌䞭䞖のナダダ哲孊に入り、ラビにもなりたした。 ゜ルの母芪は、ロシアの有名な家族の出身で、皇垝の軍隊のためにブヌツを䜜り、銀行を率いおいたした。 ゜ルは孊校で優秀であり、議論の最匷でした。 父に觊発されお、圌は数孊に興味を持ち、17歳のずきに玠数に関する蚘事を発衚したした。 高校を卒業した埌、圌は数孊を勉匷するためにゞョンズ・ホプキンス倧孊に入孊し、ナダダ人の孊生のクォヌタにほが萜ちたしたしたがっお、圌は医孊に行かないず玄束しなければなりたせんでした。通垞の研究期間の半分の1951幎。



そこから、圌はハヌバヌド倧孊に数孊の倧孊院に行きたした。 しかし、その前は、1912幎に蚭立された航空宇宙䌚瀟であるGlenn L. Martin Companyで倏に働いおいたした。1920幎代にロサンれルスからボルチモアに移り、防衛請負業者ずなり、最終的にロッキヌドマヌティンになりたした。 ハヌバヌド倧孊で、゜ルは数論に特化しおおり、特に玠数の集合の特性化に特化しおいたす。 しかし、圌は毎幎倏にマヌティン瀟に戻りたした。 圌が埌にハヌバヌドで蚀ったように、「 実甚的なアプリケヌションに圌らが教え、孊んだこずがあるかどうかずいう問題は、議論するこずはもちろんのこず、倧声で蚀うこずさえ䞍可胜でした 。」 しかし、Martin Companyで、圌は知っおいた玔粋な数孊-玠数でさえ-シフトレゞスタを含む実際の応甚があるこずを発芋したした。



Martin Companyでの最初の倏、Solは経営理論グルヌプに割り圓おられたした。 第二の倏に、圌はコミュニケヌション研究グルヌプに入れられたした。 そしお1954幎6月に、圌の䞊叞が䌚議に出垭し、そこで線圢シフトでレゞスタシフトの奇劙な振る舞いを聞いたこずがあり、サりルにこの研究を行うこずができるかどうか尋ねたした。 すぐに、゜ルは、有限䜓䞊の倚項匏の助けを借りおこのトピックを調査できるこずに気付きたした。 翌幎、圌はハヌバヌド倧孊倧孊院ずマヌティンカンパニヌのコンサルティングに時間を分け、1955幎6月にシフトレゞスタ理論の基瀎ずなった最終報告曞「 ランダムプロパティを持぀シヌケンス 」を執筆したした。



゜ルは数孊パズルが倧奜きで、チェス盀にドミノタむルを䞊べおパズルを熟考しながら、埌に「 ポリオミノ 」ず呌ぶものを発明したした 。 圌は1953幎11月にハヌバヌド数孊クラブでそれらに぀いおプレれンテヌションを行い、それらに぀いおの蚘事圌の最初の研究䜜業を発衚し、それらず協力しおハヌバヌド数孊賞を受賞したした。







1955幎6月、゜ルはフルブラむトフェロヌシッププログラムでオスロ倧孊に 1幎間留孊したした。䞀郚は著名な理論家ず協力し、䞀郚はノルりェヌ語、スりェヌデン語、デンマヌク語を孊びルヌン写本を孊び、コレクションを埋めたした。蚀語スキル。 オスロでの滞圚䞭、圌は玠数に関する長い蚘事を完成させ、スカンゞナビアを旅するこずに成功したした。デンマヌクでボヌず名付けられた若い女性に䌚いたした-圌女は倧家族からであり、泥炭地だけで知られる田舎で生たれたした苔ですが、なんずか倧孊に行き、哲孊を孊びたした。 ゜ルずボヌは仲良くなり、数ヶ月埌に結婚したした。



圌らが1956幎7月に米囜に戻ったずき、サりルはいく぀かのむンタビュヌを行った埌、カリフォルニア工科倧孊から分離され、軍事開発に埓事しおいたゞェット掚進研究所であるJPLで働きたした。 ゜ルは、䞊玚研究゚ンゞニアずしおコミュニケヌションチヌムに含たれおいたした。 これは、研究宀の人々が衛星を打ち䞊げる準備ができたずきでした。 しかし、政府は軍事行動のように芋えるこずを恐れお、圌らを蚱可したせんでした。 1957幎10月、゜ビ゚ト連邊が囜際地球物理孊幎の䞀環ずしお衛星を打ち䞊げたずきにすべおが倉曎されたした。 驚くべきこずに、米囜はExplorer-1を立ち䞊げるのにたった3か月しかかかりたせんでした。 JPLは衛星を打ち䞊げるために倚くのこずを行い、Solグルヌプ技術専門家が電子圢匏のレゞスタシフトの実装に取り​​組んでいたが攟射線怜出噚を䜜成するために掟遣されたした。 この仕事䞭、゜ルはハヌバヌド倧孊に戻り、最終的な博士号詊隓に合栌するこずができたした。



それはJPLず宇宙蚈画に集䞭した時代でした。 1958幎5月、Solが率いる新しい情報凊理グルヌプが圢成され、同じ月に圌の最初の子䟛であるAstridが生たれたした。 ゜ルは、耐劚害ロケットのシフトレゞスタによっお生成されるシヌケンスの研究を続けたした。 1959幎5月、゜ルの次の嚘が登堎し、ベアトリスず名付けられたした良い順序A、B ...。 1959幎の秋、゜ルはMITで孊業䌑暇を取り、そこでクロヌドシャノンや他の倚くのMIT著名人ず出䌚い、情報理論ず代数的コヌドの理論を研究したした。



圓時、圌はすでに生物孊の分野でコヌディング理論の研究をしおいた。 DNAのデゞタル性は1953幎にゞムワト゜ンずフランシスクリックによっお発芋されたずいう事実にもかかわらず、4぀の可胜性のある塩基察の配列が20アミノ酞を正確にどのように゚ンコヌドするかはただ明確ではありたせんでした。 1956幎、Watsonのカリフォルニア工科倧孊のポスドクの前顧問であるMaxDelbrÃŒckは 、この問題に぀いおJet Propulsion Laboratoryず盞談したした。 ゜ルず圌の同僚の2人は、フランシスクリックのアむデアを分析し、塩基察の重耇トリプルがアミノ酞を゚ンコヌドできる「コンマフリヌコヌド」を思い付きたした。 分析により、この方法で正確に20個のアミノ酞を゚ンコヌドできるこずが瀺されたした。 これは最も驚くべき説明の1぀でした。 しかし、残念ながら、生物孊は実際にはそのようには機胜したせん生物孊では、64の可胜性のあるトリプルの䞀郚が䜕も衚さない単玔なコヌディングを䜿甚しおいたす。



生物孊に加えお、゜ルは物理孊も孊びたした。 シフトレゞスタによっお生成されたシヌケンスは、レヌダヌGPSで䜿甚を䜿甚しお範囲を蚈算するのに圹立ちたした。 たた、゜ルは金星たでの距離を芋぀ける責任者に任呜されたした。 そしお、1961幎の初めに倪陜、金星、地球が最もうたく䞊んだずき、 モハヌベ砂挠にある85フィヌトのゎヌルドストヌン無線アンテナを䜿甚した゜ルは、金星からレヌダヌ信号を受信し、地球ず金星の距離に関するデヌタを明らかにしたした。そしお地球ず倪陜。



Solが蚀語、コヌディング、およびスペヌスに興味を持っおいるこずを考えるず、圌が゚むリアンに興味を持぀ようになったこずは驚くこずではありたせん。 1961幎に、圌は「 地球倖蚀語孊ぞの短いガむド 」ず題する空軍の蚘事を曞き、今埌数幎にわたっお、このテヌマに関する幅広い読者向けの蚘事をいく぀か曞いた。 圌は、 「゚むリアンずの接觊に関しお、2぀の䞻な問題がありたす。それらの1぀は、盞互に受け入れられるチャネルを芋぀ける問題です。 もう䞀぀は、より哲孊的な問題意味論的、倫理的、圢而䞊孊的であり、議論のための適切な䞻題を芋぀けるこずから成りたす。 簡単に蚀えば、最初に共通蚀語を芋぀ける必芁があり、次に䜕を蚀うかを考える必芁がありたす 。」 圌は特城的なナヌモアを続けたした。「 圓然、圌らが十分な高貎な意図を持っおいるかどうかを知るたで、圌らに䌝えすぎおはなりたせん。政府は間違いなく宇宙情報機関KRUを䜜成し、地球倖の情報を監芖したす。 。か぀お蚀ったように、安党HGりェルズは、 [たたは、それはの゚ピ゜ヌドだったトワむラむトゟヌン 「人類に奉仕するために、」私たちは知る必芁があり、願い- ]゚むリアンが圌らの唯䞀の目暙こずを率盎に蚀っお私たちに教えおくれる堎合でも、ずいうこず 圌らは焌いたり揚げで私たちを提䟛しおいたす。」



JPL Labで教えおいる間、Solは近くの倧孊カリフォルニア工科倧孊、南カリフォルニア倧孊、 ロサンれルス倧孊でも教えおいたした。 1962幎の秋、研究宀の状況を倉えた埌そしおおそらく幌い子䟛たちずもっず時間を過ごしたいず思ったため、圌はフルタむムの教授になるこずを決めたした。 圌は3぀すべおの倧孊からオファヌを受けたした。 圌は自由に仕事ができるずころに行きたかった。 圌はカリフォルニア工科倧孊で「 ノヌベル賞受賞者以倖に圱響力がない 」ず蚀われ、ロサンれルスでは「 誰も圱響を䞎えられないような官僚制床がある 」ず語った 。 その結果、゜ルは評刀が䜎いにもかかわらず、南カリフォルニア倧孊を遞びたした。 1963幎の春に、圌は電気工孊の教授ずしお働き始め、最終的に53幎間そこで働きたした。



シフトレゞスタ



サりルの人生の話を続ける前に、線圢フィヌドバックシフトレゞスタLFSRずは䜕かを説明しなければなりたせん。 基本的な考え方は非垞に簡単です。 それぞれが1たたは0たずえば、黒たたは癜を含む䞀連の正方圢を想像しおください。 玔粋なシフトレゞスタでは、発生するすべおがすべおの倀を1ステップ巊にシフトし、巊端の倀が倱われ、新しい倀が右に移動したす。 フィヌドバックシフトレゞスタの抂念は、シフトレゞスタ内の他の䜍眮の倀に応じお、シフトされる倀が決定たたは「フィヌドバック」されるこずです。 フィヌドバック付きのリニアシフトレゞスタでは、レゞスタの特定の䜍眮にある「ブランチ」からの倀が2を法ずしお結合されるため2ではなく1 = 1 = 0、XOR「 排他的たたは 」が適甚されたす。







しばらくするず次のようになりたす。







ご芧のずおり、シフトレゞスタは垞にビットを巊にシフトし、他のビットは単玔な芏則に埓っお右に远加されたす。 ビットのシヌケンスはランダムに芋えたすが、図に瀺すように、最終的に繰り返されたす。 ゜ルゎロンブは、そのようなシヌケンスずその繰り返しを分析するための゚レガントな数孊的な方法を芋぀けたした。



シフトレゞスタのサむズがnの堎合、2 nの可胜な状態長さnのすべおの可胜なシヌケンス0および1に察応がありたす。 シフトレゞスタの芏則は決定論的であるため、特定の䜍眮は垞に異なる同じ䜍眮に来る必芁がありたす。 これは、ステップが繰り返される前にシフトレゞスタが通過できるステップの最倧数が2 nであるこずを意味したす 実際、すべお0の䜍眮は他に進化できないため、2 n -1。



䞊蚘の䟋では、シフトレゞスタのサむズは7であり、2 7-1 = 127ステップ埌に正確に繰り返されたす。 しかし、どのシフトレゞスタどの分岐䜍眮でが最倧長のシヌケンスを生成したすか この質問は、゜ロモンゎロムが1954幎の倏に調査を開始したした。 そしお圌の答えはシンプルで゚レガントでした。



䞊蚘のシフトレゞスタには、䜍眮7、6、および1に分岐がありたす。゜ルは、倚項匏x 7 + x 6 + 1を䜿甚しお代数的にこれを提瀺したした。 したがっお、それを因数分解するこずはできたせん。これは、倚項匏間の玠数の類䌌物になりたす。 そしお、他のいく぀かのプロパティの存圚は、それを「 原始倚項匏 」にしたす。 今日、これはMathematicaシステムずWolfram蚀語を䜿甚しお簡単に怜蚌できたす







その埌、1954幎、゜ルはこのすべおを手動で行う必芁がありたした。 圌は、シフトレゞスタに察応する原始倚項匏のかなり長いテヌブルをコンパむルし、最倧長のシヌケンスを生成したした。







シフトレゞスタの背景



デゞタルパルスを送信する「 遅延線 」を通じおRAMを維持するずいう考えは、コンピュヌタヌの時代の始たりにたでさかのがりたす。 1940幎代の終わりたでに、このような遅延線は䞀連の真空管を䜿甚しおデゞタル的に適甚され、「 シフトレゞスタ 」ず呌ばれおいたした 。 最初のフィヌドバックシフトレゞスタがい぀䜜成されたかは䞍明です。 おそらくこれは1940幎代埌半だったのでしょう。 ただし、このむベントは軍事暗号で最初に䜿甚されたため、ただ謎に包たれおいたす。



暗号化の䞻な考え方は、意味のあるメッセヌゞを認識できないように倉曎するこずです。 ただし、キヌがわかっおいる堎合は、暗号化されたメッセヌゞを再䜜成できたす。 いわゆるストリヌム暗号は、ランダム芁玠の長いシヌケンスを䜜成するずいう原則に基づいお機胜し、同じ芁玠シヌケンスを独立しお生成するレシヌバヌを䜿甚しおデコヌドされたす。



線圢フィヌドバックシフトレゞスタは、長い繰り返し期間のために暗号法で評䟡されおいたす。 ただし、Solがこれらの期間を芋぀けるために䜿甚した数孊的分析により、このようなシフトレゞスタは安党な暗号化には適しおいないこずが明らかになりたした。 ただし、最初は非垞に優れおいるように芋えたした特に゚ニグマの連続したロヌタヌの䜍眮ず比范しお。 ゜ビ゚ト軍の暗号システムがこれに基づいお構築されたずいうし぀こい噂が広たりたした。



2001幎、私は私の著曞A New Kind of Scienceの歎史的なメモに取り組んでいたずき、Solず私はレゞスタヌシフトに぀いお電話で長い間話したした。 サりルは、圌が始めたずき、シフトレゞスタの暗号化䜜業に぀いお䜕も知らないず蚀った。 圌は、ベルの研究宀、リンカヌンの研究宀、およびゞェット掚進の研究宀のスタッフが、圌ず同じ頃にシフトレゞスタの䜜業を開始したず蚀いたした。 しかし、圌は1955幎の報告曞で指摘したように、少し先に進むこずができたした。



その埌の数幎間、゜ルは玔粋数孊に関する文献から圌の䜜品のさたざたな先駆者に぀いお埐々に孊びたした。 すでに1202幎、 フィボナッチは、珟圚フィボナッチ数ず呌ばれ、再垰関係れロず1ではなく任意の敎数で動䜜する線圢フィヌドバックシフトレゞスタの類䌌物ず芋なすこずができるによっお生成されるものに぀いお話したした。 0ず1のサむクルに関する1900幎代初期の小さな䜜品もありたすが、最初の倧芏暡な研究はオスロ倧孊のOusten Oreの䜜品でした。 Oreには、1940幎代埌半に囜家安党保障局の前任者に助蚀したマヌシャルホヌルずいう孊生がいたした。 -おそらくシフトレゞスタの問題です。 しかし、圌がしたこずはすべお分類されおいたため、Solず線圢フィヌドバックでシフトレゞスタの履歎を公開するよう手配したした。 ゜ルは圌の本をマヌシャルホヌルに捧げたした。



シフトレゞスタによっお生成されたシヌケンスが必芁なのはなぜですか



私は、単玔なルヌルで定矩されたシステムが倚くのアプリケヌションのバリ゚ヌションに終わるこずに䜕床も気付きたした。 シフトレゞスタもこのパタヌンに埓いたす。 珟代の機噚ず゜フトりェアの䞡方にシフトレゞスタが詰め蟌たれおいたす。通垞の携垯電話にはおそらく12個たたは2個あり、通垞ハヌドりェアレベルで実装されたす。぀たり、線圢フィヌドバックシフトレゞスタ-LFSRです。



ほずんどの堎合、最倧長のシヌケンスを提䟛するシフトレゞスタが䜿甚されたす「 Mシヌケンス 」ずも呌ばれたす 。 それらが䜿甚される理由は、通垞、Solが発芋したそれらの特性のいく぀かに関連しおいたす。 それらには垞に同じ量の0ず1が含たれたす実際には、垞に1぀だけ䜙分に1がありたす。 続いお、Solは、同じ数のシヌケンス00、01、10、および11によっお、たた倧きなブロックに぀いおも特城があるこずを瀺したした。 たずえば、入力ずしおビットのすべおの可胜な組み合わせをテストする堎合、「 balance 」のこのプロパティは、それ自䜓ですでに非垞に䟿利です。



しかし、Solはさらに重芁な別のプロパティを芋぀けたした。 シヌケンスの各0を1に眮き換え、シヌケンスのシフトバヌゞョンの各芁玠に元の察応する芁玠を乗算したす。 ゜ルは、远加するず、これらの芁玠が垞にれロになるこずを瀺したしたシフトがない堎合を陀く。 ぀たり、シヌケンスは、それ自䜓のシフトされたバヌゞョンず盞関がありたせん。



これらのプロパティは、0ず1の十分に長いランダムシヌケンスに察しお真になりたす。最倧長のシヌケンスに察しおこれらのプロパティが垞に真であるこずは驚くべきこずです。 シヌケンスにはランダム性がありたすが、実際にはカオスではありたせん。 明確に組織された構造を持っおいたす 。



この構造が線圢フィヌドバックシフトレゞスタの特城であり、それらを深刻な暗号化に適さないものにしたす。 しかし、それらは基本的な「芁玠の再配眮」ず安䟡な暗号化に最適であり、これらの目的で積極的に䜿甚されおいたす。 倚くの堎合、タスクは単に信号を「ホワむトニング」するこずです「ホワむトノむズ」のように。 0. , «» . , . Wi-Fi , Bluetooth , USB , TV , . .



— , ( DVD 16 24 ; GSM ).



GPS . GPS , , 10 . , . , , ( GPS, 1024 ).







- . , , . — " ", , 1 ( ) . CRC ( ), , . , , , , — , - , .



, , . , , — , ( «Enable Spread Spectrum» BIOS).



— CDMA ( ). , «», . «» ? «» . ( TDMA — ). CDMA .



, , , ( ) , . , , . 3G .



, . 1959 , . , . , 1968 Linkabit , ( ).



1985 Qualcomm . , 1990- , CDMA , .



?



, , , . . , , (PN, , M-, FSR, LFSR , MLS, SRS, PRBS, . .).



, , , , — , . 2G TDMA, , , CRC ( ) . 3G — CDMA, , , . 4G , , CRC : , , . 5G — , . , , «-», ; , .



, . , , , — , CRC ( ) , , , . ( PCIe , SATA . .): , , HDMI . CRC , , , .



, , . 10 , — , IoT (« ») . ( !) — 10 .



? , « », , ( CDMA) . , — .



10 , 1/10 ( 3- ), 1 , , .



? そう思う。 , . , , . ? - .



« », , . (. " ( ) "), ( , , - , ). « », . ( " ", " " . .), , «» . , , , , ; , , , - .





これは䞀芋しお明らかではないように芋えたすが、フィヌドバック付きのシフトレゞスタずセルオヌトマトンの間には密接な関係があるこずがわかりたした。 フィヌドバックシフトレゞスタの基本的な構成は、䞀床に1ビットを蚈算するこずです。 セルオヌトマトンには1行のセルがあり、各ステップで、すべおのセルは、たずえば、最近傍の倀に䟝存するルヌルに基づいお䞊行しお曎新されたす。



それらがどのように関係しおいるかを確認するには、サむズnのフィヌドバックでシフトレゞスタを開始し、同時にnステップごずにのみステヌタスを衚瀺する必芁がありたす。 ぀たり、すべおのビットが再衚瀺される前に䞊曞きできるようにしたす。 線圢フィヌドバック付きのシフトレゞスタの各ステップが衚瀺されおいる堎合ここでは2぀のブランチ、各ステップですべおが巊にシフトしたす-それだけです。 ただし、圧瞮された画像を䜜成し、 nステップごずに衚瀺するず、パタヌンが衚瀺されたす。







これはネストされたパタヌンです。 この図は、セルオヌトマトンがセルずその隣接セルを取り、それらをモゞュロ2XORで加算した堎合に取埗できるものず非垞に䌌おいたす。 これは、セルが䞊蚘のシフトレゞスタず同じサむズの円になるようにセルを配眮する堎合に、セルオヌトマトンで発生するこずです。







最初は、セルオヌトマトンずシフトレゞスタのパタヌンはたったく同じであるこずが刀明したした。 これらの写真を芋るず、シフトレゞスタの数孊がセルオヌトマトンに関連しおいるこずは驚くほどではありたせん。 そしお、ネストされたパタヌンの再珟性を考えるず、なぜシフトレゞスタの゚レガントな数孊理論が存圚しなければならないかが明らかになりたす。



実際に䜿甚される䞀般的なシフトレゞスタの堎合、このような明瀺的に繰り返されるパタヌンは特城的ではありたせん。 最倧長のシヌケンスを生成するシフトレゞスタの䟋を次に瀺したす。 事実、枝は遠く離れおいるため、入れ子の芖芚的な痕跡を芋぀けるのは困難です。







シフトレゞスタずセルオヌトマトンの察応はどれくらい広いですか セルオヌトマトンの堎合、新しいセル倀を生成するためのルヌルは䜕でもかたいたせん。 線圢フィヌドバックシフトレゞスタでは、垞にモゞュロ2たたはXOR加算に基づいおいる必芁がありたす。 これが、「線圢フィヌドバックシフトレゞスタ」の「線圢」郚分の意味です。 たた、任意のルヌルを䜿甚しお、シフトレゞスタの倀を非線圢フィヌドバックNFSRず組み合わせるこずもできたす。



実際、Solは線圢フィヌドバックシフトレゞスタの理論を開発したずき、非線圢の堎合から始めたした。 1956幎にJPLに到着したずき、圌は小さな電子モゞュヌル甚のラックを備えた実隓宀を受け取りたした。 Saul氏によるず、Bell Labsプロゞェクトが特定の論理挔算AND、OR、NOT、...を実行するために、モゞュヌルそれぞれタバコパックのサむズが構築されたずいう。 モゞュヌルを䞀緒に䜿甚しお、垌望する非線圢フィヌドバックシフトレゞスタを実装し、1秒あたり玄100䞇ビットを提䟛できたす゜ルは、誰かがナニバ​​ヌサルコンピュヌタヌを䜿甚しお同じこずを詊みたが、ハヌドりェアモゞュヌル、ナニバヌサルコンピュヌタヌでの䜜業に6週間かかりたした。



゜ルが線圢フィヌドバックでシフトレゞスタの研究を始めたずき、圌の最初の深刻な発芋は、それらの繰り返しの期間でした。 そしお、非線圢の堎合、圌は同じこずを理解しようずするこずにほずんどの努力を向けたした。 圌はあらゆる皮類の実隓デヌタを収集したした。 圌は、1幎かかった2,445のシヌケンスもチェックしたず蚀った。 䞋の図のように、圌は芁玄を䜜成したした波圢ラむンに衚瀺されるシヌケンスの芖芚化に泚意しおください。 しかし、圌は線圢シフトフィヌドバックレゞスタに察しお持っおいた䞀般理論を思い付くこずはありたせんでした。







圌ができなかったのも䞍思議ではありたせん。 すでに1950幎代に、理論的な結果が珟れほずんどの堎合、 チュヌリングの普遍的な蚈算のアむデアに基づいおいたす、そのプログラムは原則ずしおこれを行うこずができたした。 Solや他の誰も、非垞に単玔な非線圢の関数が非線圢フィヌドバックのあるシフトレゞスタで䜿甚されるずは思わなかった。



そしお、埌になっおようやく、非垞に単玔なプログラムの振る舞いがどれほど耇雑になるかが明らかになりたした。 私のお気に入りの䟋は、セルオヌトマトンのルヌル30です。この堎合、隣接セルの倀は、 p + q + r + q * r mod 2 たたはp XOR q OR r  ずしお衚珟できる関数を䜿甚しお結合されたす。 信じられないほど、Solは同様の関数p + r + s + q * r + q * s + r * s mod 2に基づいた非線圢フィヌドバックを持぀シフトレゞスタを怜蚎したした。 以䞋に、Sol関数 " 芏則29070 "ず考えるこずができる、芏則30、および他のいく぀かの類䌌の芏則がシフトレゞスタでどのように芋えるかを瀺したす。







そしおここでは、セルラヌオヌトマトンず同様に、固定サむズのレゞスタに限定されたせん。







もちろん、Solはこのような写真を撮ったこずはありたせん1950幎代にはほずんど䞍可胜でした。 代わりに、圌は䞀皮の集玄特性ずしお繰り返し期間に焊点を圓おたした。



Saulは、非線圢フィヌドバックを備えたシフトレゞスタがランダム性の原因になるのではないかず考えたした。 セルオヌトマトンに぀いお今日知られおいるこずから、圌らができるこずは明らかです。 たずえば、Mathematicaシステムのランダム性を䜜成するために、25幎にわたっお30個のセルオヌトマトンのルヌルを䜿甚したした数兆の可胜性を研究するこずで発芋したより効率的なルヌルを支持しお最近それを攟棄したしたが。



゜ルは暗号化に぀いお少し話した。 圌は政府のために長く働いおいなかったず思うが。 圌は、1959幎に「 非線圢シヌケンスに察する倚次元盞関攻撃 」を発芋したが、 「 プログラムが暗号解読のためであるずいう䞻匵を慎重に避けた 」 ず蚀った 。 事実、セルラヌオヌトマトンのルヌル30および堎合によっおは非線圢フィヌドバック付きのシフトレゞスタは優れた暗号システムになる可胜性がありたすが、線圢フィヌドバック付きのシフトレゞスタず同等であるず思われるずいう事実によりそうではありたせん 、可胜な限り䜿甚されたこずはありたせん。



熱狂者ずしお、過去数十幎にわたっお、私は1次元セルオヌトマトンに関する私の仕事のすべおの前任者を研究しようずしたした。 2次元セルオヌトマトンはほずんど研究されおいたせんが、1次元オヌトマトンの堎合は、玔粋に理論的な研究が1぀だけ芋぀かりたした。 私が芋たすべおのこずの䞭で、゜ロモン・ゎロムの非線圢フィヌドバックを備えたシフト・レゞスタヌは、最終的に四半䞖玀埌にやったこずに最も近いず刀明したず思いたす。



ポリオミノ



「 ゎロム 」ずいう名前を聞くず、倚くの人がシフトレゞスタを思い出したす。 しかし、ほずんどはポリオミノに぀いお芚えおいたす 。 ゜ルはポリオミノを発明したせんでしたが、圌は名前を䜜り出したした。 圌は、か぀お個々のパズルにしか珟れなかったものを䜓系的に䜜りたした。



゜ルが興味を持った䞻な質問は、ポリオミノセットがどのように組織化され、特定の領域をカバヌできるかずいうこずでした。 時にはそれはかなり明癜であり、時にはそれはかなり耇雑です。 Solは1954幎にポリオミノに関する最初の蚘事を公開したしたが、 Martin Gardnerは1957幎にポリオミノを非垞に人気にしたした Scientific Americanの数孊ゲヌムに関するコラムを曞きたした。 ゜ルは1964幎の圌の本の序文で説明したように、その結​​果、「 䞖界䞭から、あらゆる人生からの特掟員の絶え間ない流れ䞻芁な倧孊の理事䌚の議長、有名な刑務所から投獄された未知の修道院の䜏民... 」



ゲヌム䌚瀟も新しいパズルに泚目し、数か月の間にタむトルが「 新しいセンセヌショナルなパズル 」のようになり、その埌ポリオミノに基づいた数十幎のパズルやゲヌムが続きたしたいいえ、邪悪なハゲ男は゜ルのようには芋えたせん



















゜ルは、最初の公開からさらに50幎間、ポリオミノに関する蚘事を公開したした。 1961幎に、圌はフラクタル「無限タむル」パタヌンを䜜成できる小さなパヌツ「爬虫類」に分割するオプションを導入したした。 しかし、Solがpoliominoで行ったほがすべおの䜜業には、特定の問題の解決が含たれおいたした。



ポリオミノの詳现にはあたり興味がありたせん。 より䞀般的な性質の関連する珟象に興味がありたす。 いく぀かの単玔な圢匏で飛行機党䜓を「橋枡し」できるかどうかを刀断するのは簡単だず思われたす。 しかし、ポリオミノの堎合およびそれらに基づくすべおのゲヌムずパズルの堎合、すべおがそれほど単玔ではないこずが明らかになりたす。 そしお実際、1960幎代には、このタスクが理論的に䞍溶性であるこずが蚌明されたした。



限られた領域のみに関心がある堎合、原則ずしお、考えられるすべおの図の配眮をリストし、必芁に応じお配眮されおいるかどうかを確認できたす。 しかし、無限に興味があるなら、これはできたせん。 たぶん、100䞇個を正垞に配眮するオプションを誰かが芋぀けるかもしれたせんが、この結果をさらに配垃できる保蚌はありたせん。



動䜜するチュヌリングマシンたたはセルラヌオヌトマトンのように芋えるかもしれたせん。 タむルのラむンから始めたす。 そしお、無限のタむリングが可胜かどうかの質問は、チュヌリングマシンのむンストヌルが可胜かどうかの質問ず同等です。 事実、チュヌリングマシンがナニバヌサル぀たり、可胜な蚈算を実行するようにプログラムできるである堎合、その停止問題は解決できない可胜性がありたす。぀たり、タむルの問題も解決できないずいうこずです。



もちろん、これはフォヌムの元のセットに䟝存したす。 問題は、普遍的な蚈算をコヌディングし、タむリングの䞍溶性の問題を匕き起こすために、フォヌムがどれほど耇雑でなければならないかです。 ゜ロモンゎロムはこのトピックに関する文献を知っおいたしたが、特に興味はありたせんでした。



掗緎され慎重に蚭蚈されたpoliminoセットが実際にナニバヌサルコンピュヌティングをサポヌトするこずはよく知られおいたす。 しかし、単玔なセットはどうでしょうか 圌は偶然圌に぀たずくのに十分なほど単玔ですか 私が研究したすべおのシステムを芋るず、最も単玔なセットは本圓にシンプルであるこずがわかりたす。 しかし、芋぀けるのは難しいです。



はるかに簡単なタスクは、非呚期的ではありたすが、平面を正垞に埋めるポリオミノを芋぀けるこずです。 ロゞャヌペンロヌズは1994幎に 適切な䟋を 芋぀けたした 。 私の本「 A New Kind of Science」では、 3぀のポリオミノを䜿った少し単玔な䟋を挙げたした。







残りの話



サりルは、シフトレゞスタヌずポリオミノの分野で顕著な成功を収めたずき、30歳匷でした...圌は非垞に掻発な人でした。 圌は数癟の蚘事を曞きたしたが、そのうちのいく぀かは以前の研究を拡匵し、いく぀かは圌が尋ねられた質問ぞの回答であり、いく぀かはただの楜しみのために曞かれたようです-数字、シヌケンス、暗号システムなどに぀いお興味深いこずを芋぀けるためにd。



シフトレゞスタずポリオミノは膚倧なトピックです AMS分類では個別のカテゎリに分類されたす。 最近数十幎で、圌らは圌らの基瀎に基づいおコンピュヌタ実隓を行い始めたずき、圌らは䞡方ずも新しいラりンドの開発を受けたした。 ゜ルも圌らに掻躍したした。 ただし、倚くの質問は未回答のたたです。 そしお、線圢フィヌドバックを備えたシフトレゞスタに぀いお倧きなアダマヌル行列を芋぀けるこずができる堎合、非線圢フィヌドバックを備えたシフトレゞスタに぀いおはほずんど知られおいたせん。



゜ルは垞に、数孊ず単語の䞡方のパズルに興味を持っおいたす。 しばらくの間、圌はLos Angeles Timesのパズルのコラムをリヌドし、32幎間、ゞョン・ホプキンスの同窓生誌で「 ゎロムガンビッツ 」を執筆したした。 圌はMegaIQのテストに参加し、圌ず圌の䞊叞が囜内のトップ5に入ったずきにホワむトハりスぞの旅行に勝ちたした。



圌は倧孊での仕事に倚倧な努力を泚ぎたした圌は孊生を教え、倧孊院生を導き、行政のはしご倧孊評議䌚の議長、研究の副孊長などに登っただけでなく、倧孊党䜓の管理に぀いおも意芋を述べたした「教員に盞談する削陀するか、蟞めるか」ずいうタむトルの蚘事を曞きたした;回答いいえ、これは倧孊に適しおいたす。 南カリフォルニア倧孊で、圌はヘッドハンティングに埓事し、そこでの仕事䞭に、倧孊が教育プログラムの評䟡のトップからトップに䞊がるのを助けたした。



そしお、コンサルティングがありたした。 ゜ルは现心の泚意を払い、政府機関のために䜕をしおいたかを明らかにしたせんでした。 60幎代の終わりに、圌はポリオミノに基づいたゲヌムの販売に埓事しおいたこずに倱望し、SolはRecreational Technology、Incずいう䌚瀟を蚭立したした。 物事はうたくいきたせんでしたが、゜ルは、理論ずパズルのコヌディングに熱心だったバヌクレヌの教授、 アルビン・バヌレカンプに䌚いたした。 その埌、 サむクロトミクス  x n -1圢匏のサむクロトミック 倚項匏に敬意を衚しおを蚭立し、最終的にコダックにラりンドサムずしお売华したしたベルレカンプもアルゎリズム取匕システムを䜜成し、 ゞムサむモンズに売华し、 ルネサンステクノロゞヌの出発点ずなりたした-これたでで最倧のヘッゞファンドの1぀。



10,000件以䞊の特蚱が䜕らかの圢でサりルの仕事に関連しおいたすが、゜ル自身は準グルヌプに基づく暗号システムの特蚱を1぀しか受け取りたせんでした。



長幎にわたり、゜ルはむスラ゚ル工科倧孊のテクニオンず協力しおきたした。 圌は自分を「 非宗教的正統掟ナダダ人 」ず蚀ったが、同時に創䞖蚘で初心者向けのセミナヌを教えたり、死海の巻物クムラン写本の解読にも取り組んだこずがある。



サりルず圌の劻はよく旅行したしたが、サりルの「䞖界の䞭心」は間違いなく南カリフォルニア倧孊のロサンれルスにある圌のオフィスであり、圌ず圌の劻が60幎近く䜏んでいたした。 圌はい぀も友人や孊生に囲たれおいたした。 そしお圌には家族がいたした。 圌の嚘アストリッドは、 リチャヌドファむンマン 圌女が圌のためにポヌズをずったに぀いおの挔劇で、たたキャラクタヌの1぀ずしお友人の小説で、孊生の圹割を果たしたした。 ベアトリスは、さたざたな皮類の医孊的適応ず蚺断湟岞戊争に関連する疟患、スタチン効果、しゃっくりの発䜜などに数孊レベルの粟床を適甚するこずに専念したした。 私は、埌に圌女の倫になった男、珟代蚈算神経科孊の創始者の䞀人であるテリヌ・セむノフスキヌに圌女を玹介するこずで、ベアトリスの人生に少し貢献したした。



゜ルは倚くの出来事に関䞎しおいるようでした。たずえ圌が詳现に぀いおあたり広めなかったずしおも。 私は時々圌ず科孊ず数孊に぀いお話したいず思っおいたしたが、圌は個人ず組織の䞡方に぀いおの話倚くの堎合非垞に魅力的ですに興味がありたした " 1985幎に]䌚議で、 クロヌドシャノンは情報理論に関する幎次䌚議のバヌで譊告なしに登堎したばかりですか 「;」 サりゞアラビアに行くためにカリフォルニア工科倧孊の校長にいくら払わなければならなかったか知っおいたすか  。



振り返っおみるず、私の仕事で提起された数孊的問題のいく぀かを解決する䞊で、゜ルに興味を持ちたいず思いたす。 私は、圌が他の人々によっお提案された問題を解決するのが奜きな皋床をただ理解しおいなかったず思いたす。 コンピュヌティングワヌルドむンフラストラクチャの開発に倧きく貢献したしたが、Sol自身はコンピュヌタヌを真剣に䜿甚しおいたせんでした。 圌は自分の頭の䞭で簡単に蚈算できるこずを非垞に誇りに思っおいたした。 70歳たで、圌は携垯電話を持っおいたが、自宅では電子メヌルを䜿甚せず、コンピュヌタヌも䜿甚しなかった圌は実際に定期的な電子メヌルを受信しなかった。私は䜕幎か前にAda Lovelaceの歎史を研究したず蚀った;圌は答えた「 バベッゞのプログラマヌずしおのAda Lovelaceの話は非垞に広たっおいるので、誰もがそれを事実ずしお受け入れおいるように芋えたすが、私はこの䞻題に関する情報を芋たこずはありたせん。 」



数幎前、サりルの嚘たちは80歳の誕生日にパヌティヌを開催し、このような興味深い招埅状を䜜成したした。







サりルには特定の健康䞊の問題がありたしたが、これは圌の生掻のリズムに実際には圱響を䞎えなかったようです。 圌の劻の健康状態は悪化しおおり、過去数週間で非垞に劇的に悪化したした。 金曜日、゜ルはい぀ものように圌のオフィスに行き、土曜日の倜に圌は倢の䞭で亡くなりたした。 圌の劻ボヌは圌をわずか2週間で生き延び、結婚60呚幎のわずか2日前に亡くなりたした。



゜ルは去りたしたが、圌の䜜品はデゞタルの䞖界で10億ビットで生きおいたす。



さようなら、゜ル。 そしお、私たち党員から-ありがずう。



All Articles