엔트로피와 계산의 복잡성

소거 비트가 에너지를 소비해야한다는 것을 보여주는 연구원이 있는데, 이제 계산 복잡도 갖는 알고리즘의 평균 에너지 소비에 대한 연구가 있습니까? 계산 복잡도 F ( n ) 는 평균 에너지 소비와 관련이 있다고 생각 합니다. 여기에서 대답을 얻을 수 있기를 바랍니다.$F(n)$$F(n)$

그렇습니다. 그러나 지금까지의 대부분의 작업 (가장 최근을 제외하고는 아래 참조)은 돌이킬 수없는 계산을 돌이킬 수없는 계산으로 바꾸어 엔트로피 생성을 피하기 위해 집중했습니다. (참고 : 계산 실행에 필요한 에너지 와 계산에 의해 생성 된 엔트로피 와 일반적으로 열 형태로 환경으로 내보내는 데 중요한 차이가 있습니다.)

$kT \ln(2)$

• 베넷, 가역 계산을위한 시간 / 공간 상충 관계 . SICOMP 1989

• 레빈 앤 셔먼 가역적 계산을위한 Bennett의 시공간 트레이드 오프에 대한 참고 사항 . SICOMP 1990.

• Li & Vitanyi. 비가 역적 계산의 가역적 시뮬레이션 . CCC 1996

• Lange, McKenzie 및 Tapp. 가역 공간은 결정 론적 공간과 같습니다 . JCSS 2000.

더 최근에는

Demaine, Lynch, Mirano 및 Tyagi. 에너지 효율적인 알고리즘 , 2016.

부분 가역 알고리즘을 연구했습니다. 즉, 엔트로피를 기꺼이 지불하려는 경우 표준 알고리즘 작업에 대해 위에서 언급 한 되돌릴 수없는 뒤집을 수없는 시뮬레이션을 개선 할 수 있습니다. 가역 컴퓨팅에는 전적으로 연구자 커뮤니티가 있습니다. 가역 컴퓨팅 이제 10 년 회의.

$\ln(2)$

Kolchinsky & Wolpert, 국가의 초기 분포에 대한 소실의 의존성 . J. 통계 기계화 2017 년 ( arXiv 링크 )

(및 그 참조).

우리는 2017 년 8 월 산타페 연구소 (Santa Fe Institute) 에서 워크샵을 주최했습니다 (여기에서 일부 연구원의 이름을보고 관련성에 대한 이야기 ​​제목을 볼 수 있음). 물리학 및 열역학적 계산 복잡성에서 완전히 새로운 질문을 제기합니다.