1: \begin{thebibliography}{KSW87}
2:
3: \bibitem[BTY97]{bod-thi-yam:j:greedy-for-maximum-independent-sets}
4: H.~Bodlaender, D.~Thilikos, and K.~Yamazaki.
5: \newblock It is hard to know when greedy is good for finding independent sets.
6: \newblock {\em Information Processing Letters}, 61:101--106, 1997.
7:
8: \bibitem[CF89]{cla-for:j:efficient-solution-diophantine-equations}
9: M.~Clausen and A.~Fortenbacher.
10: \newblock Efficient solution of linear diophantine equations.
11: \newblock {\em Journal of Symbolic Computation}, 8(1/2):201--216, 1989.
12:
13: \bibitem[Chv79]{chv:j:greedy-heuristic-for-set-cover}
14: V.~Chv{\'{a}}tal.
15: \newblock A greedy heuristic for the set-covering problem.
16: \newblock {\em Mathematics of Operations Research}, 4(3):233--235, 1979.
17:
18: \bibitem[Fei98]{fei:j:approximating-set-cover}
19: U.~Feige.
20: \newblock A threshold of $\ln n$ for approximating set cover.
21: \newblock {\em Journal of the ACM}, 45(4):634--652, July 1998.
22:
23: \bibitem[GJ79]{gar-joh:b:int}
24: M.~Garey and D.~Johnson.
25: \newblock {\em Computers and Intractability: A Guide to the Theory of
26: NP-Completeness}.
27: \newblock {W. H. Freeman and Company}, New York, 1979.
28:
29: \bibitem[Hem89]{hem:j:sky}
30: L.~Hemachandra.
31: \newblock The strong exponential hierarchy collapses.
32: \newblock {\em Journal of Computer and System Sciences}, 39(3):299--322, 1989.
33:
34: \bibitem[HHR97]{hem-hem-rot:j:dodgson}
35: E.~Hemaspaandra, L.~Hemaspaandra, and J.~Rothe.
36: \newblock Exact analysis of {D}odgson elections: {L}ewis {C}arroll's 1876
37: voting system is complete for parallel access to {N}{P}.
38: \newblock {\em Journal of the ACM}, 44(6):806--825, November 1997.
39:
40: \bibitem[HR98]{hem-rot:j:max-independent-set-by-greed}
41: E.~Hemaspaandra and J.~Rothe.
42: \newblock Recognizing when greed can approximate maximum independent sets is
43: complete for parallel access to {NP}.
44: \newblock {\em Information Processing Letters}, 65(3):151--156, February 1998.
45:
46: \bibitem[Joh74]{joh:j:approximation}
47: D.~Johnson.
48: \newblock Approximation algorithms for combinatorial problems.
49: \newblock {\em Journal of Computer and System Sciences}, 9(3):256--278, 1974.
50:
51: \bibitem[Kre88]{kre:j:optimization}
52: M.~Krentel.
53: \newblock The complexity of optimization problems.
54: \newblock {\em Journal of Computer and System Sciences}, 36:490--509, 1988.
55:
56: \bibitem[KSW87]{koe-sch-wag:j:diff}
57: J.~K{\"{o}}bler, U.~Sch\"{o}ning, and K.~Wagner.
58: \newblock The difference and truth-table hierarchies for {NP}.
59: \newblock {\em R.A.I.R.O. Informatique th\'{e}orique et Applications},
60: 21:419--435, 1987.
61:
62: \bibitem[Lov75]{lov:j:ratio-of-optimal-covers}
63: L.~Lov{\'a}sz.
64: \newblock On the ratio of optimal integral and fractional covers.
65: \newblock {\em Discrete Mathematics}, 13:383--390, 1975.
66:
67: \bibitem[LY94]{lun-yan:j:approximating-minimization-problems}
68: C.~Lund and M.~Yannakakis.
69: \newblock On the hardness of approximating minimization problems.
70: \newblock {\em Journal of the ACM}, 41(5):960--981, September 1994.
71:
72: \bibitem[Pap94]{pap:b:complexity}
73: C.~Papadimitriou.
74: \newblock {\em Computational Complexity}.
75: \newblock Addison-Wesley, 1994.
76:
77: \bibitem[PS82]{pap-ste:b:optimization}
78: C.~Papadimitriou and K.~Steiglitz.
79: \newblock {\em Combinatorial Optimization: Algorithms and Complexity}.
80: \newblock Prentice-Hall, 1982.
81:
82: \bibitem[PZ83]{pap-zac:c:two-remarks}
83: C.~Papadimitriou and S.~Zachos.
84: \newblock Two remarks on the power of counting.
85: \newblock In {\em Proceedings of the 6th GI Conference on Theoretical Computer
86: Science}, pages 269--276. Springer-Verlag {\it Lecture Notes in Computer
87: Science \#145}, 1983.
88:
89: \bibitem[SV00]{spa-vog:c:thetatwo}
90: H.~Spakowski and J.~Vogel.
91: \newblock {\rm $\Theta_{2}^{p}$}-completeness: {A} classical approach for new
92: results.
93: \newblock In {\em Proceedings of the 20th Conference on Foundations of Software
94: Technology and Theoretical Computer Science}, pages 348--360. Springer-Verlag
95: {\it Lecture Notes in Computer Science \#1974}, December 2000.
96:
97: \bibitem[Wag87]{wag:j:min-max}
98: K.~Wagner.
99: \newblock More complicated questions about maxima and minima, and some closures
100: of {NP}.
101: \newblock {\em Theoretical Computer Science}, 51:53--80, 1987.
102:
103: \bibitem[Wag90]{wag:j:bounded}
104: K.~Wagner.
105: \newblock Bounded query classes.
106: \newblock {\em SIAM Journal on Computing}, 19(5):833--846, 1990.
107:
108: \end{thebibliography}
109: