Представлен обзор Международной конференции «Приложения компьютерной алгебры» (ACA–2017, Иерусалим, 17–21 июля 2017 г.), на которой был рассмотрен широкий спектр вопросов применения компьютерной алгебры в различных прикладных областях. К таким областям, в частности, можно отнести образование, топологию, дифференциальную и разностную алгебру, динамическую геометрию, постквантовую криптографию, прикладную физику, небесную механику, динамические системы, алгоритмическую комбинаторику, теорию кривых, полиномиальные системы, обработку изображений, теорию графов и др. С. 64-68.
The review observes the 23rd Conference on «Applications of Computer Algebra» (ACA'2017, Jerusalem, July 17–21, 2017) where applications of computer algebra in different areas were discussed. The topics of the conference included but were not restricted to the applications of computer algebra in education, topology, differential and difference algebra, dynamic geometry, post-quantum cryptography, applied physics, celestial mechanics, dynamical systems, algorithmic combinatorics, theory of curves, polynomial systems, image processing, graph theory, etc.
Ключевые слова: обзор, конференция, алгебра, компьютерная алгебра, системы компьютерной алгебры.
Keywords: review, conference, algebra, computer algebra, computer algebra systems.
Поиск диаграмм Юнга с максимальными размерностями или, что эквивалентно, неприводимых представлений симметрической группы S(n) с максимальными размерностями, является важной задачей асимптотической комбинаторики. В данной работе предложены алгоритмы, позволяющие преобразовывать диаграмму Юнга в другую диаграмму того же размера, но обладающую большей размерностью. В результате численных экспериментов построена последовательность диаграмм Юнга с большими размерностями длины 106. При этом первые 1000 членов данной последовательности не изменяются под воздействием применяемых алгоритмов, что может свидетельствовать о том, что подавляющее их число обладает максимальными размерностями. Установлено, что в построенной последовательности размерности всех диаграмм Юнга, начиная с 75778-й, превышают размерности соответствующих диаграмм из жадной планшерелевской последовательности. С. 33-43.
Search for Young diagrams with maximum dimensions or, equivalently, search for irreducible representations of the symmetric group S(n) with maximum dimensions is an important problem of asymptotic combinatorics. In this paper, we propose algorithms that transform a Young diagram into another one of the same size but with a larger dimension. As a result of massive numerical experiments, the sequence of 106 Young diagrams with large dimensions was constructed. Furthermore, the proposed algorithms do not change the first 1000 elements of this sequence. This may indicate that most of them have the maximum dimension. It has been found that the dimensions of all Young diagrams of the resulting sequence starting from the 75778th exceed the dimensions of corresponding diagrams of the greedy Plancherel sequence.
Ключевые слова: диаграмма Юнга, граф Юнга, диаграмма Браттели-Вершика, процесс Планшереля, асимптотическая комбинаторика.
Keywords: Young diagram, Young graph, Bratteli-Vershik diagram, Plancherel process, asymptotic combinatorics, irreducible representation, symmetric group.