Memcomputing bir NP-komple problemini gerçekten çözüyor mu?

Bilim bölümünde yayınlanan ve polinom kaynaklarını ve kolektif devletleri kullanarak polinom zamanında NP-tam problemlerini hatırlamak .

Memcomputing, aynı fiziksel platformda bilgi depolamak ve işlemek için etkileşimli bellek hücrelerini (kısaca memprosesörler) kullanan yeni bir Turing dışı hesaplama paradigmasıdır . Son zamanlarda matematiksel makinelerin, belirsiz Turing makineleri ile aynı hesaplama gücüne sahip olduğu matematiksel olarak kanıtlanmıştır . Bu nedenle, polinom zamanında NP-tam problemlerini ve uygun mimariyi kullanarak, sadece girdi boyutuyla polinom olarak büyüyen kaynaklarla çözebilirler.

(İtalik benim).

Bilimde yayınlanmış olmasaydı ve bazı yazarlar tarafından ilgili materyalin Doğa Fiziği'nde yayınlanmış olmasaydı, iddiaların güçlü doğası göz önüne alındığında, bu yarasayı ciddi olmayan olarak reddederdim , içinde bir IEEE dergisi ve Fizik İnceleme E'de gibi iddiaların onları ciddi olmadan yayınlanmadan izin vermedi saygın hakemli yayınlar bunların tümü,.

Öyleyse doğru mu? Bu insanlar NP-tam problemlerini P-zamanında modellerini kullanarak çözebilir mi?

Bunun yorumlarda yeterince cevaplandığını hissediyorum, bu yüzden her şeyi özetlemek için:

• Yazarlar deterministik ve belirsiz olmayan Turing makineleri hakkında bir açıklama olan P = NP iddiasında bulunmazlar.

• Yazarlar, belirleyici olmayan Turing makinelerine güç bakımından eşdeğer olduğunu iddia ettikleri bir hesaplama modeli öneriyorlar.

• Yazarlar küçük hesaplama büyüklükleri için bu hesaplama modelini uygulayan fiziksel makineler yapmıştır.

• Yazarlar, daha büyük versiyonlar oluşturmanın polinom boyutlu kaynaklarla fiziksel olarak gerçekleştirilebildiğini / mümkün olduğunu savunuyorlar.

• Elbette kanıtlanmamış ve gerçekten resmi bir açıklama olmayan bu son iddia, polinom boyutlu kaynaklarla NP-tam sorunlarının çözülmesinin genellikle fiziksel olarak mümkün olduğu anlamına gelecektir.

• Bir blog gönderisindeki Scott Aaronson, bu son iddianın neden sorunlu olduğunu ve yaklaşımlarının ölçeklenebilirliğinin neden sorun yaşadığını açıklıyor: http://www.scottaaronson.com/blog/?p=2212