이론 컴퓨터 과학 big-list

12

좀 더 수학적 배경에서 나온 코드 작성법을 배우지 못했습니다. 나는 TCS에서 박사 학위를 시작하고 있으며 많은 사람들이 프로그래밍에 대해 (그리고 일반적으로 컴퓨터에 대해) 거의 알지 못하는 것에 놀랐습니다. 의사 코드로 알고리즘을 작성할 수는 있지만 실제로 프로그래밍 언어를 모릅니다. 언젠가 내 작업에 알고리즘을 구현해야한다고 생각할 수 있지만이 순간을 기다릴 수 있습니까? …

66 soft-question big-list advice-request career

3

논문은 어떻게 추천합니까?

아래 업데이트 우리는 모두 동료 검토의 중요한 중요성을 알고 있습니다. 품질 관리 및 연구에 대한 피드백의 주요 형태입니다. 그러나 초기 단계의 연구원 (나 같은)에게는 때때로 혼란스러운 시스템 / 프로세스 일 수 있습니다. 따라서 과학적 심판 과정에 대한 지침이 몇 가지있다. 컴퓨터 과학의 두 가지 (매우 다른) 예제 ( Parberry의이 1994 …

62 soft-question big-list paper-review

11

이론적 컴퓨터 과학에 대한 일반적인 거짓 신념

08/12/08에 편집 : 더 많은 사람들이 자신의 의견을 공유 할 수 있도록 질문을 수정하려고합니다. 우리는 당신의 공헌이 필요합니다! 이 게시물은 MO의 한 주제에서 영감을 얻었습니다 . 수학에 대한 일반적인 거짓 신념의 예 . 큰 목록은 때때로 그 품질을 통제하기 어려운 많은 답변을 생성하지만 MO 관련 게시물의 성공 후 나는 TCS에 …

62 big-list examples

30

더 나은 TCS 회의를위한 작은 단계?

종종 TCS 회의에 참여할 때 회의 주최자가 처리했으면하는 세부 사항이 거의 없습니다. 그리고 회의를 조직 할 때 이미 잊어 버렸습니다. 따라서 질문 : 우리가 쉽게 TCS 회의를 개선하기 위해 취할 수있는 작은 어떤 단계 ? 이 질문이 컨퍼런스를 조직 할 때마다 다시 한 번 확인하여 동일한 실수를 반복해서 반복하지 않도록하는 …

61 soft-question big-list research-practice conferences

12

P에서 NP-hard까지 매개 변수화 된 복잡성

나는 매개 변수화 된 문제의 예를 찾고 있는데 , 여기서 문제의 경도는 에서 비단 조적 이다 . 내 경험상 대부분의 문제에는 단일 위상 전이가 있습니다. 예를 들어 -SAT에는 (문제가 P 인 경우)에서 (여기서 문제는 NP- 완료입니다). 증가함에 따라 양방향에서 상 전환 이 쉬운 문제에 관심이 있습니다 .k∈Nk∈Nk \in \mathbb{N}k k …

60 cc.complexity-theory np-hardness big-list phase-transition

17

고전 수학에 TCS를 적용 하시겠습니까?

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

60 reference-request big-list

17

지수 / 정수가 큰 다항식 알고리즘

(입력 길이 + 출력 길이)에서 다항식 시간으로 실행되지만 동일한 측정에서 점근 적 실행 시간이 엄청나게 지수 / 일정한 (적어도, 실행 시간에서 입증 된 상한이있는 곳 ) 합리적인 알고리즘을 알고 있습니까? 그런 방법)?

59 ds.algorithms big-list

13

TCS의 국경에서 열린 문제

스레드에서 이론적 컴퓨터 과학에서 중요한 미해결 문제? Iddo Tzameret는 다음과 같이 훌륭한 의견을 제시했습니다. 우리는 와 같은 근본적인 문제로 간주되는 P≠NPP≠NP P\neq NP 주요 개방 문제와 해결된다면 기술적 혁신을 구성 할 것이지만 반드시 A와 같은 근본적인 것은 아닌 주요 개방 문제를 구별해야한다고 생각 합니다 AC0(6)AC0(6) AC^0(6) 회로 (즉, 게이트). 따라서 …

58 big-list open-problem

5

P 또는 BPP에 문제가있는 주요 이유

최근 물리학 자와 이야기 할 때, 경험상 기하 급수적으로 시간이 걸리는 것처럼 보이는 문제가 P 나 BPP에있는 것으로 판명 될 때 감소가 발생하는 "주요 이유"는 일반적으로 식별 될 수 있다고 주장했다. --- 거의 항상, 그 이유는 12 명 이하의 "정상 용의자"목록에 속합니다 (예 : 동적 프로그래밍, 선형 대수 ...). 그러나 …

56 big-list big-picture

16

논문 작성에 어떤 도구를 사용하십니까?

논문 작성에 어떤 도구를 사용하십니까? 내가 가진 약간의 경험으로부터, 이론가들은 실제로 창조적 인 것 외에도 논문을 쓰고 정제하는데 많은 시간을 소비합니다. 즉, 자신의 작업을 다른 사람들에게 알리는 것입니다. 논문이 그렇게하는 올바른 방법은 아니지만 다른 토론을 위해 남겨 두어야 할 수도 있습니다. 어쨌든 가능한 한 좋은 소프트웨어 도구를 사용하여 결과를 작성하는 …

55 soft-question big-list research-practice writing

13

정보 이론은 깔끔한 조합 진술을 증명하는 데 사용 되었습니까?

정보 이론이 간단한 방법으로 깔끔한 조합 진술을 입증하는 데 사용되는 가장 좋아하는 예는 무엇입니까? 나는에, 예를 들어, 로컬 복호 코드에 대한 경계를 낮추기 위해 관련 생각할 수있는 몇 가지 예 이 논문 : 바이너리 문자열의 무리에 대한 가정 길이 n 의 x m 은 모든 i 에 대해, k i에 …

54 co.combinatorics big-list it.information-theory

13

이론적 분석과 현실 사이에 어떤 알고리즘이 큰 차이가 있습니까?

알고리즘의 효율성을 분석하는 두 가지 방법은 런타임에 점근 적 상한을 설정하고 그것을 실행하고 실험 데이터를 수집합니다. (1)과 (2) 사이에 상당한 간격 이있는 경우가 있는지 궁금합니다 . 이것은 (a) 실험 데이터가 더 엄격한 점근선을 제안하거나 (b) 알고리즘 X와 Y가있어 이론적 분석에서 X가 Y보다 훨씬 우수하고 실험 데이터가 Y보다 훨씬 우수하다는 것을 …

52 ds.algorithms big-list ds.data-structures

2

순전히 기능적인 데이터 구조에서 눈에 띄는 질문은 무엇입니까?

이 질문은 1998 년 오카 사키의 책이 출판 된 이후 PFDS의 새로운 기능에 대한 또 다른 질문에서 영감을 얻었습니다 . 두 가지 질문으로 시작하겠습니다. 해시 테이블의 속도에 접근하는 순수 기능 집합 데이터 구조가 있습니까? 시도는 아직 없습니다. O (1)가 추가 된 순전히 기능적인 핑거 트리가 있습니까? 지금까지 가장 좋은 것은 …

51 big-list ds.data-structures functional-programming

21

이론적 인 컴퓨터 과학에 대한 저녁 식사 설명?

나는 종종 이론적 인 컴퓨터 과학자가하는 일을 묻는다. 이 질문에 대한 좋은 답변을 얻는 것이 좋을 것입니다. 나는 전문 용어로 되돌아가는 경향이 있으며 사람들의 눈은 보통이 시점에서 눈부신 다. 컴퓨터 과학자가 아닌 사람들이 이해할 수있는 용어로 이론적 인 컴퓨터 과학자는 무엇을 하는가? 좋은 답변은 모호하거나 들리지 않는 정신적 견고하고 정확해야합니다. …

51 big-list soft-question

18

가장 기억에 남는 CS 논문 제목

MO에서 유익한 질문을 한 후에 CS에서 주목할만한 종이 이름을 논의하는 것이 가치가 있다고 생각했습니다. 우리 중 대부분은 흥미로운 제목의 논문을 읽거나 (또는 적어도 회의에서 논문 목록을 검토 할 때마다 읽거나) 열악하게 읽는 것을 피할 수 있다는 점이 분명합니다. 명명 된 기사. 제목 (필요하지는 않지만 내용)으로 인해 어떤 논문을 기억하십니까? 내가 …

49 soft-question big-list

«big-list» 태그된 질문