মন্তব্যে বেশ কয়েকটি "যথাযথ বাস্তব" পরামর্শ রয়েছে (যেমন চালিয়ে যাওয়া ভগ্নাংশ, লিনিয়ার ভগ্নাংশ রূপান্তরকরণ ইত্যাদি)। সাধারণ ক্যাচটি হ'ল আপনি যখন কোনও সূত্রের উত্তরগুলি গণনা করতে পারেন, সাম্য প্রায়শই অনস্বীকার্য।
তবে, আপনি যদি কেবল বীজগণিত সংখ্যার প্রতি আগ্রহী হন, তবে আপনার ভাগ্য ভাল: আসল বন্ধ ক্ষেত্রগুলির তত্ত্বটি সম্পূর্ণ, ও-ন্যূনতম এবং সিদ্ধান্ত গ্রহণযোগ্য। এটি 1948 সালে তারস্কি দ্বারা প্রমাণিত হয়েছিল।
কিন্তু একটি ধরা আছে। আপনি তারস্কির অ্যালগরিদমটি ব্যবহার করতে চান না, কারণ এটি জটিলতা ক্লাসের NONELEMENTARY এ রয়েছে, যা অবৈজ্ঞানিক যেমন অযৌক্তিক অ্যালগরিদম পেতে পারে। আরও অনেক সাম্প্রতিক পদ্ধতি রয়েছে যা ডিএক্সপি-তে জটিলতা পেয়ে যায় যা বর্তমানে আমরা সবচেয়ে ভাল জানি।
নোট করুন যে সমস্যাটি এনপি-হার্ড কারণ এতে স্যাট অন্তর্ভুক্ত রয়েছে। তবে এটি এনপিতে থাকার কথা জানা (বা বিশ্বাসী) নয়।
সম্পাদনা করুন আমি এটি আরও একটু ব্যাখ্যা করার চেষ্টা করতে যাচ্ছি।
এই সমস্ত বোঝার কাঠামো হ'ল একটি সিদ্ধান্ত সমস্যা যা সন্তুষ্টিযোগ্যতা মডুলো থিওরি বা সংক্ষেপে এসএমটি হিসাবে পরিচিত। মূলত, আমরা শাস্ত্রীয় যুক্তির শীর্ষে নির্মিত একটি তত্ত্বের জন্য স্যাট সমাধান করতে চাই।
সুতরাং আমরা সমতা পরীক্ষা দিয়ে প্রথম ক্রমের শাস্ত্রীয় যুক্তি দিয়ে শুরু করি। কোন ফাংশন প্রতীকগুলিকে আমরা অন্তর্ভুক্ত করতে চাই এবং তত্ত্বটি নির্ধারণযোগ্য কিনা সেগুলির অ্যাকোরিয়ামগুলি নির্ধারণ করে।
এসএমটি কাঠামোয় প্রকাশিত প্রচুর আকর্ষণীয় তত্ত্ব রয়েছে। উদাহরণস্বরূপ, ডেটা স্ট্রাকচারের (যেমন তালিকাগুলি, বাইনারি ট্রি ইত্যাদি) তত্ত্ব রয়েছে যা প্রোগ্রামগুলি সঠিক প্রমাণে সহায়তা করতে ব্যবহৃত হয় এবং ইউক্লিডিয়ান জ্যামিতির তত্ত্বটি। তবে আমাদের উদ্দেশ্যে, আমরা বিভিন্ন ধরণের সংখ্যার তত্ত্বগুলি দেখছি।
প্রসবার্গার পাটিগণিত হ'ল সংযোজন সহ প্রাকৃতিক সংখ্যার তত্ত্ব। এই তত্ত্বটি সিদ্ধান্ত গ্রহণযোগ্য।
পেয়নো পাটিগণিত হ'ল প্রাকৃতিক সংখ্যার তত্ত্ব যা সংযোজন এবং গুণ রয়েছে। এই তত্ত্বটি সিদ্ধান্ত গ্রহণযোগ্য নয়, যেমন গ্যাডেল বিখ্যাত হিসাবে প্রমাণিত।
তারস্কি পাটিগণিত হ'ল সমস্ত ক্ষেত্রের ক্রিয়াকলাপ (সংযোজন, বিয়োগফল, গুণ এবং বিভাগ) সহ আসল সংখ্যার তত্ত্ব। মজার বিষয় হল, এই তত্ত্বটি নির্ধারণযোগ্য। এটি ছিল একটি অত্যন্ত পাল্টা স্বজ্ঞাত ফলাফল। আপনি ধরে নিতে পারেন কারণ এটি প্রাকৃতিক সংখ্যার "সুপারস্টেট" এটি "শক্ত", তবে এটি তেমন নয়; উদাহরণস্বরূপ, পূর্ণসংখ্যার উপরে লিনিয়ার প্রোগ্রামিংয়ের সাথে যুক্তিগুলির সাথে লিনিয়ার প্রোগ্রামিংয়ের তুলনা করুন।
আপনার কাছে যা প্রয়োজন তা সন্তুষ্টির পক্ষে আপাতদৃষ্টিতে স্পষ্ট বলে মনে হচ্ছে না, তবে এটি। উদাহরণস্বরূপ, আপনি যদি 2 এর ধনাত্মক বর্গমূল 3 এর সত্যিকারের কিউব মূলের সমান কিনা তা পরীক্ষা করতে চান, আপনি এটি সন্তুষ্টিযোগ্যতা সমস্যা হিসাবে প্রকাশ করতে পারেন:
∃x.x>0∧x2−2=0∧x3−3=0
ex
sin{xπ|sinx=0}sin
exeix
আলফ্রেড তারস্কি (1948), এলিমেন্টারি বীজগণিত এবং জ্যামিতির জন্য একটি সিদ্ধান্ত পদ্ধতি ।