1: \begin{thebibliography}{10}
2:
3: \bibitem{Atkins:1999:IPF}
4: J.~Atkins and W.~E. Hart.
5: \newblock On the intractability of protein folding with a finite alphabet of
6: amino acids.
7: \newblock {\em Algorithmica}, 25(2-3):279--294, 1999.
8:
9: \bibitem{Babajide:1997:NNP}
10: A.~Babajide, I.~Hofacker, M.~Sippl, and P.~Stadler.
11: \newblock Neutral networks in protein space: {A} computational study based on
12: knowledge-based potentials of mean force.
13: \newblock {\em Folding and Design}, 2:261--269, 1997.
14:
15: \bibitem{Banavar:1998:SBD}
16: J.~Banavar, M.~Cieplak, A.~Maritan, G.~Nadig, F.~Seno, and S.~Vishveshwara.
17: \newblock Structure-based design of model proteins.
18: \newblock {\em Proteins: Structure, Function, and Genetics}, 31:10--20, 1998.
19:
20: \bibitem{Bateman:2000:PDP}
21: A.~Bateman, E.~Birney, R.~Durbin, S.~R. Eddy, K.~L. Howe, and E.~L.~L.
22: Sonnhammer.
23: \newblock {PFAM}-- {A} database of protein domain family alignments and {HMMs}.
24: \newblock {\em Nucleic Acids Research}, 28:263--266, 2000.
25:
26: \bibitem{Berger:1998:PFH}
27: B.~Berger and T.~Leighton.
28: \newblock Protein folding in the hydrophobic-hydrophilic {(HP)} model is
29: {NP}-complete.
30: \newblock {\em Journal of Computational Biology}, 5(1):27--40, 1998.
31:
32: \bibitem{Crescenzi:1998:CPF}
33: P.~Crescenzi, D.~Goldman, C.~Papadimitriou, A.~Piccolboni, and M.~Yannakakis.
34: \newblock On the complexity of protein folding.
35: \newblock {\em Journal of Computational Biology}, pages 423--466, 1998.
36:
37: \bibitem{Deutsch:1996:NAP}
38: J.~M. Deutsch and T.~Kurosky.
39: \newblock New algorithm for protein design.
40: \newblock {\em Physical Review Letters}, 76:323--326, 1996.
41:
42: \bibitem{Dill:1995:PPF}
43: K.~A. Dill, S.~Bromberg, K.~Yue, K.~Fiebig, D.~Yee, P.~Thomas, and H.~S. Chan.
44: \newblock Principles of protein folding --- {A} perspective from simple exact
45: models.
46: \newblock {\em Protein Science}, 4:561--602, 1995.
47:
48: \bibitem{Drexler:1981:MEA}
49: K.~E. Drexler.
50: \newblock Molecular engineering: An approach to the development of general
51: capabilities for molecular manipulation.
52: \newblock {\em Proceedings of the National Academy of Sciences of the U.S.A.},
53: 78:5275--5278, 1981.
54:
55: \bibitem{Eisenhaber:1993:ISA}
56: F.~Eisenhaber and P.~Argos.
57: \newblock Improved strategy in analytic surface calculation for molecular
58: systems: Handling of singularities and computational efficiency.
59: \newblock {\em Journal of Computational Chemistry}, 14(N11):1272--1280, 1993.
60:
61: \bibitem{Eisenhaber:1995:DCL}
62: F.~Eisenhaber, P.~Lijnzaad, P.~Argos, C.~Sander, and M.~Scharf.
63: \newblock The double cube lattice method: Efficient approaches to numerical
64: integration of surface area and volume and to dot surface contouring of
65: molecular assemblies.
66: \newblock {\em Journal of Computational Chemistry}, 16(N3):273--284, 1995.
67:
68: \bibitem{Gabow:1991:APR}
69: H.~N. Gabow.
70: \newblock Applications of a poset representation to edge connectivity and graph
71: rigidity.
72: \newblock In {\em Proceedings of the 32nd Annual IEEE Symposium on Foundations
73: of Computer Science}, pages 812--821, 1991.
74:
75: \bibitem{Garey:1979:CIG}
76: M.~Garey and D.~Johnson.
77: \newblock {\em Computers and Intractability: {A} Guide to the Theory of
78: {NP}-Completeness}.
79: \newblock Freeman, New York, NY, 1979.
80:
81: \bibitem{Goldberg:1988:NAM}
82: A.~V. Goldberg and R.~E. Tarjan.
83: \newblock A new approach to the maximum-flow problem.
84: \newblock {\em Journal of the ACM}, 35(4):921--940, Oct. 1988.
85:
86: \bibitem{Grotschel:1988:GAC}
87: M.~Gr{\"{o}}tschel, L.~Lov\'{a}sz, and A.~Schrijver.
88: \newblock {\em {Geometric Algorithms and Combinatorial Optimization}}, volume~2
89: of {\em Algorithms and Combinatorics}.
90: \newblock Springer-Verlag, New York, NY, 1988.
91:
92: \bibitem{Hart:1997:CCS}
93: W.~E. Hart.
94: \newblock On the computational complexity of sequence design problems.
95: \newblock In {\em Proceedings of the 1st Annual International Conference on
96: Computational Molecular Biology}, pages 128--136, 1997.
97:
98: \bibitem{Kimura:1983:NTM}
99: M.~Kimura.
100: \newblock {\em The Neutral Theory of Molecular Evolution}.
101: \newblock Cambridge University Press, Cambridge, United Kingdom, 1983.
102:
103: \bibitem{Kleinberg:1999:EAP}
104: J.~M. Kleinberg.
105: \newblock Efficient algorithms for protein sequence design and the analysis of
106: certain evolutionary fitness landscapes.
107: \newblock In {\em Proceedings of the 3rd Annual International Conference on
108: Computational Molecular Biology}, pages 226--237, 1999.
109:
110: \bibitem{Lau:1989:LSM}
111: K.~F. Lau and K.~A. Dill.
112: \newblock A lattice statistical mechanics model of the conformational and
113: sequence spaces of proteins.
114: \newblock {\em Macromolecules}, 22:3986--3997, 1989.
115:
116: \bibitem{Lau:1990:TPM}
117: K.~F. Lau and K.~A. Dill.
118: \newblock Theory for protein mutability and biogenesis.
119: \newblock {\em Proceedings of the National Academy of Sciences of the U.S.A.},
120: 87:638--642, 1990.
121:
122: \bibitem{Lawler:1972:PCB}
123: E.~L. Lawler.
124: \newblock A procedure for computing the {$k$} best solutions to discrete
125: optimization problems and its application to the shortest path problem.
126: \newblock {\em Management Science}, 18:401--405, 1972.
127:
128: \bibitem{Lipman:1991:MNS}
129: D.~Lipman and W.~Wilbur.
130: \newblock Modeling neutral and selective evolution of protein folding.
131: \newblock {\em Proceedings of Royal Society of London Series B}, 245:7--11,
132: 1991.
133:
134: \bibitem{Merz:1994:PFP}
135: K.~M. Merz and S.~M.~L. Grand, editors.
136: \newblock {\em The Protein Folding Problem and Tertiary Structure Prediction}.
137: \newblock Birkhauser, Boston, MA, 1994.
138:
139: \bibitem{Micheletti:1998:DPH}
140: C.~Micheletti, F.~Seno, A.~Maritan, and J.~Banavar.
141: \newblock Design of proteins with hydrophobic and polar amino acids.
142: \newblock {\em Proteins: Structure, Function, and Genetics}, 32:80--87, 1998.
143:
144: \bibitem{Papadimitriou:1982:COA}
145: C.~H. Papadimitriou and K.~Steiglitz.
146: \newblock {\em Combinatorial Optimization: Algorithms and Complexity}.
147: \newblock Prentice-Hall, Upper Saddle River, NJ, 1982.
148:
149: \bibitem{Picard:1980:SAM}
150: J.-C. Picard and M.~Queyranne.
151: \newblock On the structure of all minimum cuts in a network and applications.
152: \newblock {\em Mathematical Programming Study}, (13):8--16, 1980.
153:
154: \bibitem{Ponder:1987:TTP}
155: J.~Ponder and F.~M. Richards.
156: \newblock Tertiary templates for proteins.
157: \newblock {\em Journal of Molecular Biology}, 193:63--89, 1987.
158:
159: \bibitem{Provan:1983:CCC}
160: J.~S. Provan and M.~O. Ball.
161: \newblock The complexity of counting cuts and of computing the probability that
162: a graph is connected.
163: \newblock {\em {SIAM} Journal on Computing}, 12(4):777--788, Nov. 1983.
164:
165: \bibitem{Reidys:1997:GPC}
166: C.~Reidys, P.~Stadler, and P.~Schuster.
167: \newblock Generic properties of combinatory maps: Neutral networks of {RNA}
168: secondary structures.
169: \newblock {\em Bulletin of Mathematical Biology}, 59:339--397, 1997.
170:
171: \bibitem{Shakhnovich:1993:NAD}
172: E.~I. Shakhnovich and A.~M. Gutin.
173: \newblock A new approach to the design of stable proteins.
174: \newblock {\em Protein Engineering}, 6:793--800, 1993.
175:
176: \bibitem{Smith:1970:NSC}
177: J.~M. Smith.
178: \newblock Natural selection and the concept of a protein space.
179: \newblock {\em Nature}, 225:563--564, 1970.
180:
181: \bibitem{Steiner:1986:AGI}
182: G.~Steiner.
183: \newblock An algorithm to generate the ideals of a partial order.
184: \newblock {\em Operations Research Letters}, 5:317--320, 1986.
185:
186: \bibitem{Sun:1995:DAA}
187: S.~J. Sun, R.~Brem, H.~S. Chan, and K.~A. Dill.
188: \newblock Designing amino acid sequences to fold with good hydrophobic cores.
189: \newblock {\em Protein Engineering}, 8(12):1205--1213, Dec. 1995.
190:
191: \bibitem{Vazirani:1992:SCT}
192: V.~V. Vazirani and M.~Yannakakis.
193: \newblock Suboptimal cuts: Their enumeration, weight and number (extended
194: abstract).
195: \newblock In W.~Kuich, editor, {\em Lecture Notes in Computer Science 623:
196: Proceedings of the 19th International Colloquium on Automata, Languages, and
197: Programming}, pages 366--377. Springer-Verlag, New York, NY, 1992.
198:
199: \bibitem{Yue:1992:IPF}
200: K.~Yue and K.~A. Dill.
201: \newblock Inverse protein folding problem: Designing polymer sequences.
202: \newblock {\em Proceedings of the National Academy of Sciences of the U.S.A.},
203: 89:4163--4167, 1992.
204:
205: \end{thebibliography}
206: