নিম্নলিখিত আলগোরিদিমিক কাজ বিবেচনা করুন:
ইনপুট: একটি ধনাত্মক পূর্ণসংখ্যা , তার উত্তর দিবেন সহ
খুঁজুন: ধনাত্মক পূর্ণসংখ্যা যে কমান , সীমাবদ্ধতা সাপেক্ষে যে
এই সমস্যার জটিলতা কী? বহু-কালীন অ্যালগরিদম আছে? এটা কি এনপি-হার্ড?
এই সমস্যাটি মূলতঃ জিজ্ঞাসা করে: আয়তক্ষেত্রাকার ঘনগুলির মধ্যে যার ভলিউম এবং যার মাত্রা সমস্ত পূর্ণসংখ্যার, কোনটির নিম্নতম পৃষ্ঠতল রয়েছে?
এই সমস্যাটি ড্যান মেয়ারের দ্বারা উত্থাপন করা হয়েছিল, দ্য ম্যাথ প্রব্লেম যে 1,000 গণিত শিক্ষক সমাধান করতে পারেন নি । এখনও পর্যন্ত তিনি যে গণিতের শিক্ষকদের সাথে কাজ করেছেন তাদের কেউই এই সমস্যার জন্য যুক্তিসঙ্গত অ্যালগরিদম খুঁজে পায়নি। তাঁর প্রসঙ্গে, "যুক্তিসঙ্গত" সংজ্ঞাটি কিছুটা অসম্পূর্ণ, তবে কম্পিউটার বিজ্ঞানী হিসাবে আমরা এই সমস্যার জটিলতা সম্পর্কে আরও সুনির্দিষ্ট প্রশ্ন জিজ্ঞাসা করতে পারি।
স্পষ্ট পদ্ধতির জন্য সমস্ত সম্ভাবনা গণনা করা , তবে এটি ক্ষতিকারক সময় নেয়। ড্যান মেয়ারের ব্লগে মন্তব্যকারীরা অনেক দক্ষ প্রার্থী অ্যালগরিদম প্রস্তাব করেছেন যা দুর্ভাগ্যক্রমে সমস্তই ভুল হিসাবে দেখা গেছে। মার্টিন স্ট্রাউস পরামর্শ দিয়েছেন যে এই সমস্যাটি অস্পষ্টভাবে 3-বিভাজনের স্মৃতি মনে করে , তবে আমি কোনও হ্রাস দেখতে পাচ্ছি না।
আমি মন্তব্য / উত্তরে দেখেছি এমন কিছু ভুল ধারণাও পরিষ্কার করতে দিন:
আপনি কেবল প্রতিটি সংখ্যা প্রতিস্থাপন 3-পার্টিশন থেকে কমাতে পারে না তার ক্ষমতা সঙ্গে 2 কুই , যেমন দুটি সমস্যা উদ্দেশ্য ফাংশন ভিন্ন। সুস্পষ্ট হ্রাস কেবল কাজ করে না।
এটা সত্য নয় যে সন্তোষজনক সমাধান জড়িত এক অবচয় নিকটতম ভাজক হতে করা । আমি একাধিক লোককে দেখেছি যারা ধরে নিচ্ছে এটি কেস, তবে বাস্তবে এটি সঠিক নয়। এটি ইতিমধ্যে ড্যান মায়ার ব্লগ পোস্টে অস্বীকার করা হয়েছে। উদাহরণস্বরূপ,বিবেচনা করুন; , এবং 4 ভাগ 68, তাই আপনার মনে হতে পারে যে অন্তত একটি4 হওয়া উচিত; তবে, এটি সঠিক নয়। অনুকূল সমাধানটি হল,,। অন্য কাউন্টারিক্স নমুনা হল,, তবে অনুকূল সমাধানটি,,। (এটাপারেসত্য যে সব হতে, সন্তোষজনক সমাধান জড়িত অন্তত এক তৈরীরপারেন ক্ষুদ্রতম ভাজক সমান হতেঅধিক মাপের বাসর্ববৃহৎ ভাজকচেয়ে ছোট - এই মুহূর্তে আমার কাছে কোনও পাল্টা নমুনা নেই - তবে আপনি যদি এই বিবৃতিটি সত্য বলে মনে করেন, তবে তার প্রমাণের প্রয়োজন হবে। আপনি একেবারে সত্য বলে ধরে নিতে পারবেন না))
" একই আকার করুন" অগত্যা সব ক্ষেত্রেই সর্বোত্তম উত্তর পাওয়া যায় বলে মনে হয় না; পাল্টা উদাহরণগুলির জন্য ড্যান মেয়ারের ব্লগ পোস্ট দেখুন। বা, কমপক্ষে, "এগুলিকে মোটামুটি একই আকারে করুন" এই উক্তিটির কিছু যুক্তিসঙ্গত ব্যাখ্যার জন্য এমন কিছু পাল্টা উদাহরণ রয়েছে যা দেখায় যে এই কৌশলটি বাস্তবে অনুকূল নয়। আপনি যদি এই ধরণের কিছু কৌশল চেষ্টা করতে চান তবে নিশ্চিত হয়ে নিন যে আপনি দাবিটি যথাযথভাবে বর্ণনা করেছেন এবং তারপরে একটি সাবধানে গাণিতিক প্রমাণ সরবরাহ করুন।
এর চলমান সময় বহুপদী নয়। এই সমস্যাটি পি তে থাকার জন্য, চলমান সময়টি ইনপুটটির দৈর্ঘ্যের মধ্যে বহুবচন হতে হবে । ইনপুটটির দৈর্ঘ্য হ'ল এলজি এন , এন নয় । সুস্পষ্ট ব্রুট-ফোর্স অ্যালগরিদমটি ও ( এন 3 ) বা ও ( এন 2 ) সময়ে চালানোর জন্য তৈরি করা যেতে পারে তবে এটি এলজি এন- তে ক্ষতিকারক এবং সুতরাং এটি একটি ক্ষতিকারক-সময় অ্যালগরিদম হিসাবে গণনা করা হয়। সুতরাং যে সহায়ক নয়।