У нас есть огромные экземпляры MAX-CSP с миллионами переменных и ограничений.
Существует ли какая-либо интеграция больших данных с Apache Spark или аналогичной для любых решателей CSP? Или какой-нибудь другой доступный способ распараллеливания больших данных?
Если нет, есть ли вероятность, что с MAX-CSP вообще можно работать параллельно? Или, может быть, только при определенных условиях, используя структуру проблемы?
Не могу найти ничего об этом ... Только наоборот, управление процессами больших данных и т. Д. С помощью программирования ограничений: - /
С наилучшими пожеланиями
Luma
Я уже искал:
- «Искра» и «Большие данные» со всеми решателями CSP, показанными на http://xcsp.org/
- «Программирование ограничений больших данных» и т. Д.