এল এবং এনএল এর মধ্যবর্তী সমস্যা


26

এটি সুপরিচিত যে নির্দেশিত সেন্ট-সংযোগটি হ'ল কমপ্লিট। Reingold এর যুগান্তকারী ফলাফলের দেখিয়েছেন যে undirected St-সংযোগ রয়েছে এল । প্ল্যানার St-সংযোগ নির্দেশ মধ্যে হিসেবে পরিচিত ইউ এল ∩ গ ণ ইউ এল । চ এবং হুইন একটি প্যারামাইট্রাইজড ন্যাপস্যাক সমস্যার সংজ্ঞা দিয়েছিলেন এবং এল এবং এন এল এর মধ্যে সমস্যার একটি শ্রেণিবিন্যাস প্রদর্শন করেছিলেন ।NLLUL∩coULLNL

আমি এবং এন এল এর মধ্যে অন্তর্বর্তী আরও সমস্যাগুলি খুঁজছি , যা সমস্যাগুলি:LNL

  • হতে পরিচিত (অথবা অসম্ভাব্য) কিন্তু না পরিচিত হতে এন এল -complete এবংNLNL
  • পরিচিত হতে -hard কিন্তু হতে জানা যায় না এল ।LL

উত্তর:


13

বহুপদী মেশানো-সময়ের সাথে সাথে নির্দেশ গ্রাফ মধ্যে reachability এর আরএল-সম্পূর্ণ সমস্যা (ইন Reingold, Trevisan এবং Vadhan দ্বারা প্রদর্শিত সিউডোরান্ডম নিয়মিত digraphs এবং আরএল বনাম এল সমস্যা উপর পদচারনা ) রয়েছে স্থান (দেখুন BPHSPACE ( এস ) ⊆ DSPACE ( এস 3 / 2 ) দ্বারা Saks এবং ঝু ), যা কঠোরভাবে এল এবং Savitch এর এন এল উপর আবদ্ধ মধ্যে হে ( লগ ইন করুন 2 এন ) স্থান।log3/2⁡(n)BPHSPACE(S)⊆DSPACE(S3/2)O(log2⁡n)


10

O(log2⁡n/log⁡log⁡n)RUSPACE(log⁡n)⊆DSPACE(log2⁡n/log⁡log⁡n)


1
আরও দেখুন: ল্যাঙ্গ, "একটি সম্পূর্ণ সেট সমেত একটি দ্ব্যর্থহীন ক্লাস" স্ট্যাকস '97।
— ডেরিক স্টোলি

6

ULUL∩coULL

রেফ: সমীর দত্ত, রাঘব কুলকার্নি, রঘুনাথ তেওয়ারি: বিপরীত প্ল্যানার গ্রাফগুলিতে পারফেক্ট ম্যাচিং হ'ল উল in কম্পিউটেশনাল জটিলতা (ইসিসিসি) -এ ইলেক্ট্রনিক কলকোয়িয়াম 17: 201 (2010)


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