이론 컴퓨터 과학

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

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

이 질문은 MathOverflow와 비슷한 질문 (/에서 영감을 얻음) / (부끄럽게 도난당한) 이지만 여기서 답변이 다를 것으로 예상합니다. 우리는 모두 각자의 이론 영역에서 좋아하는 논문을 가지고 있습니다. 가끔씩, 모든 사람들이 공유하기를 원하는 너무나 놀랍도록 (예를 들어, 중요하고, 설득력 있고, 믿을 수 없을 정도로 간단한) 종이를 발견합니다. 이 논문들을 여기에 나열하십시오! 그들은하지 …

454 big-list  soft-question 

폴 에르 도스는 하나님이 각 수학 정리의 가장 우아한 증거를 유지하는 "책"에 대해 이야기했습니다. 이것은 심지어 책 (내가 지금 제 4 판에 있다고 믿는다) : 책의 증거에서 영감을 얻었습니다 . 하나님이 비슷한 알고리즘 책을 가지고 있다면 어떤 알고리즘이 후보라고 생각합니까? 가능한 경우 클릭 가능한 참조 및 작동하는 핵심 통찰력을 제공하십시오. …

358 ds.algorithms  soft-question  ds.data-structures  big-list 

알고리즘의 중요성을 증명하기 위해 (예 : 이론을하지 않거나 전혀 다른 분야의 학생이나 교수에게), 핵심 알고리즘이 상용, 정부, 또는 널리 사용되는 소프트웨어 / 하드웨어. 다음 기준을 충족시키는 그러한 예를 찾고 있습니다. 알고리즘을 사용하는 소프트웨어 / 하드웨어가 현재 널리 사용되고 있습니다. 예는 구체적이어야합니다. 특정 시스템 및 특정 알고리즘에 대한 참조를 제공하십시오. 예를 …

307 ds.algorithms  big-picture  application-of-theory 

나는 계산을 위해 재미를 위해 계산 이론을 수정 해 왔으며이 질문은 잠시 동안 잔소리가났다. "왜"정확히 결정 론적 및 비결정론 적 유한 오토마타 (DFA / NFA)를 연구 하는가? 그래서 다음은 독백 후에 나왔지만 여전히 'aha'순간에 대한 전반적인 기여를 보지 못한 답변입니다. 그들이 무엇이며 제한이없는 것을 연구하기 위해 왜? 그것들은 이론적 계산의 …

247 fl.formal-languages  automata-theory  big-picture  teaching  dfa 

Norbert Blum은 최근 P - ne NP 라는 38 페이지의 증거 를 게시했습니다 . 맞습니까?P≠NPP≠NPP \ne NP 또한 주제 : 인터넷에서 그 정확성이 논의되는 곳은 어디입니까? 참고 :이 질문 텍스트의 초점은 시간이 지남에 따라 변경되었습니다. 자세한 내용은 질문 의견을 참조하십시오.

232 cc.complexity-theory  np-hardness  complexity-classes 

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

229 reference-request  soft-question  big-list  books 

Wikipedia에는 "컴퓨터 과학의 미해결 문제" 아래에 두 가지 문제 만 나열 되어 있습니다 . P = NP? 단방향 기능의 존재 이 목록에 추가해야 할 다른 주요 문제는 무엇입니까? 규칙 : 답변 당 하나의 문제 만 간단한 설명 및 관련 링크 제공

218 big-list  open-problem 

마리오가 행성의 표면을 걷고 있다고 가정합니다. 그가 알려진 위치에서 정해진 방향으로 미리 정해진 거리를 걷기 시작하면 어디에서 얼마나 빨리 멈출 수 있을까요? 더 형식적으로, 우리는 볼록 폴리 토프의 주어진 가정 3 공간, 기점 의 표면에 , 방향 벡터 (일부 패싯 함유의 평면 )과의 거리 . 마리오 의 어떤면이 내부에서 멈추는 …

140 ds.algorithms  cg.comp-geom 

Stanford University는 이제 동적 채널 부터 양자 얽힘에 이르기까지 모든 과정의 HD 비디오에 무료로 액세스 할 수 있는 Youtube 채널을 보유하고 있습니다. 더 많은 회의와 워크샵에서 대화 내용을 비디오로 녹화하고 있습니다. 모든 사람들이 알아야 할 온라인 비디오는 무엇입니까? 나는 주로 설명적인 프레젠테이션에 대한 몇 가지 답변으로 이것을 뿌릴 것이지만, 내가 …

140 soft-question  big-list 

팩토링 및 그래프 동형화는 P에서 또는 NP-Complete로 알려지지 않은 NP의 문제입니다. 이 속성을 공유하는 다른 (충분히 다른) 자연 문제는 무엇입니까? Ladner 정리 증명에서 직접 나오는 인공적인 예는 포함되지 않습니다. "합리적인"가설 만 가정 할 때 이러한 예 중 NP- 중간에 해당되는 사례가 있습니까?

128 cc.complexity-theory  np-hardness  big-list  np-intermediate 

Daniel Apon의 질문을 읽은 후 , 저는 특히 저와 같은 대학원생들과 대학원생들에게 더 폭 넓고 일반적인 질문을하는 것이 유용 할 수 있다고 생각하기 시작했습니다. 여기 질문이 있습니다. 연구에서 가장 유용한 관행은 무엇입니까? 특정 유형의 조언으로 제한하고 싶지 않으므로 연구 실무에 대한 조언을 환영합니다.

118 soft-question  research-practice  advice-request 

두 문자열의 셔플은 문자를 새 문자열로 산재하여 각 문자열의 문자를 순서대로 유지함으로써 형성됩니다. 예를 들어 및 MISSISSIPPI의 셔플입니다 . 두 개의 동일한 문자열이 섞인 문자열 사각형을 호출하겠습니다 . 예를 들어 and 는 셔플이므로 정사각형 이지만 문자열 은 정사각형이 아닙니다.MISIPPSSISIABCABDCDABCDABCDABCDDCBA 문자열이 정사각형인지 아니면 NP-hard인지 결정하는 빠른 알고리즘이 있습니까? 명백한 동적 프로그래밍 …

117 ds.algorithms  open-problem 

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

113 reference-request  soft-question  big-list 

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

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