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