চালু


9

আমরা সেটা জানি । স্যাভিচের উপপাদ্য থেকে, সাবটেক ম্যাথকল , এবং, স্পেস হায়ারার্কি টিওরেম থেকে, ম্যাথ্যাকাল নেখ ম্যাথ্যাকাল । সুতরাং, যেহেতু আমরা জানি না , আমরা জানি না , বা আমরা কি জানি যে ? কেউ কি prove mathcal L ^ 2 \ subteq \ mathcal P প্রমাণ করার চেষ্টা করছেন ? এইভাবে সর্বশেষ ফলাফলগুলি বা প্রচেষ্টাগুলি কী কী? আমি এই বিষয়ে একটি জরিপ লেখার চেষ্টা করেছি, তবে প্রাসঙ্গিক কিছু খুঁজে পাইনি।LNLPNPNLL2LL2LPL2PL2PL2P

তদ্ব্যতীত, exists NP সমস্যাটি না থাকলেও তা which NP অসম্পূর্ণ একটি উন্মুক্ত প্রশ্ন, এবং এইরূপ অস্তিত্বই বোঝাতে পারে LNP , যে যেমন L সমস্যার জন্য সম্পূর্ণ হলে L । তবে আমরা কি সত্যিই জানি না যে LNP ? কেউ কি প্রমাণ করার চেষ্টা করছেন? আবার, সর্বশেষ ফলাফলগুলি বা প্রচেষ্টাগুলি কী এইভাবে হয়?

হতে পারে আমি কিছু মিস করছি, বা ভুলভাবে অনুসন্ধান করছি, তবে আমি L2P এবং LNP প্রশ্নগুলিতে কাউকে কাজ করতে পেলাম না ।


3
আমি এই প্রশ্নের একটি সাবসেট জিজ্ঞাসা করেছি: cstheory.stackexchange.com/q/14159/4193
আর্জেন্টপ্যাপার

2
আমরা মধ্যে কোনো বিচ্ছেদ জানি না এবং । সুতরাং তাদের মধ্যে শ্রেণীর মধ্যে কোনও কঠোর সংক্রমণ অজানা। এই প্লাস @ আরজেন্টেপারের কি of এর পরিণতিগুলি কি ? প্রশ্ন আপনার প্রশ্নের উত্তর? TC0NExpTimeL2P
কাভেহ

3
তার সহকর্মীদের সাথে স্টিভ কুক একটি পন্থা আলাদা করতে কাজ করা হয়েছে থেকে । আমি মনে করি নিম্নলিখিতগুলিতে এটির উপর তাদের সাম্প্রতিক প্রকাশিত রচনা: স্টিফেন কুক, পিয়েরি ম্যাকেনজি, ডাস্টিন ওয়েহর, মার্ক ব্র্যাভারম্যান, রাহুল সান্থানাম, "গাছের মূল্যায়নের জন্য নুড়ি ও ব্রাঞ্চিং প্রোগ্রাম" , ২০১২।PL
কাভেহ

4
@ কাভেঃ আমরা অবশ্যই জানি যে ইউনিফর্ম - সিএফ থেকে আলাদাস্থায়ী জন্য এলেন্ডারের সার্কিট নিম্ন সীমানা। (ইউনিফর্ম সংস্করণ যা বর্তমানে আলোচনা প্রাসঙ্গিক হয়।) তবে হ্যাঁ, এমনকি আলাদা uniform- থেকে খোলা আছে। TC0P#PTC0NPTC0
রায়ান উইলিয়ামস

@ রায়ান, আপনি ঠিক বলেছেন, আমি of সম্পর্কে ভাবছিলাম, এখানে যে বিষয়টি গুরুত্বপূর্ণ তা আপনি লিখেছেন হিসাবে অভিন্ন সংস্করণ। TC0
কাভেহ

উত্তর:


12

আপনি নিম্নলিখিত কাগজ চেক করতে পারেন:

অনুবাদমূলক লেমাস, বহুভুজের সময় এবং স্পেস(logn)j রোনাল্ড ভি। বুক (1976) দ্বারা।

কাগজে 1 এবং 2 চিত্রগুলি কী জানা এবং কী অজানা তার সংক্ষিপ্তসার দেয়।

আমি এখানে কাগজটিতে উপপাদ্যটি ৩.১০ রেখেছি:

  • DTIME(poly(n))DSPACE(poly(logn)) ;
  • প্রতি , ;j1DTIME(nj)DSPACE(poly(logn))
  • প্রতিটি , ।j,k1DTIME(nj)DSPACE((logn)k)

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