이론적 컴퓨터 과학에는 속성 테스트, 커뮤니케이션 복잡성, PAC 학습 및 기타 여러 연구 분야를 다루는 실제 분석 응용 프로그램이 많이 있습니다. 그러나 복잡한 분석에 의존하는 TCS의 결과는 생각할 수 없습니다 (복소수가 모델에서 본질적인 양자 컴퓨팅 외부). 복잡한 분석을 사용하는 고전적인 TCS 결과의 예가 있습니까?
얽힘은 종종 양자 알고리즘을 양자를 만드는 핵심 요소로 유지합니다. 이것은 양자 상태 물리학의 개념을 숨겨진 상태 확률 모델로 파괴하는 Bell 상태로 거슬러 올라갑니다. 양자 정보 이론 (내 다소 약한 이해에서)에서 얽힘은 특정 종류의 코딩을 수행하는 능력을 제한하는 구체적인 자원으로도 사용될 수 있습니다. 그러나 다른 대화 (최근에 양자 방법으로 일하는 물리학 …
나는 처음에 교회 가 그의 논리 논리 논문 의 일부로 미적분학을 제안했다는 것을 읽었습니다. 그러나 Kleene은 그의 "시스템"이 일관성이 없다는 것을 증명 한 후, 교회는 "유효한 계산 능력"에 대한 그의 작품과 관련된 것들을 추출하고 그의 논리에 대한 그의 이전의 작품을 포기했습니다.λλ\lambda 그래서 내가 이해하는 것처럼 시스템과 그 표기법은 논리와 관련 …
나는 생물 학자들에게 흥미롭고 유용한 목표를 가지고 계산 복잡성의 결과 를 이론적 생물학, 특히 진화 및 생태학 에 도입하기 위해 노력하고 있습니다. 내가 직면 한 가장 큰 어려움 중 하나는 하한에 대한 점근 적 최악의 분석의 유용성을 정당화하는 것입니다. 과학 관객에게 하한과 점근 적 최악의 분석을 정당화하는 기사 길이 참조가 …
내 이해를 확인하기 위해 계산의 에너지 요구 사항에 대한 생각을 나누고 싶습니다. 이것은 이전 질문에 대한 후속 조치 이며 보존법에 관한 Vinay의 질문 과 관련이있을 수 있습니다 . 열역학적 관점에서 볼 때 수평 라인을 따라 무게를 움직이는 것과 유사하게 계산을 실행할 수 있다고 생각합니다. 유일한 에너지 손실은 마찰력으로 인한 것입니다. …
나는 " P 대 NP 공식적으로 독립인가? "를 읽고 있었지만 당황했습니다. 라는 복잡한 이론이 널리 알려져 있습니다. 내 질문은 이것이 가능하지 않은 경우 ( )에 관한 것입니다. ( 는 독립적 이지만 이것이 어떻게 증명되는지에 대한 추가 정보는 없다고 가정합니다.) Z F C P ≠ N P Z F CP ≠ …
최근에 NP-hard 문제에 대한 근사 알고리즘을 조사하기 시작했으며 이론적 인 이유를 연구하고 있습니다. (질문은 염증성이 아닙니다. 단지 궁금합니다.) PCP 정리와 근사 경도 사이의 연결, UGC 추측, Goeman-Williamson 근사 알고리즘 등 근사 알고리즘에 대한 연구에서 실제로 아름다운 이론이 나왔습니다. Traveling Salesman, Asymmetric Traveling Salesman 및 기타 변형, 메커니즘 설계의 다양한 문제 …
P에서 알고리즘 병렬화에 대해 알려진 것에 대해 광범위하게 궁금합니다.이 주제에 대한 다음 위키 백과 기사를 찾았습니다. http://en.wikipedia.org/wiki/NC_%28complexity%29 이 기사에는 다음 문장이 포함되어 있습니다. NC = P인지 여부는 알 수 없지만 대부분의 연구자들은 이것이 거짓이라고 생각합니다. 이는 아마도 "내재적으로 순차적"이며 병렬 처리를 사용하여 크게 가속화 될 수없는 다루기 어려운 문제가 있음을 …
토론 : 나는 최근 의사 소통의 복잡성에서 다양한 것들을 배우는 데 개인적인 시간을 보냈습니다. 예를 들어, 나는 Arora / Barak의 관련 장에 익숙해졌고, 논문을 읽기 시작했고, Kushilevitz / Nisan이 책을 주문했습니다. 직관적으로 통신 복잡성과 계산 복잡성을 대조하고 싶습니다. 특히, 나는 계산 복잡도가 (다시 할 수 있습니다 일부 복잡성 클래스로 계산 …
분산 컴퓨팅에서 합의 문제는 집중적 인 연구를 이끌어 낸 중심 주제 중 하나 인 것 같습니다. 특히 "하나의 결함있는 프로세스에 대한 분산 합의의 불가능 성"이라는 논문은 2001 PODC 영향력 논문상을 받았습니다 . 컨센서스 문제가 왜 그렇게 중요한가? 이론과 실제에서 합의를 통해 무엇을 달성 할 수 있습니까? 어떤 언급이나 설명도 도움이 …
가역 컴퓨팅 은 열역학적으로 가역적 인 작업 만 허용하는 계산 모델입니다. Landauer의 원칙에 따르면 약간의 정보를 지우면 열 줄 (joule)이다 전환 기능 출력이 규칙하지 일대일 (예를 들어, 부울 AND 및 OR 연산자). 양자 계산에서 허용 된 연산이 단위 행렬로 표현되기 때문에 양자 계산은 본질적으로 가역적이라는 것이 잘 알려져있다.k Tln( 2 …
Anthony Aaby의 시맨틱 에 대한 "프로그래밍 언어 소개" 섹션에서 다음을 관찰합니다. 프로그래밍 언어의 의미론에서 대부분의 작업은 명령형 프로그램이있는 명령형 프로그램을 구성하고 이해하려고 할 때 발생하는 문제에 의해 동기가 부여됩니다. 대입 명령은 변수에 값을 재 할당하기 때문에 대입은 프로그램의 먼 부분에 예기치 않은 영향을 줄 수 있습니다. 이것은 부작용을 허용하는 것이 …