স্পেস-বদ্ধ টিএম এবং ওরাকলস

20

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

যেমন একটি নির্মাণ দরকারী? এটি কি কোনও বিশেষভাবে অযৌক্তিক ফলাফল দেয়?

cc.complexity-theory space-bounded oracles

— জেরেমি হারভিটস
সূত্র

আপনি যদি কেবল একটি লিখন-কেবল ওরাকল টেপ দিয়ে কোনও টিএম এভেন করেন তবে আপনি উত্তরটি কীভাবে পড়বেন? আপনি কেবল ওরাকল সম্পর্কে ভুলে যেতে পারেন।

— মার্কোস ভিলাগ্রা

1

স্থান-সীমিত মেশিনগুলির জন্য ওরাকল অ্যাক্সেসের সঠিক সংজ্ঞাটি কী তা সিদ্ধান্ত নেওয়ার ক্ষেত্রে সূক্ষ্ম সমস্যা রয়েছে। ক্লাউস এহলিগ, স্টিফেন কুক, এবং ফুওং ন্যুগেইন, সিএসএল ২০০ by দ্বারা "ছোট জটিলতা ক্লাস এবং তাদের তত্ত্বগুলি পুনরায় তুলনামূলকভাবে দেখুন"

— কাভাহ

@ মারকোস: আমি বিশ্বাস করি যে উত্তরটি কেবল মেশিনের ফলাফলের অভ্যন্তরীণ অবস্থা, এবং ওরাকল টেপটিতে লিখিত হয় না।

— জো ফিটজসিমন্স

স্থান-সীমাবদ্ধ ওরাকল মেশিনগুলির এই সংজ্ঞাটির জন্য রেফারেন্স কী?

— miforbes

10

আমি মনে করি একটি আশ্চর্যজনক সত্য হ'ল এই মডেলটিতে স্যাভিচের উপপাদ্যটি "স্পষ্টতই" পুনঃসংশ্লিষ্ট হয় না। অর্থ্যাৎ, এই মডেলটিতে কেউ দেখতে পাবে যে এবং , এবং আমরা বর্তমানে জানি না যে (এবং এই প্রসঙ্গে এটি দেবে বলে মনে হয় না)। এটিকে "প্রমাণযুক্ত" নন-রিলেটিভাইজিংয়ের দিকে ঠেলে দেওয়া যায় কিনা সে বিষয়ে আমি আগ্রহী। $PSPACE^P=EXPTIME$ $NPSPACE^P=NEXPTIME$ $EXPTIME=NEXPTIME$

এই মডেলটিতে যে কেউ পর্যবেক্ষণ করতে পারেন । $NL^{NL}=NL^L=NP$

যাইহোক, আমি মনে করি যে এই মডেলটি অন্তত স্থানের শ্রেণিবিন্যাসের উপপাদ্যটিতে আপেক্ষিকরণের বিষয়গুলির বিষয়ে কমপক্ষে চিন্তা করার উপযুক্ত। এছাড়াও, কিছু অর্থে, আমি চাই থেকে বহু আকারের প্রশ্নের করতে । $L^A$ $A$

— miforbes
সূত্র

1

একটি জিনিস আমি ভুলে গিয়েছিলাম: এনএল = কোএনএল হিসাবে আমাদের উচিত এনএল ^ এনএল = এনএল, তবে স্পষ্টতই যদি এই মডেলটিতে এনএল ^ এনএল = এনপি আমরা "এনএল-হাইরাচি" ভেঙে দিতে NL = coNL ব্যবহার করতে পারি না। স্থান-সীমাবদ্ধ ওরাকলগুলির একটি পৃথক ধারণায়, শ্রেণিবদ্ধতা প্রকৃতপক্ষে পতন ঘটে (উল্লেখের জন্য ইমারম্যানের এনএল = কোএনএল কাগজটি দেখুন)।

— miforbes

আপনার কি রেফারেন্স আছে? আমি আশা করতাম । নিশ্চয় দিন একটি ভাষা যাও recursively গণনীয় হও, একটি টি এম কে চিনতে এবং একটি টি এম যে ইনপুট এবং একটি সংখ্যা পড়া "1" এবং তারপর simulates এ এই ইনপুট জন্য ধাপ। তারপর যে কোনো স্থান ব্যবহার আমি ওরাকল টেপ ইনপুট কপি পারে ছাড়া, 1 প্রয়োজনীয় সংখ্যা এবং কোয়েরি অনুমান ।

N S P A C E (0)^{P} = R E

$\rm{NSPACE(0)^P=RE}$

L

$L$

M

$M$

L

$L$

M^{'}

$M'$

n

$n$

M

$M$

n

$n$

M^{'}

$M'$

— আর্থার মিলিশিয়র

9

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

তথ্যসূত্র: http://groups.csail.mit.edu/tds/papers/Lynch/tcs78.pdf

— হারুন স্টার্লিং
সূত্র

3

এনএসপিএসি (0) পি = আর আমি যে অনুমান করি তা অযৌক্তিক।

প্রকৃতপক্ষে, এলকে একটি ভাষা পুনরাবৃত্তিমূলকভাবে গণনাকারী হতে দিন, এম এম টি এম যারা এল এবং এম ′ একটি টিএম সনাক্ত করে যা একটি ইনপুট এবং "1" এর একটি এন পড়ে এবং তারপরে এই পদক্ষেপগুলিতে এন পদক্ষেপগুলিতে এম অনুকরণ করে। তারপরে কোনও স্থান ব্যবহার না করেই আমি ওরাকল টেপটিতে ইনপুটটি অনুলিপি করতে পারতাম, প্রয়োজনীয় সংখ্যার অনুমান এবং এম query কোয়েরি করতে পারি ′

তারপরে, এম 'গ্রহণ করবে যদি এম গ্রহণ করে এবং বহুপদী হওয়ার জন্য যথেষ্ট পরিমাণে একটি ইনপুট থাকে।

— আর্থার মিলিশিয়র
সূত্র