이론 컴퓨터 과학

이 질문의 목적은 컴퓨터의 체계적인 사용이 도움이 된 이론적 인 컴퓨터 과학으로부터 사례를 수집하는 것입니다. 정리로 이어지는 추측을 세우는 데 추측 또는 증거 접근을 위조하는 행위 증거의 구성 / 확인 (일부). 구체적인 예가 있다면 어떻게했는지 설명하십시오. 아마도 이것은 다른 사람들이 일상적인 연구에서 컴퓨터를 더 효과적으로 사용하는 데 도움이 될 것입니다 …

55 proofs  survey  examples 

기하 급수적으로 많은 것들을 계산하는 것과 관련된 입력 문제가 있지만 (입력의 크기와 관련하여) 놀라운 다항식 시간의 정확한 결정 론적 알고리즘이 있습니다. 예를 들면 다음과 같습니다. 홀로 그래픽 알고리즘의 작동 방식에 대한 기초 인 평면 그래프 ( FKT 알고리즘 ) 에서 완벽한 매칭을 계산 합니다. (를 통해 그래프에서 스패닝 트리를 계산 …

54 cc.complexity-theory  counting-complexity  big-picture 

에서 서술 복잡성 , 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 

이 사이트의 첫 번째 질문입니다. 나는 계산 이론에 대한 석사 과정을 밟고 있습니다. 10 세 어린이에게 P = NP 문제를 어떻게 설명하고 왜 그에 대한 금전적 보상이 있습니까? 당신의 테이크? 머리가 명확 해지면 질문을 업데이트하겠습니다.

54 cc.complexity-theory  soft-question  teaching  p-vs-np 

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

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

많은 최고 수준의 컴퓨터 과학 연구원 및 연구 그룹)은 활발한 블로그를 운영하여 저자의 관심 분야에 대한 최신 연구에 대한 최신 정보를 제공합니다. 대부분의 경우 블로그 게시물은 공식 기술 문서보다 이해하기 쉽습니다. 대부분의 기술적 인 세부 사항은 생략하고 직감 (일반적으로 논문은 생략)을 강조하기 때문입니다. 따라서 다른 권장 리소스 목록과 같은 방식으로 …

53 soft-question 

과 G 2 가 정점 세트 { 1 , … , n } 에 대한 두 개의 무 방향 그래프 라고 가정 합니다. 순열있다 경우만 그래프는 동형 Π 같은 그 G 1 = Π ( G 2 ) ,보다 형식적으로, 순열이 경우 Π 되도록 ( 난 , j는 ) 의 …

53 cc.complexity-theory  graph-isomorphism  pcp 

박사 순수한 수학에 있으며 이론적 CS에 대해 많이 알지 못한다는 것을 인정합니다. 그러나 나는 나의 직업을위한 비 학술적 옵션을 탐구하고 기계 학습에 자신을 소개하기 시작했다. 본질적으로 제 질문은 연구원들이 어떤 종류의 답변을 원합니까? 주제에 대한 간단한 검색에서 찾은 내용은 다음과 같습니다. 간단한 신경망을 구현하는 알고리즘은 매우 간단합니다. 통계 이론과 마찬가지로 …

52 machine-learning 

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

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

고려 서브 세트의 분리 된 가족을 {1, 2, ..., N}, .tttF1,F2,…FtF1,F2,…Ft{\cal F}_1,{\cal F_2},\dots {\cal F_t} 한다고 가정 (*) 모든 및 모든 및 에 대해 를 포함하는 가 있습니다 .i<j<ki<j<ki \lt j \lt kR∈FiR∈FiR \in {\cal F}_iT∈FkT∈FkT \in {\cal F}_kS∈FjS∈FjS \in {\cal F}_jR∩TR∩TR \cap T 기본적인 질문은 다음과 같습니다. t는 얼마나 …

52 co.combinatorics  cg.comp-geom  open-problem  linear-programming 

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

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

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

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

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

51 big-list  soft-question 

그의 유명한 논문 "Conjugate Coding"(1970 년경에 쓰여진)에서 Stephen Wiesner는 발행 은행이 거대한 임의의 숫자 테이블에 액세스 할 수 있고 지폐를 가져올 수 있다고 가정 할 때 무조건 위조가 불가능한 양자 돈 계획을 제안했습니다. 확인을 위해 은행으로 돌아갑니다. WIESNER의 방식에서는 각각의 지폐는 고전 "일련 번호"로 구성 양자 돈 상태와 함께 | …

50 quantum-computing 

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

49 soft-question  big-list