mathematical-programming पर टैग किए गए जवाब

2
दो एन-अंकों की संख्या के गुणन के लिए सबसे तेज़ एल्गोरिथम क्या है?
मैं जानना चाहता हूं कि दो एन-डिजिट संख्याओं के गुणन के लिए कौन सा एल्गोरिथम सबसे तेज है? अंतरिक्ष जटिलता को यहां आराम दिया जा सकता है!

4
पीआई पर आधारित कोई संपीड़न एल्गोरिदम हैं?
हम जानते हैं कि and अनंत है और काफी संभावना है कि इसमें अंकों के प्रत्येक संभव परिमित तार ( डिसजक्टिव सीक्वेंस ) शामिल हैं। मैंने हाल ही में whichfs के कुछ प्रोटोटाइप देखे हैं जो यह मानते हैं कि आपके द्वारा बनाई गई प्रत्येक फ़ाइल (या किसी और) या …

2
Coq में प्रूफ प्रूफ
पृष्ठभूमि मैं अपने दम पर सहायता, Coq सीख रहा हूं। अब तक, मैंने यव्स बर्टोट के कोक एक हूर्री में पढ़ना पूरा कर लिया है । अब, मेरा लक्ष्य प्राकृतिक संख्या से संबंधित कुछ बुनियादी परिणामों को साबित करना है, तथाकथित विभाजन एल्गोरिथ्म के साथ समापन। हालाँकि, मुझे उस लक्ष्य …
हमारी साइट का प्रयोग करके, आप स्वीकार करते हैं कि आपने हमारी Cookie Policy और निजता नीति को पढ़ और समझा लिया है।
Licensed under cc by-sa 3.0 with attribution required.