Birçok uzman, varsayımının doğru olduğuna ve sonuçlarında kullandığına . Benim endişem karmaşıklığın büyük ölçüde varsayımına bağlı olmasıdır.P ≠ N P
Yani sorum şu:
Sürece Strassen dan alıntı belirtilen varsayım kanıtlanmış değildir, / bir, bir doğa kanunu olarak düşünmelisiniz ki? Yoksa belki bir gün ispatlanmış veya ispatlanmış bir matematik varsayımı olarak mı davranmalıyız ?
Alıntı:
"Cook ve Valiant'ın hipotezlerini destekleyen kanıtlar çok zor ve başarısızlıklarının sonuçları öyle garip ki, durumları sıradan matematiksel varsayımlardan ziyade fiziksel yasalarla karşılaştırılabilir."
[Volker Strassen'in 1986’da Nevanlinna Ödülü sahibi Leslie G. Valian’a bırakılması]
Fizik sonuçlarını TCS'de okurken bu soruyu sorarım ? . Hesaplamalı karmaşıklığın bazı (teorik) benzerliklerinin olduğunu not etmek ilginçtir: teorik fizik sonuçlarının bazı varsayımlarla kanıtlandığı halde, birçok önemli karmaşıklık olduğu varsayılarak kanıtlanmıştır. fiziksel yasalar P ≠ N P E=m c 2 . Bu anlamda, , gibi bir şey olarak kabul edilebilir . TCS’de Fizik sonuçlarına geri dönülsün mü? :
TCS bir parçası doğa bilimleri dalı olabilir mi?
Açıklama:
(cf Suresh'in cevabı aşağıda)
Karmaşıklık teorisindeki varsayımının teorik fizikteki (Strassen'in dediği gibi) fiziksel yasalar kadar temel olduğunu söylemek meşru ?