이론적 물리학의 결과에 의해 이론적 컴퓨터 과학의 많은 서브 필드가 크게 영향을받은 것으로 보인다. 이것의 두 가지 예는 양자 계산 통계 학적 역학 결과는 복잡성 분석 / 휴리스틱 알고리즘에 사용됩니다. 내 질문은 내가 놓친 주요 영역이 있습니까? 저의 동기는 매우 간단합니다. 저는 양자 정보를 통해 TCS에 온 이론 물리학 자이며 …
계산 복잡도에는 계산 문제의 시간 또는 공간 복잡성에 대한 연구가 포함됩니다. 모바일 컴퓨팅의 관점에서 볼 때 에너지는 매우 중요한 계산 자원입니다. 알고리즘을 실행하는 동안 소비되는 에너지를 설명하는 튜링 머신의 적응에 대해 잘 연구되어 있습니까? 또한 계산 문제에 대한 에너지 복잡성 등급이 설정되어 있습니까? 참조가 감사합니다.
이 질문은 컴퓨터 과학에 대한 PCAST 발표 후 Jeannette Wing에게 요청되었습니다 . "물리적 관점에서 볼 때 최대한 많은 정보가 있을까요?"(이론은 "정보 란 무엇인가?" "정보 란 무엇인가?" 이 문맥에서 "볼륨"이 무엇을 의미하는지 알아 내야합니까? 아마도 정보의 최대 밀도가 더 나은 척도 일 것입니다.
TCS 아마추어로서, 나는 양자 컴퓨팅에 대한 대중적이고 매우 입문적인 자료를 읽고 있습니다. 지금까지 내가 배운 몇 가지 기본 정보는 다음과 같습니다. 양자 컴퓨터는 다항식 시간에 NP- 완전 문제를 해결하는 것으로 알려져 있지 않습니다. "양자 마법 충분하지 않습니다" (베넷 등 1997). : 당신은 문제의 구조를 버리고, 단지의 공간을 고려한다면 에 대한 …
많은 전문가들은 추측이 생각하고 결과에 사용합니다. 내 우려는 복잡성이 추측 에 크게 좌우된다는 것 입니다.PNPP≠NP\mathsf{P} \neq \mathsf{NP}PNPP≠NP\mathsf{P} \neq \mathsf{NP} 그래서 내 질문은 : 만큼으로 쉬트 라쎈의 인용에 표시된대로 추측이 입증되지 않은, / 하나, 자연의 법칙으로 고려해야 할 수 있습니까? 아니면 언젠가 증명되거나 반증 될 수 있는 수학적 추측 으로 취급해야 …
나는 통계 물리학에 휴리스틱 논증이있어 엄격한 증거가 알려지지 않았거나 도달하기 어려운 확률 이론을 초래한다고 들었습니다. 그러한 현상의 간단한 장난감 예는 무엇입니까? 대답이 통계 물리학에 거의 배경이 없다고 가정하면 이러한 신비한 휴리스틱이 무엇이며 어떻게 비공식적으로 정당화 될 수 있는지 설명 할 수 있습니다. 또한 누군가는 이러한 휴리스틱을 얼마나 정당화 할 수 …
각 그래프는 1Ω 저항을 나타내는 평면 그래프 G로 모델링 된 전기 네트워크를 고려하십시오. G에서 두 정점 사이 의 정확한 유효 저항을 얼마나 빨리 계산할 수 있습니까? 마찬가지로 1V 배터리를 G의 두 꼭짓점에 연결하면 각 가장자리를 따라 흐르는 정확한 전류를 얼마나 빨리 계산할 수 있습니까? Kirchhoff의 잘 알려진 전압 및 전류 …
내 이해를 확인하기 위해 계산의 에너지 요구 사항에 대한 생각을 나누고 싶습니다. 이것은 이전 질문에 대한 후속 조치 이며 보존법에 관한 Vinay의 질문 과 관련이있을 수 있습니다 . 열역학적 관점에서 볼 때 수평 라인을 따라 무게를 움직이는 것과 유사하게 계산을 실행할 수 있다고 생각합니다. 유일한 에너지 손실은 마찰력으로 인한 것입니다. …
이 질문은 Aadita Mehra가 요청한 DNA 알고리즘 에 대한 질문에 대한 후속 조치입니다 . 이에 대한 의견에서 Joe Fitzsimmons는 다음과 같이 말했습니다. 이를 피하기 위해 시스템의 반경은 질량에 비례하여 확장되어야합니다. 계산 능력은 질량에서 최대 선형으로 확장됩니다. 따라서 기하 급수적 인 기계의 기하 급수적 반지름을 갖습니다. 빛보다 빠르게 신호를 보낼 수 …
단열 양자 계산 (AQC)에서, 문제의 해밀턴 (Hamiltonian) 면 상태에서 최적화 문제에 대한 솔루션을 인코딩한다 . 이 기저 상태로 얻으려면, 당신은 해밀턴과 쉽게 냉각 가능한 초기 (접지) 상태에서 시작 을 향한와 "어닐링"(단열 교란) , 즉,HpHpH_pHiHiH_iHpHpH_p H(s)=sHi+(1−s)HpH(s)=sHi+(1−s)Hp H(s) = s H_i + (1-s) H_p 여기서 입니다. AQC에 대한 세부 사항 : http://arxiv.org/abs/quant-ph/0001106v1s∈[0,1]s∈[0,1]s …
가역 컴퓨팅 은 열역학적으로 가역적 인 작업 만 허용하는 계산 모델입니다. Landauer의 원칙에 따르면 약간의 정보를 지우면 열 줄 (joule)이다 전환 기능 출력이 규칙하지 일대일 (예를 들어, 부울 AND 및 OR 연산자). 양자 계산에서 허용 된 연산이 단위 행렬로 표현되기 때문에 양자 계산은 본질적으로 가역적이라는 것이 잘 알려져있다.k Tln( 2 …
계산 가능한 숫자가 합리적인지 정수인지 알고리즘 적으로 테스트 할 수 있습니까? 즉, 구현 계산 가능한 숫자는 기능을 제공하는 라이브러리 가능할 것이다 isInteger나 isRational? 나는 그것이 불가능하다는 것을 추측하고 있으며, 두 숫자가 같은지 테스트 할 수는 없지만 그것을 증명하는 방법을 알지 못한다는 사실과 관련이 있습니다. 편집합니다 계산 가능한 수는 엑스xx 함수에 …
최근에 나는 아주 흥미로운 이론적 구성을 발견했다. 소위 고델 기계 자체 최적화가 가능한 일반적인 문제 해결사입니다. 반응 환경에 적합합니다. 내가 이해하는 것처럼, 요구 사항은 현재 사용 가능한 하드웨어를 훨씬 뛰어 넘지 만 범용 Turing machine 용 프로그램으로 구현할 수 있습니다. 그래도 많은 세부 정보를 찾을 수 없었습니다. 그러한 기계를 실제로 …
컴퓨터 과학의 놀라운 점 중 하나는 물리적 구현이 어떤 의미에서 "부적절하다"는 것입니다. 사람들은 릴레이, 진공관, 이산 트랜지스터 등과 같은 여러 가지 기판으로 컴퓨터를 성공적으로 구축했습니다. 곧 비선형 광학 재료, 다양한 생체 분자 및 기타 기판으로 Turing-complete 컴퓨터를 만드는 데 성공할 수 있습니다. 원칙적으로 당구 공 컴퓨터 를 구축하는 것이 가능해 …
Quantum-Computing에 관한 출판 된 책, 기사 및 논문을 읽었습니다. 내가 본 모든 자료는 기본 물리에서 추상화에 이르는 양자 게이트를 설명하는 대신 양자 게이트 의 구현 세부 사항에 대해 이야기하지 않으려 고 노력한다는 것을 알았습니다 . 나는 처음으로 나 자신에게 질문했다 : 나는 공식적인 수학 만 관련된 잘못된 영역에서 검색하고 있는가? …