Вопросы по теме 'constraint-programming'
Списки заказов с программированием логики ограничений
Мне было интересно, может ли кто-нибудь помочь мне с этой проблемой: я должен заказать список, используя Prolog с программированием с ограниченной логикой, и я должен сделать это более эффективным способом.
Таким образом, основной предикат, который...
1294 просмотров
schedule
11.01.2023
Динамический CSP с Cplex
Знаете ли вы, есть ли способ изменить некоторые ограничения в уже решенной задаче оптимизации ограничений Cplex и решить ее снова, но с результатом, максимально приближенным к предыдущему решению.
Пример:
Задачи назначаются разным ресурсам. У...
416 просмотров
schedule
22.05.2022
Доказательство теоремы Z3: теорема Пифагора (нелинейная арифметика)
Почему?
Контекст варианта использования, в котором возникает моя проблема
Я определяю 3 случайных элемента треугольника. Microsoft Z3 должен выводить:
Удовлетворительны ли ограничения или имеются недопустимые входные значения?
Модель для...
917 просмотров
schedule
16.02.2023
Повтор совпадающих моделей в Z3py
В следующем рабочем примере я пытаюсь получить совпавшие модели, в данном случае есть две подходящие модели:
t1= cl7 t2= cl4 t3= cl5
и
t1= cl4 t2= cl3 t3= cl9
Проблема заключается в повторении...
70 просмотров
schedule
09.01.2023
Программирование для картин Янга
Далее следует странный вопрос: Я участвую в соревновании по решению задач в моей школе, и нам разрешают пользоваться компьютером. Поскольку я единственный среди конкурентов, кто умеет программировать, я использую программы на C и Pascal для более...
2827 просмотров
schedule
15.07.2023
Программирование логики ограничений с наборами на Прологе
clpfd — это библиотека программирования ограничений для целых чисел в SWI Prolog. Есть ли аналогичная библиотека для наборов? Если нет, знаете ли вы какие-либо статьи, полезные для реализации такой библиотеки?
Это вообще выполнимо? На самом деле...
238 просмотров
schedule
19.10.2022
Решатель Prolog kenken 4 на 4
поэтому я пытаюсь решить kenken с помощью пролога, но с самого начала столкнулся с несколькими проблемами, прежде всего скажем, я запускаю его как kenken ([X1, X2, X3,..... X16]). и я хочу решить для этого x с правилами, которые я определил ранее....
919 просмотров
schedule
06.04.2023
Ошибка MS Solver Foundation CSP - входные данные имеют другой домен символов
Я пытаюсь использовать Microsoft Solver Foundation, чтобы решить нашу семейную рождественскую розыгрыш (аналогично «секретный Санта» или «крис крингл " ).
У меня есть некоторые сложные ограничения (например, я не могу купить для своих братьев и...
321 просмотров
schedule
27.11.2022
Разрешение ограничений в Прологе
Я ищу ресурсы для изучения разрешения ограничений в Prolog. Например,
List=[X, Y, Z], List ins 1..4, X - Y #= Z.
237 просмотров
schedule
13.04.2023
CLPFD для действительных чисел
CLP(FD) позволяет пользователю устанавливать домен для каждой целочисленной переменной, так что он может решать уравнения. Пока все хорошо.
Однако вы не можете сделать то же самое в CLP(R) или подобных языках (где вы можете делать только простые...
319 просмотров
schedule
25.05.2022
Создание уникальных решений с помощью программирования ограничений
У меня было краткое знакомство с CP и MiniZinc, но я не эксперт.
У меня есть модель CP, которую я не могу разместить здесь, банкомат, реализованный в MiniZinc. Мне нужно найти все возможные решения проблемы. Мы ожидаем, что их будет всего...
276 просмотров
schedule
09.02.2023
Можно ли использовать переменную в опции [limit (x)] кумулятивного предиката в прологе?
Я просто хочу сделать что-то вроде этого
schedule(Activities, GLB) :-
get_start_times(Activities,StartTimes),
get_resources(Activities,Resources),
get_durations(Activities,Durations),
sum_list(Durations, MaxTime),
StartTimes...
204 просмотров
schedule
14.06.2022
Контрастный шоколад
Я использую choco API для решения проблемы. Что мне нужно, так это закодировать ограничение, которое делает сумму всех моих переменных равной 1. Этот код поддерживает сумму строк, равную 1:
IntegerVariable[][] rows;
int n; //number of rows...
809 просмотров
schedule
24.09.2022
CLP в Прологе с последовательными суммами в списке
Пример моей проблемы с CLP (это небольшая часть более крупной проблемы, в которой используется библиотека clpfd):
Для списка длиной 5 факт el_sum(Pos,N,Sum) указывает, что N последовательных элементов, начиная с позиции Pos (индекс от 1), имеют...
141 просмотров
schedule
20.05.2022
Как выполнить решение ограничений со смешанными типами данных?
Я работаю над преобразователем исходного кода для Java 6 * 1) .
Мне нужно поддерживать как отрицательную, так и положительную информацию, поэтому я должен реализовать небольшую систему ограничений для трансформатора. Система ограничений -...
547 просмотров
schedule
22.12.2022
Библиотека расписаний/расписаний
Я ищу библиотеку, которая поможет мне решить логическую проблему, основанную на ограничениях, где мне нужно запланировать несколько различных событий различной продолжительности. События имеют разные атрибуты, связанные с ними, и моя основная...
1224 просмотров
schedule
13.05.2022
Моделирование теннисных матчей с Choco (CSP)
Я пытаюсь смоделировать проблему с Choco, чтобы получить комбинации возможных матчей в теннисе (или любом другом виде спорта).
Как я пытаюсь это сделать, у меня есть следующее:
// Set of timeslots when the event is held (i.e. 10am-10pm)
int...
229 просмотров
schedule
06.02.2023
Точки зрения Судоку
Я ищу альтернативные точки зрения для решения задач судоку с использованием программирования ограничений.
Классическая точка зрения заключается в использовании переменных (строка, столбец) конечной области, которые могут принимать значения от 1...
516 просмотров
schedule
03.07.2022
Поиск минимального подмножества столбцов, которые делают строки в матрице уникальными
Что такое общий эффективный алгоритм для поиска минимального подмножества столбцов в матрице с дискретными значениями, которое делает эти строки уникальными.
Например, рассмотрим эту матрицу (с именованными столбцами):
a b c d
2 1 0 0
2...
307 просмотров
schedule
20.06.2023
Как получить доступ к решению для двойного симплексного решателя?
У меня есть целевая функция с несколькими сотнями квадратичных членов, которые я хотел бы минимизировать; в этом случае я стараюсь минимизировать абсолютное расстояние между несколькими переменными. Итак, структура моей проблемы выглядит так (очень...
1832 просмотров
schedule
19.03.2022
