«big-list» 태그된 질문

답변이 큰 항목 목록 (도서, 정리, 소프트웨어 등) 인 질문

6
오카 사키 이후 순수하게 기능적인 데이터 구조의 새로운 기능
크리스 오카 사키의 1998 년 책 "순전히 기능적인 데이터 구조"이후로, 나는 전혀 새로운 흥미로운 순전히 기능적인 데이터 구조가 나타나는 것을 보지 못했습니다. 나는 몇 가지 이름을 지정할 수 있습니다. IntMap (1998 년 오카 사키가 발명했지만 그 책에는 존재하지 않음) 핑거 트리 (및 모노 이드에 대한 일반화) "불변 유형"또는 "일반 대수 …
30
모든 사람이 읽어야 할 서류는 무엇입니까?
이 질문은 MathOverflow와 비슷한 질문 (/에서 영감을 얻음) / (부끄럽게 도난당한) 이지만 여기서 답변이 다를 것으로 예상합니다. 우리는 모두 각자의 이론 영역에서 좋아하는 논문을 가지고 있습니다. 가끔씩, 모든 사람들이 공유하기를 원하는 너무나 놀랍도록 (예를 들어, 중요하고, 설득력 있고, 믿을 수 없을 정도로 간단한) 종이를 발견합니다. 이 논문들을 여기에 나열하십시오! 그들은하지 …
30
책의 알고리즘.
폴 에르 도스는 하나님이 각 수학 정리의 가장 우아한 증거를 유지하는 "책"에 대해 이야기했습니다. 이것은 심지어 책 (내가 지금 제 4 판에 있다고 믿는다) : 책의 증거에서 영감을 얻었습니다 . 하나님이 비슷한 알고리즘 책을 가지고 있다면 어떤 알고리즘이 후보라고 생각합니까? 가능한 경우 클릭 가능한 참조 및 작동하는 핵심 통찰력을 제공하십시오. …
30
어떤 책을 읽어야합니까?
[ 타임 라인 ] 이 질문은 모든 사람이 읽어야 할 서류 와 모든 비디오를 시청해야하는 것과 같은 정신을 가지고 있습니다. 이론적 컴퓨터 과학의 다른 영역에서 놀라운 책을 요구합니다. 이 책은 수학을 중심으로 할 수 있지만 컴퓨터 과학자에게는 유용 할 수 있습니다. 예 : 개연성 불평등 논리 그래프 이론 조합론 알고리즘 …
30
이론적 인 컴퓨터 과학의 주요 미해결 문제?
Wikipedia에는 "컴퓨터 과학의 미해결 문제" 아래에 두 가지 문제 만 나열 되어 있습니다 . P = NP? 단방향 기능의 존재 이 목록에 추가해야 할 다른 주요 문제는 무엇입니까? 규칙 : 답변 당 하나의 문제 만 간단한 설명 및 관련 링크 제공
30
모두가 어떤 비디오를보아야합니까?
Stanford University는 이제 동적 채널 부터 양자 얽힘에 이르기까지 모든 과정의 HD 비디오에 무료로 액세스 할 수 있는 Youtube 채널을 보유하고 있습니다. 더 많은 회의와 워크샵에서 대화 내용을 비디오로 녹화하고 있습니다. 모든 사람들이 알아야 할 온라인 비디오는 무엇입니까? 나는 주로 설명적인 프레젠테이션에 대한 몇 가지 답변으로 이것을 뿌릴 것이지만, 내가 …
28
P와 NPC의 문제
팩토링 및 그래프 동형화는 P에서 또는 NP-Complete로 알려지지 않은 NP의 문제입니다. 이 속성을 공유하는 다른 (충분히 다른) 자연 문제는 무엇입니까? Ladner 정리 증명에서 직접 나오는 인공적인 예는 포함되지 않습니다. "합리적인"가설 만 가정 할 때 이러한 예 중 NP- 중간에 해당되는 사례가 있습니까?
15
모든 강의 노트를 읽어야합니까?
다음과 같은 구성표로 몇 가지 질문이 있습니다. 모든 사람이 읽어야 할 서류 모든 사람이 읽어야 할 책 초안을 온라인으로 볼 수있는 최근 TCS 서적은 무엇입니까 모두가 볼 수있는 동영상 나는 또 다른 것을 게시하는 것을 꺼려했지만 알고리즘에 대한 Jeff Erickson의 강의 노트가 마음을 바꿨습니다. 나는 생각했다 : 오 마이! 이 …
17
추상화 가격의 예?
이론적 인 컴퓨터 과학은 "추상화의 가격"에 대한 몇 가지 예를 제공했습니다. 가장 눈에 띄는 두 가지는 가우시안 제거 및 정렬입니다. 즉: 가우시안 제거는 연산을 전체적으로 행과 열로 제한 하는 경우 결정자를 계산하는 데 최적 인 것으로 알려져 있습니다 [1]. 분명히 Strassen의 알고리즘은 이러한 제한을 따르지 않으며 가우시안 제거보다 점진적으로 좋습니다. …
30
초안을 온라인으로 볼 수있는 최근 TCS 서적은 무엇입니까?
모든 사람이 읽어야 할 책 게시물을 읽은 후 온라인에서 초안을 볼 수있는 최신 책이 있음을 알게되었습니다. 예를 들어, 위 게시물 의 Approximation Algorithms 항목 에는 근사 알고리즘 설계 라는 제목 의 2011 책 (아직 출판되지 않음)이 인용되어 있습니다 . 최근 작품을 아는 것이 TCS 트렌드를 맛보고 싶은 사람에게는 정말 유용하다고 …
5
TCS 회의 및 워크샵 목록
가능한 한 많은 TCS 관련 컨퍼런스 및 워크샵 목록을 작성하는 데 도움을 요청하고 싶습니다. 이 작업을 수행하는 주된 동기는 더 많은 이론적 장소에 대한 블로그 범위를 계획하는 것입니다. 참석 한 이벤트에 대한 간략한 또는 심도있는 블로그 항목을 기꺼이 작성하고자하는 해당 이벤트에 참석하는 통신원을 찾으십시오. 그 외에도, 이와 같은 목록이 모든 …
30
재미있는 TCS 관련 논문 등?
가장 재미있는 TCS 관련 출판물은 무엇입니까? 재미 있도록 의도 된 것들만 포함하십시오. (복잡성 이론에 관한 짧은 농담 모음이 아닌) 지능적으로 유머러스하게 제작 된 작품이 선호됩니다. 유머러스 한 (실제로는 유머가 아닌 귀여운) 제목의 작품도 허용됩니다. 답변 당 하나의 작업 만 수행하면 "최고의"작업이 맨 위에 표시됩니다.
20
TCS에서 근본적인 역할을하는 "관련되지 않은"수학의 예?
일반적으로 컴퓨터 과학에 적용되는 것으로 간주되지 않은 수학 정리가 컴퓨터 과학의 결과를 입증하는 데 사용 된 예를 나열하십시오. 가장 좋은 예는 연결이 명확하지 않은 것이지만 일단 발견되면 분명히 "올바른 방법"입니다. 이것은 고전 수학에 대한 TCS의 적용 이라는 질문의 반대 방향입니다 . 예를 들어, 다변량 미적분학의 Green 's Theorem을 사용하여 격리 …
9
구현하기에는 너무 복잡한 강력한 알고리즘
구현하기에는 너무 복잡한 합법적 인 유틸리티 알고리즘은 무엇입니까? 명확하게하자 : 나는 현재 asymptotic 최적 행렬 곱셈 알고리즘 (Coppersmith-Winograd)과 같은 알고리즘을 찾고 있지 않지만 구현하기에는 합리적이지만 실제로는 쓸모없는 상수를 가지고 있습니다. 실용적인 가치를 가질 수는 있지만 구현이 불가능하거나 매우 인공적인 환경에서만 구현되거나 현저히 특수한 용도로만 구현 될 수있는 코딩이 어려운 알고리즘을 …
13
이론적 컴퓨터 과학에서 대수적 구조의 사용
저는 소프트웨어 전문가이며 개인 연구를위한 대수 구조에 대한 설문 조사를 작성하고 있으며 이러한 구조가 이론적 인 컴퓨터 과학 (및 컴퓨터 과학의 다른 하위 분야)에서 어떻게 사용되는지에 대한 예를 만들려고합니다. . 그룹 이론 하에서 나는 공식 언어에 대한 구문 모노 이드와 병렬 / 동시 컴퓨팅에 대한 트레이스 및 히스토리 모노 이드를 …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.