러셀 임파글리아초

Russell Impagliazzo
러셀 그레이엄 임팔리아초
Russell Impagliazzo at the DIMACS Workshop on Cryptography.jpg
2016년 7월 DIMACS 암호 워크숍에서 Russell Impaglizzo씨.
모교웨슬리언 대학교; 캘리포니아 대학교 버클리
로 알려져 있다계산 복잡도 이론의 결과
과학 경력
논문확률론적 알고리즘과 암호학을 위한 의사 랜덤 생성기 (1992)
박사 어드바이저마누엘 블룸
웹 사이트https://cseweb.ucsd.edu/ / ~http /

Russell Graham Impaglizzo는[1] [3]1989년 UCSD 교수에 입사하여 샌디에이고 캘리포니아 대학의 컴퓨터 공학 [2]교수입니다.그는 웨슬리언 [4]대학에서 수학 학사 학위를 받았다.그는 1992년 버클리 캘리포니아 대학에서 박사 학위를 취득했다.그의 조언자는 Manuel Blum이었다.[1]그는 2004년 구겐하임 [3]펠로우이다.

복잡성 이론에 Impagliazzo의 기여가 어떤 방향에서 의사 난수 발생기의 건설을 포함한다 function,[5]야오밍의 XOR부명제의 명제적 증거 복잡성의 지수적인 크기는 칸 principle[7], 그의 wo의constant-depth 힐베르트 증거를 얻기 위해서 하한과 같은"하드 코어 세트"[6]그의 작품을 통해 그의 증거이다.속임수 rk계산 경도와 탈진화 [8][9][10][11]사이의 결합 및 다중[citation needed] 소스 시드리스 추출기 [12][verification needed]구성에 대한 최근 연구.

Impaglizzo는 그의 [citation needed]전공분야에 관한 40개 이상의[quantify] 논문에 기고했다.그는 또한 3-SAT가 변수 [13]수에서 하위 지수 시간에 해결될 수 없다는 지수 시간 가설을 언급했습니다.이 가설은 컴퓨터 [14][15]과학에서 알고리즘의 하한을 추론하기 위해 사용된다.

그의 "오세계"는 계산 복잡성 [citation needed]이론에서 잘 알려져 있다.

레퍼런스

  1. ^ a b "Russell Impagliazzo - The Mathematics Genealogy Project". mathgenealogy.org. Retrieved 2021-08-30.
  2. ^ "Russell Impagliazzo's". cseweb.ucsd.edu. Retrieved 2021-08-30.
  3. ^ a b "Faculty Profile Jacobs School of Engineering". jacobsschool.ucsd.edu. Retrieved 2021-08-30.
  4. ^ "Russell Impagliazzo Simons Institute for the Theory of Computing". simons.berkeley.edu. Retrieved 2021-08-30.
  5. ^ HÅstad, Johan; Impagliazzo, Russell; Levin, Leonid A.; Luby, Michael (1999). "A Pseudorandom Generator from any One-way Function" (PDF). SIAM Journal on Computing. 28 (4): 1364–1396. doi:10.1137/S0097539793244708. ISSN 0097-5397.
  6. ^ Impagliazzo, Russell (1995). "Hard-core distributions for somewhat hard problems". Proceedings of IEEE 36th Annual Foundations of Computer Science. Proceedings of IEEE 36th Annual Foundations of Computer Science. pp. 538–545. doi:10.1109/SFCS.1995.492584. ISBN 0-8186-7183-1. Retrieved 30 August 2021.
  7. ^ Beame, Paul; Impagliazzo, Russell; Krajíček, Jan; Pitassi, Toniann; Pudlák, Pavel (1996). "Lower Bounds on Hilbert's Nullstellensatz and Propositional Proofs". Proceedings of the London Mathematical Society. s3-73 (1): 1–26. doi:10.1112/plms/s3-73.1.1. ISSN 1460-244X.
  8. ^ Kabanets, Valentine; Impagliazzo, Russell (2004-12-01). "Derandomizing Polynomial Identity Tests Means Proving Circuit Lower Bounds". Computational Complexity. 13 (1): 1–46. doi:10.1007/s00037-004-0182-6. ISSN 1420-8954. S2CID 12451799.
  9. ^ Impagliazzo, Russell; Wigderson, Avi (1997-05-04). "P = BPP if E requires exponential circuits: derandomizing the XOR lemma". Proceedings of the Twenty-Ninth Annual ACM Symposium on Theory of Computing. STOC '97. El Paso, Texas, USA: Association for Computing Machinery: 220–229. doi:10.1145/258533.258590. ISBN 978-0-89791-888-6. S2CID 18921599.
  10. ^ Impagliazzo, Russell (2003-04-28). "Hardness as randomness: a survey of universal derandomization". arXiv:cs/0304040.
  11. ^ Carmosino, Marco L.; Impagliazzo, Russell; Kabanets, Valentine; Kolokolova, Antonina (2015). Garg, Naveen; Jansen, Klaus; Rao, Anup; Rolim, José D. P. (eds.). "Tighter Connections between Derandomization and Circuit Lower Bounds". Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques (APPROX/RANDOM 2015). Leibniz International Proceedings in Informatics (LIPIcs). Dagstuhl, Germany: Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik. 40: 645–658. doi:10.4230/LIPIcs.APPROX-RANDOM.2015.645. ISBN 978-3-939897-89-7.
  12. ^ Barak, B.; Impagliazzo, R.; Wigderson, A. (2004). "Extracting randomness using few independent sources". 45th Annual IEEE Symposium on Foundations of Computer Science: 384–393. doi:10.1109/FOCS.2004.29. ISBN 0-7695-2228-9. S2CID 7063583.
  13. ^ Impagliazzo, Russell; Paturi, Ramamohan (2001-03-01). "On the Complexity of k-SAT". Journal of Computer and System Sciences. 62 (2): 367–375. doi:10.1006/jcss.2000.1727. ISSN 0022-0000.
  14. ^ Lokshtanov, Daniel; Marx, Dániel; Saurabh, Saket (October 2011). "Lower Bounds based on the Exponential Time Hypothesis" (PDF). Bulletin of the EATCS: 41–71. CiteSeerX 10.1.1.942.6217.
  15. ^ Williams, Virginia V. (2015). Hardness of Easy Problems: Basing Hardness on Popular Conjectures such as the Strong Exponential Time Hypothesis (PDF). 10th International Symposium on Parameterized and Exact Computation. pp. 17–29. doi:10.4230/LIPIcs.IPEC.2015.17.

외부 링크


Stub icon

컴퓨터 전문가에 관한 이 전기 기사는 촌지입니다.위키피디아를 확장함으로써 위키피디아를 도울 수 있습니다.