recursion पर टैग किए गए जवाब

भरोसेमंद रूप से टाइप की गई प्रोग्रामिंग में, डेटा को विघटित करने और पुनरावृत्ति करने के दो मुख्य तरीके हैं: आश्रित पैटर्न मिलान : फ़ंक्शन परिभाषाएँ कई खंडों के रूप में दी जाती हैं। एकीकरण यह सुनिश्चित करता है कि सभी छोड़े गए मामले असंभव हैं, और एक बाहरी सॉल्वर …

10 reference-request  recursion  type-theory  dependent-types  inductive-datatypes 

मुझे यह देखने के लिए एक पुनरावर्ती एल्गोरिथ्म बनाने की जरूरत है कि क्या एक द्विआधारी वृक्ष एक द्विआधारी खोज वृक्ष है और साथ ही साथ यह भी मान लें कि एक वैश्विक मान्यता वाले चर के साथ कुल पूर्ण शाखाएं (बाएं और दाएं दोनों बच्चों के नोड वाले माता-पिता) …

10 algorithms  recursion  trees