Результаты поиска по запросу "solver"
Мульти-Судоку AI подход
Я концептуализирую решатель для вариантасудоку называетсямульти-судокугде несколько плат перекрываются так:Если я правильно понимаю игру, вы должны решить ка...
Использовать решатель в VBA с циклом в строках
Я пытаюсь использовать решатель, чтобы найти корень для 182 ячеек, каждая ячейка зависит только от одной другой переменной, выходная ячейка от O2 до O183, пе...
Как только вы используете квантификаторы, все ставки отключаются, так как логика становится полуразрешимой. 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, ...
решает свою собственную маленькую матрицу. Циклическая обработка потока по одной матрице - плохая идея. Если не что-то иное, производительность, получаемая при асинхронном чтении, огромна.
асть более крупной проблемы, мне нужно решить небольшие линейные системы (т.е. NxN, где N ~ 10), поэтому использование соответствующих библиотек cuda не имеет никакого смысла с точки зрения скорости. К сожалению, еще кое-что неясно, как решить ...
эта ссылка
аю простую задачу оптимизации. Набор данных имеет 26 столбцов и более 3000 строк. Исходный код выглядит так Means <- colMeans(Returns) Sigma <- cov(Returns) invSigma1 <- solve(Sigma)И все работает отлично, но затем я хочу сделать то же самое для ...
Есть ли какое-либо программное обеспечение, кроме Simple Solver, которое будет решать цифровые схемы с учетом входов / выходов?
Все - Я нашел что-то под названием «Простой решатель», расположенный здесь: http://home.roadrunner.com/~ssolver/syn.html [http://home.roadrunner.com/~ssolver/syn.html] и вы можете скачать его ...
Решатель булевых выражений / упрощитель
Я ищу решение булевых выражений для очень большой (но не сложной) алгебры, такой как:Boolsche Ausdrücke vereinfachen (Аксиома) [http://www.elektroniker-bu.de/boolesche.htm]Я хотел бы иметь некоторый код (c ++ или java [или библиотеки]), чтобы ...
Как решить систему неравенств?
Я свел свою проблему (алгоритм разметки таблицы) к следующей проблеме: Представьте, у меня есть N переменных X1, ИКС2, ..., ИКСN, У меня также есть некоторое (неопределенное) количество неравенств, например: X1 > = 2 x2$6, ..., ИКС7$ и ...
Симпи зависает при попытке решить простое алгебраическое уравнение
Недавно я переустановил свою среду Python, и код, который раньше работал очень быстро, теперь работает в лучшем случае (обычно просто зависает, занимая все больше и больше памяти). Точка, в которой висит код: solve(exp(-alpha * x**2) - 0.01, ...