Calculator de biliard

Calculatorul cu bile de biliard este un  model logic pentru efectuarea de calcule reversibile , un calculator mecanic bazat pe legile mișcării lui Newton și propus în 1982 de Edward Fredkin și Tommaso Toffoli [1] .

În loc să folosească semnale electronice ca într-un computer de arhitectură convențional von Neumann , acesta aplică principiile mișcării bilelor de biliard în absența frecării . Calculatorul de biliard poate fi folosit pentru a studia relația dintre calculele reversibile și procesele reversibile din fizică.

Descriere

Calculatorul de biliard modelează circuite logice booleene folosind în loc de fire traseele de-a lungul cărora se mișcă bilele delimitate de pereți: semnalul este codificat prin prezența sau absența bilelor pe căi, iar porțile logice sunt modelate folosind ciocniri de bile la intersecții. a potecilor. În special, se pot alege traseele bilelor astfel încât să se obțină o poartă Toffoli , o poartă logică reversibilă universală , cu care se poate obține orice altă poartă logică reversibilă. Aceasta înseamnă că un computer de biliard selectat corespunzător este capabil să efectueze orice calcule [2] .

Modelare

Un computer de biliard poate fi modelat folosind diferite tipuri de automate celulare reversibile , inclusiv bloc și ordinul doi . În astfel de modele, bilele se mișcă cu o viteză constantă de-a lungul axelor de coordonate, ceea ce este suficient pentru modelarea circuitelor logice. Atât bile, cât și pereții corespund unor grupuri de celule vii (conținând 1), iar câmpul înconjurător este umplut cu celule moarte (conținând 0) [3] .

De asemenea, un computer de biliard poate fi implementat folosind crabi soldați vii din specia Mictyris guinotae ca bile de biliard [4] [5] [6] .

Note

  1. Fredkin, Edward & Toffoli, Tommaso (1982), Conservative logic , International Journal of Theoretical Physics vol. 21 (3-4): 219–253 , DOI 10.1007/BF01857727  .
  2. Durand-Lose, Jérôme (2002), Computing inside the billiard ball model, în Adamatzky, Andrew , Collision-Based Computing , Springer-Verlag, p. 135–160, ISBN 978-1-4471-0129-1  .
  3. Margolus, N. (1984), Physics-like models of calculation , Physica D: Nonlinear Phenomena vol. 10: 81–95 , DOI 10.1016/0167-2789(84)90252-5  . Retipărit în Wolfram, Stephen (1986), Theory and Applications of Cellular Automata , voi. 1, Seria avansată pe sisteme complexe, World Scientific, p. 232–246  .
  4. Gunji, Yukio-Pegio; Nishiyama, Yuta & Adamatzky, Andrew (2011), Robust Soldier Crab Ball Gate , Complex Systems vol . 20 (2): 93–104 , < http://www.complex-systems.com/abstracts/v20_i02_a02.html > Arhivat copie datată 21 septembrie 2017 la Wayback Machine . 
  5. Solon, Olivia (14 aprilie 2012), Computer Built Using Swarms Of Soldier Crabs , Wired , < https://www.wired.com/wiredenterprise/2012/04/soldier-crabs/ > Arhivat la 14 martie 2014 pe Wayback Machine . 
  6. Aron, Jacob (12 aprilie 2012), Computers powered by swarms of crabs , New Scientist , < https://www.newscientist.com/blogs/onepercent/2012/04/researchers-build-crab-powered.html > Arhivat pe 13 aprilie 2012 la Wayback Machine .