সমান্তরাল কম্পিউটিং এবং ক্লাস এনসি সম্পর্কিত কিছু প্রশ্ন


14

এই দুটি বিষয় সম্পর্কে আমার বেশ কয়েকটি সম্পর্কিত প্রশ্ন রয়েছে।

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

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

তৃতীয়ত, , যেহেতু কোনও লগস্পেস অ্যালগরিদমকে একটি সমান্তরাল সংস্করণে রূপান্তর করতে কোনও অ্যালগরিদম আছে?LNC2

চতুর্থত, মনে হচ্ছে বেশিরভাগ লোকেরা একইভাবে পিএন পি হিসাবে ধরে নিয়েছে । এর পিছনে অন্তর্দৃষ্টি কী?NCPPNP

পঞ্চম, আমি যে পাঠ্য পড়েছি তা শ্রেণীর উল্লেখ করেছে তবে এতে থাকা সমস্যার কোনও উদাহরণ দেয় না। কোন আছে?RNC

অবশেষে, এই উত্তর সমস্যা উল্লেখ sublinear সমান্তরাল সঞ্চালনের সময় সঙ্গে। এই সমস্যার কয়েকটি উদাহরণ কি? অন্যান্য জটিলতার ক্লাসে কি সমান্তরাল অ্যালগোরিদম রয়েছে যা এন সি তে পরিচিত নয় ?PNC


1
এছাড়াও, এই একই প্রশ্ন নোট করুন ।
নিকোলাস মানকুসো

উত্তর:


9

তৃতীয়ত, , যেহেতু কোনও লগস্পেস অ্যালগরিদমকে একটি সমান্তরাল সংস্করণে রূপান্তর করতে কোনও অ্যালগরিদম আছে?LNC2

এটা তোলে দেখানো যেতে পারে (অরোরার বারক পাঠ্যপুস্তক) একটি প্রদত্ত -time টি এম এম , একটি অন্যমনস্ক টি এম যে এম ' (অর্থাত একটি টি এম যার মাথা আন্দোলন তার ইনপুট স্বাধীন এক্স ) একটি বর্তনী গঠন করা যেতে পারে সি এন গনা এম ( x ) যেখানে | এক্স | = এনt(n)MMxCnM(x)|x|=n

প্রমাণ স্কেচ থাকার লাইন বরাবর হয় অনুকরণ এম ও এর রাষ্ট্র "স্ন্যাপশট" সংজ্ঞায়িত (অর্থাত মাথা অবস্থান, মাথা এ প্রতীক) প্রতিটি সময়-পদক্ষেপ এ টি আমি (ক গণনীয় লগ মনে)। প্রতিটি পদক্ষেপ টন আমি থেকে নির্ণিত করা যেতে পারে এক্স এবং রাষ্ট্র টন আমি - 1 । কারণ প্রতিটি স্ন্যাপশট শুধুমাত্র একটি ধ্রুবক আকারের স্ট্রিং জড়িত থাকে, এবং সেখানে যে আকারের স্ট্রিং শুধুমাত্র একটি ধ্রুবক পরিমাণ বিদ্যমান, এ স্ন্যাপশট টি আমি একটি ধ্রুবক আকারের বর্তনী দ্বারা নির্ণিত করা যেতে পারে।MMtitixti1ti

আপনি প্রতিটি জন্য অবিরাম আকারের সার্কিট রচনা তাহলে আমরা বর্তনী যে নির্ণয় আছে এম ( এক্স ) । সীমাবদ্ধতা সহ, এই সত্য ব্যবহার যে ভাষা এম রয়েছে এল আমরা দেখতে যে আমাদের বর্তনী সি এন সংজ্ঞা দ্বারা হয় logspace-ইউনিফর্ম , যেখানে একরূপতা শুধু অর্থ আমাদের বর্তনী পরিবারে আমাদের সার্কিট { সি এন } কম্পিউটিং এম ( এক্স ) সবার একই অ্যালগরিদম রয়েছে। ইনপুট সাইজের এন অপারেটিং করে প্রতিটি সার্কিটের জন্য কাস্টম-মেড অ্যালগরিদম নয় ।tiM(x)MLCn{Cn}M(x)n

আবার, অভিন্নতার সংজ্ঞা থেকে আমরা দেখতে পেয়েছি যে যে কোনও ভাষা সিদ্ধান্ত নেওয়ার সার্কিটগুলির অবশ্যই ( লগ এন ) তে একটি ফাংশন আকার ( এন ) গণনীয় থাকতে হবে সার্কিট পরিবার সি 1 এর সর্বাধিক ( লগ এন ) গভীরতা রয়েছে।Lsize(n)O(logn).AC1O(logn)

অবশেষে এটি দেখানো যেতে পারে যে প্রশ্নটি সম্পর্কিত সম্পর্ক দিচ্ছে।AC1NC2

চতুর্থত, মনে হচ্ছে বেশিরভাগ লোকেরা একইভাবে পিএন পি হিসাবে ধরে নিয়েছে । এর পিছনে অন্তর্দৃষ্টি কী?NCPPNP

আমরা আরও এগিয়ে যাওয়ার আগে আসুন কমপ্লিটনেস বলতে কী বোঝায় তা নির্ধারণ করি ।P

একটি ল্যাঙ্গুয়েজ হয় পি -complete যদি এল পি এবং প্রতিটি ভাষায় পি এটি logspace রূপান্তরযোগ্য নয়। অতিরিক্তভাবে, এল যদি পি- কমপ্লিট হয় তবে নিম্নলিখিতগুলি সত্যLPLPPLP

  1. LNCP=NC

  2. LLP=L

NCP

উদাহরণস্বরূপ, সার্কিট মান সমস্যাটি সংজ্ঞায়িত করা হয়েছে:

CxgCgC(x)

ggtititi+1ti+1ti

NCP


PNP


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

3

পঞ্চম, আমি যে পাঠ্য পড়েছি তা প্রতিটি ক্লাসে আরএনসি ক্লাসের উল্লেখ করেছে তবে এতে থাকা সমস্যার কোনও উদাহরণ দেয় না। কোন আছে?

RNC2

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