গ্রাফের সার্কিট উপস্থাপনা


20

জটিলতা বর্গ PPAD (কম্পিউটিং যেমন বিভিন্ন ন্যাশ ভারসাম্য) মোট অনুসন্ধান সমস্যার রূপান্তরযোগ্য polytime সেট হিসাবে সংজ্ঞায়িত করা যায় লাইনের শেষে :

লাইনের সমাপ্তি : এন ইনপুট বিট এবং এন আউটপুট বিটের সাথে দেওয়া সার্কিট এস এবং পি যেমন পি (0 এন ) = 0 এন ! = এস (0 এন ) , পি that 0,1 in n এর মধ্যে একটি ইনপুট x খুঁজে পান (এস (এক্স)) ! = X বা এস (পি (এক্স)) ! = এক্স ! = 0 এন

সার্কিট বা অ্যালগরিদম যেমন এস এবং পি সুস্পষ্টভাবে একটি তাত্পর্যপূর্ণ বৃহত গ্রাফ সংজ্ঞায়িত করে যা কেবলমাত্র কোয়েরি-বাই-কোয়েরির ভিত্তিতে প্রকাশিত হয় (সমস্যাটিকে পিএসপিএসি- তে রাখার জন্য !), যেমন পাপাদিমিট্রোজের কাগজ

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

অনলাইনে অনুসন্ধানে আমি সবচেয়ে কাছ থেকে এসেছি গাল্পেরিন / উইজারসনের কাগজ , তবে সেখানে বর্ণিত সার্কিটটি দুটি ভার্টেক্স লেবেল নিয়েছে এবং "এই এই শিখাগুলি সংলগ্ন কি?" - এর একটি বুলিয়ান উত্তর দেয়?

সুতরাং, আপনি কীভাবে একটি বহনযোগ্য আকারের গ্রাফের বহুপদী আকারের সার্কিট ডিজাইন করবেন যা একটি এন- বিট ইনপুট নেয় এবং যথাক্রমে তার পূর্বসূরি বা উত্তরসূরীর এন- বিট লেবেলকে আউটপুট দেয় ? অথবা এমনকি, কেউ কি এমন কোনও সংস্থান সম্পর্কে জানেন যা এটি ভালভাবে ব্যাখ্যা করে?

উত্তর:


20

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

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

যদি আমি আপনার প্রশ্নের ভুল বোঝাবুঝি করছি এবং আপনি সত্যিই জিজ্ঞাসা করছেন: একজন খুব উচ্চ কাঠামোগত গ্রাফ এমনকি এমন একটি সার্কিট তৈরি করে যা EOL এর জন্য ইনপুট প্রয়োজনীয়তাগুলিও পূরণ করে: পথটি গ্রাফটি চেষ্টা করবে যা ভার্টেক্স এক্সকে সংযুক্ত করে (একটি সংখ্যা হিসাবে বিবেচিত) বাইনারিতে) x-1 এবং x + 1 থেকে শেষ হয় শূন্য এবং 2 ^ n-1 এ। অথবা আপনি যদি কম তুচ্ছ কিছু চান যা EOL সমাধান করা আরও কঠিন বলে মনে হয়: E এবং D আপনার প্রিয় ক্রিপ্টোসিস্টেমের একটি নির্দিষ্ট কীটির জন্য এনক্রিপশন এবং ডিক্রিপশন ফাংশন হতে দিন, গ্রাফের এক্স এর প্রতিবেশীদের ই (এক্স) এবং ডি হতে দিন (x), এবং রেখার প্রান্তটি 0 এবং D (0) হওয়া যাক।


11

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

যদিও আপনি উদ্ধৃত কাজের সাথে আমি নিবিড়ভাবে পরিচিত নই, আমার অনুমান যে তারা সর্বদা গ্রাফ-বর্ণিত-দ্বারা-সার্কিটগুলির সাথে কথা বলছে। অন্য কথায়, সার্কিটগুলিতে ফোকাস করে, তারা মূলত গ্রাহকের সার্কিটগুলি (যার আকার গ্রাফের আকারে লোগারিথমিক হয়) গ্রাফগুলির দিকে তাদের মনোযোগ সীমাবদ্ধ করে চলেছে।

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