প্রশ্ন ট্যাগ «interactive-proofs»

বেশিরভাগ সম্ভাব্য প্রুফ সিস্টেমগুলিতে (উদাহরণস্বরূপ, পিসিপি উপপাদ্য), ত্রুটি-সম্ভাবনাগুলি সাধারণত মিথ্যা-ধনাত্মক দিকগুলির সংজ্ঞায়িত করা হয়, যেমন একটি সাধারণ সংজ্ঞাটি দেখতে পারে: যদি x ∈ Lx∈Lx \in L তবে যাচাইকারী সর্বদা গ্রহণ করে তবে এতে অন্য ক্ষেত্রে প্রত্যাখার সম্ভাবনা কমপক্ষে 1/2। অন্যদিকে ত্রুটি ঘটতে দিতে সমস্যা আছে কি? এর অর্থ হল যাচাইকারী …

10 cc.complexity-theory  pcp  interactive-proofs 

এমন কোনও উপায় আছে যে কোনও প্রবক্তা যাচাইকারীকে বোঝাতে পারে যে কিছু কিছু HORN-SAT প্রকাশটি সন্তুষ্ট? অবশ্যই এটি নির্বোধ বলে মনে হতে পারে, যেহেতু হর্ন-স্যাটের জন্য লিনিয়ার সময় অ্যালগরিদম রয়েছে। অন্যদিকে, হর্ন-স্যাট হল পি-সম্পূর্ণ, যার অর্থ পি = এল না থাকলে এর লগ-স্পেস অ্যালগরিদম নেই। তদনুসারে, ভেরিফায়ার এর গণ্য ক্ষমতা …

10 cc.complexity-theory  interactive-proofs  zero-knowledge 

নির্ধারণ গণনীয় মডেল MPostBQP অভিন্ন হতে PostBQP ছাড়া আমরা পোস্টের-নির্বাচন এবং চূড়ান্ত পরিমাপ সামনে polynomially অনেক qubit পরিমাপ অনুমতি দেয়। আমরা কি এমন কোনও প্রমাণ দিতে পারি যে ইঙ্গিত দেয় যে এমপোস্টবিকিপি পোস্টবিকিপির চেয়ে বেশি শক্তিশালী? আমরা চূড়ান্ত পরিমাপ করার আগে একাধিক রাউন্ড পরিমাপ এবং পোস্ট নির্বাচনকে মঞ্জুরি দিতে MPostBQP …

9 cc.complexity-theory  complexity-classes  quantum-computing  interactive-proofs 

আইপি (২ পিএফএ) এবং এএম (২ পিএফএ) হ'ল দুটি শ্রেণির ইনপুট প্রধানের সাথে সম্ভাব্য সীমাবদ্ধ অটোমেটা যাচাইকারীদের সাথে ইন্টারেক্টিভ প্রুফ সিস্টেমগুলির যথাক্রমে ব্যক্তিগত এবং পাবলিক কয়েন সংস্করণ দ্বারা সীমিত ত্রুটির সাথে স্বীকৃত ভাষার শ্রেণি। এই শ্রেণীর কোনও ক্লোজার বৈশিষ্ট্য জানা আছে?

9 cc.complexity-theory  interactive-proofs