হ্যাঁ, চিজম্যান, কেনেফস্কি এবং টেলারের ১৯৯১ সালের গবেষণাপত্রের পর থেকে অনেক কাজ হয়েছে।
এনপি-সম্পূর্ণ সমস্যার পর্যায় স্থানান্তরের পর্যালোচনাগুলির জন্য অনুসন্ধান করা আপনাকে প্রচুর ফলাফল দেবে। এরকম একটি পর্যালোচনা হর্টম্যান এবং ওয়েইট [1]। উচ্চ স্তরের পরিচিতির জন্য, ব্রায়ান হেইস আমেরিকান সায়েন্টিস্ট নিবন্ধগুলি দেখুন [২] [৩]
চিজম্যান, ক্যানফস্কি এবং টেলরের ১৯৯১-এর গবেষণাপত্রটি কম্পিউটার বিজ্ঞানীদের গণিতের সাহিত্যের দিকে মনোযোগ না দেওয়ার একটি দুর্ভাগ্যজনক ঘটনা। চিজম্যান, কেনেফস্কি এবং টেলরের কাগজে, তারা হ্যামিল্টোনীয় চক্রটিকে সমালোচনামূলক দোরগোড়ার কাছে অনুসন্ধান ব্যয়ে একটি পিকআপের সাথে একটি পর্যায়ের রূপান্তর হিসাবে চিহ্নিত করেছিল। তারা ব্যবহৃত এলোমেলো গ্রাফ মডেলটি ছিল এরদোস-রেনিই র্যান্ডম গ্রাফ (স্থির প্রান্ত সম্ভাবনা বা সমতুল্য গাউসিয়ান ডিগ্রি বিতরণ)। এই কেসটি গ্রাফের এই শ্রেণীর জন্য প্রায় নিশ্চিত বহুপক্ষীয় সময়ের অ্যালগরিদম সমেত চীনম্যান এট 1991 এর গবেষণাপত্রের আগে খুব ভালভাবে অধ্যয়ন করা হয়েছিল, এমনকি সমালোচনামূলক দোরগোড়ায় বা তার কাছাকাছিও। বল্লোবাসের "র্যান্ডম গ্রাফগুলি" [৪] একটি ভাল রেফারেন্স। আমি বিশ্বাস করি যে আসল প্রমাণটি অ্যাংলিয়ুন এবং ভ্যালিয়েন্ট [5] উপস্থাপন করেছিলেন বোল্লোবাস, ফেনার এবং ফ্রেজে আরও উন্নতি সহ [[]। চিজম্যানের পরে,
এলোডো-রেনি র্যান্ডম গ্রাফে এলোমেলোয়ানীয় চক্রের জন্য হ্যামিল্টোনীয় চক্রের জন্য পর্যায়ক্রমে এই অর্থে উপস্থিত রয়েছে যে সমাধানের সন্ধানের সম্ভাবনার দ্রুত পরিবর্তন ঘটেছে তবে এটি হ্যামিলটনিয়ান চক্রগুলি আবিষ্কারের "অন্তর্নিহিত" জটিলতার বৃদ্ধি হিসাবে অনুবাদ করে না। তাত্ত্বিক ও অনুশীলন উভয় ক্ষেত্রেই, এরদোস-রেনি র্যান্ডম গ্রাফগুলিতে হ্যামিল্টোনীয় চক্র সন্ধানের জন্য প্রায় নিশ্চিত বহুসূচী সময় অ্যালগরিদম রয়েছে।
সমীক্ষার প্রচার [৮] সমালোচনার দ্বারপ্রান্তের খুব কাছাকাছি এলোমেলো 3-SAT এর জন্য সন্তোষজনক উদাহরণগুলি খুঁজে পেতে ভাল সাফল্য পেয়েছে। আমার বর্তমান জ্ঞানটি কিছুটা মরিচা তাই আমি নিশ্চিত নই যে সমালোচনার দ্বারপ্রান্তের নিকট অতৃপ্তিযোগ্য মামলাগুলির জন্য "দক্ষ" অ্যালগরিদমগুলি খুঁজে পাওয়ার কোনও বড় অগ্রগতি হয়েছে কিনা I'm 3-স্যাট, যতদূর আমি জানি, এটি সমাধানের পক্ষে "সহজ" সমাধানগুলির মধ্যে একটি, এটি যদি সন্তোষজনক এবং সমালোচনামূলক প্রান্তিকের কাছে তবে অজানা (বা শক্ত?) সমালোচনার দ্বারপ্রান্তের কাছাকাছি অসন্তুষ্টির ক্ষেত্রে case
আমার জ্ঞানটি এখন কিছুটা তারিখযুক্ত তবে শেষবার যখন আমি এই বিষয়টিকে গভীরতার সাথে দেখলাম তখন কয়েকটি বিষয় আমার সামনে দাঁড়িয়েছিল:
- হ্যামিলটোনিয়ান সাইকেলটি এরদোস-রেনি র্যান্ডম গ্রাফগুলির জন্য "সহজ"। এটির জন্য কঠিন সমস্যাগুলি কোথায়?
- সংখ্যার পার্টিশনটি সমাধানযোগ্য হতে হবে যখন প্রায় নিশ্চিত সম্ভাবনা 0 বা 1 অঞ্চলে খুব কার্যকর তবে কোনও মাঝারি উদাহরণের আকারের জন্য কোনও দক্ষ অ্যালগরিদম (আমার জ্ঞানের কাছে) অস্তিত্বহীন নয় (যতদূর আমি জানি, প্রতিটি বি 500 এর বিট রয়েছে, সম্পূর্ণরূপে অক্ষত থাকে) শিল্প অ্যালগরিদমের রাজ্য)। [9] [10]
- 3-স্যাট সমালোচনামূলক প্রান্তিকের কাছাকাছি সন্তুষ্টিজনক দৃষ্টান্তগুলির জন্য "সহজ" এমনকি বিশাল উদাহরণ আকারের (কয়েক মিলিয়ন ভেরিয়েবল) তবে সমালোচনামূলক প্রান্তিকের নিকটে অসন্তুষ্টিজনক দৃষ্টান্তের জন্য শক্ত।
আমি এটিকে এখানে অন্তর্ভুক্ত করতে দ্বিধা বোধ করি কারণ আমি এটি থেকে কোনও সমমনা পর্যালোচনা পত্র প্রকাশ করি নি তবে আমি আমার থিসিসটি লিখেছিবিষয়. মূল ধারণাটি হ'ল একটি সম্ভাব্য শ্রেণীর এলোমেলোভাবে ensembles (হ্যামিলটোনিয়ান সাইকেল, সংখ্যা পার্টিশন সমস্যা ইত্যাদি) যা "অভ্যন্তরীণভাবে শক্ত" তারাই "স্কেল ইনভেরিয়েন্স" সম্পত্তি রয়েছে। লেভি-স্থিতিশীল বিতরণগুলি এই মানের সাথে আরও বেশি প্রাকৃতিক বিতরণ, পাওয়ার আইনের লেজ থাকে এবং এনপি-কমপ্লিট এনসেমবলস থেকে এলোমেলো উদাহরণ বেছে নিতে পারে যা লেভি-স্থিতিশীল বিতরণকে একরকম অন্তর্ভুক্ত করে। আমি কিছু দুর্বল প্রমাণ দিয়েছি যে হ্যামিলটোনীয় চক্রের উদাহরণগুলি সাধারণ বিতরণের পরিবর্তে লেভি-স্থিতিশীল ডিগ্রি বিতরণ (যেমন এরদোস-রেনি) এর সাথে বেছে নেওয়া হয় তবে অভ্যন্তরীণভাবে হ্যামিল্টোনীয় চক্রের উদাহরণগুলি পাওয়া যায়। অন্য কিছু না হলে এটি অন্তত কিছু সাহিত্যের পর্যালোচনার জন্য আপনাকে একটি সূচনা পয়েন্ট দেবে।
[1] একে হার্টম্যান এবং এম ওয়েইগ্ট। সম্মিলিত অপ্টিমাইজেশান সমস্যাগুলিতে পর্বের স্থানান্তরগুলি: বেসিক, অ্যালগরিদম এবং পরিসংখ্যান মেকানিক্স। উইলে-ভিসিএইচ, 2005
[২] বি হেইস। সবচেয়ে সহজ সমস্যা। আমেরিকান সায়েন্টিস্ট, 90 (2), 2002।
[3] বি। হেইস। দ্বারপ্রান্তে। আমেরিকান সায়েন্টিস্ট, 91 (1), 2003।
[৪] বি। বল্লোবস। র্যান্ডম গ্রাফ, দ্বিতীয় সংস্করণ। কেমব্রিজ ইউনিভার্সিটি প্রেস, নিউ ইয়র্ক, 2001
[5] ডি অ্যাংলুইন এবং এলজি ভ্যালিয়েন্ট। হ্যামিল্টন সার্কিট এবং ম্যাচিংয়ের জন্য দ্রুত সম্ভাব্য অ্যালগরিদম। জে কম্পিউটার, সিস্ট বিজ্ঞান।, 18: 155–193, 1979।
[]] বি। বল্লোবস, টিআই ফেনার, এবং এএম ফ্রেইজ। হ্যান্ডিল্ট পথ এবং এলোমেলো গ্রাফে চক্র সন্ধানের জন্য একটি অ্যালগরিদম। সংমিশ্রণকারী, 7: 327–341, 1987।
[]] বি ভ্যান্ডেগ্রেন্ড এবং জে। কালবারসন। হ্যামিলটোনিয়ান চক্র সমস্যার জন্য জি এন, এম পর্যায় স্থানান্তর কঠিন নয় hard এআই গবেষণা জে।, 9: 219-2245, 1998।
[8] এ। ব্রাওনস্টেইন, এম। মাজার্ড এবং আর জেকিনা। জরিপ প্রচার: সন্তুষ্টি পাওয়ার জন্য একটি অ্যালগরিদম। র্যান্ডম স্ট্রাকচারস এবং অ্যালগরিদম, 27: 201-2226, 2005।
[9] আই। জেন্ট এবং টি। ওয়ালশ। সংখ্যা বিভাজনের জন্য হিউরিস্টিক বিশ্লেষণ। গণনা বুদ্ধি, 14: 430-451, 1998।
[10] সিপি স্নোনার এবং এম ইউচনার। জাল ভিত্তিক হ্রাস: ব্যবহারিক অ্যালগোরিদম উন্নত এবং উপসেট যোগ সমস্যা সমাধান। গণনা তত্ত্বের প্রসিডিংস অফ থিওরি'৯৯, এল। বুডাচ, এডি।, কম্পিউটার সায়েন্সে লেকচার নোটস, আয়তন ৫২৯, পৃষ্ঠা –৮-৮৮, ১৯৯১।