Effective method
தர்க்கம், கணிதம் மற்றும் கணினி அறிவியலில், குறிப்பாக உலோகவியல் மற்றும் கணக்கீட்டு கோட்பாடு, ஒரு பயனுள்ள முறை அல்லது பயனுள்ள செயல்முறை என்பது ஒரு குறிப்பிட்ட வகுப்பில் இருந்து எந்தவொரு உள்ளுணர்வாக 'பயனுள்ள' வழிமுறைகளால் ஒரு சிக்கலைத் தீர்ப்பதற்கான ஒரு செயல்முறையாகும். ஒரு பயனுள்ள முறை சில நேரங்களில் இயந்திர முறை அல்லது செயல்முறை என்றும் அழைக்கப்படுகிறது. வரையறை ஒரு பயனுள்ள முறையின் வரையறை முறையை விட அதிகமாக உள்ளது. ஒரு முறை பயனுள்ளது என்று அழைக்கப்படுவதற்கு, அது ஒரு வகை சிக்கல்களைப் பொறுத்தவரை கருத்தில் கொள்ளப்பட வேண்டும். இதன் காரணமாக, ஒரு வகை சிக்கல்களைப் பொறுத்தவரை ஒரு முறை பயனுள்ளதாக இருக்கலாம் மற்றும் மற்றொரு வகுப்பைப் பொறுத்தவரை பயனுள்ளதாக இருக்காது. ஒரு முறை இந்த அளவுகோல்களை பூர்த்தி செய்யும் போது ஒரு வகை சிக்கல்களுக்கு பயனுள்ளதாக இருக்கும் என்று முறையாக அழைக்கப்படுகிறதுஃ இது ஒரு வரையறுக்கப்பட்ட எண்ணிக்கையிலான துல்லியமான, வரையறுக்கப்பட்ட அறிவுறுத்தல்களைக் கொண்டுள்ளது. அதன் வகுப்பில் இருந்து ஒரு சிக்கலுக்கு இது பயன்படுத்தப்படும்போதுஃ இது எப்போதும் ஒரு வரையறுக்கப்பட்ட எண்ணிக்கையிலான படிகளுக்குப் பிறகு முடிவடைகிறது (முடிவடைகிறது). இது எப்போதும் சரியான பதிலைத் தருகிறது. கொள்கையளவில், எழுதும் பொருட்களைத் தவிர வேறு எந்த உதவியும் இல்லாமல் ஒரு மனிதனால் இதைச் செய்ய முடியும். அதன் அறிவுறுத்தல்கள் வெற்றிபெற மட்டுமே கடுமையாக பின்பற்றப்பட வேண்டும். வேறு வார்த்தைகளில் கூறுவதானால், வெற்றிபெற புத்திசாலித்தனம் தேவையில்லை. விருப்பப்படி, முறை அதன் வகுப்பிற்கு வெளியே இருந்து ஒரு சிக்கலுக்கு பயன்படுத்தப்படும்போது அது ஒரு பதிலாக இருப்பதைப் போல ஒருபோதும் முடிவை வழங்காது. இந்த தேவையைச் சேர்ப்பது ஒரு பயனுள்ள முறை உள்ள வகுப்புகளின் தொகுப்பைக் குறைக்கிறது. வழிமுறைகள் ஒரு செயல்பாட்டின் மதிப்புகளைக் கணக்கிடுவதற்கான ஒரு பயனுள்ள முறை ஒரு வழிமுறை ஆகும். ஒரு பயனுள்ள முறை இருக்கும் செயல்பாடுகள் சில நேரங்களில் திறம்பட கணக்கிடக்கூடியவை என்று அழைக்கப்படுகின்றன. கணக்கிடக்கூடிய செயல்பாடுகள் பயனுள்ள கணக்கீட்டின் முறையான குணாதிசயத்தை வழங்குவதற்கான பல சுயாதீன முயற்சிகள் பல்வேறு முன்மொழியப்பட்ட வரையறைகளுக்கு (பொது மறுநிகழ்வு செயல்பாடுகள், டூரிங் இயந்திரங்கள், λ-கால்குலஸ்) வழிவகுத்தன, அவை பின்னர் சமமானவை என்று காட்டப்பட்டன. இந்த வரையறைகளால் கைப்பற்றப்பட்ட கருத்து மறுநிகழ்வு அல்லது பயனுள்ள கணக்கீடு என்று அழைக்கப்படுகிறது. சர்ச்-டூரிங் ஆய்வறிக்கை இரண்டு கருத்துக்களும் ஒத்துப்போகின்றன என்று கூறுகிறதுஃ திறம்பட கணக்கிடக்கூடிய எந்தவொரு எண்-கோட்பாட்டு செயல்பாடும் மீண்டும் மீண்டும் கணக்கிடக்கூடியது. இது ஒரு கணித அறிக்கை அல்ல என்பதால், அதை ஒரு கணித ஆதாரத்தால் நிரூபிக்க முடியாது. மேலும் காண்கஃ முடிவெடுக்கும் திறன் (தர்க்கம்) முடிவு சிக்கல் செயல்பாட்டு சிக்கல் எண் கோட்பாட்டில் பயனுள்ள முடிவுகள் தொடர்ச்சியான தொகுப்பு தீர்மானிக்க முடியாத சிக்கல் குறிப்புகள் எஸ். சி. க்ளீன் (1967), கணித தர்க்கம். மறுபதிப்பு, டோவர், 2002, பக். 233 எஃப். எஃப்., குறிப்பாக. ப. 232. உலோகக் கணக்கீட்டு கோட்பாடு கணக்கீட்டு கோட்பாடு