आइए हम बिट्स के एक सेट पर कार्यों की एक कक्षा को परिभाषित करते हैं । ठीक दो वितरण पी , क्यू कि कर रहे हैं "यथोचित" एक दूसरे से अलग हैं (यदि आप चाहें, तो अपने परिवर्तन संबंधी दूरी कम से कम है ε , या कुछ इसी तरह)।
अब इस वर्ग में प्रत्येक फ़ंक्शन को k सूचकांक S के संग्रह द्वारा परिभाषित किया गया है , और निम्नानुसार मूल्यांकन किया जाता है: यदि चयनित बिट्स की समता 0 है, तो p से एक यादृच्छिक नमूना लौटाएं, अन्यथा q से एक यादृच्छिक नमूना लौटाएं ।
समस्या : मान लीजिए मैं कुछ करने के लिए दिया ओरेकल पहुँच कर रहा हूँ इस वर्ग से, और जब मुझे पता है ε (या दूरी के कुछ अन्य उपाय), मैं नहीं जानता कि पी और क्यू ।
वहाँ कॉल मैं पीएसी जानने के लिए बनाने की जरूरत है की संख्या पर कोई सीमा नहीं कर रहे हैं ? मुमकिन है मेरा उत्तर के मामले में हो जाएगा n , कश्मीर और ε ।
नोट : मैंने आउटपुट डोमेन निर्दिष्ट नहीं किया है। फिर से, मैं लचीला हूं, लेकिन अब हम कहते हैं कि और q एक परिमित डोमेन [ 1 .. M ] पर परिभाषित हैं । सामान्य तौर पर, मुझे उस मामले में भी दिलचस्पी होगी जब वे आर से परिभाषित होते हैं (उदाहरण के लिए, यदि वे गौसियन हैं)