이론적 컴퓨터 과학에는 속성 테스트, 커뮤니케이션 복잡성, PAC 학습 및 기타 여러 연구 분야를 다루는 실제 분석 응용 프로그램이 많이 있습니다. 그러나 복잡한 분석에 의존하는 TCS의 결과는 생각할 수 없습니다 (복소수가 모델에서 본질적인 양자 컴퓨팅 외부). 복잡한 분석을 사용하는 고전적인 TCS 결과의 예가 있습니까?
컴퓨터 과학에는 인기있는 과학 서적이 없다는 평판이 있습니다. 물론 그것은 사실이 아닙니다! ( 모든 사람이 읽어야 할 책? , 모든 사람이 읽어야하는 논문? , 모두가 어떤 비디오를보아야합니까? 좋아하는 인기 수학 책 에서 영감을 얻은 목록과 같은 정신으로 ) CS 이론을 고무시키는 인기 과학 책이나 자료는 무엇입니까? 책이 좋은 이유에 대해 …
이것은 모든 NP 언어에 대한 회원의 증인 규모가 이미 알려져 있습니까? 라는 질문과 관련이 있습니다 . 일부 자연적인 (완전한) 문제에는 선형 길이 감시가 있습니다 : S A T에 대한 만족스러운 할당 , H A M P A T H에 대한 일련의 정점 등.N PNP\mathsf{NP}에스TSATSATHM피THHAMPATHHAMPATH 복잡성 클래스 " 는 선형 길이 …
양자 계산을위한 잡음 임계 값이 존재한다는 것이 잘 확립되어 있으며,이 임계 값 아래에서, 계산은 한정된 확률 (대다수의 계산 오버 헤드로)로 정확한 결과를 산출하는 방식으로 인코딩 될 수있다. 이 임계 값은 사용 된 인코딩과 노이즈의 정확한 특성에 따라 달라지며 시뮬레이션의 결과로 인해 종종 임계치가 적대적인 노이즈 모델에서 입증 할 수있는 것보다 …
편집 (v2) : 문제에 대해 알고있는 섹션을 추가했습니다. 편집 (v3) : 끝에 임계 값 정도에 대한 토론을 추가했습니다. 의문 이 질문은 주로 참조 요청입니다. 나는 그 문제에 대해 많이 모른다. 이 문제에 대한 이전 연구가 있었는지 알고 싶습니다. 그렇다면 누군가이 문제에 대해 이야기하는 논문을 알려줄 수 있습니까? 또한 대략 의 …
편집 : 먼저 제약 조건을 잘못 정식했습니다 (2). 이제 수정되었습니다. 또한 더 많은 정보와 예제를 추가했습니다. 다른 알고리즘 문제를 연구하는 일부 동료들과 함께 우리는 다음과 같은 흥미로운 문제로 문제를 줄일 수 있었지만 복잡성 문제를 해결할 수는 없었습니다. 문제는 다음과 같습니다. 예 : 정수 nnn 정수 k<nk<nk<n 및 세트 S={{s1,t1},…,{sn,tn}}S={{s1,t1},…,{sn,tn}}S=\{\{s_1,t_1\},\ldots,\{s_n,t_n\}\} 의 …
에서는 "양자 계산을위한 요구" , 바틀과 샌더 다음 표에 연속 가변 양자 계산을위한 공지 된 결과들을 요약한다 : 내 질문은 세 가지입니다. 9 년 후 마지막 셀을 채울 수 있습니까? "Universal for BQP"라는 제목으로 열을 추가하면 나머지 열은 어떻게 보입니까? Aaronson과 Arkhipov의 95 페이지 걸작을 새로운 행으로 요약 할 수 …
감안 서브 세트 의 .nnnS1,…,SnS1,…,SnS_1,\ldots,S_n{1,…,d}{1,…,d}\{1,\ldots,d\} 와 함께 세트가 있는지 확인하십시오 . (그렇다면 예를 찾으십시오. 그렇지 않다면 간단히 "아니오"라고 말하십시오)Si,SjSi,SjS_i,S_jSi⊊SjSi⊊SjS_i \subsetneq S_j 이 문제에 대한 사소한 해결책은 모든 세트의 쌍을 거치고 시간 O (d) 의 쌍에 대한 포함을 확인 O(d)O(d)O(d)하므로 전체 런타임은 O(n2d)O(n2d)O(n^2 d) 입니다. 이 문제를 더 빨리 해결할 수 …
안정적인 결혼 문제 : http://en.wikipedia.org/wiki/Stable_marriage_problem SMP 인스턴스의 경우 Gale-Shapley 알고리즘으로 반환 된 것과는 다른 많은 안정적인 결혼이 가능하다는 것을 알고 있습니다. 그러나 우리가 남자, 여자의 수 주면 , 우리는 다음과 같은 질문을합니다. 그러한 숫자의 상한은 무엇입니까?엔nn
첫 SAT 솔버를 만들고 싶습니다. 저는 SAT 경쟁과 SAT 회의를 알고 있으며이 주제에 관한 논문이 너무 많습니다. 나는 초보자, 압도적 인 초보자입니다. 어디서부터 시작해야합니까? 결국 저는 최첨단을 추진하고 싶습니다. 시작하는 방법에 대한 전문가의 조언이 필요하므로 비 필수 항목에 너무 많은 시간을 낭비하지 않습니다. 많은 감사합니다.
타입과 프로그래밍 언어 는 서브 타이핑에 상당히 중점을두고 있지만, 아시다시피 서브 타이핑은 특히 기본적으로 보이지는 않습니다. 하위 유형 지정은 종속 유형보다 더 많은 것을 제공합니까? 종속 유형 작업은 더 많은 작업이 필요하므로 하위 유형이 실제로 유용한 이유를 이해할 수 있습니다. 그러나 프로그래밍 언어의 기초가 아닌 수학의 기초로 유형 이론에 더 …
재구성 추측에 따르면 (최소한 3 개의 정점이있는) 그래프는 정점 삭제 된 하위 그래프에 의해 고유하게 결정됩니다. 이 추측은 50 년이되었습니다. 관련 문헌을 검색 한 결과 다음과 같은 클래스의 그래프가 재구성 가능한 것으로 알려져 있습니다. 나무 연결이 끊어진 그래프, 보수가 끊어진 그래프 정규 그래프 최대 외부 평면 그래프 최대 평면 그래프 …
Coppersmith–Winograd 알고리즘은 2 개의 제곱 행렬 을 곱하기위한 가장 빠른 속도로 알려진 알고리즘입니다 . 알고리즘의 실행 시간은 지금까지 가장 잘 알려진 O ( n 2.376 ) 입니다. 이 알고리즘의 공간 복잡성은 무엇입니까? 그것은에 Θ ( N 2 ) ?n×nn×nn \times nO(n2.376)O(n2.376)O(n^{2.376})Θ(n2)Θ(n2)\Theta(n^2)