এনপি-সম্পূর্ণ সমস্যাগুলির একটি বিভাগ?


28

বিভিন্ন এনপ্যান্সের মধ্যে বহু-সময় হ্রাস হিসাবে রূপচর্চা সহ সমস্ত এনপি-সম্পূর্ণ সমস্যার একটি বিভাগ বিবেচনা করা কি বোধগম্য? কেউ কি কখনও এ সম্পর্কে একটি কাগজ প্রকাশ করেছেন, এবং যদি তা হয় তবে আমি এটি কোথায় খুঁজে পাব?


1
আমি নিশ্চিত না কেন আপনি কেবল এনপি-সম্পূর্ণ সমস্যার ক্যাটাগরি চান, তবে মোড়ফিজমগুলি বিবেচনার জন্য যুক্তিসঙ্গত বলে মনে হওয়ায় কিছু সিদ্ধান্তের হ্রাস (যেমন বহু-সময় বহু-একক হ্রাস) এর কিছু স্থির ধারণা নিয়ে সমস্ত সিদ্ধান্ত সমস্যার বিভাগ। আমি বিভাগের তত্ত্বটি মোটেই জানি না এবং এটি আকর্ষণীয় কিনা তা আমি অনুমান করতে পারি না, যদিও।
Tsuyoshi Ito

1
নিশ্চিত নয় যে এটি সাহায্য করে, তবে আমি এটিকে একটি শট দেব: এনসো এবং অন্যান্য সম্পূর্ণ সেটগুলির সমকামীতা এবং ঘনত্ব । আরও দেখুন জার্নাল সংস্করণ । আরও দেখুন Mahaney এর কাগজ
এমএস দৌস্তি

2
সাদেকের মন্তব্যটি সবিস্তারে জানাতে চেয়েছিলেন। কমপ্লিট সমস্যাগুলির মধ্যে আইসোমর্ফিজম অধ্যয়ন করা হয়েছে এবং বার্মান-হার্টম্যানিস অনুমানকে প্রমাণ / অস্বীকার করার দিকে অনেক কাজ করা হয়েছে (যেটি বলে যে সমস্ত এন পি- কমপ্লিট সমস্যাটি বহুবিধ সময় এক-এক হ্রাসের অধীনে "আইসোমরফিক") । আইসোমর্ফিিজম অনুমানের বিষয়ে cse.iitk.ac.in/users/manindra/survey/Isomorphism-Conjecture.pdf ) সম্পর্কে মণীন্দ্র অগ্রবালের একটি সমীক্ষা এখানে দেওয়া হয়েছে । NPNP
রামপ্রসাদ

1
@ শুয়োশি: এমনকি কার্প হ্রাস নিয়ে এনপিসি সমস্যাগুলির বিভাগটিও আকর্ষণীয় হতে পারে - যদি আমরা সত্যিই সেই বিভাগটিকে বুঝতে পারি তবে সাধারণভাবে আমাদের জটিলতার আরও ভাল বোঝা হত (যেহেতু এটি সম্ভবত কার্পের আরও ভাল বোঝার প্রয়োজন হবে) হ্রাস, অতএব বহুপদী সময়)। ওটিও, আমি নিশ্চিত নই যে এটিকে বিভাগ হিসাবে দেখলে বোঝাপড়া সাহায্যের পথে এগিয়ে যায়। আমি এই ইস্যুটি সম্পর্কে অতীতে কিছুদিন আগেই ভেবেছি, এবং এমন জটিলতার জন্য এমন রেফারেন্সগুলির সন্ধান করেছি এবং খুঁজে পাইনি। আশা করি কেউ করে!
জোশুয়া গ্রাচো

3
আমি দ্বিতীয় জোশুয়া। যা গুরুত্বপূর্ণ তা কোনও বিভাগকে সংজ্ঞায়িত করতে সক্ষম হচ্ছে না, যা গুরুত্বপূর্ণ তা হল এটিতে আকর্ষণীয় শ্রেণিবদ্ধ কাঠামোটি সন্ধান করা। সংযোগের ক্ষেত্রে আকর্ষণীয় কাঠামো রয়েছে তবে জটিলতার জন্য আমি জানি না। আন্দ্রেজের আরও ভাল জানা উচিত এবং আশা করি এই প্রশ্নটি পরীক্ষা করে দেখবেন।
কাভেহ

উত্তর:


21

আপনি যে অঞ্চলটি দেখতে চান তাকে "অন্তর্নিহিত জটিলতা তত্ত্ব" বলা হয়। মার্টিন হফম্যান, প্যাট্রিক বেইলোট, উগো ডাল লাগো, সিমোনা রনচি ডেলা রোকা এবং কাজুশিগে তেরুই নামের গুগলের কাছে এলোমেলো এবং অসম্পূর্ণ নামগুলির নাম।

মূল কৌশলটি হল লিনিয়ার লজিক (তথাকথিত "হালকা লিনিয়ার লজিকস") এর সাবসিস্টেমগুলির সাথে জটিলতা ক্লাস সম্পর্কিত সম্পর্কিত ধারণাটি যে লজিক্যাল সিস্টেমের জন্য কাট-নির্মূলকরণ প্রদত্ত জটিলতা শ্রেণীর জন্য সম্পূর্ণ হওয়া উচিত (যেমন LOGSPACE, পিটিটাইম, ইত্যাদি)। তারপরে কারি-হাওয়ার্ডের মাধ্যমে আপনি একটি প্রোগ্রামিং ল্যাঙ্গুয়েজ পেয়ে যাবেন যা প্রদত্ত শ্রেণীর প্রোগ্রামগুলি যথাযথভাবে প্রকাশযোগ্য। যেমন আপনি লিনিয়ার লজিকের উল্লেখ থেকে প্রত্যাশা করতে পারেন, এই সমস্ত সিস্টেমগুলি তখন বিভিন্ন স্বাদে একঘেয়ে বদ্ধ শ্রেণির উত্থান দেয় যা আপনাকে বিভিন্ন জটিলতার ক্লাসের খাঁটি বীজগণিত এবং মেশিন-স্বতন্ত্র বৈশিষ্ট্যযুক্ত করে তোলে।

এই অঞ্চলটিকে আকর্ষণীয় করে তোলে এমন একটি জিনিস হ'ল traditionalতিহ্যগত জটিলতা বা লজিক্যাল / পিএল পদ্ধতিগুলি পুরোপুরি উপযুক্ত নয়।

যেহেতু জড়িত বিভাগগুলি সাধারণত কাঠামোগত কাঠামো থাকে তাই জটিলতা তাত্ত্বিকদের দ্বারা সমর্থিত সম্মিলিত পদ্ধতিগুলি প্রায়শই ভেঙে যায় (যেহেতু উচ্চতর ক্রমের প্রোগ্রামগুলি সংযুক্তিযুক্ত বৈশিষ্ট্যগুলি প্রতিহত করতে থাকে)। এর একটি সাধারণ উদাহরণ প্রাসঙ্গিক সমতুল্যতা পরিচালনা করতে সিনট্যাক্টিক পদ্ধতিগুলির ব্যর্থতা। একইভাবে, শব্দার্থবিজ্ঞানের পদ্ধতিগুলিতেও সমস্যা রয়েছে, যেহেতু তারা প্রায়শই খুব বেশি এক্সটেনশনাল হয় (যেহেতু প্রচলিতভাবে শব্দার্থবিজ্ঞানীরা ফাংশনগুলির অভ্যন্তরীণ কাঠামোটি আড়াল করতে চেয়েছিলেন)। এখানে আমি যে সাধারণ উদাহরণটি জানি তা হল রচনার অধীনে লোগস্পেস বন্ধ করা: দোভেটেলিং এবং নির্বাচনী পুনর্বিবেচনার কারণে এটি কেবল এএফআইকেই সম্ভব এবং আপনি সমস্যাগুলি খাঁটি কালো বাক্স হিসাবে বিবেচনা করতে পারবেন না।

আপনি সম্ভবত গেমার শব্দার্থবিজ্ঞান এবং গিরার্ডের মিথস্ক্রিয়া জ্যামিতি (এবং তাদের পূর্ববর্তী, কাহন-প্লটকিন-বেরির কংক্রিট ডেটা স্ট্রাকচার) এর সাথে কিছুটা পরিচিতি পেতে চান - যদি উচ্চতর- এর টোকেন-পাসিং উপস্থাপনের ধারণা এই কাজের জন্য ব্যবহৃত অর্ডার গণনাগুলি আইসিসির জন্য প্রচুর পরিমাণে অন্তর্দৃষ্টি সরবরাহ করে।

যেহেতু আমি এই কাজের মধ্যে একচেটিয়া বিভাগের কেন্দ্রীয় ভূমিকাটি নির্দেশ করেছি, তাই আপনি মুলমুলির জিসিটি-র সংযোগগুলি সম্পর্কে যুক্তিসঙ্গতভাবে ভাবতে পারেন। দুর্ভাগ্যক্রমে, আমি আপনাকে এখানে সহায়তা করতে পারি না, যেহেতু আমি কেবল যথেষ্ট জানি না। যদিও পল-আন্দ্রে মেলিসকে জিজ্ঞাসা করা ভাল ব্যক্তি হতে পারে।


16

প্রচুর জিনিসের শ্রেণিবদ্ধ করা সম্ভব, তবে এর অর্থ এই নয় যে তারা আকর্ষণীয় বিভাগ're সুতরাং "এর অর্থ কী তা বোঝায়" এর উত্তর আপনি কীভাবে বোঝাতে চান তার উপর নির্ভর করে।

এটি আকর্ষণীয় হবে কিনা তা পূর্বাভাস দেওয়ার জন্য, হ্রাসের কিছু উপযুক্ত সংজ্ঞা যেমন এটি একটি বিভাগ, এনপিসি গঠন করে ধরে নিন। বিভাগ তাত্ত্বিকভাবে আকর্ষণীয় প্রশ্নগুলি এনপিসির বিভিন্ন সীমাবদ্ধতা বা জমাট রয়েছে (যেমন, পণ্য, কপোড্রাক্টাক্টস, পুলব্যাকস, পুশআউটস, ...) জিজ্ঞাসা করার মতো বিষয় হতে পারে। সুতরাং জিনিসগুলি আনুষ্ঠানিককরণের কাজটি করার আগে, বসে বসে এই সহ / সীমাগুলির অর্থ কী এবং সেই অর্থটি সম্পর্কে জানতে আগ্রহী হবে কিনা তা নিয়ে বসে ভাবতে ভাল লাগবে। যদি আমরা ধরে নিই এনপিসিটির পুলব্যাকস রয়েছে, তবে দুটি হ্রাসের পুলব্যাক নেওয়ার ক্ষমতাটি কি বিশেষ কিছু বোঝায়? এগুলির মতো প্রশ্নগুলি মনে হয় এগুলি আকর্ষণীয় হতে পারে যদি আমরা "পারমাণবিক" এনপি-সম্পূর্ণ সমস্যাগুলি কী কী, বা একাধিক এনপি-সম্পূর্ণ সমস্যা (বা তাদের হ্রাস) কীভাবে একত্রিত করা যায় তা নির্ধারণ করতে চাইতাম;

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

বিশেষ রেফারেন্স হিসাবে, আমি কোনও হাতের কথা জানি না তবে সাদেক, রামপ্রসাদ, কাভের মন্তব্যে যে লিঙ্কগুলি দেওয়া হয়েছিল সেগুলি শুরু করার জন্য কোথাও সরবরাহ করা উচিত।

আমাদের সাইট ব্যবহার করে, আপনি স্বীকার করেছেন যে আপনি আমাদের কুকি নীতি এবং গোপনীয়তা নীতিটি পড়েছেন এবং বুঝতে পেরেছেন ।
Licensed under cc by-sa 3.0 with attribution required.