Показать сокращенную информацию
dc.contributor.author | Заикин, О. С. | |
dc.contributor.author | Кочемазов, С. Е. | |
dc.contributor.author | Zaikin, O. S. | |
dc.contributor.author | Kochemazov, S. E. | |
dc.date.accessioned | 2016-06-03T09:58:23Z | |
dc.date.available | 2016-06-03T09:58:23Z | |
dc.date.issued | 2015 | |
dc.identifier.citation | Заикин, О. С. Поиск пар ортогональных диагональных латинских квадратов порядка 10 в проекте добровольных распределенных вычислений SAT@home / О. С. Заикин, С. Е. Кочемазов // Вестник ЮУрГУ. Серия Вычислительная математика и информатика.- 2015.- Т. 4. № 3.- С. 95-108.- Библиогр.: с. 104-105 (20 назв.) | ru_RU |
dc.identifier.issn | 2305-9052 | |
dc.identifier.issn | 2410-7034 | |
dc.identifier.uri | http://dspace.susu.ac.ru/xmlui/handle/0001.74/6497 | |
dc.description | Заикин Олег Сергеевич, к.т.н., научный сотрудник, Институт динамики систем и теории управления им. В.М. Матросова СО РАН (Иркутск, Российская Федерация), zaikin.icc@gmail.com. Кочемазов Степан Евгеньевич, программист, Институт динамики систем и теории управления им. В.М. Матросова СО РАН (Иркутск, Российская Федерация). veinamond@gmail.com. O.S. Zaikin, Matrosov Institute for System Dynamics and Control Theory of Siberian Branch of Russian Academy of Sciences (Irkutsk, Russian Federation) zaikin.icc@gmail.com. S.E. Kochemazov, Matrosov Institute for System Dynamics and Control Theory of Siberian Branch of Russian Academy of Sciences (Irkutsk, Russian Federation) veinamond@gmail.com | ru_RU |
dc.description.abstract | В статье рассматривается подход к решению задач поиска систем ортогональных латинских квадратов, основанный на сведении этих задач к проблеме булевой выполнимости. Была построена соответствующая кодировка для задачи поиска пар ортогональных диагональных латинских квадратов порядка 10. С помощью построенной кодировки в проекте добровольных распределенных вычислений SATQhome были найдены 17 новых пар. На основе 17 найденных пар, а также 3 ранее известных пар, были построены псевдотройки диагональных латинских квадратов порядка 10. Построение псевдотроек было осуществлено на вычислительном кластере, для этого была сделана параллельная реализация алгоритма генерации диагональных латинских квадратов порядка 10. In this paper we consider the approach to search for systems of orthogonal Latin Squares. that is based on reducing the corresponding problems to Boolean Satisfiability problem. We constructed the SAT encoding for finding orthogonal diagonal Latin Squares of order 10. Using this encoding and the resources provided by the volunteer computing project SATQhome we managed to find 17 previously unknown pairs. Based on these 17 pairs and on 3 previously published pairs we constructed the pseudotriples of diagonal Latin Squares of order 10. To construct pseudotriples we employed the computing cluster. The last step required us to make parallel implementation of the algorithm for generating diagonal Latin Squares of order 10. | ru_RU |
dc.language.iso | other | ru_RU |
dc.publisher | Издательский центр ЮУрГУ | ru_RU |
dc.relation.ispartof | Вестник ЮУрГу. Серия Вычислительная математика и информатика | ru |
dc.relation.ispartof | Bulletin of South Ural State University. Series 'Computational mathematics and software engineering" | en |
dc.relation.ispartofseries | Вычислительная математика и информатика;Том 4 | |
dc.subject | латинские квадраты | ru_RU |
dc.subject | добровольные распределенные вычисления | ru_RU |
dc.subject | задача о булевой выполнимости | ru_RU |
dc.subject | проект SAT@home | ru_RU |
dc.subject | Latin sauares | ru_RU |
dc.subject | volunteer computing | ru_RU |
dc.subject | Boolean satisfiatititi problem | ru_RU |
dc.subject | SAT@home project. | ru_RU |
dc.subject | УДК 004.832.5 | ru_RU |
dc.subject | УДК 519.1 | ru_RU |
dc.subject | УДК 519.7 | ru_RU |
dc.subject | ГРНТИ 27.47 | ru_RU |
dc.title | Поиск пар ортогональных диагональных латинских квадратов порядка 10 в проекте добровольных распределенных вычислений SAT@home | ru_RU |
dc.title.alternative | The search for pairs of orthogonal diagonal latin squares of order 10 in the volunteer computing project SAT@home | ru_RU |
dc.type | Article | ru_RU |