Automaty komórkowe zachowujące sumę

W ramach grantu będą prowadzone obliczenia i symulacje komputerowe wspierające badania nad strukturą wybranych klas automatów komórkowych. Analizowane będą w szczególności automaty zachowujące sumę stanów lub liczbę komórek w poszczególnych stanach, a także spełniające inne własności motywowane fizycznie i biologicznie, takie jak odwracalność. Szczególna uwaga zostanie poświęcona automatom dwuwymiarowym, dla których podwójnie wykładniczy wzrost liczby możliwych reguł lokalnych powoduje, że struktura klas automatów spełniających zadane własności globalne pozostaje w dużej mierze niepoznana. Obliczenia będą służyły systematycznemu przeszukiwaniu dużych przestrzeni reguł, identyfikowaniu prawidłowości i wyjątków oraz dostarczaniu danych wspierających dalszą analizę teoretyczną. Stosowane metody obejmą klasyczne algorytmy przeszukiwania przestrzeni wielowymiarowych, algorytmy rozwiązujące problemy SAT, algorytmy genetyczne oraz metody wykorzystujące sieci neuronowe.