昨日の仮想通貨セミナーで紹介したトマベチアルゴリズムの詳細が書かれた私の1993年のカーネギーメロン大学博士論文。ベチユニットでもトマベチアルゴリズムは重要なアルゴリズムであった。トマベチアルゴリズムは90年の発表から25年経っても未だ最速線形時間単一化アルゴリズムである。90年代の最初期デジタル通貨であったベチユニットでも、昨日話した通り、コインデータ構造そのものと、現行用語での分散レッジャーにあたる、ベチユニットにおける"ノードプール"での不正検知などの単調性維持に利用された。近年、仮想通貨ブームで、この博士論文のリクエストが急増しているのもあり、PDFで全文公開する。ANSI Common Lisp で当時私が書いたトマベチアルゴリズムのフルソースコードも論文末尾にある。

Below is my CMU Ph.D. thesis submitted in 1993. Defines two versions of Tomabechi Algirithm which are fast full graph unification algorithms handling converging arcs and cyclic graph structures. The algorithm was used in Bechi Unit implementations in early and mid 90s which were one of the world's earliest implementations of digital currency.

Tomabechi algorithm was used for maintaining monotonicity in a coin data structure and virtual ledger data structures. I am receiving new requests for the thesis due to the surging interests in very efficient block chain like structures and maintenance of monotonic data structures using the algorithm.

Below is the link to the PDF scan of the thesis:
Full ANSI Common Lisp source code of Tomabechi Algorithm can be found at the end of the thesis.

http://maxpec.net/amazoncampaign_present/Dr_Tomabechi_treatise.pdf