জটিলতা বর্গ PPAD (কম্পিউটিং যেমন বিভিন্ন ন্যাশ ভারসাম্য) মোট অনুসন্ধান সমস্যার রূপান্তরযোগ্য polytime সেট হিসাবে সংজ্ঞায়িত করা যায় লাইনের শেষে :
লাইনের সমাপ্তি : এন ইনপুট বিট এবং এন আউটপুট বিটের সাথে দেওয়া সার্কিট এস এবং পি যেমন পি (0 এন ) = 0 এন ! = এস (0 এন ) , পি that 0,1 in n এর মধ্যে একটি ইনপুট x খুঁজে পান (এস (এক্স)) ! = X বা এস (পি (এক্স)) ! = এক্স ! = 0 এন ।
সার্কিট বা অ্যালগরিদম যেমন এস এবং পি সুস্পষ্টভাবে একটি তাত্পর্যপূর্ণ বৃহত গ্রাফ সংজ্ঞায়িত করে যা কেবলমাত্র কোয়েরি-বাই-কোয়েরির ভিত্তিতে প্রকাশিত হয় (সমস্যাটিকে পিএসপিএসি- তে রাখার জন্য !), যেমন পাপাদিমিট্রোজের কাগজ ।
তবে, আমি বুঝতে পারি না যে কেউ কীভাবে এমন একটি সার্কিট ডিজাইন করবে যা স্বেচ্ছাসেবী গ্রাফগুলিকে সক্ষম করে (যদি গ্রাফের কোনও পদ্ধতিগত কাঠামো থাকে তবে এটি সার্কিটটি খুঁজে পাওয়া অনেক সহজ মনে হয়)। উদাহরণস্বরূপ, উত্স অনুসারে একটি অল -0 লেবেল এবং অন্যান্য সমস্ত শিখরে এলোমেলোভাবে নির্ধারিত বাইনারি লেবেল সহ একটি বহুপক্ষীয় আকারের সার্কিট ডিজাইন করবে কীভাবে ? এটি পিপিএডি- সম্পর্কিত সম্পর্কিত কাগজপত্রগুলিতে অন্তর্ভুক্ত বলে মনে হচ্ছে ।
অনলাইনে অনুসন্ধানে আমি সবচেয়ে কাছ থেকে এসেছি গাল্পেরিন / উইজারসনের কাগজ , তবে সেখানে বর্ণিত সার্কিটটি দুটি ভার্টেক্স লেবেল নিয়েছে এবং "এই এই শিখাগুলি সংলগ্ন কি?" - এর একটি বুলিয়ান উত্তর দেয়?
সুতরাং, আপনি কীভাবে একটি বহনযোগ্য আকারের গ্রাফের বহুপদী আকারের সার্কিট ডিজাইন করবেন যা একটি এন- বিট ইনপুট নেয় এবং যথাক্রমে তার পূর্বসূরি বা উত্তরসূরীর এন- বিট লেবেলকে আউটপুট দেয় ? অথবা এমনকি, কেউ কি এমন কোনও সংস্থান সম্পর্কে জানেন যা এটি ভালভাবে ব্যাখ্যা করে?