메뉴 건너뛰기




Volumn , Issue , 2002, Pages 669-678

Power from random strings

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL COMPLEXITY; PROBABILITY DISTRIBUTIONS; RANDOM PROCESSES; SET THEORY; THEOREM PROVING; TIME DOMAIN ANALYSIS;

EID: 0036949739     PISSN: 02725428     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper
Times cited : (19)

References (42)
  • 2
    • 0012527140 scopus 로고    scopus 로고
    • PRIMES is in P
    • M. Agrawal, N. Kayal, and N. Saxena. PRIMES is in P. Available at: http://www.cse.iitk.ac.in/primality.pdf, 2002
    • (2002)
    • Agrawal, M.1    Kayal, N.2    Saxena, N.3
  • 3
    • 0029719917 scopus 로고    scopus 로고
    • Generating hard instances of lattice problems (extended abstract)
    • M. Ajtai. Generating hard instances of lattice problems (extended abstract). In STOC, pages 99-108, 1996.
    • (1996) STOC , pp. 99-108
    • Ajtai, M.1
  • 4
    • 84944074063 scopus 로고    scopus 로고
    • When worlds collide: Derandomization, lower bounds, and Kolmogorov complexity
    • E. Allender. When worlds collide: Derandomization, lower bounds, and Kolmogorov complexity. In FST&TCS, volume 2245 of LNCS, pages 1-15, 2001.
    • (2001) FST&TCS, Volume 2245 of LNCS , pp. 1-15
    • Allender, E.1
  • 5
    • 0002771903 scopus 로고
    • Non-deterministic exponential time has two-prover interactive protocols
    • L. Babai, L. Fortnow, and C. Lund. Non-deterministic exponential time has two-prover interactive protocols. Comp. Compl., 1:3-40, 1991.
    • (1991) Comp. Compl. , vol.1 , pp. 3-40
    • Babai, L.1    Fortnow, L.2    Lund, C.3
  • 6
    • 0001338853 scopus 로고
    • BPP has subexponential time simulations unless EXPTIME has publishable proofs
    • L. Babai, L. Fortnow, N. Nisan, and A. Wigderson. BPP has subexponential time simulations unless EXPTIME has publishable proofs. Comp. Compl., 3:307-318, 1993.
    • (1993) Comp. Compl. , vol.3 , pp. 307-318
    • Babai, L.1    Fortnow, L.2    Nisan, N.3    Wigderson, A.4
  • 7
    • 85034603266 scopus 로고
    • Relationship between density and deterministic complexity of NP-complete languages
    • P. Berman. Relationship between density and deterministic complexity of NP-complete languages. In ICALP, volume 62 of LNCS, pages 63-71, 1978.
    • (1978) ICALP, Volume 62 of LNCS , pp. 63-71
    • Berman, P.1
  • 8
    • 0021522644 scopus 로고
    • How to generate cryptographically strong sequences of pseudo-random bits
    • M. Blum and S. Micali, How to generate cryptographically strong sequences of pseudo-random bits. SIAM J. Comput., 13:850-864, 1984.
    • (1984) SIAM J. Comput. , vol.13 , pp. 850-864
    • Blum, M.1    Micali, S.2
  • 9
    • 0031166519 scopus 로고    scopus 로고
    • An excursion to the kolmogorov random strings
    • H. Buhrman and E. Mayordomo, An excursion to the Kolmogorov random strings. JCSS, 54:393-399, 1997.
    • (1997) JCSS , vol.54 , pp. 393-399
    • Buhrman, H.1    Mayordomo, E.2
  • 11
    • 0032644511 scopus 로고    scopus 로고
    • Some recent progress on the complexity of lattice problems
    • J.-Y. Cai. Some recent progress on the complexity of lattice problems. In CCC, pages 158-179, 1999.
    • (1999) CCC , pp. 158-179
    • Cai, J.-Y.1
  • 12
    • 0035181331 scopus 로고    scopus 로고
    • On the average-case hardness of CVP
    • J.-Y. Cai. On the average-case hardness of CVP. In FOCS, pages 308-319, 2001.
    • (2001) FOCS , pp. 308-319
    • Cai, J.-Y.1
  • 13
    • 0031377422 scopus 로고    scopus 로고
    • An improved worst-case to average-case connection for lattice problems
    • J.-Y. Cai and A. P. Nerurkar. An improved worst-case to average-case connection for lattice problems. In FOCS, pages 468-477, 1997.
    • (1997) FOCS , pp. 468-477
    • Cai, J.-Y.1    Nerurkar, A.P.2
  • 14
    • 0027684980 scopus 로고
    • On the random-self-reducibility of complete sets
    • J. Feigenbaum and L. Fortnow. On the random-self-reducibility of complete sets. SIAM J. Comput., 22:994-1005, 1993.
    • (1993) SIAM J. Comput. , vol.22 , pp. 994-1005
    • Feigenbaum, J.1    Fortnow, L.2
  • 15
    • 0022793132 scopus 로고
    • How to construct random functions
    • O. Goldreich, S. Goldwasser, and S. Micali. How to construct random functions. J. ACM, 33 (4):792-807, 1986.
    • (1986) J. ACM , vol.33 , Issue.4 , pp. 792-807
    • Goldreich, O.1    Goldwasser, S.2    Micali, S.3
  • 16
    • 0345253860 scopus 로고    scopus 로고
    • A pseudorandom generator from any one-way function
    • J. Håstad, R. Impagliazzo, L. Levin, and M. Luby. A pseudorandom generator from any one-way function. SIAM J. Comput., 28:1364-1396, 1999.
    • (1999) SIAM J. Comput. , vol.28 , pp. 1364-1396
    • Håstad, J.1    Impagliazzo, R.2    Levin, L.3    Luby, M.4
  • 17
    • 0034865639 scopus 로고    scopus 로고
    • Search of an easy witness: Exponential time vs. probabilistic polynomial time
    • R. Impagliazzo, S. Kabanets, and A. Wigderson. In search of an easy witness: Exponential time vs. probabilistic polynomial time. In CCC, pages 2-12, 2001.
    • (2001) CCC , pp. 2-12
    • Impagliazzo, R.1    Kabanets, S.2    Wigderson, A.3
  • 18
    • 0030706544 scopus 로고    scopus 로고
    • P = BPP if E requires exponential circuits: Derandomizing the XOR lemma
    • R. Impagliazzo and A. Wigderso. P = BPP if E requires exponential circuits: Derandomizing the XOR lemma. In STOC '97, pages 220-229, 1997.
    • (1997) STOC '97 , pp. 220-229
    • Impagliazzo, R.1    Wigderso, A.2
  • 19
    • 0032314332 scopus 로고    scopus 로고
    • Randomness vs. time: De-randomization under a uniform assumption
    • R. Impagliazzo and A. Wigderson. Randomness vs. time: de-randomization under a uniform assumption. In FOCS, pages 734-743, 1998.
    • (1998) FOCS , pp. 734-743
    • Impagliazzo, R.1    Wigderson, A.2
  • 20
    • 0000152441 scopus 로고    scopus 로고
    • Easiness assumptions and hardness tests: Trading time for zero error
    • V. Kabanets. Easiness assumptions and hardness tests: Trading time for zero error. JCSS, 63(2):236-252, 2001.
    • (2001) JCSS , vol.63 , Issue.2 , pp. 236-252
    • Kabanets, V.1
  • 21
    • 0033687771 scopus 로고    scopus 로고
    • Circuit minimization problem
    • V. Kabanets and J.-Y. Cai. Circuit minimization problem. In STOC, pages 73-79, 2000.
    • (2000) STOC , pp. 73-79
    • Kabanets, V.1    Cai, J.-Y.2
  • 22
    • 0036588881 scopus 로고    scopus 로고
    • Graph nonisomorphism has subexponential size proofs unless the polynomial-time hierarchy collapses
    • To apper; a preliminary version appeared in STOC'99
    • A. Klivans and D. van Melkebeek. Graph nonisomorphism has subexponential size proofs unless the polynomial-time hierarchy collapses. SIAM J. Comput., 2002, To apper; a preliminary version appeared in STOC'99.
    • (2002) SIAM J. Comput.
    • Klivans, A.1    Van Melkebeek, D.2
  • 23
    • 0026239142 scopus 로고
    • On the complexity of learning minimum time-bounded turing machines
    • K.-I. Ko. On the complexity of learning minimum time-bounded turing machines. SIAM J. Comput., 20:962-986, 1991.
    • (1991) SIAM J. Comput. , vol.20 , pp. 962-986
    • Ko, K.-I.1
  • 24
    • 84948177322 scopus 로고    scopus 로고
    • On the complexity of random strings
    • M. Kummer. On the complexity of random strings. In STACS, volume 1046 of LNCS, pages 25-36, 1996.
    • (1996) STACS, Volume 1046 of LNCS , pp. 25-36
    • Kummer, M.1
  • 25
    • 0003108854 scopus 로고
    • Relativization of questions about log space reducibility
    • R. Ladner and N. Lynch. Relativization of questions about log space reducibility. MST, 10:19-32, 1976.
    • (1976) MST , vol.10 , pp. 19-32
    • Ladner, R.1    Lynch, N.2
  • 26
    • 0016425038 scopus 로고
    • On the structure of polynomial time reducibility
    • R. E. Ladner. On the structure of polynomial time reducibility. J. ACM, 22:155-171, 1975.
    • (1975) J. ACM , vol.22 , pp. 155-171
    • Ladner, R.E.1
  • 27
    • 0021404339 scopus 로고
    • Randomness conservation inequalities; information and independence in mathematical theories
    • L. A. Levin. Randomness conservation inequalities; information and independence in mathematical theories. Inf. and Control, 61:15-37, 1984.
    • (1984) Inf. and Control , vol.61 , pp. 15-37
    • Levin, L.A.1
  • 29
    • 84966214168 scopus 로고
    • Completeness, the recursion theorem and effectively simple sets
    • D. Martin. Completeness, the recursion theorem and effectively simple sets. Proc. Am. Math. Soc., 17:838-842, 1966.
    • (1966) Proc. Am. Math. Soc. , vol.17 , pp. 838-842
    • Martin, D.1
  • 30
    • 0036036845 scopus 로고    scopus 로고
    • Improved cryptographic hash functions with worst-case / average-case connection
    • D. Micciancio. Improved cryptographic hash functions with worst-case / average-case connection. In STOC, pages 609-618, 2002.
    • (2002) STOC , pp. 609-618
    • Micciancio, D.1
  • 31
    • 0028516244 scopus 로고
    • Hardness vs. randomness
    • N. Nisan and A. Wigderson. Hardness vs. randomness. JCSS, 49:149-167, 1994.
    • (1994) JCSS , vol.49 , pp. 149-167
    • Nisan, N.1    Wigderson, A.2
  • 32
    • 0003614758 scopus 로고
    • Digitalized signatures and public-key functions as intractible as factorization
    • MIT Tech. Report TR-212
    • M. Rabin. Digitalized signatures and public-key functions as intractible as factorization. MIT Tech. Report TR-212, 1979.
    • (1979)
    • Rabin, M.1
  • 33
    • 0031213341 scopus 로고    scopus 로고
    • Natural proofs
    • A. A. Razborov and S. Rudich. Natural proofs. JCSS, 55:24-35, 1997.
    • (1997) JCSS , vol.55 , pp. 24-35
    • Razborov, A.A.1    Rudich, S.2
  • 34
    • 79952537130 scopus 로고    scopus 로고
    • Super-bits, demi-bits, and NP̄/qpoly-natural proofs
    • S. Rudich. Super-bits, demi-bits, and NP̄/qpoly-natural proofs. In RANDOM, volume 1269 of LNCS, 1997.
    • (1997) RANDOM, Volume 1269 of LNCS
    • Rudich, S.1
  • 35
    • 0020931594 scopus 로고
    • A complexity theoretic approach to randomness
    • M. Sipser. A complexity theoretic approach to randomness. In STOC, pages 330-335, 1983.
    • (1983) STOC , pp. 330-335
    • Sipser, M.1
  • 36
    • 0035276434 scopus 로고    scopus 로고
    • Pseudorandom generators without the XOR lemma
    • M. Sudan, L. Trevisan, and S. Vadhan. Pseudorandom generators without the XOR lemma. JCSS, 62:236-266, 2001.
    • (2001) JCSS , vol.62 , pp. 236-266
    • Sudan, M.1    Trevisan, L.2    Vadhan, S.3
  • 37
    • 0005314594 scopus 로고    scopus 로고
    • Construction of extractors using pseudorandom generators
    • L. Trevisan. Construction of extractors using pseudorandom generators. J. ACM, 48(4):860-879, 2001.
    • (2001) J. ACM , vol.48 , Issue.4 , pp. 860-879
    • Trevisan, L.1
  • 38
    • 0036292526 scopus 로고    scopus 로고
    • Pseudorandomness and average-case complexity via uniform reductions
    • L. Trevisan and S. Vadhan. Pseudorandomness and average-case complexity via uniform reductions. In CCC, pages 129-138, 2002.
    • (2002) CCC , pp. 129-138
    • Trevisan, L.1    Vadhan, S.2
  • 39
    • 0001642831 scopus 로고
    • A natural encoding scheme proved probabilistic polynomial complete
    • U. V. Vazirani and V. V. Vazirani. A natural encoding scheme proved probabilistic polynomial complete. TCS, 24:291-300, 1983.
    • (1983) TCS , vol.24 , pp. 291-300
    • Vazirani, U.V.1    Vazirani, V.V.2
  • 40
    • 0023437255 scopus 로고
    • A comparison of polynomial time completeness notions
    • O. Watanabe. A comparison of polynomial time completeness notions. TCS, 54:249-265, 1987.
    • (1987) TCS , vol.54 , pp. 249-265
    • Watanabe, O.1
  • 41
    • 0026854306 scopus 로고
    • On polynomial-time turing and many-one completeness in PSPACE
    • O. Watanabe and S. Tang. On polynomial-time Turing and many-one completeness in PSPACE. TCS, 97:199-215, 1992.
    • (1992) TCS , vol.97 , pp. 199-215
    • Watanabe, O.1    Tang, S.2
  • 42
    • 0020301290 scopus 로고
    • Theory and applications of trapdoor functions
    • A. Yao. Theory and applications of trapdoor functions. In FOCS, pages 80-91, 1982.
    • (1982) FOCS , pp. 80-91
    • Yao, A.1


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.