خوارزميات, علوم الحاسوب, مسائل البحث, نظرية التعقيدمسائل الدوال الكلية متعددة الحدود غير القطعية (TFNP)