On P-selective Sets and EXP Hard Sets. Bin Fu. Yale University, New Haven, CT and. UMIACS, University of Maryland at College Park, MD 20742
|
|
- Stanley Moore
- 5 years ago
- Views:
Transcription
1 On P-selective Sets and EXP Hard Sets Bin Fu Department of Computer Science, Yale University, New Haven, CT and UMIACS, University of Maryland at College Park, MD May
2 Abbreviated form of the title: P-selective Sets and EXP Hard Sets Mailing Address: Bin Fu 5119 Hollywood Road College Park, MD
3 Abstract Let PSel be the class of all P-selective sets. We show that DTIME(2 nk+a ) 6 P n k?t(psel) for all k; a > 0. It implies EXP 6 P n c?t(psel) for all c > 0. This greatly improves Toda's result that EXP 6 P tt (PSel) since P tt (PSel) is equal to P O(log n)?t (PSel). We construct an oracle A such that DTIME(2 nk ) A P A (PSel). We also show that the symmetric dierence of a n k+1+a -T E-P m-hard set and a P-selective set is a E- P 2?T-hard. This generalizes a result by Rao [18] who showed the symmetric dierence of a E- P m-hard set and a P-selective set is exponentially dense. 3
4 Symbols used in the paper: a; b; c; d; e; f; g; h; i; j; k; l; m; n; o; p; q; r; s; t; u; v; w; x; y; z A; B; C; D; E; F; G; H; I; J; K; L; M; N; O; P; Q; R; S; T; U; V; W; X; Y; Z [; \; ;?; ; ; ; ; ; 9; 8; ; ; 4; k; [; ](; ); f:g; (); =);?!; 6=; =; 2; ; ;; ; 6; 8; ^ 4
5 1. Introduction The study of reducibilities of complexity classes to the low sets is an important topics in complexity theory. It has long and rich history. One of the most notable low notions is P-selectivity. It was introduced by Selman [20, 22, 21] as a complexity-theoretic analog to the semi-recursive sets [12] from recursive theory. He used it to distinguish polynomial time m-reducibility from Turing-reducibility in NP under the assumption E6=NE, and proved that if every set in NP is positively truth-table reducible to P- selective sets then P=NP. Ko [14] extended the notion to weakly P-selectivity and showed that no NP-hard set is polynomial time disjunctively reducible to weakly P- selective sets unless P=NP. The class of languages that are polynomial time Turing reducible to P-selective sets are the same as P/poly [20]. Separating complexity class from P/poly is one of the most fundamental problems in complexity theory. It is still open if NEXP 6P/poly. The line of research about the consequence of NP sets reducing to a P-selective set is very active in the recent years. It has attracted a great deal of interest and have been many advances in understanding P-selectivity. Buhrman, Torenvliet and Emde Bosa [6] generalized Selman's result that if a NP-hard set under Turing positive reductions is reducible to a P-selective set then P=NP. Beigel [2] and Toda [26] showed that if a NP- P tt-hard set is P-selective then P=FewP and NP=RP. Thierauf, Toda and Watanabe [24] showed that if a NP- P btt-hard set is P-selective then NP DTIME(2 no(1=p log n)). Agrawal and Arvind [1], Beigel, Kummer and Stephan [3], and Ogiwara [17] independently proved that if a NP- P btt-hard set is P-selective, then P=NP. Cai, Naik and Selman showed that if a NP- P tt-hard set is P-selective then then NP DTIME(2 no(1=(log n)k )) for all k > 0. Toda [26] showed that EXP is not polynomial time truth-table reducible to P- selective sets. Recently Buhrman and Longre [5], and Wang [27] independently proved that the class of languages that are polynomial time truth-table reducible to P-selective sets has measure in E. P tt (PSel) is the same as P O(log n)-t(psel). We show that EXP 6 P n c?t(psel) for all c > 0. This improves the Toda's result that EXP 6 P tt (PSel). We construct an oracle A such that DTIME(2 nk ) A P A (PSel). Since P n k +1+a-T T(PSel) = P/poly, it is impossible to prove the no P-Selective set is E- P T-hard unless the most fundamental problem in complexity theory can be solved. This indicates our result is almost optimal by the relativizable methods. We also study the symmetric dierence between hard set with P-selective sets. Yesha [29] rst studied the symmetric dierence between NP- P tt-hard sets and the sets in P. Schoning showed that no the symmetric dierence between a E- P T-hard and a set in P is of exponential density. The symmetric dierence of NP-hard sets and P-selective was investigated by Fu and Li [9]. Rao showed that the symmetric dierence of a EXP- P tt-hard set and a P-selective set is of exponential density. We study the symmetric dierence between a EXP- P m-hard set and a P-selective set from the stability point of view in [23] We generalize Rao's result by proving that the symmetric dierence of a E- P m-hard set and a P-selective set is a E- P 2?T-hard. 1
6 2. Preliminaries We use = f0; 1g as our alphabet. By \string" we mean an element of, jxj denotes the length of x. We use lexicographic order on. For any strings x and y, x is smaller than y (write x < y) if either jxj < jyj, or jxj = jyj and there exists some k, 1 k jxj, such that (8i : 1 i < k[x i = y i ] and [x k = 0 and y k = 1]), where x i is the ith symbol of the string x. For two strings x; y, x y if x is an initial segement of y. For S, the cardinality of S is denoted by ksk. Set S =n (S n ) consists of all words of length = n( n) in S. In particular, let n = fx : x 2 and jxj = ng and n = fx : x 2 and jxj ng. For a language A, A(x) is the characteristic function of A. N = f0; 1; 2; g. For real number x, bxc is the largest integer x. Denition 1. [20] A set A is P-selective if there is a total polynomial time function g so that, for every x; y 2, g(x; y) 2 fx; yg, and if x 2 A or y 2 A, then g(x; y) 2 A. We call g as the selector function for A. The above g induces a linear order g that x g y if there exists z 1 ; ; z t such that g(x; z 1 ) = x; g(z i ; z i+1 ) = z i ; and g(z t ; y) = z t. The P-selective set A is an initial segment of the linear order g. Denition 2. E = S 1 k=1 DTIME(2kn+k ). EXP = S 1 k=1 DTIME(2nk +k ). Denition 3. A P T -reduction of A to B is a polynomial-time oracle Tur ing machine M such that for each x 2 P, x 2 A () M B accepts x. For a function g : N?! N, a P -reduction of A to B is a polynomial-time oracle Turing machine M such g(n)?t that A P T B is witnessed by M and M will not query the oracle more that g(n) times for each input with length n. Denition 4. Let H, C be a class of languages and P r be a type of reductions. P r (H) is the class of all languages which are P r -reducible to H. P r (C) is the class of languages which are P r -reducible to some languages in C. If C P r (H), then we say H is C- P-hard. r Denition 5. For a function d from N to N, DENSITY(d(n)) is the class of all languages that has density bounded by d(n). If there exists a polynomial p(n) such that k A n k< p(n) for all n, then we say A is sparse. \SPARSE" represents the class of all sparse languages. 2
7 Hartmanis [11] introduced a \generalized Kolmogorov complexity measure". We employ this tool in the proof of our theorems. We consider standard deterministic time- bounded Turing machines that act as transducers. We assume a standard enumeration of such transducers, say N 1 ; N 2 ;. For each i, let f i be the function computed by N i, and let T i be the running time of the transducer N i. We assume that the enumeration has the property that there exists a universal Turing transducer N u and a description function d with the following property: for every i > 0 there is a constant c i such that for all x 2, (a)d(i) is not a prex of d(j) if i 6= j, (b) f u (d(i)x) = f i (x), and (c)t u (d(i)x) c i T i (x) log T i (x) + c i. We then dene the following classes of strings. Denition 6. K i [g; t] = fy : 9x[jxj g(jyj); f i (x) = y and T i (x) t(jyj)]g: K[g; t] = K u [g; t], where u denotes the index of the universal Turing machine. Let f u be the transducer for the universal Turing machine. For two integers m; n, dene K[m; n] = fy : 9x[jxj m; f u (x) = y, and T i (x) n]g. Lemma 7 ([11]). Let i be any index and let g(n) and t(n) be time-constructible functions. Then there exists c > 0 such that K i [g(n); t(n)] K u [g(n)+c; ct(n) log t(n)+c]. 3. E- P T-hard sets The function cod :?! is dened by cod(x) = 1a 1 1a 2 1a r 0 2, where x = a 1 a 2 a r 2. The function bin : N?! is dened so that for each i 2 N, bin(i) is the binary expression of i (for example, bin(5) = 101 and bin(8) = 1000). For tuple hx 1 ; ; x n i, we use cod(bin(jx 1 j))x 1 cod(bin(jx n j))x n to encode it into a string. It is very easy to see that hx 1 ; ; x t i can be encoded and decoded in polynomial time. The length of cod(bin(jx 1 j))x 1 cod(bin(jx n j))x n is bounded by nx i=1 jx i j + 4n(1 + log( nx i=1 jx i j)): The following proposition is easy to verify (because uvwvx can be compressed into cod(bin(juj))cod(bin(jvj))cod(bin(jwj))uvwz). Proposition 8 ([8]). There exists a polynomial p(n) such that for all large n, if there exist strings 2 n and u; v; w; x to satisfy = uvwvx and jvj > 7 log n, then 2 K[n? 1; p(n)]. 3
8 Theorem 9. Let f(n) be a n O(1) time computable nondecreasing function from N to N. if f(n) 6= O(log n) and f(n) n c 0 for some constant c 0 > 0, then for all a > 0. DTIME(2 (3+a)f (n) ) \ DENSITY(f(n)) 6 P f (n)?t (PSel) Proof: Suppose DTIME(2 (3+a)f (n) ) \ DENSITY(f(n)) 6 P f (n)?t (PSel) for some a > 0. We will derive a contradiction. In this chapter we give informal description about the idea of proof. The idea is to use the resource bounded Kolmogorov complexity point of view. A selective set is a initial segment of a linear order g. For a P-selective set S, if A P T S via oracle Turing machine M that makes small number f(n) of queries. Let's consider all of strings queried by M with inputs of length n. Among them there is a string y that is at the boundary of S. In other words, for every string u queried by M, u g y =) u 2 S and y < g u =) u 62 S. Let y be i-th query by M S with input x 0. Let the initial i?1 answers be a 1 a i?1 we can get y in polynomial time from x 0 and a 1 a i?1. So, we can know all of the queries answers for the other inputs of length n. We can generate all of the strings in A =n by x 0 and a 1 a i?1. If f(n) is small, the information content of x 0 and a 1 a i?1 is small. We will construct a set A that has high information content for its strings of length n. Without lose generality, we suppose a < 1. Let d = 400c 0 =a r = [d log n] + 1 k = (1 + a=6)f(n) [ ]: r Let n be the least string in kr such that is not in K(kr? 1; 2 (1+a=4)f (n) ). n can be found in time 2 kr?1 2 (1+a=4)f (n) 2 kr 2 (3+a=2)f (n) : Let n = u 1 u k, where each ju i j = r. By Proposition 8, u i 6= u j for i 6= j. Dene u 0 i = u i 10 n?ju ij?1. Let A n = fu 0 1; ; u 0 kg and L = [ 1 n=1a n. Since n can be found in 2 (3+a=2)f (n) time, L 2 DTIME(2 (2+a)f (n) ). By the assumption, Let L 2 P n k?t(s) via polynomial time Turing machine M, where S is a P-selective set with selector function g. Suppose M runs in n c time and g is n c time computable. Lemma 10. Assume Q = fs 1 ; ; s t g n. With time n c+1 k Q k we can built a chain s i1 g s i2 g g s it ; where s i1 ; s i2 ; ; s it is a permutation of s 1 ; ; s t. 4
9 Proof: For t = 1, it is trivial. Suppose we have built s i1 g s i2 g g s im for fs 1 ; s 2 ; ; s m g, where m < t. If there is a j between 1 and m such that s m+1 = g(s m+1 ; s ij ). Let j 0 be the least j that s m+1 = g(s m+1 ; s ij ). Put s m+1 between s ij?1 and s ij. Otherwise, put s m+1 right after s im. Since g is computable in time n c, it is easy to verify the time bound for generating the chain. Denition 11. query(m; x; a 1 a t ) is the (t + 1)-th query by M with input x assuming the answers to the initial t questions are a 1 ; ; a t. Let Q 0 = fquery(m; x; a 1 a t ) : (t f(n)) ^ 9y(x = y10 n?r?1 ^ jyj = r)g: Since n c is the time bound for M, Q 0 nc. By the Lemma 10 we can get a chain for Q 0 Let x 0 = v10 n?r?1 2 n such that i-th query of M S (x 0 ) is a string y that has the following property: for every query u of M S (z) with z 2 n, if u is in the left side of y in the chain then u 2 S,and if that u is in the right side of y in the chain then u 62 S. Since S is an initial segment of g, x 0 and y do exist. Let a 1 a i be the rst i answers from the set S. Clearly y = query(m; x 0 ; a 1 a i?1 ). Let = hv; a 1 a i ; l 1 ; ; l k i: Lemma 12. can generate n in O(2 (1+a=4)f (n) ) time. Proof: We rst generate set Q 0. By the denition Q 0 can be generated in 2 2 r 2 f (n)+1 n c time. We generate the chain for the set Q 0. By Lemma 10 we can get the chain for Q 0 in time n c2 +c k Q 0 k. Since k Q 0 k 2 r 2 f (n)+1, the time for generating the chain is bounded by n c2 +c 2 r 2 f (n)+1 : Suppose a i = 1 (the case 0 is similar). For each z = w10 n?r?1 2 n, run M(z). When M(z) queries if string u is in S, we can determine the answer by checking the relative position with y in the chain (If it is at the left side of u, the answer is yes. Otherwise the answer is no. The time to check the position at the chain is k Q 0 k). After generating the chain for Q 0, we can generate all of the strings in A n 5
10 in n c+1 2 r k Q 0 j k n c+1 2 r 2 r 2 f (n)+1 time. Let v 1 10 n?r?1 ; ; v 1 10 n?r?1 be all of the elements generated in A n. Suppose v 1 < v 2 < < v k. Let l i be the location of v i in n (l i = j if v i = u j ). Clearly v 1 ; ; v k is a permutation of u 1 ; ; u k. With v 1 ; ; v k and l 1 ; ; l k we can get n in j n j 2 time. The total time is bounded by 2 2 r 2 f (n)+1 n c + n c2 +c 2 r 2 f (n)+1 + n c+1 2 r 2 r 2 f (n)+1 + j n j 2 (1+a=4)f (n) 2 for all large n. Lemma 13. jj (1 + a=25)f(n). Proof: jvj = r ja 1 a i j = i d log n + 1 2d log n: f(n): jl i j log j n j log(1 + a=6)f(n) log 2f(n) 2c 0 log n: k (1 + a=6)f(n) + 1 r 4f(n) d log n : jvj + ja 1 a i j + jl 1 j + + jl k j 2d log n + f(n) + 4f(n) d log n 2c 0 log n f(n) + a 50 f(n): The length of tuple hv; a 1 a i ; l 1 ; ; l k i is bounded by f(n) + a 4f(n) f(n) + 4( d log n ) (1 + log(f(n) + a 50 f(n))) f(n) + a f(n) for all large n: 25 By Lemma 12, Lemma 13 and Lemma 7, n is compressible in time 2 (1+a=2)f (n). This is a contradiction. Corollary 14. E 6 P cn?t (PSel) for every c > 0. 6
11 Corollary 15. EXP 6 P n c?t(psel) for every c > 0. Corollary 16. DTIME(2 nk+a ) 6 P n k?t(psel) for every a > 0. Corollary 17. SPARSE 6 P n c?t(psel) for every c > 0. Theorem 18. For any c > 0, P n c?t(psel) \ EXP has measure 0 in EXP. Theorem 19. For any c > 0, P cn?t (PSel) \ E has measure 0 in E. 4. Oracle In this section we constrcut an oracle to indicate the limit of relativizable method. Theorem 20. For every k > 1 and a > 0, there exists an oracle A such that DTIME(2 nk ) A P A n k+1+a?t (PSel). Proof: For any oracle B, let K B = fx10 i : M B i accepts x in 2 jxjk steps g. K B is computable in 2 nk time relative oracle B. There is a oracle Turing machine M such that M B accepts K B and M runs in 2 nk time. Dene Query(M; B; x) be the set of all strings that are queried by M B with input x. Construction of set A: Stage 0: Set s 0 = ;, A 0 = ; and P 0 = ;. Stage n: Let Q n = [ Query(M; A n?1 ; x) x2 n P n = P n?1 [ Q n : Since M runs in 2 nk time, k Query(M; A n?1 ; x) k 2 nk for any x 2 n. Therefore, j n k+ a 2 k k Q n k 2 n+1 2 nk = 2 nk +n+1 k P n k nx i=1 k Q i k = n 2 nk +n+1 : There exists y n 2 such that hy n ; xi 62 P n for any x 2 n. Let s n = s n?1 y n. Let G n be the set of all hy n ; xi such that x 2 K A n?1. Set A n = A n?1 [ G n. End of Stage n. Dene A = S 1 G n=1 n. End of the consruction of set A. 7
12 The following claim is easy to verify by the construction of A. Claim M A n?1 (x) = M A (x) for all x 2 n. From the above the construction we get innite strings s 1 s 2 : : : s n : : : : Let s 1 be the string of length 1 such that every s i is an initial segement of it. Let S = fx : x s 1 g. Thus, s 1 is the boundary of the P-selective set S under the lexicographic order. Since s 1 is the boundary of S, 1 s 1 i 1 2 S. Assume z n 2 n is an initial segement of s 1. One of z n 0 and z n 1 is an initial segement of s 1. Furthermore, z n 1 2 S ) z n 1 s 1 and z n 1 62 S ) z n 0 s 1. Therefore, the rst n bits of s 1 can be found in polynomial time by making n queries to set S. Since jy n j = j n k+ a 2 k, js n j = nx i=1 jy i j nx j k i k+ a 2 i=1 n j n k+ a 2 n k+1+ a 2 : So, we can nd y n by making no more than n k+1+ a 2 queries to S. For each x 2 n, hy n ; xi 2 A () x 2 K A. So, K A 2 P A n k+1+ a (S). For every 2?T language L accepted by M A i in time 2 nk, we have x 2 L () x10 i 2 K A. So, L 2 P A (S). n k+1+a?t Form the Theorem 20, we know the Corollary 16 is almost the optimal result that we can get by the relativizable method. 5. Symmetric Dierences Let g(n) be a time constructible super-polynomial function from N to N. A g;p m - reduction from A to B is a function f such that for some polynomial p(n), f is computable in g(n)-time, jf(x)j p(jxj) and x 2 A () f(x) 2 B for each input x. Theorem 21. Let g(n) be a time constructible super polynomial function from N to N. Let C be a class of languages which has P m-complete set and is closed under g;p m - reductions, H be P m-hard for C, A be a P-selective set, then A 4 H is P 2?T-hard for C. k 8
13 Proof: Let f 1 ; f 2 ;, be an eective enumeration of all P m-reductions and K is a -complete set for C. Let f be the selector functor function for A. P m Construction of L Input hi; xi Within g(jhi; xij)=2 steps, compute f i (hi; x; 0i) = y 0 ; f i (hi; xi) = y 1 and f i (hi; x; 2i) = y 2 and let y i0 f y i1 f y i2, where i 0 ; i 1 ; i 2 is a permutation of 0; 1; 2. If the above computation can be nished in the given time, then Accept hi; x; i 1 i and ( for w in fhi; x; i 0 i; hi; x; i 2 ig accepts w i x 2 K). End of the construction. Since C is closed under g;p m -reductions, it is easy to see that L 2 C. Since H is C- P m -hard, so L P m H via f j for some j. Lemma 22. For almost all x, let f j (hj; x; 0i) = y 0,f j (hj; x; 1i) = y 1, f j (hj; x; 2i) = y 2 and y i0 f y i1 f y i2, if y i1 62 A 4 H, then x 2 K () y i2 2 A 4 H, and; if y i1 2 A 4 H, then x 2 K () y i0 62 A 4 H. Proof: Since hj; x; i 1 i 2 L, we have y i1 2 H. If y i1 2 A 4 H,then y i1 62 A. It implies y i2 62 A since y i1 f y i2. Hence, x 2 K () y i2 2 A 4 H. If y i1 62 A 4 H, then y i1 2 A. It implies y i0 2 A since y i0 f y i1. So, x 2 K () y i0 62 A 4 H. From the above discussion, we have K P 2?T A. So, A is C- P 2?T -hard. Corollary 23. The symmetric dierence of a DTIME(n O(log n) )- P m-hard set and a P-selective set is DTIME(n O(log n) )- P 2?T-hard. Corollary 24. The symmetric dierence of a E- P m-hard set and a P-selective set is E- P 2?T-hard. Corollary 25. The symmetric dierence of a NE- P m-hard set and a P-selective set is NE- P 2?T-hard. We know that every E- P 2?T-hard is of exponential density [25]. The Corollary 24 generalizes a result by Rao [18] who showed the symmetric dierence of a E- P m-hard set a P-selective set is of exponential density. We note that the symmetric dierence of a NP- P m-hard set and a P-selective set is NP- P T-hard. 9
14 References [1] M.Arvind and V.Arvind: Polynomial-time Truth-table Reductions to P-selective Sets. Proceedings of the 9th Structure in Complexity Theory Conference. IEEE Computer Society Press, June/July [2] R.Beigel: NP-hard sets are p-superterse unless R=NP, TR 88-04, Dept. of Computer Science, John Hopkins University, [3] R.Beigel, M.Kummer, and F.Stephan: Approximable Sets. In Proceedings of the 9th Structure in Complexity Theory Conference. IEEE Computer Society Press, June/July [4] L.Berman and J.Hartmanis: On Isomorphisms and Density of NP and other Complete Sets. SIAM Journal on Computing 1(1977), [5] Compressibility and Resource Bounded Measure, STACS [6] H.Buhrman, L. Torenvliet, and P. van Emde Boas: Twenty Questions to a P-selector. Manuscript, [7] J. Cai, A. Naik, and A. Selman: On P-selective Sets and Adaptive versus Non-adaptive Queries to NP. TR University of New York at Bualo, Feb., [8] B. Fu: With Quasi-linear Queries EXP is Not Polynomial-time Turning Reducible to Sparse Sets. SIAM Journal on Computing, October, 1995, pp [9] B.Fu and H.Li: On Symmetric Dierence of NP-hard Sets with Weakly-P-Selective Sets. Theoretical Computer Science, 120(1993), pp [10] R.Gavalda and O.Watanabe: On the Computational Complexity of Small Descriptions. Proc.of 6th IEEE Conference on Structure in Complexity Theory 1991,
15 [11] J.Hartmanis: Generalized Kolmogorov Complexity and the Structure of Feasible Computations. Proc.24th Annual IEEE Symposium on Foundations of Computer Science 1983, [12] C.Jockusch: Semirecursive Sets and Positive Reducibility, Transaction of the AMS, 131(1968), [13] R.Karp and R.Lipton: Some Connections between Nonuniform and Uniform Complexity Classes. Proc. of the 12th ACM Symposium on Theory of Computing 1980, [14] K.Ko: On Self-reducibility and Weak P-Selectivity, Journal of Computer and System Sciences, 26(1983), [15] J.Lutz: Category and Measure in Complexity Classes, SIAM Journal on Computing, 19(1990), [16] J.Lutz and E.Mayordomo: Measure, Stochasticity, and the Density of Hard Languages. SIAM Journal on Computing, 23(1994), pp [17] M.Ogihara: Polynomial-time Membership Comparable Sets. SIAM Journal on Computing. October 1995, [18] R.Rao: On P-Selectivity and Closeness, Information Processing Letters, 54(1995), [19] U.Schoning: Complete Sets and Closeness to Complexity Classes, Mathematical System Theory, 19(1986), [20] A.Selman: P-selectivity Set, Tally Languages, and the behavior of Polynomial Time Reducibilities on NP, Mathematical System Theory, 13(1979), [21] A.Selman: Analogies of Semirecursive Sets and Eective Reducibilities to the Study of NP Complexity. Information and Control, 52(1982), [22] A.Selman: Reduction on NP and P-selective Sets. Theoretical Computer Science, 19(1982),
16 [23] S.Tang, B.Fu and T.Liu: Exponential Time and Sub-exponential Time Sets. Theoretical Computer Science, 115(1993), pp [24] T. Thierauf, S. Toda, and O. Watanabe: On Sets Bounded Truthtable Reducible to P-selective Sets, STACS [25] O.Watanabe: Polynomial Time Reducibility to a Set of Small Density. Proc.of 2th IEEE Conference on Structure in Complexity Theory 1987, [26] S.Toda, On Polynomial-time Truth-table Reducibilities of Intractable Sets to P-selective Sets, Mathematical System Theory, 24(1991), [27] Y. Wang: NP-hard Sets Are Superterse unless NP Is Small. TR96-020, ECCC, [28] C.B.Wilson: Relativized Circuit Complexity. Journal of Computer and System Science 31(1985) [29] Y.Yesha: On Certain Polynomial-time Truth-table Reducibilities of Complete Sets to Sparse Sets. SIAM Journal on Computing, 12(1983),
Separating NE from Some Nonuniform Nondeterministic Complexity Classes
Separating NE from Some Nonuniform Nondeterministic Complexity Classes Bin Fu 1, Angsheng Li 2, and Liyu Zhang 3 1 Dept. of Computer Science, University of Texas - Pan American TX 78539, USA. binfu@cs.panam.edu
More informationA Note on P-selective sets and on Adaptive versus Nonadaptive Queries to NP
A Note on P-selective sets and on Adaptive versus Nonadaptive Queries to NP Ashish V. Naik Alan L. Selman Abstract We study two properties of a complexity class whether there exists a truthtable hard p-selective
More informationRobustness of PSPACE-complete sets
Robustness of PSPACE-complete sets A. Pavan a,1 and Fengming Wang b,1 a Department of Computer Science, Iowa State University. pavan@cs.iastate.edu b Department of Computer Science, Rutgers University.
More informationSparse Sets, Approximable Sets, and Parallel Queries to NP. Abstract
Sparse Sets, Approximable Sets, and Parallel Queries to NP V. Arvind Institute of Mathematical Sciences C. I. T. Campus Chennai 600 113, India Jacobo Toran Abteilung Theoretische Informatik, Universitat
More informationComparing Reductions to NP-Complete Sets
Comparing Reductions to NP-Complete Sets John M. Hitchcock A. Pavan Abstract Under the assumption that NP does not have p-measure 0, we investigate reductions to NP-complete sets and prove the following:
More informationPortland, ME 04103, USA IL 60637, USA. Abstract. Buhrman and Torenvliet created an oracle relative to which
Beyond P NP = NEXP Stephen A. Fenner 1? and Lance J. Fortnow 2?? 1 University of Southern Maine, Department of Computer Science 96 Falmouth St., Portland, ME 04103, USA E-mail: fenner@usm.maine.edu, Fax:
More informationPolynomial-Time Semi-Rankable Sets. University of Rochester. Rochester, NY Abstract
Polynomial-Time Semi-Rankable Sets Lane A. Hemaspaandra Mohammed J. Zaki y Marius Zimand Department of Computer Science University of Rochester Rochester, NY 14627 Abstract We study the polynomial-time
More informationOn the NP-Completeness of the Minimum Circuit Size Problem
On the NP-Completeness of the Minimum Circuit Size Problem John M. Hitchcock Department of Computer Science University of Wyoming A. Pavan Department of Computer Science Iowa State University Abstract
More informationA Note on the Karp-Lipton Collapse for the Exponential Hierarchy
A Note on the Karp-Lipton Collapse for the Exponential Hierarchy Chris Bourke Department of Computer Science & Engineering University of Nebraska Lincoln, NE 68503, USA Email: cbourke@cse.unl.edu January
More informationof membership contain the same amount of information? With respect to (1), Chen and Toda [CT93] showed many functions to be complete for FP NP (see al
On Functions Computable with Nonadaptive Queries to NP Harry Buhrman Jim Kadin y Thomas Thierauf z Abstract We study FP NP, the class of functions that can be computed with nonadaptive queries to an NP
More informationQuery complexity of membership comparable sets
Theoretical Computer Science 302 (2003) 467 474 www.elsevier.com/locate/tcs Note Query complexity of membership comparable sets Till Tantau 1 Fakultat IV - Elektrotechnik und Informatik, Technische Universitat
More informationThe Computational Complexity Column
The Computational Complexity Column by Jacobo Torán Dept. Theoretische Informatik, Universität Ulm Oberer Eselsberg, 89069 Ulm, Germany toran@informatik.uni-ulm.de http://theorie.informatik.uni-ulm.de/personen/jt.html
More informationRelativized Worlds with an Innite Hierarchy. Lance Fortnow y. University of Chicago E. 58th. St. Chicago, IL Abstract
Relativized Worlds with an Innite Hierarchy Lance Fortnow y University of Chicago Department of Computer Science 1100 E. 58th. St. Chicago, IL 60637 Abstract We introduce the \Book Trick" as a method for
More informationLimitations of Efficient Reducibility to the Kolmogorov Random Strings
Limitations of Efficient Reducibility to the Kolmogorov Random Strings John M. HITCHCOCK 1 Department of Computer Science, University of Wyoming Abstract. We show the following results for polynomial-time
More informationBi-Immunity Separates Strong NP-Completeness Notions
Bi-Immunity Separates Strong NP-Completeness Notions A. Pavan 1 and Alan L Selman 2 1 NEC Research Institute, 4 Independence way, Princeton, NJ 08540. apavan@research.nj.nec.com 2 Department of Computer
More informationmeasure 0 in EXP (in fact, this result is established for any set having innitely many hard instances, in the Instant Complexity sense). As a conseque
An Excursion to the Kolmogorov Random Strings Harry uhrman Elvira Mayordomo y CWI, PO ox 94079 Dept. Informatica 1090 G Amsterdam, Univ. de Zaragoza The Netherlands 50015 Zaragoza, Spain buhrman@cwi.nl
More informationReducing P to a Sparse Set using a Constant Number of Queries. Collapses P to L. Dieter van Melkebeek. The University of Chicago.
Reducing P to a Sparse Set using a Constant Number of Queries Collapses P to L Dieter van Melkebeek Department of Computer Science The University of Chicago Chicago, IL 60637 Abstract We prove that there
More informationOn Resource-Bounded Instance Complexity. Martin Kummer z. Universitat Karlsruhe. Abstract
On Resource-Bounded Instance Complexity Lance Fortnow y University of Chicago Martin Kummer z Universitat Karlsruhe Abstract The instance complexity of a string x with respect to a set A and time bound
More informationProperties of NP-Complete Sets
Properties of NP-Complete Sets Christian Glaßer, A. Pavan, Alan L. Selman, Samik Sengupta Abstract We study several properties of sets that are complete for NP. We prove that if L is an NP-complete set
More informationSeparating Cook Completeness from Karp-Levin Completeness under a Worst-Case Hardness Hypothesis
Separating Cook Completeness from Karp-Levin Completeness under a Worst-Case Hardness Hypothesis Debasis Mandal A. Pavan Rajeswari Venugopalan Abstract We show that there is a language that is Turing complete
More informationAutoreducibility of NP-Complete Sets under Strong Hypotheses
Autoreducibility of NP-Complete Sets under Strong Hypotheses John M. Hitchcock and Hadi Shafei Department of Computer Science University of Wyoming Abstract We study the polynomial-time autoreducibility
More informationonly the path M B (x), which is the path where a \yes" branch from a node is taken i the label of the node is in B, and we also consider preorder and
Monotonic oracle machines and binary search reductions Martin Mundhenk y May 7, 1996 Abstract Polynomial-time oracle machines being restricted to perform a certain search technique in the oracle are considered
More informationLength-Increasing Reductions for PSPACE-Completeness
Length-Increasing Reductions for PSPACE-Completeness John M. Hitchcock 1 and A. Pavan 2 1 Department of Computer Science, University of Wyoming. jhitchco@cs.uwyo.edu 2 Department of Computer Science, Iowa
More informationPreface These notes were prepared on the occasion of giving a guest lecture in David Harel's class on Advanced Topics in Computability. David's reques
Two Lectures on Advanced Topics in Computability Oded Goldreich Department of Computer Science Weizmann Institute of Science Rehovot, Israel. oded@wisdom.weizmann.ac.il Spring 2002 Abstract This text consists
More informationOn Languages with Very High Information Content
Computer Science Technical Reports Computer Science 5-1992 On Languages with Very High Information Content Ronald V. Book University of California, Santa Barbara Jack H. Lutz Iowa State University, lutz@iastate.edu
More informationSome Connections between Bounded Query Classes and Non-Uniform Complexity (Long Version)
Some Connections between Bounded Query Classes and Non-Uniform Complexity (Long Version) Amihood Amir Bar-Ilan University Richard Beigel University of Illinois at Chicago William Gasarch University of
More informationin both cases, being 1? 2=k(n) and 1? O(1=k(n)) respectively; the number of repetition has no eect on this ratio. There is great simplication and conv
A Classication of the Probabilistic Polynomial Time Hierarchy under Fault Tolerant Access to Oracle Classes Jin-Yi Cai Abstract We show a simple application of Zuckerman's amplication technique to the
More informationTheory of Computing Systems 1999 Springer-Verlag New York Inc.
Theory Comput. Systems 32, 517 529 (1999) Theory of Computing Systems 1999 Springer-Verlag New York Inc. Randomness, Stochasticity, and Approximations Y. Wang Department of Combinatorics and Optimization,
More informationProbabilistic Autoreductions
Probabilistic Autoreductions Liyu Zhang 1, Chen Yuan 3, and Haibin Kan 2 1 Departmente of Computer Science, University of Texas Rio Grande Valley, Brownsville, Texas, 78520, USA. liyu.zhang@utrgv.edu 2
More informationPolynomial-Time Random Oracles and Separating Complexity Classes
Polynomial-Time Random Oracles and Separating Complexity Classes John M. Hitchcock Department of Computer Science University of Wyoming jhitchco@cs.uwyo.edu Adewale Sekoni Department of Computer Science
More informationfor average case complexity 1 randomized reductions, an attempt to derive these notions from (more or less) rst
On the reduction theory for average case complexity 1 Andreas Blass 2 and Yuri Gurevich 3 Abstract. This is an attempt to simplify and justify the notions of deterministic and randomized reductions, an
More informationA Relationship between Difference Hierarchies and Relativized Polynomial Hierarchies
A Relationship between Difference Hierarchies and Relativized Polynomial Hierarchies Richard Beigel Yale University Richard Chang Cornell University Mitsunori Ogiwara University of Electro-Communications
More informationAlmost-Everywhere Complexity Hierarchies for. Nondeterministic Time 3. Eric Allender y. Department of Computer Science, Rutgers University
Almost-Everywhere Complexity Hierarchies for Nondeterministic Time 3 Eric Allender y Department of Computer Science, Rutgers University New Brunswick, NJ, USA 08903 Richard Beigel z Department of Computer
More informationAutoreducibility, Mitoticity, and Immunity
Autoreducibility, Mitoticity, and Immunity Christian Glaßer, Mitsunori Ogihara, A. Pavan, Alan L. Selman, Liyu Zhang December 21, 2004 Abstract We show the following results regarding complete sets. NP-complete
More informationMitosis in Computational Complexity
Mitosis in Computational Complexity Christian Glaßer 1, A. Pavan 2, Alan L. Selman 3, and Liyu Zhang 4 1 Universität Würzburg, glasser@informatik.uni-wuerzburg.de 2 Iowa State University, pavan@cs.iastate.edu
More informationThen RAND RAND(pspace), so (1.1) and (1.2) together immediately give the random oracle characterization BPP = fa j (8B 2 RAND) A 2 P(B)g: (1:3) Since
A Note on Independent Random Oracles Jack H. Lutz Department of Computer Science Iowa State University Ames, IA 50011 Abstract It is shown that P(A) \ P(B) = BPP holds for every A B. algorithmically random
More informationProbabilistic Autoreductions
Probabilistic Autoreductions Liyu Zhang University of Texas Rio Grande Valley Joint Work with Chen Yuan and Haibin Kan SOFSEM 2016 1 Overview Introduction to Autoreducibility Previous Results Main Result
More informationStrong Reductions and Isomorphism of Complete Sets
Strong Reductions and Isomorphism of Complete Sets Ryan C. Harkins John M. Hitchcock A. Pavan Abstract We study the structure of the polynomial-time complete sets for NP and PSPACE under strong nondeterministic
More informationDerandomizing from Random Strings
Derandomizing from Random Strings Harry Buhrman CWI and University of Amsterdam buhrman@cwi.nl Lance Fortnow Northwestern University fortnow@northwestern.edu Michal Koucký Institute of Mathematics, AS
More informationSome Results on Derandomization
Some Results on Derandomization Harry Buhrman CWI and University of Amsterdam Lance Fortnow University of Chicago A. Pavan Iowa State University Abstract We show several results about derandomization including
More informationOn Reductions of P Sets to Sparse Sets. Dieter van Melkebeek. The University of Chicago. June 18, Abstract
On Reductions of P Sets to Sparse Sets Dieter van Melkebeek The University of Chicago June 18, 1995 Abstract We prove unlikely consequences of the existence of sparse hard sets for P under deterministic
More information2. Notation and Relative Complexity Notions
1. Introduction 1 A central issue in computational complexity theory is to distinguish computational problems that are solvable using efficient resources from those that are inherently intractable. Computer
More informationCounting the number of solutions. A survey of recent inclusion results in the area of counting classes. Jacobo Toran* Departament L.S.I.
Counting the number of solutions A survey of recent inclusion results in the area of counting classes 1. Introduction Jacobo Toran* Departament L.S.I. U. Politecnica de Catalunya Pau Gargallo 5 08028 Barcelona,
More informationMathematik / Informatik
UNIVERSITAT TRIER Mathematik / Informatik Forschungsbericht Nr 95{02 Monotonous oracle machines Martin Mundhenk Universitat Trier, Fachbereich IV{Informatik, D-54286 Trier, Germany Electronic copies of
More informationto us will be the NPSV-selective sets, which were rst studied by Hemaspaandra, Naik, Ogihara, and Selman [HNOSb], and the NPSV total -selective sets,
Optimal Advice Lane A. Hemaspaandra Department of Computer Science University of Rochester Rochester, NY 14627 Leen Torenvliet y Dept. of Math. and Comp. Sci. University of Amsterdam Plantage Muidergracht
More informationLearning via Queries and Oracles. Frank Stephan. Universitat Karlsruhe
Learning via Queries and Oracles Frank Stephan Universitat Karlsruhe Abstract Inductive inference considers two types of queries: Queries to a teacher about the function to be learned and queries to a
More informationCircuit depth relative to a random oracle. Peter Bro Miltersen. Aarhus University, Computer Science Department
Circuit depth relative to a random oracle Peter Bro Miltersen Aarhus University, Computer Science Department Ny Munkegade, DK 8000 Aarhus C, Denmark. pbmiltersen@daimi.aau.dk Keywords: Computational complexity,
More informationThe Cook-Levin Theorem
An Exposition Sandip Sinha Anamay Chaturvedi Indian Institute of Science, Bangalore 14th November 14 Introduction Deciding a Language Let L {0, 1} be a language, and let M be a Turing machine. We say M
More informationAbstract. We consider uniform subclasses of the nonuniform complexity classes de-
COMPLEXITY-RESTRICTED ADVICE FUNCTIONS Johannes Kobler y AND Thomas Thierauf yz Abstract. We consider uniform subclasses of the nonuniform complexity classes de- ned by Karp and Lipton [23] via the notion
More informationLow-Depth Witnesses are Easy to Find
Low-Depth Witnesses are Easy to Find Luis Antunes U. Porto Lance Fortnow U. Chicago Alexandre Pinto U. Porto André Souto U. Porto Abstract Antunes, Fortnow, van Melkebeek and Vinodchandran captured the
More informationSeparating Complexity Classes using Autoreducibility. Lance Fortnow y. Leen Torenvliet x. University of Amsterdam. Abstract
Separating Complexity Classes using Autoreducibility Harry Buhrman CWI Lance Fortnow y The University of Chicago Leen Torenvliet x University of Amsterdam Dieter van Melkebeek z The University of Chicago
More informationA Thirty Year Old Conjecture about Promise Problems
A Thirty Year Old Conjecture about Promise Problems Andrew Hughes Debasis Mandal A. Pavan Nathan Russell Alan L. Selman Abstract Even, Selman, and Yacobi [ESY84, SY82] formulated a conjecture that in current
More informationMa/CS 117c Handout # 5 P vs. NP
Ma/CS 117c Handout # 5 P vs. NP We consider the possible relationships among the classes P, NP, and co-np. First we consider properties of the class of NP-complete problems, as opposed to those which are
More informationarxiv:cs/ v2 [cs.cc] 7 Dec 2005
P-Selectivity, Immunity, and the Power of One Bit arxiv:cs/0504096v2 [cs.cc] 7 Dec 2005 Lane A. Hemaspaandra Department of Computer Science University of Rochester Rochester, NY 14627 USA Leen Torenvliet
More informationThe Complexity of Unions of Disjoint Sets
Electronic Colloquium on Computational Complexity, Report No. 69 (2006) The Complexity of Unions of Disjoint Sets Christian Glaßer, Alan L. Selman, Stephen Travers, and Klaus W. Wagner Abstract This paper
More informationON THE STRUCTURE OF BOUNDED QUERIES TO ARBITRARY NP SETS
ON THE STRUCTURE OF BOUNDED QUERIES TO ARBITRARY NP SETS RICHARD CHANG Abstract. Kadin [6] showed that if the Polynomial Hierarchy (PH) has infinitely many levels, then for all k, P SAT[k] P SAT[k+1].
More informationc 1998 Society for Industrial and Applied Mathematics
SIAM J. COMPUT. Vol. 28, No. 1, pp. 137 151 c 1998 Society for Industrial and Applied Mathematics L-PRINTABLE SETS LANCE FORTNOW, JUDY GOLDSMITH, MATTHEW A. LEVY, AND STEPHEN MAHANEY Abstract. A language
More informationHard Sets Are Hard to Find. H. Buhrman D. van Melkebeek y GB Amsterdam The University of Chicago
Hard Sets Are Hard to Find H. Buhrman D. van Melkebeek y CWI Fields Institute & PO Box 94079 Department of Computer Science 1090 GB Amsterdam The University of Chicago The Netherlands Chicago, IL 60637,
More informationJack H. Lutz. Iowa State University. Abstract. It is shown that almost every language in ESPACE is very hard to
An Upward Measure Separation Theorem Jack H. Lutz Department of Computer Science Iowa State University Ames, IA 50011 Abstract It is shown that almost every language in ESPACE is very hard to approximate
More informationin [8]. A class F is closed under f if the composition of f with any function in F is again a function in F. Of highest importance are (non-constructi
A Note on Unambiguous Function Classes Sven Kosub Theoretische Informatik, Julius-Maximilians-Universitat Wurzburg, Am Hubland, D-97074 Wurzburg, Germany Key words: Computational complexity, unambiguous
More information, Department of Computer and Communication Sciences, University of Michigan, Ann Arbor, Michigan
SIAM J. COMPUT. Vol. 13, No. 4, November 1984 (C) 1984 Society for Industrial and Applied Mathematics 002 EQUIVALENCE RELATIONS, INVARIANTS, AND NORMAL FORMS* ANDREAS BLASS" AND YURI GUREVICH* Abstract.
More informationLimits of Minimum Circuit Size Problem as Oracle
Limits of Minimum Circuit Size Problem as Oracle Shuichi Hirahara(The University of Tokyo) Osamu Watanabe(Tokyo Institute of Technology) CCC 2016/05/30 Minimum Circuit Size Problem (MCSP) Input Truth table
More informationReductions between Disjoint NP-Pairs
Reductions between Disjoint NP-Pairs Christian Glaßer Lehrstuhl für Informatik IV Universität Würzburg, 97074 Würzburg, Germany Alan L. Selman Department of Computer Science and Engineering University
More informationExact Learning Algorithms, Betting Games, and Circuit Lower Bounds
Exact Learning Algorithms, Betting Games, and Circuit Lower Bounds Ryan C. Harkins and John M. Hitchcock Abstract This paper extends and improves work of Fortnow and Klivans [6], who showed that if a circuit
More informationNotes for Lecture 3... x 4
Stanford University CS254: Computational Complexity Notes 3 Luca Trevisan January 14, 2014 Notes for Lecture 3 In this lecture we introduce the computational model of boolean circuits and prove that polynomial
More informationLecture 6: Oracle TMs, Diagonalization Limits, Space Complexity
CSE 531: Computational Complexity I Winter 2016 Lecture 6: Oracle TMs, Diagonalization Limits, Space Complexity January 22, 2016 Lecturer: Paul Beame Scribe: Paul Beame Diagonalization enabled us to separate
More informationThis is a repository copy of Nondeterministic Instance Complexity and Proof Systems with Advice.
This is a repository copy of Nondeterministic Instance Complexity and Proof Systems with Advice. White Rose Research Online URL for this paper: http://eprints.whiterose.ac.uk/74796/ Proceedings Paper:
More informationOn the Power of Multi-Prover Interactive Protocols. Lance Fortnow. John Rompel y. Michael Sipser z. Massachusetts Institute of Technology
On the Power of Multi-Prover Interactive Protocols Lance Fortnow John Rompel y Michael Sipser z { Laboratory for Computer Science Massachusetts Institute of Technology Cambridge, MA 02139 1 Introduction
More informationNP Might Not Be As Easy As Detecting Unique Solutions
NP Might Not Be As Easy As Detecting Unique Solutions Richard Beigel Lehigh University Harry Buhrman x CWI Lance Fortnow { University of Chicago Abstract We construct an oracle A such that P A = P A and
More informationOn Computing Boolean Connectives of Characteristic Functions
On Computing Boolean Connectives of Characteristic Functions Richard Chang Computer Science Department Cornell University Ithaca, NY 14853 Jim Kadin Computer Science Department University of Maine Orono,
More informationi ) and L(NM O 2 i ), L(NM O 2 L(NM Z i ) L(NM Z j ) =. j )) to (A, B) requires
Disjoint NP-Pairs Christian Glaßer 1 Alan L. Selman Samik Sengupta Liyu Zhang Department of Computer Science and Engineering, University at Buffalo, Buffalo, NY 14260 Email: {cglasser,selman,samik,lzhang7}@cse.buffalo.edu
More informationTheory of Computation
Theory of Computation Unit 4-6: Turing Machines and Computability Decidability and Encoding Turing Machines Complexity and NP Completeness Syedur Rahman syedurrahman@gmail.com Turing Machines Q The set
More informationOn approximate decidability of minimal programs 1
On approximate decidability of minimal programs 1 Jason Teutsch June 12, 2014 1 Joint work with Marius Zimand How not to estimate complexity What s hard about Kolmogorov complexity? the case of functions
More information2-LOCAL RANDOM REDUCTIONS TO 3-VALUED FUNCTIONS
2-LOCAL RANDOM REDUCTIONS TO 3-VALUED FUNCTIONS A. Pavan and N. V. Vinodchandran Abstract. Yao (in a lecture at DIMACS Workshop on structural complexity and cryptography, 1990) showed that if a language
More informationIS VALIANT VAZIRANI S ISOLATION PROBABILITY IMPROVABLE? Holger Dell, Valentine Kabanets, Dieter van Melkebeek, and Osamu Watanabe December 31, 2012
IS VALIANT VAZIRANI S ISOLATION PROBABILITY IMPROVABLE? Holger Dell, Valentine Kabanets, Dieter van Melkebeek, and Osamu Watanabe December 31, 2012 Abstract. The Isolation Lemma of Valiant & Vazirani (1986)
More informationNotes for Lecture 3... x 4
Stanford University CS254: Computational Complexity Notes 3 Luca Trevisan January 18, 2012 Notes for Lecture 3 In this lecture we introduce the computational model of boolean circuits and prove that polynomial
More informationIn Search of an Easy Witness: Exponential Time vs. Probabilistic Polynomial Time
In Search of an Easy Witness: Exponential Time vs. Probabilistic Polynomial Time Russell Impagliazzo Department of Computer Science University of California, San Diego La Jolla, CA 92093-0114 russell@cs.ucsd.edu
More informationECE 695 Numerical Simulations Lecture 2: Computability and NPhardness. Prof. Peter Bermel January 11, 2017
ECE 695 Numerical Simulations Lecture 2: Computability and NPhardness Prof. Peter Bermel January 11, 2017 Outline Overview Definitions Computing Machines Church-Turing Thesis Polynomial Time (Class P)
More informationLecture 3: Nondeterminism, NP, and NP-completeness
CSE 531: Computational Complexity I Winter 2016 Lecture 3: Nondeterminism, NP, and NP-completeness January 13, 2016 Lecturer: Paul Beame Scribe: Paul Beame 1 Nondeterminism and NP Recall the definition
More informationNick Reingold y Daniel Spielman z. Abstract. In his seminal paper on probabilistic Turing machines, Gill [13] asked
PP is Closed Under Intersection Richard Beigel y Yale University Nick Reingold y Yale University Daniel Spielman z Yale College Abstract In his seminal paper on probabilistic Turing machines, Gill [13]
More informationA Note on Many-One and 1-Truth-Table Complete Languages
Syracuse University SURFACE Electrical Engineering and Computer Science Technical Reports College of Engineering and Computer Science 12-15-1991 A Note on Many-One and 1-Truth-Table Complete Languages
More informationSchnorr trivial sets and truth-table reducibility
Schnorr trivial sets and truth-table reducibility Johanna N.Y. Franklin and Frank Stephan Abstract We give several characterizations of Schnorr trivial sets, including a new lowness notion for Schnorr
More informationOn Unique Satisfiability and Randomized Reductions. Department of Computer Science, Cornell University Ithaca, New York 14853, USA
On Unique Satisfiability and Randomized Reductions Richard Chang Pankaj Rohatgi Department of Computer Science, Cornell University Ithaca, New York 14853, USA Abstract Ever since Valiant and Vazirani [VV86]
More informationBaire categories on small complexity classes and meager comeager laws
Information and Computation 206 (2008) 15 33 www.elsevier.com/locate/ic Baire categories on small complexity classes and meager comeager laws Philippe Moser Department of Computer Science, National University
More informationFinish K-Complexity, Start Time Complexity
6.045 Finish K-Complexity, Start Time Complexity 1 Kolmogorov Complexity Definition: The shortest description of x, denoted as d(x), is the lexicographically shortest string such that M(w) halts
More informationLecture 2 (Notes) 1. The book Computational Complexity: A Modern Approach by Sanjeev Arora and Boaz Barak;
Topics in Theoretical Computer Science February 29, 2016 Lecturer: Ola Svensson Lecture 2 (Notes) Scribes: Ola Svensson Disclaimer: These notes were written for the lecturer only and may contain inconsistent
More informationTuring Machines With Few Accepting Computations And Low Sets For PP
Turing Machines With Few Accepting Computations And Low Sets For PP Johannes Köbler a, Uwe Schöning a, Seinosuke Toda b, Jacobo Torán c a Abteilung Theoretische Informatik, Universität Ulm, 89069 Ulm,
More informationGraph Isomorphism is in SPP
Graph Isomorphism is in SPP V. Arvind and Piyush P Kurur 1 Institute of Mathematical Sciences, Chennai 600113, India Abstract We show that Graph Isomorphism is in the complexity class SPP, and hence it
More informationOn Strong Separations from AC 03. Eric Allender y. Department of Computer Science. Rutgers University. New Brunswick, NJ
On Strong Separations from AC 03 Eric Allender y Department of Computer Science Rutgers University New Brunswick, NJ 08903 allender@cs.rutgers.edu Vivek Gore z Department of Computer Science Rutgers University
More informationU.C. Berkeley CS278: Computational Complexity Professor Luca Trevisan August 30, Notes for Lecture 1
U.C. Berkeley CS278: Computational Complexity Handout N1 Professor Luca Trevisan August 30, 2004 Notes for Lecture 1 This course assumes CS170, or equivalent, as a prerequisite. We will assume that the
More informationand the polynomial-time Turing p reduction from approximate CVP to SVP given in [10], the present authors obtained a n=2-approximation algorithm that
Sampling short lattice vectors and the closest lattice vector problem Miklos Ajtai Ravi Kumar D. Sivakumar IBM Almaden Research Center 650 Harry Road, San Jose, CA 95120. fajtai, ravi, sivag@almaden.ibm.com
More informationStochasticity in Algorithmic Statistics for Polynomial Time
Stochasticity in Algorithmic Statistics for Polynomial Time Alexey Milovanov 1 and Nikolay Vereshchagin 2 1 National Research University Higher School of Economics, Moscow, Russia almas239@gmail.com 2
More informationDoes the Polynomial Hierarchy Collapse if Onto Functions are Invertible?
Does the Polynomial Hierarchy Collapse if Onto Functions are Invertible? Harry Buhrman Lance Fortnow Michal Koucký John D. Rogers Nikolay Vereshchagin December 23, 2008 Abstract The class TFNP, defined
More informationAbstract Themaintheoremof thispaperisthat, forevery real number <1 (e.g., = 0:99), only a measure 0 subset of the languages decidable in exponential t
Measure, Stochasticity, and the Density of Hard Languages (Preliminary Version) Jack H. Lutz Department of Computer Science Iowa State University Ames, Iowa 50011 U.S.A. Elvira Mayordomo y Dept. Llenguatges
More informationUniversality for Nondeterministic Logspace
Universality for Nondeterministic Logspace Vinay Chaudhary, Anand Kumar Sinha, and Somenath Biswas Department of Computer Science and Engineering IIT Kanpur September 2004 1 Introduction The notion of
More informationInverting Onto Functions and Polynomial Hierarchy
Inverting Onto Functions and Polynomial Hierarchy Harry Buhrman 1, Lance Fortnow 2, Michal Koucký 3, John D. Rogers 4, and Nikolay Vereshchagin 5 1 CWI, Amsterdam, buhrman@cwi.nl 2 University of Chicago,
More information1 Computational Problems
Stanford University CS254: Computational Complexity Handout 2 Luca Trevisan March 31, 2010 Last revised 4/29/2010 In this lecture we define NP, we state the P versus NP problem, we prove that its formulation
More informationLearning Reductions to Sparse Sets
Learning Reductions to Sparse Sets Harry Buhrman 1,, Lance Fortnow 2,, John M. Hitchcock 3,, and Bruno Loff 4, 1 CWI and University of Amsterdam, buhrman@cwi.nl 2 Northwestern University, fortnow@eecs.northwestern.edu
More informationQuestions Pool. Amnon Ta-Shma and Dean Doron. January 2, Make sure you know how to solve. Do not submit.
Questions Pool Amnon Ta-Shma and Dean Doron January 2, 2017 General guidelines The questions fall into several categories: (Know). (Mandatory). (Bonus). Make sure you know how to solve. Do not submit.
More informationChaitin Ω Numbers and Halting Problems
Chaitin Ω Numbers and Halting Problems Kohtaro Tadaki Research and Development Initiative, Chuo University CREST, JST 1 13 27 Kasuga, Bunkyo-ku, Tokyo 112-8551, Japan E-mail: tadaki@kc.chuo-u.ac.jp Abstract.
More information