আপনি কি অতীতে এরকম একটি উপলক্ষ্যে এসেছেন? ঠিক আছে, সমস্ত কিছুর সম্ভাবনা রয়েছে তবে আমি জানতে চাই যে এই ঘটনাটি কতটা বাস্তবসম্মত হতে পারে। আমি অবশ্যই কাগজের লক্ষ্য পরিবর্তন করে গুরুতর ভুলকে উল্লেখ করছি এবং অবশ্যই ছোটখাটো ভুল নয়। ধন্যবাদ
আপনি কি অতীতে এরকম একটি উপলক্ষ্যে এসেছেন? ঠিক আছে, সমস্ত কিছুর সম্ভাবনা রয়েছে তবে আমি জানতে চাই যে এই ঘটনাটি কতটা বাস্তবসম্মত হতে পারে। আমি অবশ্যই কাগজের লক্ষ্য পরিবর্তন করে গুরুতর ভুলকে উল্লেখ করছি এবং অবশ্যই ছোটখাটো ভুল নয়। ধন্যবাদ
উত্তর:
একটি কেস ব্লুম-ফিল্ডম্যান-মিকালির স্টক '88 পেপার । মিহির বেলার (ব্যক্তিগত যোগাযোগ) তাদের কাছে ত্রুটিটি নির্দেশ করেছিল। আপনি এখানে প্রাসঙ্গিক আলোচনা খুঁজে পেতে পারেন ।
Petri নেট reachability সমস্যা একটি সমৃদ্ধ ইতিহাস যেখানে অসম্পূর্ণ বা ত্রুটিপূর্ণ প্রমাণাদি পরে নতুন ফলাফল হতে হয়েছে। জিএস Sacerdote এবং আরএল Tenney একটি অসম্পূর্ণ decidability প্রমাণ উপস্থাপন STOC '77 , যা অবশ্য এ ইডব্ল্যু মায়ারের পরবর্তী প্রমাণ সহায়ক ছিল STOC '81 এবং এসআর Kosaraju দ্বারা তার উন্নতি STOC '82 । এই ক্ষয়ক্ষতি প্রমাণগুলি জটিলতার উপরের সীমানা নিয়ে আসে নি (তারা সমাপ্তির জন্য ভাল অর্ধ-আদেশগুলি নিযুক্ত করে )। জেড। বুজিয়ানা পরে FOCS '98 -তে একটি 2 এক্সপ্লেস স্পেস অ্যালগরিদম খুঁজে পেয়েছে বলে দাবি করেছে । পি। জনার দ্বারা একটি ত্রুটি চিহ্নিত করা হয়েছিল (এবং অবশেষে একটি নোটে প্রকাশিত হয়েছিল)) তবে বুজিয়ানের কাজ এই পুরানো প্রশ্নের আগ্রহ পুনর্নবীকরণে সহায়তা করেছে। যদিও এই সমস্যার জটিলতার বিষয়ে এখনও কোনও উচ্চতর সীমাবদ্ধতা নেই, তবে জে । লেরাকস সম্প্রতি পিওপিএল '11 এ একটি নতুন সিদ্ধান্ত গ্রহণের প্রমাণ উপস্থাপন করেছেন ।
STOC / FOCS এ নেই:
স্ট্রাকচার ইন কমপ্লেক্সিটি থিওরিতে (১৯৮৮) কনফারেন্সে আরেকটি ঘটনা ঘটেছিল (যদি আমি ভুল না হয়ে থাকি তবে এটি এখন কম্পিউটারের জটিলতা সম্পর্কিত সম্মেলন বলে।) কাগজের শিরোনাম ছিল মাল্টি-পাওয়ার ইন্টারেক্টিভ প্রোটোকলগুলির শক্তিতে । এর দু'বছর পরে, লেখকরা (ফোর্টনউ, রোম্পেল এবং সিপসার) একই সম্মেলনে দুটি পৃষ্ঠার একটি পেপার "ইরট্টার জন্য পাওয়ার অফ মাল্টি-প্রভার ইন্টারেক্টিভ প্রোটোকলস" প্রকাশ করেছেন। দুর্ভাগ্যক্রমে, আইইইই এই কাগজটি ডাউনলোডের জন্য সরবরাহ করে না।