이론 컴퓨터 과학

나는 몇 가지 범주 이론을 배우고 있습니다. 그것은 사물을 보는 다른 방법입니다. (이론을 보지 못한 사람들에 대한 매우 대략적인 요약 : 범주 이론은 객체 간의 기능적 관계 측면에서만 모든 종류의 수학적 행동을 표현하는 방법을 제공합니다. 예를 들어, 두 세트의 데카르트 곱과 같은 것은 완전히 어떤 요소가 집합의 구성원이 아닌 다른 …

103 pl.programming-languages  lo.logic  ct.category-theory 

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

99 reference-request  big-list  books 

최근 몇 년 동안 A *보다 훨씬 빠르게 그래프 변경에 응답하여 최상의 경로를 계산할 수있는 많은 경로 찾기 알고리즘이 개발되었습니다.이 알고리즘은 무엇이고 어떻게 다른가? 그들은 다른 상황에 처해 있습니까, 아니면 일부는 더 이상 사용되지 않습니까? 이것들은 내가 지금까지 찾은 것들입니다. D * (1994) 집중된 D * (1995) DynamicSWSF-FP (1996) LPA …

96 ds.algorithms  shortest-path 

학부 수학 전공을 목표로 연설을 준비하고 있으며 그 일부로서 결정 성 개념에 대해 논의하고 있습니다. 현재 결정 불가능하거나 결정 불가능한 문제에 대한 예를 드리고자합니다. 그러한 문제가 많이 있지만, 지금까지 좋은 사례로 눈에 띄는 것은 없습니다. 결정 가능성이 열려있는 설명하기 쉬운 문제는 무엇입니까?

92 computability  decidability 

가능한 한 많은 TCS 관련 컨퍼런스 및 워크샵 목록을 작성하는 데 도움을 요청하고 싶습니다. 이 작업을 수행하는 주된 동기는 더 많은 이론적 장소에 대한 블로그 범위를 계획하는 것입니다. 참석 한 이벤트에 대한 간략한 또는 심도있는 블로그 항목을 기꺼이 작성하고자하는 해당 이벤트에 참석하는 통신원을 찾으십시오. 그 외에도, 이와 같은 목록이 모든 …

90 soft-question  big-list  conferences 

람다 미적분학을 읽고 "알아라"는 것입니다. 나는 그것을 튜링 머신과는 다른 대안적인 계산 방식으로 본다. 함수 / 감소 (엄청나게 말해서)로 일을하는 흥미로운 방법입니다. 그래도 몇 가지 질문이 계속 나에게 잔소리합니다. 람다 미적분의 요점은 무엇입니까? 왜 이러한 모든 기능 / 감소를 수행해야합니까? 목적은 무엇입니까? 그 결과 람다 미적분학이 CS 이론을 발전시키기 위해 …

85 soft-question  big-picture  lambda-calculus  ho.history-overview 

눈에 띄는 제목으로 죄송합니다. 교회 튜링 논문을 반증하기 위해서는 어떻게해야합니까? 어딘가에서 읽은 것이 수학적으로 불가능합니다! 왜? Turing, Rosser 등은 "계산 가능한 것"과 "Turing 기계로 계산할 수있는 것"을 구별하기 위해 다른 용어를 사용했습니다. 이에 관한 튜링의 1939 년 정의는 "우리는 기계로 계산할 수있는 기능을 의미하기 위해"계산 가능한 기능 "이라는 표현을 사용해야하며,"정의 …

83 computability  proofs  hypercomputation 

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

80 reference-request  soft-question  big-list 

이것은 연구 질문보다 "역사적 질문"이지만, Peter Shor가 처음 발견 한 인수 분해에 대한 Shor의 알고리즘에서 주문을 찾기위한 고전적인 축소입니까, 아니면 이전에 알려졌습니까? 쇼어 이전의 감축을 설명하는 논문이 있습니까, 아니면 간단히 "민간 결과"입니까? 아니면 같은 논문에서 또 다른 획기적인 것일까 요?

79 quantum-computing  ho.history-overview  factoring 

저는 현재 학부생이며 올해 졸업해야합니다. 졸업 후 TCS 마스터 / PhD를 위해 일하고 싶습니다. TCS에 유용한 수학 분야, 특히 (고전적인) 복잡성 이론이 궁금합니다. 복잡성 이론을 연구하려는 사람에게 어떤 분야가 필수적이라고 생각하십니까? 이 분야를 다루는 좋은 교과서를 알고 있다면, 난이도 (초급, 대학원 등)를 포함 시키십시오. 복잡성 이론에서 많이 사용되지 않는 필드를 …

79 cc.complexity-theory  soft-question  advice-request 

세계 최초의 프로그램 가능한 양자 광자 칩 발표에 비추어 볼 때, 양자 얽힘을 사용하는 컴퓨터 용 소프트웨어가 어떤 것인지 궁금합니다. 내가 쓴 첫 번째 프로그램 중 하나는 for i = 1 to 10 print i next i pseudocode 또는 고급 언어로 양자 광자 칩 (또는 유사한 하드웨어)을 사용하는 비교 가능한 …

76 quantum-computing 

이 질문은 여기에 맞지 않을 수도 있지만, 더 좋은 곳을 찾을 수 없었습니다 (SO에서 폐쇄되었습니다). 나는 컴퓨터 과학에 관한 연구 논문을 이해하기 어렵다는 것을 안다. 물론 과목은 복잡합니다. 그러나 논문을 이해 한 후에는 보통 다른 사람에게 간단한 용어로 말하고 이해하게 할 수 있습니다. 다른 사람이 그 연구에서 무엇을했는지 말해 주면 …

75 soft-question  research-practice 

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

74 reference-request  soft-question  big-list  topology 

일반적으로, 범용 및 실재 양자화 기의 순서를 바꿀 수 없다는 것은 잘 알려져있다. 즉, 일반 논리식 경우ϕ(⋅,⋅)ϕ(⋅,⋅)\phi(\cdot,\cdot) (∀x)(∃y)ϕ(x,y)⇎(∃y)(∀x)ϕ(x,y)(∀x)(∃y)ϕ(x,y)⇎(∃y)(∀x)ϕ(x,y)(\forall x)(\exists y) \phi(x,y) \quad \not\Leftrightarrow \quad (\exists y)(\forall x) \phi(x,y) 반면에 우리는 오른쪽이 왼쪽보다 더 제한적이라는 것을 알고 있습니다. 즉, (∃y)(∀x)ϕ(x,y)⇒(∀x)(∃y)ϕ(x,y)(∃y)(∀x)ϕ(x,y)⇒(∀x)(∃y)ϕ(x,y)(\exists y)(\forall x) \phi(x,y) \Rightarrow (\forall x)(\exists y) \phi(x,y) 입니다. 이 질문은 …

73 lo.logic  big-picture  proof-techniques 

이전 질문에 대한 답으로, “가우시안” 제거가 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