এমন কোনও উপায় আছে যে কোনও প্রবক্তা যাচাইকারীকে বোঝাতে পারে যে কিছু কিছু HORN-SAT প্রকাশটি সন্তুষ্ট?
অবশ্যই এটি নির্বোধ বলে মনে হতে পারে, যেহেতু হর্ন-স্যাটের জন্য লিনিয়ার সময় অ্যালগরিদম রয়েছে। অন্যদিকে, হর্ন-স্যাট হল পি-সম্পূর্ণ, যার অর্থ পি = এল না থাকলে এর লগ-স্পেস অ্যালগরিদম নেই। তদনুসারে, ভেরিফায়ার এর গণ্য ক্ষমতা সীমাবদ্ধ করুন এল। এখন যাচাইকারী খুব দুর্বল, সুতরাং সমস্যাটি আর মূর্খ নয়।
এটির আরও একটি মোড় হ'ল এটি শূন্য-জ্ঞানের প্রমাণ হতে পারে কিনা।
1
শূন্য-জ্ঞানহীন ক্ষেত্রে, আমি মনে করি যে শংসাপত্র হিসাবে একটি সন্তোষজনক সত্য অ্যাসাইনমেন্ট ব্যবহার করে নিখুঁত যাচাইকরণের জন্য কেবল লগ স্পেসের প্রয়োজন হয়, তবে শর্ত থাকে যে ইনপুট এবং শংসাপত্রটি কেবল পঠনযোগ্য টেপগুলিতে লিখিত থাকে যা স্থান হিসাবে গণনা করা হয় না।
—
সোসোশি ইতো
@ শুয়োশি: কেবল লগ-স্পেসে কীভাবে নিখুঁত যাচাই করা যায় তা আমি দেখতে পাচ্ছি না। যদি আমরা পারতাম, তবে কী শো না যে হর্ন-স্যাট এনএল-তে রয়েছে, এবং এভাবে পি-পূর্ণতা দ্বারা পি = এনএল দেয়?
—
শন হার্কার
না, আমি ধরে নিয়েছি শংসাপত্রটি কেবল পঠনযোগ্য টেপটিতে রয়েছে যা এনএল দ্বারা সম্পাদিত যাচাইকরণের চেয়ে আলাদা।
—
সোসোশি ইতো
@ শুয়োশি: আহা, যাতে আপনি শংসাপত্রটি অনেকবার পড়তে পারেন, অন্যদিকে এনএল-এর একটি শংসাপত্র ভিত্তিক সংজ্ঞায় একটি শংসাপত্র থাকে যা কেবল একবার পড়তে পারে।
—
শন হার্কার