Solving SAT and Hamiltonian Cycle Problem Using Asynchronous P Systems
-
- TAGAWA Hirofumi
- NTT Data Corporation
-
- FUJIWARA Akihiro
- Kyushu Institute of Technology
Search this article
Abstract
In the present paper, we consider fully asynchronous parallelism in membrane computing, and propose two asynchronous P systems for the satisfiability (SAT) and Hamiltonian cycle problem. We first propose an asynchronous P system that solves SAT with n variables and m clauses, and show that the proposed P system computes SAT in O(mn2n) sequential steps or O(mn) parallel steps using O(mn) kinds of objects. We next propose an asynchronous P system that solves the Hamiltonian cycle problem with n nodes, and show that the proposed P system computes the problem in O(n!) sequential steps or O(n2) parallel steps using O(n2) kinds of objects.
Journal
-
- IEICE Transactions on Information and Systems
-
IEICE Transactions on Information and Systems E95-D (3), 746-754, 2012
The Institute of Electronics, Information and Communication Engineers
- Tweet
Details
-
- CRID
- 1390001204378419072
-
- NII Article ID
- 10030611548
-
- NII Book ID
- AA10826272
-
- BIBCODE
- 2012IEITI..95..746T
-
- ISSN
- 17451361
- 09168532
-
- Text Lang
- en
-
- Data Source
-
- JaLC
- Crossref
- CiNii Articles
- KAKEN
-
- Abstract License Flag
- Disallowed