СТАБ: Испытание на наличие алгоритмических узких мест с учетом технических требований
arXiv: 2605.27981v2 Вид уведомления: заменить резюме: оценка эффективности алгоритмического кода требует опытных образцов, которые выявляют узкие места во времени работы. Предыдущие методы создают пробные варианты эффективности либо путем увеличения объема вводимых ресурсов, либо посредством генерирования конкретных кодовых вводимых данных, которые позволяют обеспечить медленное осуществление данного проекта. Следовательно, они не учитывают структурные входные условия, которые являются причиной наихудшего алгоритма. Мы введем СТАБ - трубопровод, основанный на спецификациях и создающий опытные образцы, которые выявляют алгоритмические узкие места только из спецификации проблем с естественным языком. СТАБ разделяет задачу на максимальное ограничение и состязательное впрыскивание структуры. i) В результате ограничения сатуратора вынимаются ограничения и регулируются крупные допустимые задания по размеру, используя для этого метод насыщения на основе норм и оптимизацию CP-SAT по отношению к соответствующим переменным. ii) В рамках состязательного сценария инжектор получает принципы состязательности на уровне осуществления из каталога сценарий с использованием купонированного сценария.
