Компьютерные науки > Искусственный интеллект [представлен 8 сентября 2026 года] Название: Когда можно получить сертификаты оптимальной ценности с использованием Positivstellensaetze? Вид PDF HTML (экспериментальное) Резюме: Мы изучаем свидетельства о позитивности и оптимальности для проблем обучения, цели и ограничения которых не должны быть полиномичными. Мы изолируем аксиоматическое ядро конструктивной строгой и слабой Positivstellensätze, и докажем полученные в результате теоремы абстрактных функций алгебра над заданными полями. В этой рамочной программе разделены две роли, которые в противном случае можно было бы совместить: объективные и ограничительные функции могут быть построены из широких классов непрерывных или определяемых операций, а вспомогательные примитивы, используемые для построения сертификата, удовлетворяют эксплицитным требованиям к скалярному и закрытому аксиомам. Мы даем примеры в отношении непрерывного и определимого алгебра функций, включая заказанные поля, не закрытые под квадратными корнями, получаем сертификаты более низкой сложности и глобальной оптимальности и анализируем как расширенную продолжительность срока действия, так и общую сложность вычислительной карты. Загрузка ссылок и цитат... Библиографический и цитационно-инструментальный библиолог (Что является Исследовательом?) Подключённые документы (что такое подсоединенные бумаги?) Litmaps (Литмпапс?) Skite Smart Citations (Каков умный цитаты?) Код, данные и средства массовой информации,…
Когда можно получить сертификаты об оптимальности с использованием позитивстеллензаэ?
arXiv: 2609.08736v1 Вид уведомления: новое резюме: мы изучаем свидетельства о позитивности и оптимальности для проблем обучения, цели и ограничения которых не обязательно должны быть полиномическими. Мы изолируем аксиоматическое ядро конструктивной строгой и слабой Positivstellens\"tze и докажем, что полученные теоремы абстрактных функций алгебра над заданными полями. В этой рамочной программе разделены две роли, которые в противном случае можно было бы совместить: объективные и ограничительные функции могут быть построены из широких классов непрерывных или определяемых операций, а вспомогательные примитивы, используемые для построения сертификата, удовлетворяют эксплицитным требованиям к скалярному и закрытому аксиомам. Мы даем примеры в отношении непрерывного и определимого алгебра функций, включая заказанные поля, не закрытые под квадратными корнями, получаем сертификаты более низкой сложности и глобальной оптимальности и анализируем как расширенную продолжительность срока действия, так и общую сложность вычислительной карты.
