Статьи автора

Применение систем компьютерной алгебры для исследования тождеств Чаунди-Булларда для функции векторного разбиения с весом

Номер выпуска 2 от 17.09.2025

В данной работе предложен алгоритм получения тождества Чаунди–Булларда для функции векторного разбиения с весом с использованием методов компьютерной алгебры. Для автоматизации данного процесса в среде Maple был разработан и реализован алгоритм, вычисляющий значения функции векторного разбиения с весом путем нахождения неотрицательных решений систем линейных диофантовых уравнений, на основе которых происходит составление указанных тождеств. Входными данными алгоритма является набор целочисленных векторов, образующих заостренный решеточный конус, и некоторая точка из данного конуса, выходными данными – тождество Чаунди–Булларда для функции векторного разбиения с весом. Указанный код размещен в депозитории и готов к использованию. Приведен пример, демонстрирующий работу данного алгоритма.

13 0