TCS में एक बड़ी समस्या स्थायी को निर्धारक के रूप में व्यक्त करने की समस्या है। मैं अग्रवाल का पेपर निर्धारक वर्सेज परमानेंट पढ़ रहा था और एक पैराग्राफ में वह दावा करता है कि रिवर्स समस्या आसान है।
यह देखने के लिए कि एक मैट्रिक्स के निर्धारक आसान है एक संबंधित मैट्रिक्स के स्थायी रूप में व्यक्त किया जा सकता है एक्स जिसकी प्रविष्टियों रहे हैं 0, 1, या x मैं , जे एस और आकार की है जो हे ( एन ) (प्रविष्टियों की स्थापना एक्स के ऐसी है कि det एक्स = det एक्स और उत्पाद हर क्रमचय एक और भी चक्र है कि करने के लिए इसी शून्य है)।
सबसे पहले, मुझे नहीं लगता कि 0, 1, और वैरिएबल पर्याप्त हैं क्योंकि हम नकारात्मक शब्दों को याद नहीं करेंगे। लेकिन भले ही हमने -1 और - x i , j वैरिएबल की अनुमति दी हो , लेकिन मैं यह नहीं देखता कि आकार में वृद्धि को रैखिक क्यों बनाया जा सकता है। क्या कोई मुझे निर्माण की व्याख्या कर सकता है?