Home

А. Охотин: "Уравнения над множествами целых чисел"

  • The directory /tmp/drutex-93f1267c6aee3dbae7440b8ff4250cff-1 has been created.
  • The directory /tmp/drutex-93f1267c6aee3dbae7440b8ff4250cff-2 has been created.
  • The directory /tmp/drutex-93f1267c6aee3dbae7440b8ff4250cff-3 has been created.

Понедельник, 12 октября, комната 203. Начало в 12:00.

Докладчик: Александр Охотин (университет Турку, Финляндия).

Тема: Уравнения над множествами целых чисел.

Abstract

Доклад посвящён системам уравнений вида TeX Embedding failed! и TeX Embedding failed!, где неизвестные --- множества целых чисел, постоянные --- периодические множества, а сумма двух множеств определяется как TeX Embedding failed!. Если ограничиваться неотрицательными числами, то такие уравнения представляют собой предельно простой случай языковых уравнений, изучаемых в теории формальных языков; если допускать также и отрицательные числа, получаются языки над свободной группой. На первый взгляд, подобные уравнения --- это тривиальный арифметический объект, и их единственные решения должны быть лишь периодическими. Однако, как было установлено совсем недавно, выразительная мощность подобных систем на самом деле исключительно высока и может быть раскрыта методами теоретической информатики. В докладе будет рассказан путь исследований от первых примеров непериодических решений до описания класса представимых множеств.
Большинство результатов получено докладчиком в соавторстве с Артуром Йежем (Вроцлавский университет, Польша), а последний шаг --- совместно с Томми Лентиненом (университет Турку, Финляндия).