Описание тега constraint-satisfaction
0
ответов
Решение ограничений с помощью choco: поиск уникальных решений для переменной
Я использую Чоко, чтобы решить CSP. В начале я создаю массив переменных v как это: IntVar[] v = new IntVar[5]; После добавления нескольких ограничений я буду искать решения и нахожу их несколько. Тем не менее, я хочу только уникальные решения, напри…
14 июл '17 в 17:06
1
ответ
Согласованность дуги в Java, вопросы по реализации
Поэтому моя цель - написать метод, который решает загадку судоку, нам дали заглушку метода "public int[][] solve(int[][] board)". Мы должны использовать согласованность дуг и расщепление доменов, чтобы найти решение. -Как я начал это делать, создав …
21 окт '11 в 01:45
2
ответа
Распределение M экспериментов по N лабораториям при соблюдении ограничений
У меня следующая проблема: я должен выделить K экспериментов для N лабораторий, соблюдая при этом некоторые общие ограничения и некоторые конкретные. Основные из них: каждый эксперимент должен быть отнесен именно к R labs максимальное количество экс…
25 янв '19 в 14:26
0
ответов
Проблемы удовлетворения ограничений: выключатели света
Предположим, у вас есть n лампочек, где каждая лампочка i=1,…,n изначально выключена. У вас также есть m кнопок, которые управляют светом. Для каждой кнопки j=1,…,m мы знаем подмножество лампочек Tj ⊂ {1,…,n}, которыми она управляет. Когда нажата кн…
01 янв '19 в 13:30
1
ответ
Минисат, как найти все решения SAT эффективно
Я нашел способ найти все решения, используя способ, описанный в этой ссылке. Это работает нормально, но медленно. Поскольку он пересчитывает ограничения с самого начала, i_e не использует преимущества предыдущих вычислений. Теперь, по этой ссылке, я…
14 окт '14 в 13:20
0
ответов
Генератор конфигурации продукта
Учитывая различные функции для продукта, варианты функций и правила совместимости между функциями, я хотел бы создать список всех возможных конфигураций продукта. Например, мой текущий пример использования похож на настройку ноутбука. Множество пере…
15 янв '19 в 04:45
2
ответа
Сделать ограничение труднее решить для решателя ограничений?
Я новичок в решении SMT, и я пишу, чтобы узнать некоторые советы и указатели, чтобы понять, что на самом деле difficult constraint для решения SMT, например Z3. Я попытался настроить длину битовых векторов, например, следующим образом: >>> …
28 янв '19 в 17:23
1
ответ
Моделирование: эффективный выбор модели подмножества
Проблема, которую я хочу смоделировать и решить с помощью Optaplanner, заключается в создании списка для спортивной команды (здесь: футбол). То есть: Из всех доступных игроков выберите 11 по нескольким критериям. Я использую жесткий / средний / мягк…
11 авг '16 в 21:23
1
ответ
Choco Solver - Как получить наиболее близкое решение (удовлетворяющее большинству ограничений) в случае чрезвычайно длительного времени выполнения?
В Choco Solver, как вы получаете самое близкое решение (решение, которое удовлетворяет большинству ограничений на данный момент, но может не удовлетворять всем ограничениям) в случае, когда поиск решения может занять слишком много времени? Например,…
18 ноя '17 в 12:54
0
ответов
Как написать ограничение для удовлетворения ограничения в Python?
У меня есть класс, состоящий из 16 учеников. Я хочу сформировать команды из этих студентов: четыре команды из трех студентов и одна команда из четырех студентов. Студенты будут работать над междисциплинарным проектом, в котором проект содержит три д…
01 окт '17 в 13:01
0
ответов
Решить взаимосвязь записей как удовлетворение ограничений с машинным обучением
У меня есть пары наборов, таких как A = { L, M, N, P } = { <"Lll", 47, 0.004>, <"Mm", 60, 0.95>, <"Nnnn", 33, 0.2892>, <"P", 47, 0.0125> } B = { l, m, n, o } = { <"l", 46, 0.004>, <"m", 0, 0.95>, <"nn", 33, 0.2…
21 май '15 в 21:25
1
ответ
Как выполнить решение ограничений со смешанными типами данных?
Я работаю над преобразователем источник-источник для Java 6* 1) . Мне нужно поддерживать как негативную, так и позитивную информацию, поэтому я должен внедрить систему небольших ограничений для трансформатора. Система ограничений - это ограниченный …
10 авг '15 в 06:19
0
ответов
Бэй бронирование авиабилетов
Я разрабатываю алгоритм резервирования отсеков для рейсов в данном аэропорту. Я смоделировал эту проблему следующим образом, У меня есть набор рейсов: flight_names = ['MI428', 'UL867', 'QR664', 'TK730', 'UL303'] Здесь каждый полет связан с типом сам…
17 окт '18 в 17:33
2
ответа
Получить Пролог, чтобы дать все возможности для арифметики
Мне было интересно, можно ли в прологе заставить его перебрать все возможные вычисления для чего-то вроде этого: 6 is Z + Q Z = 1 Q = 5 Z = 2 Q = 4 Z = 3 Q = 3
22 ноя '16 в 23:07
1
ответ
Python-ограничение добавить ограничение
Я разрабатываю программу на Python для решения проблемы удовлетворения ограничений (CSP). Здесь у меня есть список переменных ['MI428', 'UL867', 'QR664', 'TK730', 'UL303'] и их возможные назначения ['A1', 'A2', 'B1', 'B2', 'C1']. Моим ограничением д…
08 окт '18 в 16:50
1
ответ
Почему сложность алгоритма Arc-Consistency O(cd^3)?
Почему сложность алгоритма Arc-Consistency O (cd3)?
21 апр '16 в 10:47
0
ответов
CSP Arc последовательность
CSP TREE Вы должны вернуться, если после того, как значение было присвоено переменной X, рекурсия возвращается в X без решения. Конкретно, это означает, что для одной переменной с оставшимися значениями d можно откатить до d раз. Для каждого из сле…
09 фев '18 в 03:22
1
ответ
Изучение Пролога, Судоку Солвер
Моя проблема в том, что, изучая Пролог, я хотел сделать решение NxN Sudoku. Этот решатель получит вход как [[1,2,3,4],[3,4,1,2],[2,3,4,1],[4,1,2,3]] Где некоторые из них могут быть переменными. Решатель должен решить эту судоку. Проблема гораздо мен…
26 дек '16 в 18:31
1
ответ
Пазл Цветные квадраты с Numberjack
Я схожу с ума от этой проблемы, которую мне нужно решить с помощью Numberjack - библиотеки на python для CSP. У нас есть квадраты NXM с цветными сторонами. Эти квадраты должны быть расположены в сетке тревоги таким образом, чтобы смежные стороны ква…
04 апр '18 в 07:42
1
ответ
Выборочный поисковый домен
В Minizinc можно ли попробовать домен? Допустим, в моем домене есть много решений, при запуске --all-solutions изначально будут возвращаться очень похожие решения. 1) есть ли способ попробовать домен? возможно BFS? Цель - последующий анализ решений.…
12 фев '16 в 14:03