Публикации по теме 'solver'
«Что такое решатель?»
Эта статья написана, чтобы ответить на вопрос, заданный моими коллегами из производственных и бизнес-команд «Что такое решатель?» Таким образом, в этой статье основное внимание уделяется объяснению понятий «алгоритм», «решатель» и «программная библиотека», а также различия между ними.
Ежедневная задача: сгруппировать точки доставки
Рассмотрим одну из частых задач, возникающих в Colisweb. Учитывая большое количество точек доставки с GPS-координатами и ограниченное количество курьеров,..
Вопросы по теме 'solver'
Вызов Excel Solver VBA с другого листа
После создания новой книги я пытаюсь решить только что созданный лист этой книги в VBA. Несмотря на активацию нового рабочего листа, Solver пытается решить рабочий лист, на котором находится макрос.
Любые предложения о том, как убедиться, что...
2490 просмотров
schedule
04.06.2022
Решатель анаграмм Java
Я могу понять, как создавать анаграммы строки, но не знаю, как сравнить их со словарем реальных слов, чтобы проверить, является ли анаграмма настоящим словом. Есть ли в Java API класс, содержащий весь английский словарь?
5773 просмотров
schedule
26.09.2023
Ищем тестовые матрицы / системы для итеративного линейного решателя
В настоящее время я работаю над библиотекой на основе C ++ для больших, разреженных задач линейной алгебры (да, я знаю, что существует много таких библиотек, но я использую свои собственные в основном для изучения итеративных решателей, разреженных...
2496 просмотров
schedule
24.12.2022
Библиотека для решения уравнений JavaScript
Есть ли библиотека или функция JavaScript, которая будет решать уравнения для переменных?
Например, 9 = 3 + x и решить для x. Но он также должен решать более сложные уравнения, включающие синус, косинус и тангенс.
20276 просмотров
schedule
13.04.2022
Решение линейного уравнения с несколькими переменными serversite для веб-приложения? Можно с php?
У меня есть общий вопрос по php. Надеюсь, здесь можно спросить.
Как бы вы решили линейное уравнение с несколькими переменными в сети? может быть, используя исключение Гаусса или ...? Возможно ли это с php и рекомендуется?
1500 + 100 w...
949 просмотров
schedule
15.05.2022
Какая статистика указывает на эффективную работу Z3?
Директива SMTLib2 (get-info all-statistics) отображает несколько чисел, например.
num. conflicts: 4
num. propagations: 0 (binary: 0)
num. qa. inst: 23
Чтобы протестировать различные аксиоматизации и кодировки, я хотел бы знать,...
857 просмотров
schedule
04.08.2023
как Matlab решает большие, симметричные и разреженные линейные системы
То есть, когда я делаю A\b для очень большого, симметричного и разреженного A, какой алгоритм использует Matlab?
4293 просмотров
schedule
31.05.2023
Что не так с моей функцией решения судоку?
хорошо, поэтому я изменил свою функцию на функцию возврата (которую я нашел в Интернете). Он по-прежнему читает из файла и вводит его в массив, функция проверки работает правильно, поэтому я не изменил ее. Если вам интересно, вот головоломка,...
460 просмотров
schedule
13.07.2022
Графический интерфейс судоку с использованием java
В настоящее время я работаю над своим графическим интерфейсом для этого решателя судоку, который я делаю. Мне удалось распечатать плату без проблем. Однако я хотел бы знать, как я буду различать области 3x3 с какой-то более толстой или цветной...
11772 просмотров
schedule
17.05.2023
Равенство констант в решателе Z3 SMT
Я использую решатель Z3 SMT от Microsoft и пытаюсь определить константы пользовательского вида. Кажется, что такие константы по умолчанию не являются неравными. Предположим, у вас есть следующая программа:
(declare-sort S 0)
(declare-const x...
3049 просмотров
schedule
22.06.2022
Objective C - Решатель квадратных уравнений
Итак, я делаю приложение, которое решает квадратные уравнения. Основной интерфейс просто просит пользователя ввести значения A, B и C. Проблема в том, что я не получаю правильного ответа. Вот код:
NSString *intStringa = [NSString...
1312 просмотров
schedule
05.05.2023
Использование Matlab Fmincon вместо решателя Excel
Я пользователь Matlab-любитель. Я обратился к Matlab, так как решатель в Excel ограничивает количество переменных, которые можно использовать. Я пытаюсь максимизировать функцию с учетом ограничений, используя Fmincon. Однако я получаю сообщение об...
895 просмотров
schedule
30.07.2022
Получение лучших решений для ILP
Я хотел бы использовать решатель ILP (например, lp_solve ), чтобы найти решение проблемы оптимизации.
Проблема заключается в том, что некоторые ограничения слишком сложны, чтобы их можно было формализовать в виде линейных утверждений, но их можно...
796 просмотров
schedule
10.05.2022
Как я могу скрыть вывод CPLEX в AMPL?
Я хочу скрыть такие сообщения, как
CPLEX 12.5.1.0: целое число невозможно. 319 симплексных итераций MIP 0 узлов ветвления и привязки Нет основы.
Я не против скрывать успешные сообщения или нет, но я не хочу неудачных сообщений.
я...
905 просмотров
schedule
13.09.2023
VBA — макрос решателя с относительными ссылками
Мне нужно использовать Excel Solver несколько раз на листе. Каждый сценарий, для которого мне нужно использовать решатель, имеет одинаковое форматирование, поэтому я хотел бы использовать макрос с относительными ссылками, чтобы позволить мне...
2044 просмотров
schedule
07.05.2022
Решатель Гаусса-Зейделя для Python 2.7
Есть ли пакет Python 2.7, содержащий решатель Гаусса-Зиделя для систем с более чем 3 линейными алгебраическими уравнениями, содержащими более 3 неизвестных? Ниже приводится простой пример проблемы, которую я хотел бы решить. Если нет доступных...
1051 просмотров
schedule
22.02.2023
Установка значения сходимости в переменную для встроенного решателя
При создании программы, использующей решатель, мне нужно, чтобы пользователь мог вручную ввести значение сходимости и точности, которые использует встроенный решатель. Я хотел бы иметь возможность установить значение сходимости для ячейки или...
998 просмотров
schedule
01.07.2022
Ошибка подгонки кривой решателя Excel - переделка MatLab
У меня какие-то странные проблемы с решателем excel. В основном то, что я пытаюсь сделать, это кривая, соответствующая моим данным. У меня есть две разные линии, одна — моя калибровочная линия, а другая — производная линия, которую я пытаюсь...
251 просмотров
schedule
10.06.2022
Excel Solver с несмежным ограничением ячейки?
Я новичок в решателе Excel и только что узнал об этом после того, как взял книгу по науке о данных. Я хотел бы поближе познакомиться с этим инструментом, поэтому пробовал свои силы в решении разных задач. Однако я застрял на одном, и я даже не...
1430 просмотров
schedule
15.01.2023
Microsoft Solver Foundation SAT CNF
Я пытаюсь использовать Microsoft Solver Foundation SatSolver для решения простой задачи CNF через Visual Studio (C# или VB). Может ли кто-нибудь опубликовать простой пример, объясняющий, как это можно сделать?
Вот краткий пример:...
1025 просмотров
schedule
23.04.2023