1: \begin{thebibliography}{10}
2:
3: \bibitem{algs:ahu}
4: A.~V. Aho, J.~E. Hopcroft, and J.~D. Ullman.
5: \newblock {\em The Design and Analysis of Computer Algorithms}.
6: \newblock Addison-Wesley, Reading, MA, 1974.
7:
8: \bibitem{lca:ahu}
9: A.~V. Aho, J.~E. Hopcroft, and J.~D. Ullman.
10: \newblock On finding lowest common ancestors in trees.
11: \newblock {\em SIAM Journal on Computing}, 5(1):115--32, 1976.
12:
13: \bibitem{aho:dragon2}
14: A.~V. Aho, R.~Sethi, and J.~D. Ullman.
15: \newblock {\em Compilers: {P}rinciples, Techniques, and Tools}.
16: \newblock Addison-Wesley, Reading, MA, 1986.
17:
18: \bibitem{ptc:ii:au}
19: A.~V. Aho and J.~D. Ullman.
20: \newblock {\em The Theory of Parsing, Translation, and Compiling}, volume {II:}
21: {\em Compiling}.
22: \newblock Prentice-Hall, Englewood Cliffs, NJ, 1972.
23:
24: \bibitem{foodwebs:ab04}
25: S.~Allesina and A.~Bodini.
26: \newblock Who dominates whom in the ecosystem? {E}nergy flow bottlenecks and
27: cascading extinctions.
28: \newblock {\em Journal of Theoretical Biology}, 230(3):351--8, 2004.
29:
30: \bibitem{foodwebs:abb}
31: S.~Allesina, A.~Bodini, and C.~Bondavalli.
32: \newblock Secondary extinctions in ecological networks: {B}ottlenecks unveiled.
33: \newblock {\em Ecological Modelling}, 2005.
34: \newblock In press.
35:
36: \bibitem{lca:agkr02}
37: S.~Alstrup, C.~Gavoille, H.~Kaplan, and T.~Rauhe.
38: \newblock Nearest common ancestors: {A} survey and a new distributed algorithm.
39: \newblock In {\em Proc. 14th ACM Symp. on Parallel Algorithms and
40: Architecture}, 2002.
41:
42: \bibitem{domin:ahlt99}
43: S.~Alstrup, D.~Harel, P.~W. Lauridsen, and M.~Thorup.
44: \newblock Dominators in linear time.
45: \newblock {\em SIAM Journal on Computing}, 28(6):2117--32, 1999.
46:
47: \bibitem{deccon:ass}
48: S.~Alstrup, J.~P. Secher, and M.~Spork.
49: \newblock Optimal on-line decremental connectivity in trees.
50: \newblock {\em Information Processing Letters}, 64(4):161--4, 1997.
51:
52: \bibitem{dnca:at00}
53: S.~Alstrup and M.~Thorup.
54: \newblock Optimal algorithms for finding nearest common ancestors in dynamic
55: trees.
56: \newblock {\em Journal of Algorithms}, 35:169--88, 2000.
57:
58: \bibitem{amyeen:01:vlsitest}
59: M.~E. Amyeen, W.~K. Fuchs, I.~Pomeranz, and V.~Boppana.
60: \newblock Fault equivalence identification using redundancy information and
61: staticand dynamic extraction.
62: \newblock In {\em Proc. 19th IEEE VLSI Test Symposium}, pages 124--30, 2001.
63:
64: \bibitem{lca:bf00}
65: M.~A. Bender and M.~Farach-Colton.
66: \newblock The {LCA} problem revisited.
67: \newblock In {\em Proc. 4th Latin American Symp. on Theoretical Informatics},
68: volume 1776 of {\em Lecture Notes in Computer Science}, pages 88--94.
69: Springer-Verlag, 2000.
70:
71: \bibitem{mst:bor}
72: O.~Bor{{\r u}}vka.
73: \newblock O jist\'em probl\'emu minim\'aln\'{\i}m.
74: \newblock {\em Pr\'ace Moravsk\'e P\v{r}\'{\i}rodov\v{e}deck\'e Spole\v{c}nosti
75: v Brn\v{e} (Acta Societ. Science. Natur. Moravicae)}, 3:37--58, 1926.
76:
77: \bibitem{ptrs:bkrw}
78: A.~L. Buchsbaum, H.~Kaplan, A.~Rogers, and J.~R. Westbrook.
79: \newblock Linear-time pointer-machine algorithms for least common ancestors,
80: {MST} verification, and dominators.
81: \newblock In {\em Proc. 30th ACM Symp. on Theory of Computing}, pages 279--88,
82: 1998.
83:
84: \bibitem{domin:bkrw}
85: A.~L. Buchsbaum, H.~Kaplan, A.~Rogers, and J.~R. Westbrook.
86: \newblock A new, simpler linear-time dominators algorithm.
87: \newblock {\em ACM Transactions on Programming Languages and Systems},
88: 20(6):1265--96, 1998.
89: \newblock {\em Corrigendum}, 27(3):383--7, 2005.
90:
91: \bibitem{mindeq:bst2}
92: A.~L. Buchsbaum, R.~Sundar, and R.~E. Tarjan.
93: \newblock Data-structural bootstrapping, linear path compression, and catenable
94: heap-ordered double-ended queues.
95: \newblock {\em SIAM Journal on Computing}, 24(6):1190--1206, 1995.
96:
97: \bibitem{disc:cp95}
98: J.~Cai and R.~Paige.
99: \newblock Using multiset discrimination to solve language processing problems
100: without hashing.
101: \newblock {\em Theoretical Computer Science}, 145:189--228, 1995.
102:
103: \bibitem{mst:c00}
104: B.~Chazelle.
105: \newblock A minimum spanning tree algorithm with inverse-{A}ckermann type
106: complexity.
107: \newblock {\em Journal of the ACM}, 47(6):1028--47, 2000.
108:
109: \bibitem{flowgraph:c+}
110: R.~Cytron, J.~Ferrante, B.~K. Rosen, M.~N. Wegman, and F.~K. Zadeck.
111: \newblock Efficiently computing static single assignment form and the control
112: dependence graph.
113: \newblock {\em ACM Transactions on Programming Languages and Systems},
114: 13(4):451--90, 1991.
115:
116: \bibitem{lindsu:dst}
117: M.~B. Dillencourt, H.~Samet, and M.~Tamminen.
118: \newblock A general approach to connected-component labeling for arbitrary
119: image representations.
120: \newblock {\em Journal of the ACM}, 39(2):253--80, 1992.
121:
122: \bibitem{mst:drt}
123: B.~Dixon, M.~Rauch, and R.~E. Tarjan.
124: \newblock Verification and sensitivity analysis of minimum spanning trees in
125: linear time.
126: \newblock Technical Report CS-TR-289-90, Princeton University Dept.~of Computer
127: Science, July 1990.
128:
129: \bibitem{mst:drt:j}
130: B.~Dixon, M.~Rauch, and R.~E. Tarjan.
131: \newblock Verification and sensitivity analysis of minimum spanning trees in
132: linear time.
133: \newblock {\em SIAM Journal on Computing}, 21(6):1184--92, 1992.
134:
135: \bibitem{onlineconn:es}
136: S.~Even and Y.~Shiloach.
137: \newblock An on-line edge deletion problem.
138: \newblock {\em Journal of the ACM}, 28(1):1--4, 1981.
139:
140: \bibitem{flowgraph:fow}
141: J.~Ferrante, K.~Ottenstein, and J.~Warren.
142: \newblock The program dependency graph and its uses in optimization.
143: \newblock {\em ACM Transactions on Programming Languages and Systems},
144: 9(3):319--49, 1987.
145:
146: \bibitem{ipdsu:fg96}
147: C.~Fiorio and J.~Gustedt.
148: \newblock Two linear time union-find strategies for image processing.
149: \newblock {\em Theoretical Computer Science}, 154:165--81, 1996.
150:
151: \bibitem{mstj:fw}
152: M.~L. Fredman and D.~E. Willard.
153: \newblock Trans-dichotomous algorithms for minimum spanning trees and shortest
154: paths.
155: \newblock {\em Journal of Computer and System Sciences}, 48:533--51, 1994.
156:
157: \bibitem{nca:g}
158: H.~N. Gabow.
159: \newblock Data structures for weighted matching and nearest common ancestors
160: with linking.
161: \newblock In {\em Proc. 1st ACM-SIAM Symp. on Discrete Algorithms}, pages
162: 434--43, 1990.
163:
164: \bibitem{pathdfs:g00}
165: H.~N. Gabow.
166: \newblock Path-based depth-first search for strong and biconnected components.
167: \newblock {\em Information Processing Letters}, 74:107--14, 2000.
168:
169: \bibitem{gp:gbt84}
170: H.~N. Gabow, J.~L. Bentley, and R.~E. Tarjan.
171: \newblock Scaling and related techniques for geometry problems.
172: \newblock In {\em Proc. 16th ACM Symp. on Theory of Computing}, pages 135--43,
173: 1984.
174:
175: \bibitem{dsu:gt}
176: H.~N. Gabow and R.~E. Tarjan.
177: \newblock A linear-time algorithm for a special case of disjoint set union.
178: \newblock {\em Journal of Computer and System Sciences}, 30(2):209--21, 1985.
179:
180: \bibitem{Geo05}
181: L.~Georgiadis.
182: \newblock {\em Linear-Time Algorithms for Dominators and Related Problems}.
183: \newblock PhD thesis, Department of Computer Science, Princeton University,
184: 2005.
185:
186: \bibitem{dom:gt04}
187: L.~Georgiadis and R.~E. Tarjan.
188: \newblock Finding dominators revisited.
189: \newblock In {\em Proc. 15th ACM-SIAM Symp. on Discrete Algorithms}, pages
190: 862--71, 2004.
191:
192: \bibitem{domv:gt05}
193: L.~Georgiadis and R.~E. Tarjan.
194: \newblock Dominator tree verification and vertex-disjoint paths.
195: \newblock In {\em Proc. 16th ACM-SIAM Symp. on Discrete Algorithms}, pages
196: 433--42, 2005.
197:
198: \bibitem{dom_exp:gtw06}
199: L.~Georgiadis, R.~E. Tarjan, and R.~F. Werneck.
200: \newblock Finding dominators in practice.
201: \newblock {\em Journal of Graph Algorithms and Applications}, 10(1):69--94,
202: 2006.
203:
204: \bibitem{msthist:gh}
205: R.~L. Graham and P.~Hell.
206: \newblock On the history of the minimum spanning tree problem.
207: \newblock {\em Annals of the History of Computing}, 7(1):43--57, 1985.
208:
209: \bibitem{dsu:g98}
210: J.~Gustedt.
211: \newblock Efficient union-find for planar graphs and other sparse graph
212: classes.
213: \newblock {\em Theoretical Computer Science}, 203:123--41, 1998.
214:
215: \bibitem{domin:harel}
216: D.~Harel.
217: \newblock A linear time algorithm for finding dominators in flow graphs and
218: related problems.
219: \newblock In {\em Proc. 17th ACM Symp. on Theory of Computing}, pages 185--94,
220: 1985.
221:
222: \bibitem{nca:ht}
223: D.~Harel and R.~E. Tarjan.
224: \newblock Fast algorithms for finding nearest common ancestors.
225: \newblock {\em SIAM Journal on Computing}, 13(2):338--55, 1984.
226:
227: \bibitem{mst:kkt}
228: D.~R. Karger, P.~N. Klein, and R.~E. Tarjan.
229: \newblock A randomized linear-time algorithm to find minimum spanning trees.
230: \newblock {\em Journal of the ACM}, 42(2):321--28, 1995.
231:
232: \bibitem{mstver:j:king}
233: V.~King.
234: \newblock A simpler minimum spanning tree verification algorithm.
235: \newblock {\em Algorithmica}, 18:263--70, 1997.
236:
237: \bibitem{mstver:k}
238: J.~Koml{\'o}s.
239: \newblock Linear verification for spanning trees.
240: \newblock {\em Combinatorica}, 5(1):57--65, 1985.
241:
242: \bibitem{mst:kruskal}
243: J.~B. Kruskal.
244: \newblock On the shortest spanning subtree of a graph and the traveling
245: salesman problem.
246: \newblock {\em Proceedings of the American Mathematical Society}, 7:53--7,
247: 1956.
248:
249: \bibitem{domin:lt}
250: T.~Lengauer and R.~E. Tarjan.
251: \newblock A fast algorithm for finding dominators in a flowgraph.
252: \newblock {\em ACM Transactions on Programming Languages and Systems},
253: 1(1):121--41, 1979.
254:
255: \bibitem{postdsu:j:ln}
256: M.~Loebl and J.~Ne{\v{s}}et{\v{r}}il.
257: \newblock Linearity and unprovability of set union problem strategies {I}.
258: {L}inearity of strong postorder.
259: \newblock {\em Journal of Algorithms}, 23:207--20, 1997.
260:
261: \bibitem{domin:lm}
262: E.~S. Lorry and V.~W. Medlock.
263: \newblock Object code optimization.
264: \newblock {\em Communications of the ACM}, 12(1):13--22, 1969.
265:
266: \bibitem{dsu:l}
267: J.~M. Lucas.
268: \newblock Postorder disjoint set union is linear.
269: \newblock {\em SIAM Journal on Computing}, 19(5):868--82, 1990.
270:
271: \bibitem{loglb:pd06}
272: M.~P{\v{a}}tra{\c{s}}cu and E.~D. Demaine.
273: \newblock Logarithmic lower bounds in the cell-probe model.
274: \newblock {\em SIAM Journal on Computing}, 35(4):932--63, 2006.
275:
276: \bibitem{sp:pr02}
277: S.~Pettie and V.~Ramachandran.
278: \newblock Computing shortest paths with comparisons and additions.
279: \newblock In {\em Proc. 13th ACM-SIAM Symp. on Discrete Algorithms}, pages
280: 267--76, 2002.
281:
282: \bibitem{mst:pr02}
283: S.~Pettie and V.~Ramachandran.
284: \newblock An optimal minimum spanning tree algorithm.
285: \newblock {\em Journal of the ACM}, 49(1):16--34, 2002.
286:
287: \bibitem{domin:pm}
288: P.~W. Purdom and E.~F. Moore.
289: \newblock Algorithm 430: {I}mmediate predominators in a directed graph.
290: \newblock {\em Communications of the ACM}, 15(8):777--8, 1972.
291:
292: \bibitem{QVDR:PADL:2006}
293: L.~Quesada, P.~{Van Roy}, Y.~Deville, and R.~Collet.
294: \newblock Using dominators for solving constrained path problems.
295: \newblock In {\em Proc. 8th Int'l. Symp. on Practical Aspects of Declarative
296: Languages}, volume 3819 of {\em Lecture Notes in Computer Science}, pages
297: 73--87. Springer, 2006.
298:
299: \bibitem{lca:sv}
300: B.~Schieber and U.~Vishkin.
301: \newblock On finding lowest common ancestors: {S}implification and
302: parallelization.
303: \newblock {\em SIAM Journal on Computing}, 17(6):1253--62, 1988.
304:
305: \bibitem{dynamict:st}
306: D.~D. Sleator and R.~E. Tarjan.
307: \newblock A data structure for dynamic trees.
308: \newblock {\em Journal of Computer and System Sciences}, 26(3):362--91, 1983.
309:
310: \bibitem{dfs:t}
311: R.~E. Tarjan.
312: \newblock Depth-first search and linear graph algorithms.
313: \newblock {\em SIAM Journal on Computing}, 1(2):146--59, 1972.
314:
315: \bibitem{domin:tarjan}
316: R.~E. Tarjan.
317: \newblock Finding dominators in directed graphs.
318: \newblock {\em SIAM Journal on Computing}, 3(1):62--89, 1974.
319:
320: \bibitem{setunion:tarjan}
321: R.~E. Tarjan.
322: \newblock Efficiency of a good but not linear set union algorithm.
323: \newblock {\em Journal of the ACM}, 22(2):215--25, 1975.
324:
325: \bibitem{st:t}
326: R.~E. Tarjan.
327: \newblock Edge-disjoint spanning trees and depth-first search.
328: \newblock {\em Acta Informatica}, 6(2):171--85, 1976.
329:
330: \bibitem{pathcomp:t}
331: R.~E. Tarjan.
332: \newblock Applications of path compression on balanced trees.
333: \newblock {\em Journal of the ACM}, 26(4):690--715, 1979.
334:
335: \bibitem{setunionptr:tarjan}
336: R.~E. Tarjan.
337: \newblock A class of algorithms which require nonlinear time to maintain
338: disjoint sets.
339: \newblock {\em Journal of Computer and System Sciences}, 18(2):110--27, 1979.
340:
341: \bibitem{reducibility:tarjan}
342: R.~E. Tarjan.
343: \newblock Testing flow graph reducibility.
344: \newblock {\em Journal of Computer and System Sciences}, 9(3):355--65, 1994.
345:
346: \bibitem{setunion:tvl}
347: R.~E. Tarjan and J.~van Leeuwen.
348: \newblock Worst-case analysis of set union algorithms.
349: \newblock {\em Journal of the ACM}, 31(2):245--81, 1984.
350:
351: \bibitem{usp:t99}
352: M.~Thorup.
353: \newblock Undirected single-source shortest paths with positive integer weights
354: in linear time.
355: \newblock {\em Journal of the ACM}, 46(3):362--94, 1999.
356:
357: \bibitem{nca:tv88}
358: A.~K. Tsakalides and J.~van Leeuwen.
359: \newblock An optimal pointer machine algorithm for finding nearest common
360: ancestors.
361: \newblock Technical Report RUU-CS-88-17, U. Utrecht Dept. of Computer Science,
362: 1988.
363:
364: \bibitem{nca:v76}
365: J.~van Leeuwen.
366: \newblock Finding lowest common ancestors in less than logarithmic time.
367: \newblock Unpublished report, 1976.
368:
369: \bibitem{carttree:vuil}
370: J.~Vuillemin.
371: \newblock A unifying look at data structures.
372: \newblock {\em Communications of the ACM}, 23(4):229--39, 1980.
373:
374: \end{thebibliography}
375: