AGIQ Solver Enterprise
GPU‑ускоренный решатель NP‑трудных задач оптимизации (Max‑SAT/3‑SAT и др.)
1 миллиард оценок за ~45 секунд на RTX 3090.
AGIQ Solver — профессиональное WPF ‑ приложение для решения сложных задач оптимизации, где классические подходы упираются во время, стоимость серверов или масштаб. Мы используем массовый параллелизм GPU и собственный “резонансно‑эволюционный” алгоритм поиска, чтобы быстро получать решения высокого качества на обычных рабочих станциях.
—
Почему AGIQ
Скорость за счёт GPU‑параллелизма
AGIQ делает то, что CPU‑ориентированные решатели делают медленно:обрабатывает огромные популяции кандидатов параллельно и выполняет миллионы оценок в секунду. Это превращает “часы” в “минуты”, а иногда — в секунды.
КВАНТОВОПОДОБНЫЙ АЛГОРИТМ: В отличие от классических решателей, которые последовательно перебирают варианты (Branch & Bound, CDCL) и застревают в локальных минимумах, AGIQ использует революционный принцип резонансной эволюции — все миллионы кандидатов существуют ОДНОВРЕМЕННО как волны с комплексными амплитудами, интерферируют друг с другом, усиливая лучшие решения и гася плохие, и самоорганизуются в глобальный оптимум. Это позволяет загрузить 10 496 ядер GPU полезной работой и достичь скорости 1 миллиард оценок за 45 секунд — то, на что конкурентам требуются часы и дорогие серверы.
AGIQ не заменяет квантовый компьютер. Но для задач оптимизации (расписания, логистика, планирование) он даёт !ТОЧНЫЙ результат БЫСТРЕЕ и ДЕШЕВЛЕ, чем если бы вы ждали настоящий квантовый компьютер. Мы используем математику квантовой физики, но реализуем её на GPU, который у вас уже есть.
Качество решений для Max‑SAT
AGIQ нацелен на практический сценарий “найти лучшее из возможных” при противоречивых ограничениях (когда 100% выполнить невозможно). Для многих реальных задач это именно тот режим, который нужен бизнесу.
Профессиональный интерфейс и прозрачность
Проектная структура, панели, логи, диагностика GPU, живые графики сходимости и воспроизводимые конфигурации.
—
Бенчмарк производительности (реальный тест)
Задача: случайный Max‑3SAT (DIMACS)
Переменные: 64
Клауз: 20,000
Оборудование: NVIDIA RTX 3090
Режим: Full‑GPU pipeline (fitness + эволюция на GPU)
Результат качества:
Best:17,830 / 20,000 = 89.15% удовлетворённых клауз
Производительность:
Популяция:1,000,000
Итерации:1,000
Всего оценок fitness:1,000,000,000 (1 млрд)
Время:~45 сек
Пропускная способность:~22.2 млн оценок/сек
“Оценка” в этом тесте — это прямой подсчёт числа удовлетворённых клауз для кандидата. Это измеримая операция уровня Max‑SAT.
Результаты зависят от класса задач, параметров,GPU и времени лимита.
—
Что означает 89% на плотном случайном 3‑SAT
При высоком отношении клауз к переменным формула почти всегда невыполнима (в режиме SAT). Поэтому правильная постановка — Max‑SAT: максимизировать число удовлетворённых ограничений. Для плотного случайного 3‑SAT “потолок” обычно лежит в диапазоне порядка ~88–91%. Результат 89.15% находится в этом диапазоне и означает “очень близко к оптимальному” для данного класса инстансов.
—
Сравнение с подходами
Важно:разные солверы решают разные постановки (SAT vs Max‑SAT),поэтому корректное сравнение — это одна и та же задача,одинаковый time‑limit, метрика качества одинаковая.
В практическом смысле AGIQ:
Max‑SAT/оптимизация важнее строгого SAT‑доказательства,
нужна скорость и масштаб,
выгодно использовать GPU вместо дорогих серверов.
—
Возможности (v1.0)
Форматы данных
DIMACS CNF (Max‑3SAT,3 литерала в клаузе) — базовый формат v1.0
Архитектура готова к расширению (Weighted Max‑SAT,general CNF и др.)
Solver‑движок
Full‑GPU оценка fitness (клауз) и эволюция популяции
Быстрая диагностика GPU (ComputeSharp)
Настройки популяции/итераций/seed
Логи и воспроизводимость запусков
Output/Console с уровнями сообщений
Live‑график сходимости (OxyPlot)
Results:решение в бинарном и hex‑виде
—
Безопасность и лицензирование
AGIQ Solver включает систему лицензирования с онлайн‑проверкой ключа (Digiseller) и закреплением ключа через deliver (одноразовая активация), с локальным хранением статуса лицензии.
Solver запускается только при активной лицензии
Логи содержат диагностическую информацию без передачи данных задачи третьим лицам (по умолчанию)
—
Системные требования
Windows 10/11
GPU с поддержкой DirectX 12 (рекомендовано NVIDIA RTX)
RAM:зависит от размера задачи и популяции (для крупных популяций — больше)
—
Цена
AGIQ Solver Enterprise — 800 у.е./мес
Включает:
использование AGIQ Solver Enterprise на рабочей станции
обновления в рамках подписки
базовая поддержка (e‑mail)
—
Кому подходит
Логистика, расписания, планирование
Конфигурационные задачи (ограничения/правила)
Оптимизация булевых моделей и инженерных ограничений
Исследования и R&D, где важен throughput экспериментов
—
FAQ
“Почему не 100%?”
Потому что в реальных задачах (и в плотных случайных формулировках) ограничения могут быть противоречивы. Max‑SAT выбирает лучшее возможное решение. Это нормальная промышленная постановка.
“Насколько это быстрее конкурентов?”
На корректно подобранных задачах Max‑SAT и при одинаковом time‑limit GPU‑подход даёт кратное преимущество по throughput. Точное ускорение зависит от структуры задачи, параметров и железа. Мы приводим измеримый бенчмарк (1 млрд оценок за ~45 сек на RTX 3090) как ориентир.
“Можно ли запускать без GPU?”
Технически возможен CPU‑режим,но максимальная производительность достигается на GPU.
—
Хотите проверить AGIQ на вашей задаче?
Пришлите DIMACS/описание ограничений
Мы проведём пробный прогон и дадим отчёт:качество/время/рекомендованные параметры
—
Результаты производительности и качества зависят от данных, параметров solver и оборудования. Приведённые цифры — результаты внутреннего тестирования на указанной конфигурации.
Отправить запрос на тестовый ключ – vipvodu@yandex.ru
A1
A2
