ГлавнаяАрхивАнализ и решение задач дискретной оптимизации с логическими ограничениями на основе L-разбиения

Анализ и решение задач дискретной оптимизации с логическими ограничениями на основе L-разбиения | Прикладная дискретная математика. 2015. № 4(30).

Исследуются задачи дискретной оптимизации с логическими ограничениями на основе моделей целочисленного линейного программирования и метода регулярных разбиений. Получена верхняя оценка мощности произвольного L-комплекса многогранника задачи 2-выполнимости, использование которой позволяет более эффективно решать некоторые прикладные задачи проектирования сложных изделий с помощью рассматриваемых подходов.
  • Title Анализ и решение задач дискретной оптимизации с логическими ограничениями на основе L-разбиения
  • Headline Анализ и решение задач дискретной оптимизации с логическими ограничениями на основе L-разбиения
  • Publesher Tomask State UniversityTomsk State University
  • Issue Прикладная дискретная математика 4(30)
  • Date:
  • DOI
Ключевые слова
задача выполнимости, логические ограничения, целочисленное программирование, L-разбиение, satisfiability problem, logical constraints, integer programming, L-partition
Авторы
Ссылки
Колоколов А. А., Адельшин А. В., Ягофарова Д. И. Решение задачи выполнимости с использованием метода перебора L-классов // Информационные технологии. 2009. №2. С.54-59.
Gu J., Purdom P., Franco J., and Wah B. Algorithms for the satisfiability (SAT) problem: a survey // DIMACS Series in Discrete Mathematics and Theoretical Computer Science. American Mathematical Society, 1996. P. 19-152.
Hamadi Y., Jabbour S., and Sais L. ManySAT: a parallel SAT solver // J. Satisfiability, Boolean Modeling and Comput. 2009. No. 6. P. 245-262.
Thornton J., Bain S., Sattar A., and PhamD.N. A two level local search for MAX-SAT Problems with hard and soft constraints // Proc. 15th Australian Joint Conference on Artificial Intelligence, AustAI-2002. Canberra, Australia, 2002. P. 603-614.
Колоколов А. А., Адельшин А. В., Ягофарова Д. И. Исследование задач дискретной оптимизации с логическими ограничениями на основе метода регулярных разбиений // Прикладная дискретная математика. 2013. №1(19). С. 99-109.
Адельшин А. В., Кучин А. К. Разработка алгоритмов решения смешанной задачи максимальной выполнимости // Материалы V Всерос. конф. «Проблемы оптимизации и экономические приложения». Омск, 2012. С. 99.
Колоколов А. А. Регулярные разбиения и отсечения в целочисленном программировании // Сиб. журнал исследования операций. 1994. №2. С. 18-39.
Адельшин А. В. Исследование задач максимальной и минимальной выполнимости с использованием L-разбиения // Автоматика и телемеханика. 2004. №3. С. 35-42.
Ягофарова Д. И. Анализ L-структуры задачи 2-выполнимость // Материалы конф. «Под знаком 'Сигма'». Омск, 1994. С. 71-77.
Kolokolov A., Adelshin A., and Yagofarova D. Analysis and solving SAT and MAX-SAT problems using an L-partition approach // J. Math. Modeling Algorithm. 2013. No. 12(2). P. 201-212.
Cook S. A. The complexity of theorem-proving procedure // Proc. 3rd Annual ACM Symp. Theory of Computing. N. Y.: ACM, 1971. P. 151-159.
Колоколов А. А., Ярош А. В. Автоматизация проектирования сложных изделий с использованием дискретной оптимизации и информационных технологий // Омский научный вестник. 2010. №2(90). С. 234-238.
Посыпкин М. А, Заикин О. С., Беспалов Д. В., Семенов А. А. Решение задач криптоанализа поточных шифров в распределенных вычислительных средах // Труды ИСА. 2009. Т. 46. С. 119-137.
Massacci F. and Marraro L. Logical cryptanalysis as a SAT problem // J. Automated Reasoning. 2000. No. 24. P. 165-203.
Анализ и решение задач дискретной оптимизации с логическими ограничениями на основе L-разбиения | Прикладная дискретная математика. 2015. № 4(30).
Анализ и решение задач дискретной оптимизации с логическими ограничениями на основе L-разбиения | Прикладная дискретная математика. 2015. № 4(30).