পোস্ট চিঠিপত্র এনপিতে কি সমস্যা?

12

আমি কেবল পোস্ট চিঠিপত্রের সমস্যা সম্পর্কে সিপসারের বইয়ের পরিচিতি থিওরির গণনার কয়েকটি পৃষ্ঠা পড়েছি এবং আমি ভাবছি যে পিসিপি আসলে এনপিতে রয়েছে। Certifier হল: গাদা এর একটি ইনপুট কনফিগারেশনের জন্য concatenating একটি স্ট্রিং এবং সংমিশ্রণ

({টি}_{1} / খ_{1}, {টি}_{2} / খ_{2}, । । । {টি}_{এন} / খ_{এন})

$(t_1/b_1, t_2/b_2,...t_n/b_n)$

t_{1}, t_{2}, . . ., t_{n}

$t_1, t_2,...,t_n$

t

$t$

কে স্ট্রিং

হিসাবে, তারপরে

এবং

তুলনাকরে দেখুন যে দুটি সমান কিনা এবং তারপরে এই সিদ্ধান্তে পৌঁছান যে ইনপুটটি আসলে পিসিপি-র একটি সমাধান।

b_{1}, b_{2}, . . ., b_{n}

$b_1, b_2, ..., b_n$

b

$b$

t

$t$

b

$b$

— phhoang
সূত্র

2

একটি / এই সমস্যার সীমাবদ্ধ সংস্করণ / রূপটি এনপি সম্পূর্ণ। উদাহরণস্বরূপ পিসিপি এনপি সম্পূর্ণ / তাত্ত্বিক কম্পিউটার বিজ্ঞান দেখুন

— vzn

19

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

— যুবাল ফিল্ম
সূত্র

11

তোমার সাক্ষী আকার বহুপদী হয় সমাধান ইনপুটের আকার নেই। আপনার কাছে সম্ভাব্য সমাধানগুলির দৈর্ঘ্য সীমাবদ্ধ করার কোনও উপায় নেই। আপনার প্রমাণ দেখায় যে পিসিপি পুনরাবৃত্তিযোগ্যভাবে গণনাযোগ্য।

— PHS
সূত্র