अनिर्णीत समस्याओं की सूची

कम्प्यूटेबिलिटी संगणनीयता सिद्धांत, एक अनिर्णीत समस्या एक प्रकार की कम्प्यूटेशनल समस्या है जिसके लिए हां/नहीं में उत्तर की आवश्यकता होती है, लेकिन जहां संभवतः कोई कंप्यूटर प्रोग्राम नहीं हो सकता है जो हमेशा सही उत्तर देता है; यानी, कोई भी संभावित कार्यक्रम कभी-कभी गलत उत्तर देगा या बिना कोई उत्तर दिए हमेशा के लिए चलेगा। अधिक औपचारिक रूप से, एक अनिर्णीत समस्या एक ऐसी समस्या है जिसकी भाषा एक पुनरावर्ती [[सबसेट]] नहीं है; लेख देखें निर्णायक भाषा। कई अनिर्णीत समस्याएं बेशुमार सेट हैं, इसलिए नीचे दी गई सूची आवश्यक रूप से अधूरी है। हालांकि अनिर्णायक भाषाएँ पुनरावर्ती भाषाएँ नहीं हैं, वे एलन ट्यूरिंग पहचानने योग्य भाषाओं के उपसमुच्चय हो सकती हैं: अर्थात, ऐसी अनिर्णनीय भाषाएँ पुनरावर्ती गणना योग्य हो सकती हैं।

कई, यदि अधिकतर नहीं, तो गणित में अनिर्णीत समस्याओं को शब्द समस्या (गणित) के रूप में प्रस्तुत किया जा सकता है: यह निर्धारित करना कि प्रतीकों के दो अलग-अलग तार (किसी गणितीय अवधारणा या वस्तु को कूटबद्ध करना) एक ही वस्तु का प्रतिनिधित्व करते हैं या नहीं।

स्वयंसिद्ध गणित में अनिर्वचनीयता के लिए, ZFC में अनिर्णीत कथनों की सूची देखें।

तर्क में समस्या

 * हिल्बर्ट की निर्णय समस्या
 * दूसरे क्रम के लैम्ब्डा कैलकुलस (या समतुल्य) के लिए अनुमान टाइप करें और प्रकार की जाँच ।
 * यह निर्धारित करना कि क्या रेखांकन के तर्क में पहले क्रम के वाक्य को परिमित अप्रत्यक्ष ग्राफ द्वारा महसूस किया जा सकता है।
 * ट्रैखटेनब्रॉट का प्रमेय - परिमित संतुष्टि अनिर्णीत है।
 * पहले ऑर्डर हॉर्न क्लॉज की संतुष्टि।

अमूर्त मशीनों के बारे में समस्या

 * रुकने की समस्या (यह निर्धारित करना कि क्या ट्यूरिंग मशीन किसी दिए गए इनपुट पर रुकती है) और मृत्यु दर (कम्प्यूटेबिलिटी सिद्धांत) (यह निर्धारित करना कि क्या यह हर शुरुआती कॉन्फ़िगरेशन के लिए रुकता है)।
 * यह निर्धारित करना कि क्या ट्यूरिंग मशीन एक व्यस्त बीवर है # गैर-कम्प्यूटेबिलिटी (यानी, समान संख्या में राज्यों और प्रतीकों के साथ ट्यूरिंग मशीनों को रोकने के बीच सबसे लंबे समय तक चलने वाली है)।
 * राइस की प्रमेय कहती है कि आंशिक कार्यों के सभी गैर-तुच्छ गुणों के लिए, यह अनिर्णीत है कि दी गई मशीन उस संपत्ति के साथ आंशिक फ़ंक्शन की गणना करती है या नहीं।
 * मिन्स्की मशीन के लिए रुकने की समस्या: एक परिमित-राज्य ऑटोमेटन जिसमें कोई इनपुट नहीं है और दो काउंटर हैं जिन्हें बढ़ाया जा सकता है, घटाया जा सकता है और शून्य के लिए परीक्षण किया जा सकता है।
 * एक गैर-नियतात्मक पुशडाउन ऑटोमेटन की सार्वभौमिकता: यह निर्धारित करना कि क्या सभी शब्द स्वीकार किए जाते हैं।
 * समस्या यह है कि टैग प्रणाली  रुकता है या नहीं।

मेट्रिसेस के बारे में समस्या

 * नश्वर मैट्रिक्स समस्या: निर्धारण, पूर्णांक प्रविष्टियों के साथ n × n मैट्रिक्स का एक परिमित सेट दिया गया है, क्या उन्हें किसी क्रम में गुणा किया जा सकता है, संभवतः पुनरावृत्ति के साथ, शून्य मैट्रिक्स प्राप्त करने के लिए। यह छह या अधिक 3 × 3 मैट्रिक्स के सेट या दो 15 × 15 मैट्रिक्स के सेट के लिए अनिर्णीत माना जाता है।
 * यह निर्धारित करना कि क्या गैर-नकारात्मक पूर्णांक प्रविष्टियों के साथ ऊपरी त्रिकोणीय 3 × 3 मैट्रिसेस का एक परिमित सेट एक मुक्त अर्धसमूह उत्पन्न करता है।
 * यह निर्धारित करना कि पूर्णांक मेट्रिसेस के दो सूक्ष्म रूप से उत्पन्न उपसमूहों में एक सामान्य तत्व है या नहीं।

कॉम्बिनेटरियल ग्रुप थ्योरी में समस्याएं =


 * समूहों के लिए शब्द समस्या।
 * संयुग्मन समस्या।
 * समूह समरूपता समस्या।

टोपोलॉजी में समस्याएं

 * यह निर्धारित करना कि क्या दो परिमित सरल परिसर होमियोमॉर्फिक हैं।
 * यह निर्धारित करना कि क्या एक परिमित सरल परिसर कई गुना (होमियोमॉर्फिक) है।
 * यह निर्धारित करना कि परिमित सरल परिसर का मौलिक समूह तुच्छ है या नहीं।
 * यह निर्धारित करना कि क्या दो गैर-सरल रूप से जुड़े 5-कई गुना होमोमोर्फिक हैं, या यदि 5-कई गुना एस के लिए होमोमोर्फिक है5.

विश्लेषण में समस्याएं

 * कुछ वर्गों में कार्यों के लिए, निर्धारण की समस्या: क्या दो कार्य समान हैं, शून्य-समतुल्यता समस्या के रूप में जाना जाता है (रिचर्डसन की प्रमेय देखें); एक समारोह के शून्य; क्या किसी फलन का अनिश्चित समाकल भी कक्षा में है। बेशक, इन समस्याओं के कुछ उपवर्ग निर्णायक हैं। उदाहरण के लिए, किसी भी फ़ंक्शन के प्राथमिक एकीकरण के लिए एक प्रभावी निर्णय प्रक्रिया है जो ट्रान्सेंडैंटल एलीमेंट्री फ़ंक्शंस के क्षेत्र से संबंधित है, Risch एल्गोरिथम।
 * यह तय करने की समस्या कि प्राथमिक मेरोमॉर्फिक फ़ंक्शन का निश्चित समोच्च एकाधिक अभिन्न हर जगह वास्तविक विश्लेषणात्मक मैनिफोल्ड पर शून्य है, जिस पर यह विश्लेषणात्मक है, मटियासेविच के प्रमेय का हिल्बर्ट की दसवीं समस्या को हल करने का परिणाम है।
 * फार्म के एक साधारण अंतर समीकरण के समाधान के डोमेन का निर्धारण
 * $$\frac{dx}{dt} = p(t, x),~x(t_0)=x_0,$$
 * जहाँ x 'R' में एक सदिश (गणित और भौतिकी) हैn, p(t, x) t और x में बहुपदों का एक सदिश है, और (t0, एक्स0) 'आर' के अंतर्गत आता हैएन+1.

औपचारिक भाषाओं और व्याकरण के बारे में समस्याएं

 * पोस्ट पत्राचार समस्या।
 * यह निर्धारित करना कि क्या कोई संदर्भ-मुक्त व्याकरण सभी संभव तार उत्पन्न करता है, या यदि यह अस्पष्ट है।
 * दो संदर्भ-मुक्त व्याकरण दिए गए हैं, यह निर्धारित करते हुए कि क्या वे स्ट्रिंग्स का एक ही सेट उत्पन्न करते हैं, या क्या कोई दूसरे द्वारा उत्पन्न स्ट्रिंग्स का एक सबसेट उत्पन्न करता है, या क्या कोई स्ट्रिंग है जो दोनों उत्पन्न करते हैं।

अन्य समस्याएं
रेफरी> रेफरी> रेफरी>
 * यह निर्धारित करने की समस्या कि क्या वांग टाइल्स का दिया गया सेट विमान को टाइल कर सकता है।
 * एक स्ट्रिंग की कोलमोगोरोव जटिलता को निर्धारित करने की समस्या।
 * हिल्बर्ट की दसवीं समस्या: डायोफैंटाइन समीकरण (बहुभिन्नरूपी बहुपद समीकरण) का समाधान पूर्णांकों में है या नहीं, यह तय करने की समस्या।
 * यह निर्धारित करना कि तर्कसंगत निर्देशांक के साथ दिया गया प्रारंभिक बिंदु आवधिक है, या क्या यह किसी दिए गए खुले सेट के आकर्षण के बेसिन में स्थित है, दो आयामों में टुकड़े-रेखीय पुनरावृत्त मानचित्र में, या तीन आयामों में टुकड़े-रेखीय प्रवाह में।
 * यह निर्धारित करना कि लैम्ब्डा कैलकुलस#तुल्यता की अनिश्चितता|λ-कैलकुलस सूत्र का सामान्य रूप है या नहीं।
 * Conway's Game of Life#Undecidability|Conway's Game of Life इस पर कि क्या एक प्रारंभिक पैटर्न और दूसरा पैटर्न दिया गया है, क्या बाद वाला पैटर्न कभी भी शुरुआती पैटर्न से प्रकट हो सकता है।
 * नियम 110 - संपत्ति X से जुड़े अधिकांश प्रश्न बाद में प्रकट हो सकते हैं, यह अनिर्णीत है।
 * यह निर्धारित करने की समस्या कि क्या क्वांटम मैकेनिकल सिस्टम में वर्णक्रमीय अंतर (भौतिकी)भौतिकी) है।
 * एक सूचना-स्थिर परिमित राज्य मशीन चैनल की क्षमता का पता लगाना।
 * नेटवर्क कोडिंग में, यह निर्धारित करना कि नेटवर्क सॉल्व करने योग्य है या नहीं।
 * यह निर्धारित करना कि किसी खिलाड़ी के पास मैजिक: द गैदरिंग के खेल में जीतने की रणनीति है या नहीं।
 * आंशिक रूप से देखने योग्य मार्कोव निर्णय प्रक्रिया में योजना।
 * किराए को ध्यान में रखते हुए एक गंतव्य से दूसरे गंतव्य तक हवाई यात्रा की योजना बनाने की समस्या।
 * परावर्तक या अपवर्तक वस्तुओं की 3-आयामी प्रणाली के लिए किरण अनुरेखण (ग्राफिक्स) समस्या में, यह निर्धारित करना कि क्या किरण किसी दिए गए स्थान और दिशा से शुरू होकर अंततः एक निश्चित बिंदु तक पहुँचती है।

यह भी देखें

 * समस्याओं की सूची
 * अनसुलझी समस्याओं की सूची
 * कमी (जटिलता)
 * अनजानापन

ग्रन्थसूची

 * Appendix C includes impossibility of algorithms deciding if a grammar contains ambiguities, and impossibility of verifying program correctness by an algorithm as example of Halting Problem.
 * Discusses intractability of problems with algorithms having exponential performance in Chapter 2, "Mathematical techniques for the analysis of algorithms."
 * Discusses undecidability of the word problem for groups, and of various problems in topology.
 * Discusses undecidability of the word problem for groups, and of various problems in topology.

बाहरी संबंध

 * Discussion at MathOverflow