1: \documentclass[11pt]{article}
2: \usepackage{fullpage}
3: \usepackage{times}
4:
5: \usepackage{latexsym} % for \Box at end of proof
6: \usepackage{amsmath} % for \text, \overset
7: \usepackage{cite} % turns, e.g., [1,2,3,4] into [1-4]
8: \usepackage{multirow}
9: \usepackage[dvips]{graphics,color}
10:
11: % allow big figs
12: \renewcommand{\topfraction}{.9}
13: \renewcommand{\textfraction}{.1}
14:
15: \input{defs}
16:
17: \title{
18: Linear-Time Pointer-Machine Algorithms
19: for Path-Evaluation Problems on Trees and Graphs\thanks{This work
20: is partially covered by the extended abstracts,
21: ``Linear-Time Pointer-Machine Algorithms
22: for Least Common Ancestors, MST Verification, and Dominators,''
23: {\em Proc.~30th ACM Symp.~on Theory of Computing,}
24: pp.~279--888, 1998,
25: and ``Finding Dominators Revisited,''
26: {\em Proc.~15th ACM-SIAM Symp.~on Discrete Algorithms,}
27: pp.~862--871, 2004.
28: }
29: }
30:
31:
32: \author{Adam L. Buchsbaum\thanks{
33: AT\&T Labs--Research,
34: Shannon Laboratory,
35: 180 Park Ave.,
36: Florham Park, NJ 07932, USA;
37: email: alb@research.att.com.}
38: \and
39: Loukas Georgiadis\thanks{
40: Dept.~of Computer Science,
41: University of Aarhus,
42: IT-parken, Aabogade 34,
43: DK-8200 Aarhus N, Denmark;
44: email: loukas@daimi.au.dk.
45: Work partially done at Princeton University
46: and partially supported by the National Science Foundation
47: under the Aladdin Project, Grant No.~CCR-0122581.}
48: \and
49: Haim Kaplan\thanks{
50: School of Mathematical Sciences,
51: Tel Aviv University,
52: Tel Aviv, Israel;
53: email: haimk@math.tau.ac.il.
54: Work partially done while a member of AT\&T Labs.}
55: \and
56: Anne Rogers\thanks{
57: Dept.~of Computer Science,
58: University of Chicago,
59: 1100 E 58th Street,
60: Chicago, IL 60637, USA;
61: email: amr@cs.uchicago.edu.
62: Work partially done while a member of AT\&T Labs.}
63: \and
64: Robert E.~Tarjan\thanks{
65: Dept.~of Computer Science,
66: Princeton University,
67: Princeton NJ, 08544, USA;
68: and
69: Hewlett-Packard, Palo Alto, CA;
70: email: ret@cs.princeton.edu.
71: Work at Princeton University partially supported by the National Science Foundation
72: under the Aladdin Project, Grant No.~CCR-0122581.}
73: \and
74: Jeffery R.~Westbrook\thanks{
75: Los Angeles, CA, USA;
76: email: jwestbrook@acm.org.
77: Work partially done while a member of AT\&T Labs.}
78: }
79:
80: \date{October 31, 2006}
81:
82: \begin{document}
83:
84: \maketitle
85:
86: \begin{abstract}
87: \input{abstract}
88: \end{abstract}
89:
90: \input{introduction}
91: \input{problems}
92: \input{path_compression}
93: \input{topological_graph_computations}
94: \input{nearest_common_ancestors}
95: \input{minimum_spanning_trees}
96: \input{interval_analysis}
97: \input{dominators}
98: \input{component_trees}
99: \input{concluding_remarks}
100: \input{ack}
101:
102: \bibliographystyle{plain}
103: \bibliography{compgeom,compilers,connect,deq,dstech,facts,mst,selfadj,skip,vlsi}
104:
105: \end{document}
106: