나는 가을에 박사 학위를 시작하고 논문에 대한 복잡한 이론을 연구 할 계획입니다.
나는 모든 복잡한 이론가들이 알아야 할 중요한 논문 목록을 작성하고있다.
나와 같은 사람에게 어떤 논문을 제안 하시겠습니까? 그리고 왜 논문이 중요하다고 생각하는지 간략하게 설명하십시오.
나는 가을에 박사 학위를 시작하고 논문에 대한 복잡한 이론을 연구 할 계획입니다.
나는 모든 복잡한 이론가들이 알아야 할 중요한 논문 목록을 작성하고있다.
나와 같은 사람에게 어떤 논문을 제안 하시겠습니까? 그리고 왜 논문이 중요하다고 생각하는지 간략하게 설명하십시오.
답변:
Ryan William의 비 균일 ACC 회로 하한 과 그에 인용 된 모든 결과.
이것은 최근의 중요한 결과 일뿐만 아니라 매우 잘 작성된 논문입니다. 또한, 논문이 사용하고 인용 한 결과는 상당히 복잡한 정연한 결과를 포괄합니다. 따라서 참고 문헌을 살펴보고 참고 사항을 읽으면 ACC의 모든 부분을 첫 번째 원칙에서 하한까지 이해할 수있는 시점에 도달하면 대학원 복잡성 교육을 시작하는 것이 훌륭한 시작이라고 생각합니다.
귀하의 질문에 대한 직접적인 답변은 아니지만 다음 책을 추천합니다.
Uwe Schöning과 Randall J. Pruim 의 이론적 컴퓨터 과학의 보석 .
이 장의 대부분은 복잡성 이론과 관련이 있습니다. 이 책은 몇 가지 중요한 연구 논문의 훌륭한 결과 모음으로 볼 수 있습니다. 결과에서 논문을 얻을 수 있습니다!
나는 결과를 추천합니다
Hemaspaandra와 Ogihara 의 복합성 이론 동반자 .
특정 결과를 위해 개발 된 기술이지만 결과보다는 기술을 중심으로 구성되며 몇 가지 중요한 결과와 중요한 증명 기술을 다룹니다.
1) R. Lader, N. Lynch 및 A. Selman. 다항식 시간 감소의 비교. 이론적 컴퓨터 과학, 1 (2) : 103-124, 1975.
2) LG Valiant“영원한 계산의 복잡성”, 이론적 컴퓨터 과학, 8 (1979), pp. 181-201.
3) Blass & Y. Gurevich“고유 한 만족도 문제”. 정보 및 제어, 55 (1-3) 페이지 80-88, 1982.
4) J. Balcazar, R. Book & U. Schoning. “다항식 시간 계층 및 스파 스 오라클”저널 컴퓨팅 기계 협회, Vol 33, No3. 1986 년 7 월. 603-617 페이지.
5) LG Valiant & V. Vazirani“NP는 독창적 인 솔루션을 탐지하는 것만 큼 쉽습니다.”이론 컴퓨터 과학 47 (1986) 페이지 85-93.
6) E. Allender. P의 희소 집합의 복잡성. 복잡성 이론 회의의 1 차 구조 진행, 1-11 페이지. 1986 년
6 월 컴퓨터 과학 # 223의 Springer-Verlag 강의 노트. 6) R. 베이 겔. 추가 수용 경로의 상대적인 힘. 복잡성 이론 회의의 4 차 구조, 216-224 쪽의 진행에서. IEEE Computer Society Press, 1989 년 6 월.
7) R.Beigel & J. Gill“카운팅 클래스 : 임계 값, 패리티, 모드 및 소수”이론적 컴퓨터 과학 볼륨 103 페이지 3-23. 1992.
8) S. Fenner, L. Fortnow & S. Kurtz“갭 정의 계수 수업”컴퓨터 및 시스템 과학 저널 48 페이지 116-148 1994.
9) R. Beigel, H. Buhrman 및 L. Fortnow. NP는 고유 한 솔루션을 탐지하는 것만 큼 쉽지 않을 수 있습니다. 컴퓨팅 이론에 관한 제 30 회 ACM 심포지엄 진행, 203-208 페이지. ACM Press, 1998 년 5 월.
10) B. Borchert, L. Hemaspaandra & J. Rothe“동등한 문제에 대한 제한적 수용 만족”LMS J Comput. 수학 3 쪽 86-95 쪽 2000.
나는 위의 Abuzer의 답변에 동의합니다 : 나는 계산 복잡성 책의 모든 장 (Arora 및 Barack의 " 전산 복잡성 : 현대적 접근 방식 "또는 Goldreich의 " 전산 복잡성 : 개념적 관점 ")이 포함하고 (종종 더 명확하게 설명합니다) way) 중요 / 기본 논문에서 나온 결과. 계산 복잡성 책을 읽는 동안 왜 중요한 것으로 간주되는지 더 잘 이해할 수 있습니다.
그러나 이것들은 내가 가장 좋아하는 것입니다.
Savitch의 정리 : Savitch, Walter J. (1970), "비결정론 적 테이프와 결정 론적 테이프 복잡성의 관계", 컴퓨터 및 시스템 과학 저널 4 (2) : 177–192, DOI : 10.1016 / S0022-0000 (70) 80006-X
쿡 레빈 정리 : Cook, Stephen (1971). " 정리 증명 절차의 복잡성 ". 컴퓨팅 이론에 관한 제 3 차 연례 ACM 심포지엄의 절차. 151–158 쪽
J. Hopcroft, W. Paul 및 L. Valiant, 정시 대 공간 , J. ACM, 24, 332-337 (1977)
TP Baker, J. Gill, R. Solovay. P의 상대성 =? NP 질문. SIAM Journal on Computing, 4 (4) : 431-442 (1975)