Skip to main content
Log in

Heuristic Search Space Generation for Maximum Clique Problem Inspired in Biomolecular Filtering

  • Published:
Journal of Signal Processing Systems Aims and scope Submit manuscript

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Figure 1
Figure 2

Similar content being viewed by others

References

  1. Adleman, L.M. (1994). Molecular Computation of Solutions to Combinatorial Problems. Science, 266(11), 1021–1024.

    Article  Google Scholar 

  2. Lipton, R. (1995). DNA Solution of Hard Computational Problems. Science, 268(5210), 542–545.

    Article  Google Scholar 

  3. Ouyang, Q., Kaplan, P.D., Liu, S., & Libchaber, A. (1997). DNA Solution of the Maximal Clique Problem. Science, 278(5337), 446–449.

    Article  Google Scholar 

  4. 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.

    Article  MATH  Google Scholar 

  5. 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.

    Article  Google Scholar 

  6. 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.

    Article  Google Scholar 

  7. 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.

    Article  Google Scholar 

  8. Kari, L., Paun, G., Rozenberg, G., Salomaa, A., & Yu, S. (1998). DNA computing, sticker systems, and universality . Acta Informatica, 35(5), 401–420.

    Article  MathSciNet  MATH  Google Scholar 

  9. Zimmermann, K.-H. (2002). Efficient DNA sticker algorithms for NP-complete graph problems. Computer Physics Communications, 144(3), 297–309.

    Article  MathSciNet  MATH  Google Scholar 

  10. 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.

  11. 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.

    Article  Google Scholar 

  12. 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.

    Article  Google Scholar 

  13. 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.

    Article  MathSciNet  MATH  Google Scholar 

  14. Darehmiraki, M. (2009). A new solution for maximal clique problem based sticker model. Biosystems, 95(2), 145–149.

    Article  Google Scholar 

  15. 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.

    Article  MathSciNet  MATH  Google Scholar 

  16. 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.

    Article  MathSciNet  Google Scholar 

  17. 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).

  18. 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).

  19. Johnson, D.S., & Trick, M.A. (Eds.) (1996). Cliques, Coloring, and Satisfiability . DIMACS Series in Discr. Math. and Theoret. Comput. Sci., Vol. 26.

  20. 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.

    Article  MathSciNet  MATH  Google Scholar 

  21. 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).

  22. Karp, R. (1972). Reducibility among combinatorial problems. In R. Miller, & J. Thatcher (Eds.) Complexity of Computer Computations (pp. 85–103): Plenum Press.

  23. 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).

  24. Johnson, D.J., & Trick, M.A. (eds.) (1996). Cliques, Coloring, and Satisfiability: Second DIMACS Implementation Challenge. Workshop.

  25. 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).

  26. 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.

Download references

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

Authors

Corresponding author

Correspondence to Israel M. Martínez-Pérez.

Electronic supplementary material

Below is the link to the electronic supplementary material.

(PDF 212 KB)

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

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

Download citation

  • Received:

  • Revised:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11265-015-1027-z

Keywords

Navigation