-
1
-
-
85028925878
-
Proof verification and hardness of approximation problems
-
IEEE Computer Society Press, Los Alamitos, CA
-
S. ARORA, C. LUND, R. MOTWANI, M. SUDAN, AND M. SZEGEDY, Proof verification and hardness of approximation problems, in Proc. 33rd IEEE Symp. on Foundations of Computer Science, IEEE Computer Society Press, Los Alamitos, CA, 1992, pp. 14-23.
-
(1992)
Proc. 33rd IEEE Symp. on Foundations of Computer Science
, pp. 14-23
-
-
Arora, S.1
Lund, C.2
Motwani, R.3
Sudan, M.4
Szegedy, M.5
-
2
-
-
0003997240
-
-
Springer-Verlag, Berlin, New York
-
J. L. BALCÁZAR, J. DÍAZ. AND J. GABARRÓ. Structural Complexity I, Springer-Verlag, Berlin, New York, 1988.
-
(1988)
Structural Complexity
, vol.1
-
-
Balcázar, J.L.1
Díaz, J.2
Gabarró, J.3
-
3
-
-
0026187522
-
Bounded queries to SAT and the Boolean hierarchy
-
R. BEIGEL, Bounded queries to SAT and the Boolean hierarchy, Theoret. Comp. Sci., 84 (1991), pp. 199-223.
-
(1991)
Theoret. Comp. Sci.
, vol.84
, pp. 199-223
-
-
Beigel, R.1
-
4
-
-
0026624588
-
On the complexity of approximating the independent set problem
-
P. BERMAN, AND G. SCHNITGER, On the complexity of approximating the independent set problem, Inform, and Comput., 96 (1992), pp. 77-94.
-
(1992)
Inform, and Comput.
, vol.96
, pp. 77-94
-
-
Berman, P.1
Schnitger, G.2
-
6
-
-
0345042477
-
-
Ph.D. thesis, Department of Computer Science, Texas A&M University, College Station, TX
-
L. CAI, Nondeterminism and Optimization, Ph.D. thesis, Department of Computer Science, Texas A&M University, College Station, TX, 1994.
-
(1994)
Nondeterminism and Optimization
-
-
Cai, L.1
-
7
-
-
0028562844
-
On the query complexity of clique size and maximum satisfiability
-
IEEE Computer Society Press, Los Alamitos, CA
-
R. CHANG, On the query complexity of clique size and maximum satisfiability, in Proc. 9th IEEE Structure in Complexity Theory Conf., IEEE Computer Society Press, Los Alamitos, CA, 1994, pp. 31-42.
-
(1994)
Proc. 9th IEEE Structure in Complexity Theory Conf.
, pp. 31-42
-
-
Chang, R.1
-
8
-
-
0013362386
-
A machine model for NP-approximation problems and the revenge of the Boolean hierarchy
-
R. CHANG, A machine model for NP-approximation problems and the revenge of the Boolean hierarchy, EATCS Bulletin, 54 (1994), pp. 166-182.
-
(1994)
EATCS Bulletin
, vol.54
, pp. 166-182
-
-
Chang, R.1
-
9
-
-
0345473829
-
On Bounded Queries and Approximation
-
Department of Computer Science. University of Maryland Baltimore County, Baltimore, MD
-
R. CHANG, W. I. GASARCH, AND C. LUND, On Bounded Queries and Approximation, Technical Report TR CS-94-05, Department of Computer Science. University of Maryland Baltimore County, Baltimore, MD, 1994.
-
(1994)
Technical Report TR CS-94-05
-
-
Chang, R.1
Gasarch, W.I.2
Lund, C.3
-
10
-
-
85059770931
-
The complexity of theorem proving procedures
-
ACM, New York
-
S. A. COOK, The complexity of theorem proving procedures, in Proc. 3rd ACM Symp. on Theory of Computing, ACM, New York, 1971, pp. 151-158.
-
(1971)
Proc. 3rd ACM Symp. on Theory of Computing
, pp. 151-158
-
-
Cook, S.A.1
-
11
-
-
0038110440
-
A short guide to approximation preserving reductions
-
IEEE Computer Society Press. Los Alamitos, CA
-
P. CRESCENZI, A short guide to approximation preserving reductions, in Proc. 12th IEEE Conference on Computational Complexity, IEEE Computer Society Press. Los Alamitos, CA, 1997, pp. 262-273.
-
(1997)
Proc. 12th IEEE Conference on Computational Complexity
, pp. 262-273
-
-
Crescenzi, P.1
-
12
-
-
0004148969
-
A Compendium of NP Optimization Problems
-
Dipartimento di Scienze dell'Informaziorie, Università di Roma "La Sapienza,"
-
P. CRESCENZI AND V. KANN, A Compendium of NP Optimization Problems, Technical Report SI/RR-95/02, Dipartimento di Scienze dell'Informaziorie, Università di Roma "La Sapienza," http://www.nada.kth.se/theory/compendium/ (1995).
-
(1995)
Technical Report SI/RR-95/02
-
-
Crescenzi, P.1
Kann, V.2
-
13
-
-
58449131286
-
Approximation on the web: A compendium of NP optimization problems
-
Proc. Int. Workshop on Randomization and Approximation Techniques in Computer Science, Springer-Verlag, New York
-
P. CRESCENZI AND V. KANN, Approximation on the web: a compendium of NP optimization problems, in Proc. Int. Workshop on Randomization and Approximation Techniques in Computer Science, Lecture Notes in Comput. Sci. 1269, Springer-Verlag, New York, 1997, pp. 111-118.
-
(1997)
Lecture Notes in Comput. Sci.
, vol.1269
, pp. 111-118
-
-
Crescenzi, P.1
Kann, V.2
-
14
-
-
0026203474
-
Completeness in approximation classes
-
P. CRESCENZI AND A. PANCONESI, Completeness in approximation classes, Inform, and Comput., 93 (1991), pp. 241-262.
-
(1991)
Inform, and Comput.
, vol.93
, pp. 241-262
-
-
Crescenzi, P.1
Panconesi, A.2
-
15
-
-
0025206435
-
Relative complexity of evaluating the optimum cont and constructing the optimum for maximization problems
-
P. CRESCENZI AND R. SILVESTRI, Relative complexity of evaluating the optimum cont and constructing the optimum for maximization problems. Inform. Process. Lett., 33 (1990), pp. 221-226
-
(1990)
Inform. Process. Lett.
, vol.33
, pp. 221-226
-
-
Crescenzi, P.1
Silvestri, R.2
-
16
-
-
85000631208
-
On approximation scheme preserving reducibility and its applications
-
Proc. 14th Conf. on Foundations of Software Technology and Theoretical Computer Science, Springer-Verlag, New York
-
P. CRESCENZI AND L. TREVISAN, On approximation scheme preserving reducibility and its applications, in Proc. 14th Conf. on Foundations of Software Technology and Theoretical Computer Science, Lecture Notes in Comput. Sci. 880, Springer-Verlag, New York, 1994, pp. 330-341.
-
(1994)
Lecture Notes in Comput. Sci.
, vol.880
, pp. 330-341
-
-
Crescenzi, P.1
Trevisan, L.2
-
17
-
-
85026575220
-
Approximating the minimum degree spanning tree to within one from the optimal degree
-
SIAM, Philadelphia
-
M. FÜRER AND B. RAGHAVACHARI, Approximating the minimum degree spanning tree to within one from the optimal degree, in Proc. 3rd ACM-SIAM Symp. on Discrete Algorithms, SIAM, Philadelphia, 1992, pp. 317-324.
-
(1992)
Proc. 3rd ACM-SIAM Symp. on Discrete Algorithms
, pp. 317-324
-
-
Fürer, M.1
Raghavachari, B.2
-
19
-
-
0000175256
-
New 3/4-approximation algorithms for the maximum satisfiability problem
-
M. X. GOEMANS AND D. P. WILLIAMSON, New 3/4-approximation algorithms for the maximum satisfiability problem, SIAM J. Discrete Math., 7 (1994), pp. 656-666.
-
(1994)
SIAM J. Discrete Math.
, vol.7
, pp. 656-666
-
-
Goemans, M.X.1
Williamson, D.P.2
-
20
-
-
0000429528
-
The NP-completeness of edge-coloring
-
I. HOLYER, The NP-completeness of edge-coloring, SIAM J. Comput., 10 (1981), pp. 718-720.
-
(1981)
SIAM J. Comput.
, vol.10
, pp. 718-720
-
-
Holyer, I.1
-
21
-
-
0023799490
-
Decision trees and downward closures
-
IEEE Computer Society Press, Los Alamitos, CA
-
R. IMPAGLIAZZO AND M. NAOR, Decision trees and downward closures, in Proc. 3rd IEEE Structure in Complexity Theory Conf., IEEE Computer Society Press, Los Alamitos, CA. 1988, pp. 29-38.
-
(1988)
Proc. 3rd IEEE Structure in Complexity Theory Conf.
, pp. 29-38
-
-
Impagliazzo, R.1
Naor, M.2
-
22
-
-
0016349356
-
Approximation algorithms for combinatorial problems
-
D. S. JOHNSON, Approximation algorithms for combinatorial problems, J. Comput. System Sci., 9 (1974), pp. 256-278.
-
(1974)
J. Comput. System Sci.
, vol.9
, pp. 256-278
-
-
Johnson, D.S.1
-
23
-
-
0024134606
-
The polynomial time hierarchy collapses if the Boolean hierarchy collapses
-
J. KADIN, The polynomial time hierarchy collapses if the Boolean hierarchy collapses, SIAM J. Comput., 17 (1988), pp. 1263-1282.
-
(1988)
SIAM J. Comput.
, vol.17
, pp. 1263-1282
-
-
Kadin, J.1
-
24
-
-
0344611460
-
Erratum: The polynomial time hierarchy collapses if the Boolean hierarchy collapse
-
J. KADIN, Erratum: The polynomial time hierarchy collapses if the Boolean hierarchy collapse, SIAM J. Comput., 20 (1991), p. 404.
-
(1991)
SIAM J. Comput.
, vol.20
, pp. 404
-
-
Kadin, J.1
-
25
-
-
0004116427
-
-
Ph.D. thesis, Department of Numerical Analysis and Computing Science. Royal Institute of Technology, Stockholm
-
V. KANN, On the Approximability of NP-Complete Optimization Problem, Ph.D. thesis, Department of Numerical Analysis and Computing Science. Royal Institute of Technology, Stockholm, 1992.
-
(1992)
On the Approximability of NP-Complete Optimization Problem
-
-
Kann, V.1
-
26
-
-
0006807792
-
Polynomially bounded minimization problems that are hard to approximate
-
V. KANN, Polynomially bounded minimization problems that are hard to approximate, Nordic J. Comput., 1 (1994), pp. 317-331.
-
(1994)
Nordic J. Comput.
, vol.1
, pp. 317-331
-
-
Kann, V.1
-
27
-
-
0020252446
-
An efficient approximation scheme for the one-dimensional bin packing problem
-
IEEE Computer Society Press, Los Alamitos, CA
-
N. KARMARKAR AND R. M. KARP, An efficient approximation scheme for the one-dimensional bin packing problem, in Proc. 23rd IEEE Symp. on Foundations of Computer Science, IEEE Computer Society Press, Los Alamitos, CA, 1982, pp. 312-320.
-
(1982)
Proc. 23rd IEEE Symp. on Foundations of Computer Science
, pp. 312-320
-
-
Karmarkar, N.1
Karp, R.M.2
-
28
-
-
0002835397
-
On syntactic versus computational views of approximability
-
IEEE Computer Society Press, Los Alamitos, CA
-
S. KHANNA, R. MOTWANI, M. SUDAN, AND U. VAZIRANI, On syntactic versus computational views of approximability, in Proc. 35th IEEE Symp. on Foundations of Computer Science, IEEE Computer Society Press, Los Alamitos, CA, 1994, pp. 819-830.
-
(1994)
Proc. 35th IEEE Symp. on Foundations of Computer Science
, pp. 819-830
-
-
Khanna, S.1
Motwani, R.2
Sudan, M.3
Vazirani, U.4
-
29
-
-
0026386973
-
Approximation properties of NP minimization classes
-
IEEE Computer Society Press, Los Alamitos, CA
-
P. G. KOLAITIS AND M. N. THAKUR, Approximation properties of NP minimization classes, in Proc. 6th IEEE Structure in Complexity Theory Conf., IEEE Computer Society Press, Los Alamitos, CA, 1991, pp. 353-366.
-
(1991)
Proc. 6th IEEE Structure in Complexity Theory Conf.
, pp. 353-366
-
-
Kolaitis, P.G.1
Thakur, M.N.2
-
30
-
-
0024020188
-
The complexity of optimization problems
-
M. W. KRENTEL, The complexity of optimization problems, J. Comput. System Sci., 36 (1988), pp. 490-509.
-
(1988)
J. Comput. System Sci.
, vol.36
, pp. 490-509
-
-
Krentel, M.W.1
-
31
-
-
0016425038
-
On the structure of polynomial-time reducibility
-
R. E. LADNER, On the structure of polynomial-time reducibility, J. ACM, 22 (1975), pp. 155-171.
-
(1975)
J. ACM
, vol.22
, pp. 155-171
-
-
Ladner, R.E.1
-
32
-
-
0040981089
-
On γ-reducibility versus polynomial time many-one reducibility
-
T. J. LONG, On γ-reducibility versus polynomial time many-one reducibility, Theoret. Comput. Sci., 14 (1981), pp. 91-101.
-
(1981)
Theoret. Comput. Sci.
, vol.14
, pp. 91-101
-
-
Long, T.J.1
-
33
-
-
0028514351
-
On the hardness of approximating minimization problems
-
C. LUND AND M. YANNAKAKIS, On the hardness of approximating minimization problems, J. ACM, 41 (1993), pp. 960-981.
-
(1993)
J. ACM
, vol.41
, pp. 960-981
-
-
Lund, C.1
Yannakakis, M.2
-
34
-
-
0041517610
-
Lecture Notes on Approximation Algorithms
-
Department of Computer Science, Stanford University, Stanford, CA
-
R. MOTWANI, Lecture Notes on Approximation Algorithms, Technical Report STAN-CS-92-1435, Department of Computer Science, Stanford University, Stanford, CA, 1992.
-
(1992)
Technical Report STAN-CS-92-1435
-
-
Motwani, R.1
-
35
-
-
0003498073
-
On Approximation Preserving Reductions: Complete Problems and Robust Measures
-
Department of Computer Science. University of Helsinki, Helsinki, Finland
-
P. ORPONEN AND H. MANNILA, On Approximation Preserving Reductions: Complete Problems and Robust Measures, Technical Report C-1987-28, Department of Computer Science. University of Helsinki, Helsinki, Finland, 1987.
-
(1987)
Technical Report C-1987-28
-
-
Orponen, P.1
Mannila, H.2
-
38
-
-
0026366408
-
Optimization, approximation, and complexity classes
-
C. H. PAPADIMITRIOU AND M. YANNAKAKIS, Optimization, approximation, and complexity classes, J. Comput. System Sci., 43 (1991), pp. 425-440.
-
(1991)
J. Comput. System Sci.
, vol.43
, pp. 425-440
-
-
Papadimitriou, C.H.1
Yannakakis, M.2
-
39
-
-
0022147609
-
Bounds for assembly line balancing heuristics
-
M. QUEYRANNE, Bounds for assembly line balancing heuristics, Oper. Res., 33 (1985), pp. 1353-1359.
-
(1985)
Oper. Res.
, vol.33
, pp. 1353-1359
-
-
Queyranne, M.1
-
40
-
-
85034660836
-
Graph isomorphism is in the low hierarchy
-
Proc. 4th Symp. on Theoretical Aspects of Computer Science, Springer-Verlag, New York
-
U. SCHÖNING, Graph isomorphism is in the low hierarchy, in Proc. 4th Symp. on Theoretical Aspects of Computer Science, Lecture Notes in Comput. Sci. 247, Springer-Verlag, New York, 1986, pp. 114-124.
-
(1986)
Lecture Notes in Comput. Sci.
, vol.247
, pp. 114-124
-
-
Schöning, U.1
-
41
-
-
0024943760
-
Continuous reductions among combinatorial optimization problems
-
H. U. SIMON, Continuous reductions among combinatorial optimization problems, Acta Inform., 26 (1989), pp. 771-785.
-
(1989)
Acta Inform.
, vol.26
, pp. 771-785
-
-
Simon, H.U.1
-
42
-
-
0023672853
-
Bounded query computations
-
IEEE Computer Society Press, Los Alamitos, CA
-
K. WAGNER, Bounded query computations, in Proc. 3rd IEEE Structure in Complexity Theory Conf., IEEE Computer Society Press, Los Alamitos, CA, 1988, pp. 260-277.
-
(1988)
Proc. 3rd IEEE Structure in Complexity Theory Conf.
, pp. 260-277
-
-
Wagner, K.1
-
43
-
-
0020116655
-
Assembly line balancing as generalized bin packing
-
T. S. WEE AND M. J. MAGAZINE. Assembly line balancing as generalized bin packing, Oper. Res. Lett., 1 (1982), pp. 56-58.
-
(1982)
Oper. Res. Lett.
, vol.1
, pp. 56-58
-
-
Wee, T.S.1
Magazine, M.J.2
-
44
-
-
0001843554
-
On the approximation of maximum satisfiability
-
M. YANNAKAKIS, On the approximation of maximum satisfiability, J. Algorithms, 17 (1994), pp. 475-502.
-
(1994)
J. Algorithms
, vol.17
, pp. 475-502
-
-
Yannakakis, M.1
|