Abstract
Biomolecular filtering, as a computing paradigm, consists essentially of two steps: (1) the codification of candidate solutions in DNA and (2) the removal of non-valid solutions by means of biochemical procedures. The sticker model makes use of this notion, defining simple bitwise operations over large sets of DNA-coded binary strings. A sticker machine is conceived as a robotic station automatizing sticker operations and thus, can be seen as an SIMD computer with a densely populated pool of data. In this paper, the maximum clique problem is tackled by harnessing the massive threading of the CUDA SIMT architecture to replicate the parallel strand filtering. The proposed heuristic relies on the sequential-and-progressive generation of partial search spaces for subsequent parallel filtering in GPU. Computational results over DIMACS benchmark set show that our approach is competitive, compared to a preceding similar work and to state-of-the-art branch-and-bound algorithms. Moreover, our approach is scalable and produces more than one solution for some instances. As far as we know, the number of found cliques has not been previously used as a reference point for this problem.
Similar content being viewed by others
References
Adleman, L.M. (1994). Molecular Computation of Solutions to Combinatorial Problems. Science, 266(11), 1021–1024.
Lipton, R. (1995). DNA Solution of Hard Computational Problems. Science, 268(5210), 542–545.
Ouyang, Q., Kaplan, P.D., Liu, S., & Libchaber, A. (1997). DNA Solution of the Maximal Clique Problem. Science, 278(5337), 446–449.
Roweis, S., Winfree, E., Burgoyne, R., Chelyapov, N.V., Goodman, M.F., Rothemund, P.W.K., & et al. (1998). A sticker based model for DNA computation. Journal of Computational Biology, 5(4), 615–629.
Smith, L., Corn, R., Condon, A., Lagally, M., Frutos, A., Liu, Q., & et al. (1998). A surface-based approach to DNA computation. Journal of Computational Biology, 5(2), 255–267.
Winfree, E., Liu, F., Wenzler, L.A., & Seeman, N.A. (1998). Design and self-assembly of two-dimensional DNA crystals. Nature, 394(6693), 539–544.
Sakamoto, K., Gouzu, H., Komiya, K., Kiga, D., Yokoyama, S., Yokomori, T., & other (2000). Molecular Computation by DNA Hairpin Formation. Science, 288(5469), 1223–1226.
Kari, L., Paun, G., Rozenberg, G., Salomaa, A., & Yu, S. (1998). DNA computing, sticker systems, and universality . Acta Informatica, 35(5), 401–420.
Zimmermann, K.-H. (2002). Efficient DNA sticker algorithms for NP-complete graph problems. Computer Physics Communications, 144(3), 297–309.
Pérez-Jiménez, M.J., & Sancho-Caparrini, F. (2002). Solving knapsack problems in a sticker based model. In Revised Papers from the 7th International Workshop on DNA-Based Computers: DNA Computing (pp. 161–171): Springer.
Martínez-Pérez, I.M., & Zimmermann, K.-H. (2009). Parallel bioinspired algorithms for NP complete graph problems. Journal of Parallel and Distributed Computing, 69(3), 221–229.
Martínez-Pérez, I.M., Brandt, W., Wild, M., & Zimmermann, K.-H (2008). Bioinspired Parallel Algorithms for Maximum Clique Problem on FPGA Architectures. Journal of Signal Processing Systems, 58(2), 117–124.
Alonso Sanchez, C., & Soma, N.Y. (2009). A Polynomial-time DNA Computing Solution for the Bin-Packing Problem. Applied Mathematics and Computation, 215(6), 2055–2062.
Darehmiraki, M. (2009). A new solution for maximal clique problem based sticker model. Biosystems, 95(2), 145–149.
Liu, X., Yang, X., Li, S., & Ding, Y. (2010). Solving the minimum bisection problem using a biologically inspired computational model. Theoretical Computer Science, 411(6), 888–896.
Razzazi, M., & Roayaei, M. (2011). Using sticker model of DNA computing to solve domatic partition, kernel and induced path problems. Information Sciences, 181(17), 3581–3600.
Yuxing Y., Qingsheng L., & Jilan M. (2008). DNA Algorithms of Two Kinds of Full Permutation Problem Based on Sticker Model. In Computational Intelligence and Industrial Application PACIIA Pacific-Asia Workshop, (Vol. 1 pp. 252–255).
Arnold, M.C. (2011). An improved DNA-sticker addition algorithm and its application to logarithmic arithmetic. In DNA Computing and Molecular Programming, (Vol. 6937 pp. 34–48).
Johnson, D.S., & Trick, M.A. (Eds.) (1996). Cliques, Coloring, and Satisfiability . DIMACS Series in Discr. Math. and Theoret. Comput. Sci., Vol. 26.
Batsyn, M., Goldengorin, B., Maslov, E., & Pardalos, P.M. (2013). Improvements to MCS algorithm for the maximum clique problem. Journal of Combinatorial Optimization, 27(2), 397–416.
Tomita, E., Sutani, Y., Higashi, T., Takahashi, S., & Wakatsuki, M. (2010). A simple and faster branch-and-bound algorithm for finding a maximum clique. In M. Rahman, & S. Fujita (Eds.), WALCOM: Algorithms and Computation. Lecture Notes in Computer Science, (Vol. 5942 pp. 191–203).
Karp, R. (1972). Reducibility among combinatorial problems. In R. Miller, & J. Thatcher (Eds.) Complexity of Computer Computations (pp. 85–103): Plenum Press.
Hastad, J. (1996). Clique is hard to approximate within n 1−𝜖.. In Proceedings of the 37th Annual Symposium on Foundations of Computer Science.IEEE (pp. 627–636).
Johnson, D.J., & Trick, M.A. (eds.) (1996). Cliques, Coloring, and Satisfiability: Second DIMACS Implementation Challenge. Workshop.
Rodionov, A., Bezginov, A., Rose, J., & Tillier, ERM (2011). A new, fast algorithm for detecting protein coevolution using maximum compatible cliques. Algorithms for Molecular Biology, 6(17).
Ion, A., Carreira, J., & Sminchisescu, C. (2011). Image segmentation by figure-ground composition into maximal cliques. In The 13th International Conference on Computer Vision, 6-13 November, Barcelona, Spain.
Acknowledgements
This research was supported by CONACYT under grant SEP-CONACYT-CB-2010-01-154863 and the CONACYT fellowship to NEOG.
Author information
Authors and Affiliations
Corresponding author
Electronic supplementary material
Below is the link to the electronic supplementary material.
Rights and permissions
About this article
Cite this article
Ordóñez-Guillén, N.E., Martínez-Pérez, I.M. Heuristic Search Space Generation for Maximum Clique Problem Inspired in Biomolecular Filtering. J Sign Process Syst 83, 389–400 (2016). https://doi.org/10.1007/s11265-015-1027-z
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11265-015-1027-z