ইটিএইচের মতো বাধা

Question

আমরা জানি অধীনে আমরা সময় কোনও ফাংশন অধীনে (সাধারণত ) সুম সমাধান করতে পারি না ।$ETH$$K$$f(K)poly(nK)$$f(K)$$2^{O(K)}$

এমন কোনও অনুমান যা একটি জটিলতা (এই হিসাবে সম্ভাবনার সাথে পুরোপুরি সামঞ্জস্যপূর্ণ আমাদের সাবসেটের যোগফলের জন্য ক্ষতিকারক সময় প্রয়োজন) বা এই জাতীয় সম্ভাবনা অনুমোদিত?$(\log n)^{O(K)}$$K=\Omega(n)$

Answer 1

ইটিএইচ নিজেই এই সম্ভাবনাটি বাদ দেয়।

ইন https://people.csail.mit.edu/rrw/cnf-sat-feasible.pdf আমরা যে কোনো সময় K- জন্য অ্যালগরিদম সুম, যে কোনও একঘেয়ে জন্য আনবাউন্ডেড ফাংশন- ননডেক্রেসিংয়ের জন্য বোঝায় যে ETH মিথ্যা।$n^{O(1)} n^{k/\alpha(k)}$$\alpha$

Comments

আপনি কি বোঝাতে চাইছেন যে কঠোরভাবে বৃদ্ধি পাচ্ছে, বা কমপক্ষে অনন্তে চলে যায়? $\alpha$

— সাশো নিকোলভ

@ রায়ানউইলিয়ামস ইটিএইচের মতো আত্মার ক্ষেত্রে বাধার মতো। বহুতল আকারের পরামর্শ বা পিপিএডি ওরাকল নিয়ে জটিলতা রোধ করতে পারে এমন কিছু কি আছে ? $O((\log n)^{O(k)})$

— টি ....

যুক্ত "আনবাউন্ডেড" :)

— রায়ান উইলিয়ামস

@ ব্রাউট নোট করুন (লগ (এন)) ^ কে একটি এফপিটি ফাংশন, তাই হ্যাঁ, ইটিএইচ নিয়ম করে যে এটি। বহু আকারের পরামর্শের সাথে এর অর্থ 3 স্যাট এর জন্য সুপ এক্সপেনসিয়াল আকারের সার্কিট। পিপিএডি ওরাকল দিয়ে এটি বোঝা যাচ্ছে যে পিটিএইচটি ইপিএইচকে বোঝায় না। আমার কাছে এটি একটি অগ্রগতি হবে, আমি পিপিএড পি

— রায়ান উইলিয়ামস