1
निर्णय समस्या ऐसी है कि कोई भी एल्गोरिथ्म एक तेजी से एल्गोरिथ्म को स्वीकार करता है
हार्ड समस्याओं के लिए Hromkovič के एल्गोरिथ्म में (दूसरा संस्करण) इस प्रमेय (2.3.3.3, पृष्ठ 117) है: वहाँ एक (निर्णायक) निर्णय समस्या है कि हर एल्गोरिथ्म ए के लिए है कि पी हल करता है एक और एल्गोरिथ्म ए ′ है जो पी को भी हल करता है और इसके अलावा …