Разработка параллельного алгоритма решения задачи выполнимости для И-ИЛИ дерева в MS VISUAL STUDIO 2010
| Parent link: | Технологии Microsoft в теории и практике программирования: сборник трудов IX Всероссийской научно-практической конференции студентов, аспирантов и молодых ученых, 21-22 марта 2012 г., г.Томск/ Национальный исследовательский Томский политехнический университет (ТПУ), Институт кибернетики ; отв. ред. А. Р. Вахитов. [С. 52-54].— , 2012 |
|---|---|
| Autor principal: | |
| Autor corporatiu: | |
| Sumari: | Заглавие с титульного листа. The satisfiability problem (SAT) is a decision problem that is known to be NP-complete. SAT is of central importance in various areas of computer science. There are numerous works devoted to the subject but most of them put strict constraints on the form of the Boolean expression. In this paper we develop a simple and fast genetic algorithm applicable to any Boolean formula or even combinational circuit. At the core of this algorithm lies universal and effective objective function based on AND/OR trees. The parallel implementation of this algorithm using PPL in Microsoft Visual Studio 2010 is described and studied. |
| Publicat: |
2012
|
| Col·lecció: | Математическое моделирование и технологии высокопроизводительных вычислений |
| Matèries: | |
| Accés en línia: | http://www.lib.tpu.ru/fulltext/c/2012/C28/016.pdf |
| Format: | Electrònic Capítol de llibre |
| KOHA link: | https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=611342 |
| Descripció física: | 1 файл (505 Кб) |
|---|---|
| Sumari: | Заглавие с титульного листа. The satisfiability problem (SAT) is a decision problem that is known to be NP-complete. SAT is of central importance in various areas of computer science. There are numerous works devoted to the subject but most of them put strict constraints on the form of the Boolean expression. In this paper we develop a simple and fast genetic algorithm applicable to any Boolean formula or even combinational circuit. At the core of this algorithm lies universal and effective objective function based on AND/OR trees. The parallel implementation of this algorithm using PPL in Microsoft Visual Studio 2010 is described and studied. |