एक हिल्बर्ट स्थान पर विचार करें । एक अनएक्जेंडेबल प्रोडक्ट बेसिस (UPB) उत्पाद वैक्टर का एक सेट है ऐसा है कि:
ए) सभी पारस्परिक रूप से रूढ़िवादी हैं
बी) सभी के लिए कोई उत्पाद वेक्टर ऑर्थोगोनल नहीं है
c) आधार nontrivial है, अर्थात स्पान नहीं है
(ऐसे आधार क्वांटम सूचना में रुचि रखते हैं)
प्रशन:
क्या एक बहुपद एल्गोरिथ्म है (में ) UPBs खोजने के लिए? (ध्यान दें कि आम तौर पर UPB के आकार पर कोई ऊपरी सीमा नहीं होती है, इसलिए एक प्राथमिकता यह हो सकती है कि यह घातीय हो)
क्या किसी दिए गए उत्पाद का आधार UPB है, इसकी जाँच के लिए एक बहुपद एल्गोरिथ्म है? (अर्थात अनपेक्षित है)
या समस्या एनपी-पूर्ण है?