আসুন n বিটগুলির একটি সেটের উপর একটি শ্রেণির ক্রিয়া সংজ্ঞায়িত করি । দুটি বিতরণ পি , কিউ ঠিক করুন যা একে অপরের থেকে "যুক্তিসঙ্গতভাবে" পৃথক (যদি আপনি চান তবে তাদের বৈকল্পিক দূরত্ব কমপক্ষে ϵ , বা অনুরূপ কিছু)।
এখন প্রতিটি ফাংশন চ এই ক্লাসে একটি সংগ্রহ দ্বারা সংজ্ঞায়িত করা হয় ট সূচকের এস , আর নিম্নরূপ মূল্যায়ন করা হয়: নির্বাচিত বিট সমতা 0 হয়, তাহলে থেকে একটি র্যান্ডম নমুনা আসতে পি , অন্য থেকে একটি র্যান্ডম নমুনা আসতে কুই ।
সমস্যা : ধরুন আমি এই শ্রেণি থেকে কিছু চ এর কাছে ওরাকল অ্যাক্সেস দিয়েছি, এবং যখন আমি ϵ (বা দূরত্বের অন্য কোনও পরিমাপ) জানি, আমি পি এবং কিউ জানি না ।
পিএসি-লার্নিং এফ করার জন্য আমার কল করা সংখ্যার কোনও সীমা আছে ? সম্ভবত আমার উত্তর পরিপ্রেক্ষিতে হতে হবে এন , ট এবং ε ।
f n,k ϵ
দ্রষ্টব্য : আমি আউটপুট ডোমেনটি নির্দিষ্ট করেছিলাম না। আবার, আমি নমনীয়, তবে আপাতত বলে রাখি যে পি এবং কিউ সীমাবদ্ধ ডোমেনের উপরে সংজ্ঞায়িত [ 1 .. এম ] । সাধারণভাবে, আমিও যদি আগ্রহী হতে চাই যখন তারা ওভার সংজ্ঞায়িত করা হয় আর (উদাহরণস্বরূপ, যদি তারা Gaussians)