Memcomputing은 NP 완료 문제를 실제로 해결합니까?


9

나는 과학 "다항식 자원과 집단 상태를 사용하여 다항식 시간에 NP- 완전한 문제를 계산하는 방법"에 실린 기사를 발견 했다.

Memcomputing은 상호 작용하는 메모리 셀 (약간 프로세서)을 사용하여 동일한 물리적 플랫폼에 정보를 저장하고 처리 하는 새로운 비 Turing 패러다임 계산 방식입니다. 최근 에 memcomputing 기계가 비 결정적 Turing 기계와 동일한 계산 능력을 가지고 있다는 것이 수학적으로 입증되었습니다 . 따라서 다항식 시간과 적절한 아키텍처를 사용하여 입력 크기에 따라 다항식으로 만 자라는 리소스를 사용하여 NP- 완전 문제를 해결할 수 있습니다.

(이탤릭체 광산).

내가 주장의 강한 특성상, 비 심각한와 박쥐이 기각 것, 그것이이 과학에 발표되었으며, 저자의 일부에 의해 그 관련 물질에 발표되었다는 사실이 없었다면 자연 물리학 , 의 는 IEEE 저널물리학 검토 E의 그러한 주장은 그들에게 심각한없이 발표하자 않을 것 평판 피어 리뷰 출판물입니다 모두.

사실입니까? 이 사람들이 모델을 사용하여 P- 시간의 NP- 완전 문제를 해결할 수 있습니까?


1
마지막 질문에 대한 답은 물론 아닙니다. P의 정의는 누군가가 멋진 새로운 계산 모델을 발명했기 때문에 변경되지 않았습니다.
Emil Jeřábek

@ EmilJeřábek은 새로운 계산 모델을 발명 한 것이 아니라 NP와 동일하다고 주장했습니다.
Alexander S King

3
무언가가 섞여 있습니다. 모델이 P와 동일하다는 것을 증명했다면 이는 P = NP임을 의미합니다.
Sasho Nikolov

이 논문의 요약은 다음과 같은 진술을 포함하고있다 : "최근에 memcomputing machine이 비결정론 적 Turing machine과 같은 계산 능력을 가지고 있다는 것이 수학적으로 입증되었다." 이것은 두 모델이 동일한 알고리즘 문제를 해결할 수 있음을 의미합니다. 다항식 시간 복잡도가 다시 다항식 시간 복잡도로 변환된다는 의미는 아닙니다.
Gamow

답변:


9

나는 이것이 주석에서 충분히 대답되었다고 생각하므로 모든 것을 요약하면됩니다.

  • 저자는 결정 론적 및 비결정론 적 Turing 기계에 관한 진술 인 P = NP를 주장하지 않습니다.

  • 저자는 비 결정적 튜링 머신과 동등한 성능을 보인다고 주장하는 계산 모델을 제안합니다.

  • 저자는 작은 입력 크기에 대해이 계산 모델을 구현하는 물리적 시스템을 구성합니다.

  • 저자들은 다항식 크기의 자원으로 더 큰 버전을 구축하는 것이 물리적으로 실현 가능하거나 가능하다고 주장합니다.

  • 물론 입증되지 않았고 공식적인 진술이 아닌이 마지막 주장은 일반적으로 다항식 크기의 자원으로 NP- 완전 문제를 해결할 수 있다는 것을 암시합니다.

  • 블로그 게시물의 Scott Aaronson은이 마지막 주장이 문제가되는 이유와 접근 방식의 확장성에 문제가있는 이유를 설명합니다. http://www.scottaaronson.com/blog/?p=2212


오늘 (2019 년 10 월), 단일 연구원이이 2015 기사에서 NP- 완료 솔버를 재생산하지 않았다는 점에 주목하고 싶습니다. 또한, 동일한 저자에 의한 모든 관련 후속 memcomputing 기사에는 NP-complete 솔버를 재생하는 데 도움이되는 단일 코드 줄이 없었습니다.
G. Cohen
당사 사이트를 사용함과 동시에 당사의 쿠키 정책개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.