0
Я не смог найти никакой информации о том, какое максимальное количество переменных и ограничений, с которыми могут справиться решатели minizinc. В частности, меня интересует mip solver minizinc. Я получаю ошибки переполнения стека на моем mac с 8 ГБ, когда у меня около 15k ограничений и около 1000 переменных. Кто-нибудь знает, если это что-то близко к реальным ограничениям minizinc?Какой максимальный объем ограничений в minizinc
Ошибки Stackoverflow не могут быть решены путем использования большого количества оперативной памяти (например, вашего 8 ГБ). Это в основном код, который использует рекурсивную функцию (которая имеет более 1024 вызовов), которая должна использовать цикл. –
Спасибо за комментарий, @GeoffreyDeSmet. Прямого способа записи рекурсивных функций в minizinc нет, поэтому он должен быть связан с некоторым внутренним ограничением minizinc. – Tomato
Т.е. я должен указывать слишком много ограничений или использовать слишком много переменных. Все мои ограничения - это просто простые циклы с функциями суммирования, поэтому никакого использования не требуется. – Tomato