Результаты поиска по запросу "solver"

1 ответ

SOCP Solver Ошибка для fPortoflio с использованием solveRsocp

3 ответа

C # DLL, чтобы решить простое уравнение

1 ответ

Преобразование символических выражений в функции Python с использованием SymPy

ТОП публикаций

2 ответа

Мульти-Судоку AI подход

Я концептуализирую решатель для вариантасудоку называетсямульти-судокугде несколько плат перекрываются так:Если я правильно понимаю игру, вы должны решить ка...

1 ответ

Использовать решатель в VBA с циклом в строках

Я пытаюсь использовать решатель, чтобы найти корень для 182 ячеек, каждая ячейка зависит только от одной другой переменной, выходная ячейка от O2 до O183, пе...

10 ответов

Решатели уравнений для линейных математических уравнений

Мне нужно решить несколько математических уравнений в моем приложении. Вот типичный пример такого уравнения: a + b * c - d / e = aДополнительные правила: b% 10 = 0b> = 0б <= 100Каждое число должно быть целым...Я хотел бы получить возможные ...

2 ответа

Как только вы используете квантификаторы, все ставки отключаются, так как логика становится полуразрешимой. Z3 делает хорошую работу здесь и возвращает одно решение, а затем сдается. Я не думаю, что вы можете ожидать чего-то лучшего, если вы не используете некоторые собственные процедуры принятия решений.

у проверить формулу формы: Exists p . ForAll x != 0 . f(x, p) > 0Реализация (которая не работает) следующая: def f0(x0, x1, x, y): return x1 ** 2 * y + x0 ** 2 * x s = Solver() x0, x1 = Reals('x0 x1') p0, p1 = Reals('p0 p1') s.add(Exists([p0, ...

4 ответа

SymPy: ограничить символ / переменную интервалом

Используя SymPy, возможно ли ограничить возможные значения символа / переменной определенным диапазоном? Теперь я могу установить некоторые свойства при определении символов, таких какpositive=True, но мне нужно больше контроля, т.е. мне нужно ...

1 ответ

 решает свою собственную маленькую матрицу. Циклическая обработка потока по одной матрице - плохая идея. Если не что-то иное, производительность, получаемая при асинхронном чтении, огромна.

асть более крупной проблемы, мне нужно решить небольшие линейные системы (т.е. NxN, где N ~ 10), поэтому использование соответствующих библиотек cuda не имеет никакого смысла с точки зрения скорости. К сожалению, еще кое-что неясно, как решить ...

3 ответа

Как установить glpk-solver вместе с pyomo в Winpython?

Я хочу использовать «pyomo» для учебы. Я установил Pyomo черезeasy_install инструкции по установке Coopr [https://software.sandia.gov/trac/coopr/downloader/download/file/64/CooprInstallGuide.pdf] , Pyomo нужен решатель для работы, поэтому я ...