बहुपद-समय एल्गोरिदम को क्रमपरिवर्तन समूहों के उत्पन्न करने वाले समूह को खोजने के लिए जाना जाता है, जो दिलचस्प है क्योंकि हम तब इन समूहों से संबंधित कई दिलचस्प सवालों के जवाब देने के लिए बहुपद-काल के एल्गोरिदम पर ध्यान दिए बिना उन समूहों का प्रतिनिधित्व कर सकते हैं।
हालाँकि, हम कभी-कभी समूह के गठन नहीं करने वाले क्रमपरिवर्तन के एक सेट में दिलचस्पी ले सकते हैं , इसलिए उस सेट को , जहाँ \ langle S \ rangle वह समूह है जो इसके द्वारा उत्पन्न समूह है जनरेटर का सेट S और T , केवल \ langle S \ rangle के बजाय R में नहीं होने वाले क्रमपरिवर्तन का एक सेट है ।
जोड़ीदार {{S, T \} के रूप में इस तरह के एन्कोडिंग की गणना करने पर कोई काम किया गया है , संभवत: कम करने के अतिरिक्त, प्राकृतिक लक्ष्य के साथ ?