Abstract
We introduce the concept of multi-directional width-bounded geometric separator and get improved separator for the grid graph, which improves exact algorithm for the protein folding problem in the HP-model. For a grid graph G with n grid points P, there exists a separator A ⊆ P such that A has less than or equal to 1.02074\(\sqrt{n}\) points, and G–A has two disconnected subgraphs with less than or equal to \({2 \over 3}n\) nodes on each of them. We also derive 0.7555\(\sqrt{n}\) lower bound for such a separator on grid graph. The previous upper bound record for the grid graph \(2 \over 3\)-separator is 1.129\(\sqrt{n}\) [6].
This research is supported by Louisiana Board of Regents fund under contract number LEQSF(2004-07)-RD-A-35.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Alon, N., Seymour, P., Thomas, R.: Planar Separator. SIAM J. Discr. Math. 7(2), 184–193 (1990)
Berger, B., Leighton, T.: Protein folding in the hydrophobic-hydrophilic (HP) model is NP-complete. Journal of Computational Biology 5, 27–40 (1998)
Crescenzi, P., Goldman, D., Papadimitriou, C., Piccolboni, A., Yannakakis, M.: On the complexity of protein folding. Journal of computational biology 5, 423–465 (1998)
Djidjev, H.N.: On the problem of partitioning planar graphs. SIAM Journal on Discrete Mathematics 3(2), 229–240 (1982)
Djidjev, H.N., Venkatesan, S.M.: Reduced constants for simple cycle graph separation. Acta informatica 34, 231–234 (1997)
Fu, B., Wang, W.: A \(2^{O(n^{1-1/d}\log n)}\)-time algorithm for d-dimensional protein folding in the HP-model. In: Díaz, J., Karhumäki, J., Lepistö, A., Sannella, D. (eds.) ICALP 2004. LNCS, vol. 3142, pp. 630–644. Springer, Heidelberg (2004)
Fu, B.: Theory and application of width bounded geometric separator, Electronic Colloquium on Computational Complexity, TR05-13 (2005)
Gazit, H.: An improved algorithm for separating a planar graph, manuscript, USC (1986)
Lau, K.F., Dill, K.A.: A lattice statistical mechanics model of the conformational and sequence spaces of proteins. Macromolecules 22, 3986–3997 (1989)
Lau, K.F., Dill, K.A.: Theory for protein mutability and biogenesis. Proc. Natl. Acad. Sci. 87, 638–642 (1990)
Lipton, R.J., Tarjan, R.: A separator theorem for planar graph. SIAM J. Appl. Math. 36, 177–189 (1979)
Miller, G.L., Teng, S.-H., Thurston, W.P., Vavasis, S.A.: Separators for sphere-packings and nearest neighbor graphs. J. ACM 44(1), 1–29 (1997)
Smith, W.D., Wormald, N.C.: Application of geometric separator theorems. In: Smith, W.D., Wormald, N.C. (eds.) FOCS 1998, pp. 232–243 (1998)
Spielman, D.A., Teng, S.H.: Disk packings and planar separators. In: 12th Annual ACM Symposium on Computational Geometry, pp. 349–358 (1996)
Pach, J., Agarwal, P.K.: Combinatorial Geometry. Wiley-Interscience Publication, Hoboken (1995)
Weinstock, R.: Calculus of variations. McGraw-Hill, New York (1952)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Fu, B., Oprisan, S.A., Xu, L. (2005). Multi-directional Width-Bounded Geometric Separator and Protein Folding. In: Deng, X., Du, DZ. (eds) Algorithms and Computation. ISAAC 2005. Lecture Notes in Computer Science, vol 3827. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11602613_99
Download citation
DOI: https://doi.org/10.1007/11602613_99
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-30935-2
Online ISBN: 978-3-540-32426-3
eBook Packages: Computer ScienceComputer Science (R0)