প্রমাণের কৌশল দ্বারা টিসিএস উপপাদাগুলি সংগঠিত এবং আলোচনা করে এমন কোনও রেফারেন্স রয়েছে (অনলাইন বা বই আকারে)? গ্যারি এবং জনসন এনপি-পূর্ণতা প্রমাণগুলির জন্য বিভিন্ন ধরণের উইজেট নির্মাণের জন্য এটি করেন (বিশেষত তাদের বইয়ের ৩ য় অধ্যায়ে), তবে আমি ভাবছি যে টিসিএসে প্রমাণ কৌশলগুলি আরও বিস্তৃতভাবে আচরণ করে এমন কিছু আছে কিনা।
সুতরাং উদাহরণস্বরূপ, বিষয়গুলির মধ্যে তির্যক অন্তর্ভুক্ত থাকতে পারে, ব্যবহৃত নির্মাণের ধরণের মাধ্যমে আরও ভেঙে দেওয়া; গণনা ইতিহাস দ্বারা প্রমাণ; ঝালর নির্মাণ; সংকোচনের যুক্তি ইত্যাদি I আমি মনে করি যে আমি কেবল গণনা পাঠের একটি প্রমিত তত্ত্বটি কাটাতে এবং বিভাগগুলি পুনর্বিন্যস্ত করতে পারি তবে এটি খুব ভাল হবে যদি সেখানে কিছু থাকে যা কিছু অতিরিক্ত ভাষ্য সরবরাহ করে এবং দেখায় যে কৌশলগুলির মধ্যে কোথায় মিল রয়েছে ব্যবহার করা হয়েছে।
কেবল স্পষ্ট করেই বলা যায় যেহেতু যে কোনও পাঠ্য প্রমাণ ব্যবহার করতে চলেছে , তাই আমি যা খুঁজে পেতে আগ্রহী তা হ'ল একটি প্রসঙ্গ যেখানে প্রমাণ কৌশলগুলিই প্রকৃত বিষয়।
গ্যারি এবং জনসনের ৩ য় অধ্যায় ছাড়াও, এখানে আমার কাছে আরও একটি আংশিক উদাহরণ উপস্থিত হয়েছে: লি এবং ভিটানিতে , chapter ষ্ঠ অধ্যায়ে তারা সংকোচনের পদ্ধতি নিয়ে আলোচনা করেন এবং কীভাবে কৌশলটি প্রয়োগ করতে হবে তার উদাহরণ দেয়।