«reference-request» 태그된 질문

크리스 오카 사키의 1998 년 책 "순전히 기능적인 데이터 구조"이후로, 나는 전혀 새로운 흥미로운 순전히 기능적인 데이터 구조가 나타나는 것을 보지 못했습니다. 나는 몇 가지 이름을 지정할 수 있습니다. IntMap (1998 년 오카 사키가 발명했지만 그 책에는 존재하지 않음) 핑거 트리 (및 모노 이드에 대한 일반화) "불변 유형"또는 "일반 대수 …

563 reference-request  big-list  ds.data-structures  functional-programming 

[ 타임 라인 ] 이 질문은 모든 사람이 읽어야 할 서류 와 모든 비디오를 시청해야하는 것과 같은 정신을 가지고 있습니다. 이론적 컴퓨터 과학의 다른 영역에서 놀라운 책을 요구합니다. 이 책은 수학을 중심으로 할 수 있지만 컴퓨터 과학자에게는 유용 할 수 있습니다. 예 : 개연성 불평등 논리 그래프 이론 조합론 알고리즘 …

229 reference-request  soft-question  big-list  books 

다음과 같은 구성표로 몇 가지 질문이 있습니다. 모든 사람이 읽어야 할 서류 모든 사람이 읽어야 할 책 초안을 온라인으로 볼 수있는 최근 TCS 서적은 무엇입니까 모두가 볼 수있는 동영상 나는 또 다른 것을 게시하는 것을 꺼려했지만 알고리즘에 대한 Jeff Erickson의 강의 노트가 마음을 바꿨습니다. 나는 생각했다 : 오 마이! 이 …

113 reference-request  soft-question  big-list 

이론적 인 컴퓨터 과학은 "추상화의 가격"에 대한 몇 가지 예를 제공했습니다. 가장 눈에 띄는 두 가지는 가우시안 제거 및 정렬입니다. 즉: 가우시안 제거는 연산을 전체적으로 행과 열로 제한 하는 경우 결정자를 계산하는 데 최적 인 것으로 알려져 있습니다 [1]. 분명히 Strassen의 알고리즘은 이러한 제한을 따르지 않으며 가우시안 제거보다 점진적으로 좋습니다. …

112 ds.algorithms  reference-request  big-list  lower-bounds 

모든 사람이 읽어야 할 책 게시물을 읽은 후 온라인에서 초안을 볼 수있는 최신 책이 있음을 알게되었습니다. 예를 들어, 위 게시물 의 Approximation Algorithms 항목 에는 근사 알고리즘 설계 라는 제목 의 2011 책 (아직 출판되지 않음)이 인용되어 있습니다 . 최근 작품을 아는 것이 TCS 트렌드를 맛보고 싶은 사람에게는 정말 유용하다고 …

99 reference-request  big-list  books 

가장 재미있는 TCS 관련 출판물은 무엇입니까? 재미 있도록 의도 된 것들만 포함하십시오. (복잡성 이론에 관한 짧은 농담 모음이 아닌) 지능적으로 유머러스하게 제작 된 작품이 선호됩니다. 유머러스 한 (실제로는 유머가 아닌 귀여운) 제목의 작품도 허용됩니다. 답변 당 하나의 작업 만 수행하면 "최고의"작업이 맨 위에 표시됩니다.

80 reference-request  soft-question  big-list 

일반적으로 컴퓨터 과학에 적용되는 것으로 간주되지 않은 수학 정리가 컴퓨터 과학의 결과를 입증하는 데 사용 된 예를 나열하십시오. 가장 좋은 예는 연결이 명확하지 않은 것이지만 일단 발견되면 분명히 "올바른 방법"입니다. 이것은 고전 수학에 대한 TCS의 적용 이라는 질문의 반대 방향입니다 . 예를 들어, 다변량 미적분학의 Green 's Theorem을 사용하여 격리 …

74 reference-request  soft-question  big-list  topology 

이전 질문에 대한 답으로, “가우시안” 제거가 O(n3)O(n3)O(n^3) 시간에 실행 된다는 일반적이지만 잘못된 믿음을 언급했습니다 . 알고리즘이 O(n3)O(n3)O(n^3) 산술 연산을 사용한다는 것은 명백하지만 , 부주의 한 구현은 지수 적으로 많은 비트를 갖는 숫자를 생성 할 수 있습니다. 간단한 예로, 다음 행렬을 대각선으로 만들고 싶다고 가정합니다. ⎡⎣⎢⎢⎢⎢⎢⎢⎢211⋮1021⋮1002⋮1⋯⋯⋯⋱⋯000⋮2⎤⎦⎥⎥⎥⎥⎥⎥⎥[200⋯0120⋯0112⋯0⋮⋮⋮⋱⋮111⋯2]\begin{bmatrix} 2 & 0 & 0 …

72 ds.algorithms  reference-request  linear-algebra 

저는 소프트웨어 전문가이며 개인 연구를위한 대수 구조에 대한 설문 조사를 작성하고 있으며 이러한 구조가 이론적 인 컴퓨터 과학 (및 컴퓨터 과학의 다른 하위 분야)에서 어떻게 사용되는지에 대한 예를 만들려고합니다. . 그룹 이론 하에서 나는 공식 언어에 대한 구문 모노 이드와 병렬 / 동시 컴퓨팅에 대한 트레이스 및 히스토리 모노 이드를 …

67 reference-request  big-list  big-picture  algebra 

PCP 정리 (주로 근사 알고리즘) 를 사용하는 많은 결과에 익숙 하지만 PCP 정리에 대한 명확한 설명을 얻지 못했습니다 (즉, ).NP=PCP(O(log(n)),O(1))NP=PCP(O(log⁡(n)),O(1))\mathsf{NP} = \mathsf{PCP}(O(\log(n)),O(1)) 읽을만한 좋은 논문 / 책은 무엇입니까?

64 cc.complexity-theory  reference-request  pcp 

컴퓨터 과학에서 토폴로지의 응용 프로그램에 대한 설문 조사를 작성하고 싶습니다. 나는 컴퓨터 과학의 토폴로지 아이디어의 역사를 다루고 현재의 몇 가지 발전을 강조 할 계획이다. 아래 질문에 대해 누구나 의견을 제시 할 수 있다면 매우 도움이 될 것입니다. Computer Science에서 토폴로지 사용의 연대기를 설명하는 논문이나 메모가 있습니까? 컴퓨터 과학에 토폴로지에서 결과의 …

61 reference-request  ho.history-overview  topology  survey 

TCS에서 우리는 종종 고전 수학 (대수, 토폴로지, 분석, 기하학 등)의 강력한 결과와 아이디어를 사용합니다. 다른 방향으로 갔을 때 어떤 예가 있습니까? 여기 내가 아는 것들이 있습니다 (그리고 내가 요구하는 결과 유형을 맛볼 수 있습니다). 입방체 거품 (Guy Kindler, Ryan O'Donnell, Anup Rao 및 Avi Wigderson : 구형 큐브 및 높은 …

60 reference-request  big-list 

에서 서술 복잡성 , Immerman가있다 추론 7.23. 다음 조건은 동일합니다. 1. P = NP. 2. 유한하고 규칙적인 구조에서 FO ​​(LFP) = SO. 이것은 더 큰 복잡성 클래스에 대한 동등한 진술에 대해 "증폭"P = NP로 생각할 수 있습니다. SO는 다항식 시간 계층 PH를 캡처하고 FO (LFP)는 P를 캡처하므로 P = NP …

54 cc.complexity-theory  reference-request  complexity-classes  conditional-results  polynomial-hierarchy 

NP- 완전 문제 의 (검색 버전)의 경우, 다항식 시간에 검증을 수행 할 수 있고 증인을 찾는 데 기하 급수적으로 시간이 걸리기 때문에 솔루션을 검증하는 것이 솔루션을 찾는 것보다 훨씬 쉽습니다. 그러나 P 에서는 다항식 시간에 솔루션을 찾을 수도 있으므로 솔루션을 찾는 것보다 검증이 더 빠른시기는 분명하지 않습니다. 실제로이 문제와는 다른 …

52 cc.complexity-theory  ds.algorithms  reference-request 

Ladner Theorem 은 P ≠ NP이면 P를 엄격하게 포함하고 NP에 엄격하게 포함 된 복잡성 클래스 의 무한한 계층 구조가 있다고 말합니다 . 이 증거는 NP가 한 번 감소하면 SAT의 완전성을 사용합니다. 계층 구조에는 일종의 대각 화로 구성된 복잡성 클래스가 포함되어 있으며 각 클래스에는 하위 클래스의 언어가 여러 개가 될 수없는 …

45 cc.complexity-theory  reference-request  np-intermediate