Explore Simpler Eigenmarking: Quantum Entailment Model Checking
यह शोध पत्र क्वांटम एंटेलमेंट मॉडल चेकिंग के लिए एक सरलीकृत आइगेनमार्किंग (Eigenmarking) योजना का प्रस्ताव करता है जो केवल एक अतिरिक्त क्वबिट और टू-क्विबिट-कंट्रोल्ड फेज रोटेशन (CCZ) का उपयोग करके हार्डवेयर आवश्यकताओं को कम करता है, जिससे पिछले तरीकों की तुलना में खोज प्रभावशीलता और विभेदन क्षमता में महत्वपूर्ण सुधार होता है।