증명 기법으로 TCS 정리를 구성하고 논의하는 참고 자료 (온라인 또는 서적 형식)가 있습니까? Garey와 Johnson 은 NP- 완전성 증명 (특히 3 장)에 필요한 다양한 종류의 위젯 구성을 위해이를 수행하지만, TCS에서 증명 기술을보다 광범위하게 다루는 것이 있는지 궁금합니다.
예를 들어, 주제에는 사용 된 구성 유형에 따라 세분화 된 대각선 화가 포함될 수 있습니다. 계산 이력에 의한 증명; 타보 구조물; 비압축성 인수 등. 나는 표준 계산 텍스트 이론을 잘라 내고 섹션을 재 배열 할 수 있다고 생각하지만, 거기에 어떤 추가 논평을 제공하고 기술 사이의 공통점이있는 곳을 보여주는 것이 있으면 좋을 것입니다 익숙한.
모든 텍스트가 증명 을 사용 하기 때문에 , 내가 실제로 관심을 갖는 것은 증명 기술 자체가 실제 주제 인 참조입니다.
Garey와 Johnson의 3 장 외에도 저에게 일어난 또 다른 부분의 예가 있습니다. Li와 Vitanyi 에서는 6 장에서 비압축성 방법에 대해 논의 하고이 기술을 적용하는 방법에 대한 예를 제공합니다.
이 책은 계산 복잡성에 좋습니다 cs.princeton.edu/theory/complexity
—
Marcos Villagra
이것의 범위는 모든 분야입니다 이러한 광범위한 질문입니다! 크게 좁힐 수 없다면 투표 마감. 또한 단일 답변이 없기 때문에 커뮤니티 위키가 필요할 가능성이 큽니다.
—
Suresh Venkat
증명 기술 목록을 찾고 있지 않습니다. 나는 누군가가 나를 지적 할 수있는 어딘가에 이미이 성격에 대한 언급이 있기를 바랐습니다. 더 많은 눈이 그것을 볼 수있을 때까지 이것을 더 오래 열어 두지 않겠습니까?
—
Kurt
나는 여기서 오해하고 있다고 생각하지만 도울 수 없다. 질문이 지나치게 광범위하면 가능한 답변 이 많이 있어야합니다 . 나는 직접적인 반응을 알지 못하며 (분명히 묻거나 묻지 않았을 수도 있음) 아마도 부분적인 반응 일뿐입니다.
—
커트
문제는 TCS의 서브 필드에서 증명 기술이 일반적으로 다른 필드로 전달되지 않는다는 것입니다. 나는 수학자들이 보통 자신의 과정에서 증거 기술을 배우기 위해 증거를 연구한다고 생각합니다. 예를 들어, 대각선 화는 프로그램의 정확성을 입증하는 데 적용되지 않지만, 불변량은 계산 이론에서 거의 또는 전혀 사용되지 않습니다. 상각 복잡성 증명 기술은 해당 하위 필드에만 관련이 있습니다. 계산, 복잡성 및 입증 가능한 암호화에 적용되는 점에서 감소는 드문 경우입니다. 특정 언어의 프로그램에만 관련된 기술에 대한 Google "무료 정리".
—
Blaisorblade