যে কোনও সমস্যা যার জন্য কেবলমাত্র সীমাবদ্ধ পরিমাণের ডেটা পরীক্ষা করা প্রয়োজন তা নির্ধারণযোগ্য, কারণ একটি অ্যালগরিদম রয়েছে যা সমস্ত সম্ভাব্য সমাধানগুলি গণনা করে। এটি হাস্যকরভাবে ধীর হতে পারে, তবে এটি প্রাসঙ্গিক নয়: যদি একটি অ্যালগরিদম থাকে তবে তা বিচার্য।
আপনি যে সমস্যাটি বর্ণনা করেছেন তা একটি সীমাবদ্ধ গ্রাফ ধরেছে, যা দৃ strongly়ভাবে ইঙ্গিত দেয় যে এটি নির্ধারণযোগ্য। দৃrict়ভাবে বলতে গেলে, আপনাকে আরও কিছুটা দেখার প্রয়োজন। সমস্যাটি গ্রাফের পাথগুলির একটি সম্পত্তি এবং গ্রাফটিতে একটি চক্র থাকে তখন কখনও কখনও অসীম সংখ্যক পাথ থাকে (আপনি নিজের চক্রটি যতবার ঘুরিয়ে নিতে পারেন)। যাইহোক, এটা একটি নির্দিষ্ট সমস্যা সমস্যা চালু করা খুবই সহজ: যদি কোনো পাথ দিয়ে শুরু এবং দিয়ে শেষ বনাম করে একটি চক্র রয়েছে, তারপর আপনি যে পথে সব চক্র কেটে পারেন, এবং আপনি একটি নতুন সমাধান যা করে আছে একটি চক্র অন্তর্ভুক্ত না। যেহেতু সীমাবদ্ধ সংখ্যক পাথ রয়েছে যা কোনও চক্রের সাথে জড়িত না (গ্রাফের যদি কে প্রান্ত থাকে, তবে সর্বাধিক কে থাকে !uvkk!যে পাথগুলি একাধিকবার একই কিনারা ব্যবহার করে না), থেকে ভি পর্যন্ত কোনও পাথ সন্ধান করার সমস্যাটি চূড়ান্ত , তাই সিদ্ধান্ত গ্রহণযোগ্য।uv
ঘটনাচক্রে, এই সম্পত্তিটিকে সংযোগ বলা হয় ।
এই পদ্ধতির একটি সাধারণ, হ্রাস বলা হয় । কোনও সমস্যা দেওয়া যা সোজা নয়, আমরা এটিকে এমন একটি সমস্যায় পরিণত করেছি যা আমরা কীভাবে সমাধান করতে জানতাম।
সমস্যাটি অনস্বীকার্য বলে প্রমাণ করা প্রায়শই কঠিন। সমস্যাটি স্থিতিশীল তা প্রমাণ করার জন্য, আমাদের যা করা দরকার তা হ'ল এটি নির্ধারণ করে এমন একটি অ্যালগরিদম প্রদর্শন করা। কোনও সমস্যা অনস্বীকার্য তা প্রমাণ করার জন্য, আমাদের প্রমাণ করতে হবে যে কোনও অ্যালগরিদমের অস্তিত্ব থাকতে পারে না। কয়েকটি সুপরিচিত অনস্বীকার্য সমস্যা আছে। অনুশীলনে, বেশিরভাগ সময়, যখন আমরা প্রমাণ করি যে কোন সমস্যা অনস্বীকার্য, তখন আমরা দেখি যে একটি সুপরিচিত অনির্বাচিত সমস্যা রয়েছে যা আমাদের সমস্যার হ্রাস করে। যেহেতু আমাদের সমস্যার জন্য একটি অ্যালগরিদম সুপরিচিত অবিশ্বস্ত সমস্যা সমাধান করবে তাই আমাদের সমস্যাটিও অনস্বীকার্য হতে হবে।
আপনি সত্যই বলতে পারবেন না যে "বেশিরভাগ" সমস্যাগুলি ডাইসিবল বা "বেশিরভাগ" সমস্যা অনস্বীকার্য। কিছু তাত্ত্বিক দিক থেকে, প্রায় সমস্ত সমস্যা অনস্বীকার্য, তবে আমাদের "আকর্ষণীয়" সমস্যাগুলি মোকাবিলার দৃ strong় প্রবণতা রয়েছে এবং সেগুলির সমাধান হওয়ার সম্ভাবনা বেশি।