निम्नलिखित समस्या पर विचार करें:
दो तार x, y को देखते हुए, यह तय करें कि क्या कोई स्ट्रिंग होमोमोर्फिज्म f मौजूद है जैसे कि f (x) = y।
यह दिखाना आसान है कि यह समस्या । क्या इस समस्या के बारे में हम कुछ और बातें कह सकते हैं? जैसे यह c o N P , या P भी है ?
यह समस्या बहुत स्वाभाविक है, इसलिए मुझे आश्चर्य नहीं है कि अगर इसका अच्छी तरह से अध्ययन किया गया है। हालाँकि मुझे यह समस्या साहित्य में नहीं मिली।