Публикации по теме '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 просмотров

Что не так с моей функцией решения судоку?
хорошо, поэтому я изменил свою функцию на функцию возврата (которую я нашел в Интернете). Он по-прежнему читает из файла и вводит его в массив, функция проверки работает правильно, поэтому я не изменил ее. Если вам интересно, вот головоломка,...
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