যদি আমরা সংজ্ঞায়িত কি হবে পি পি একটি ডি
সম্প্রতি ছোট সার্কিটগুলির জন্য সার্কিট সন্তুষ্টির জন্য দ্রুত অ্যালগরিদমগুলি দেওয়া গুরুত্বপূর্ণ হিসাবে প্রমাণিত হয়েছিল , তাই আমি অবাক হই যে পি পি এ ডি এর আয়তনযুক্ত সংস্করণগুলিতে কী ঘটে
যদি আমরা সংজ্ঞায়িত কি হবে পি পি একটি ডি
সম্প্রতি ছোট সার্কিটগুলির জন্য সার্কিট সন্তুষ্টির জন্য দ্রুত অ্যালগরিদমগুলি দেওয়া গুরুত্বপূর্ণ হিসাবে প্রমাণিত হয়েছিল , তাই আমি অবাক হই যে পি পি এ ডি এর আয়তনযুক্ত সংস্করণগুলিতে কী ঘটে
উত্তর:
মৌলিক ধারণাটি বেশ সহজ: একটি টুরিং মেশিন গণনার এক ধাপ করতে পারে, তাই আমরা একটি বহু- সময়কালীন গণনাযোগ্য প্রান্তটি কমপ্যুটেবল প্রান্তগুলির একটি বহুবর্ষীয় দীর্ঘ লাইনের দ্বারা অনুকরণ করতে পারি । ধারণার আরও প্রসারিত করে, কেউ একটি পিপিএড ওরাকল দিয়ে পলি টাইমে গণনাযোগ্য প্রান্তগুলি অনুকরণ করতে পারে, অর্থাৎ পিপিএডি টুরিং হ্রাসযোগ্যতার অধীনে বন্ধ রয়েছে; এই যুক্তিটি বস এবং জনসনে দেওয়া হয়েছে ।AC0
সাহিত্যে পিপিএডের অনেক সমতুল্য সংজ্ঞা রয়েছে যা বিভিন্ন বিবরণে পৃথক হয়, অতএব আমি এখানে একটি নির্দিষ্টতার জন্য স্থির করি let নীচের বৈশিষ্ট্যগুলির সাথে বহুবচনীয় , এবং বহু-কালীন ফাংশন , , এবং একটি এনপি অনুসন্ধান সমস্যা পিপিএডে রয়েছে। প্রতিটি ইনপুট করতে দৈর্ঘ্যের , এবং একটি নির্দেশ গ্রাফ প্রতিনিধিত্ব ছাড়া স্ব-লুপ যেখানে , এবং প্রত্যেক নোড ইন হয়েছে ডিগ্রি এবং সর্বাধিক । উপস্থাপনাটি এমন যে যদিS
নোড একটি উত্স (যেমন, এটির স্নাতক এবং আউট-ডিগ্রি ) রয়েছে। যদি কোনো উৎস বা বেসিনে হয় (ইন-ডিগ্রী আউট ডিগ্রী ) ছাড়া অন্য , তারপর একটি সমাধান ।0p(n)∈Vx
আমরা একইভাবে সংজ্ঞায়িত করতে পারি , কেবলমাত্র জন্য ।AC0PAD
সরলতার জন্য নির্মাণে উপেক্ষা করব । (এটি প্রদর্শন করা শক্ত নয় যে কেউ এটিকে প্রজেকশন হিসাবে নিতে পারে, তাই এটি কমপটেটেবল))h
সুতরাং, একটি পিপিএড সমস্যা বিবেচনা করুন এস এবং এফ এবং জি দ্বারা সংজ্ঞায়িত এস, এবংমেশিনগুলি f এবং g কে টাইম Q ( n ) এ সংশোধন করুন । যে কোনও এক্সের জন্য , আমরা একটি নির্দেশিত গ্রাফ G ′ x = ( V ′ x , E ′ x ) সংজ্ঞায়িত করিযার উল্লম্বগুলি নিম্নলিখিত ফর্মের ক্রম:
( 0 , U , গ 1 , ... , গ ট ) , যেখানে তোমার দর্শন লগ করা ∈ ভী এক্স , 0 ≤ ট ≤ কুই ( এন ) , এবং গ 1 , ... , গ ট প্রথম ট এর গণনার মধ্যে কনফিগারেশনের চ ( এক্স , u ) ।
( 0 , ইউ , সি 1 , … , সি কিউ ( এন ) , ভি , ডি 1 , … , ডি কে ) , যেখানে আপনি , ভি ∈ ভি এক্স , 0 ≤ কে ≤ কিউ ( এন ) , চ ( এক্স , ইউ ) = ভি , সি 1 , … , সি কিউ (
( 1 , ভি , ডি 1 , … , ডি কে ) , যেখানে 0 পি ( এন ) ≠ ভ ∈ ভি এক্স , 0 ≤ কে ≤ কিউ ( এন ) , এবং ডি 1 , … , ডি কে প্রথম কে কনফিগারেশন g এর গণনা ( x , v ) ।
( 1 , ভি , ডি 1 , … , ডি কিউ ( এন ) , ইউ , সি 1 , … , সি কে ) , যেখানে আপনি , ভ ∈ ভি এক্স , ভি ≠ 0 পি ( এন ) , 0 ≤ কে ≤ কিউ ( এন) ) , জি ( এক্স , ভি ) = ইউ ,
E ′ x নিম্নলিখিত ধরণের V ′ x × V ′ x এরপ্রান্তগুলি নিয়ে গঠিত:
( 0 , ইউ , সি 1 , … , সি কে ) → ( 0 , ইউ , সি 1 , … , সি কে + 1 )
( 0 , ইউ , সি 1 , … , সি কিউ ( এন ) ) → ( 0 , ইউ , সি 1 , … , সি কিউ ( এন ) , ভি )
(0,u,c1,…,cq(n),v,d1,…,dk)→(0,u,c1,…,cq(n),v,d1,…,dk+1)
( 0 , ইউ , সি 1 , … , সি কিউ ( এন ) , ভি , ডি 1 , … , ডি কিউ ( এন ) ) → ( 1 , ভি , ডি 1 , … , ডি কিউ ( এন ) , ইউ , সি 1 , … , সি কিউ ( এন ) ) যদি চ( তোমার দর্শন লগ করা ) = V এবং ছ ( বনাম ) = U (অর্থাত, হয় ( তোমার দর্শন লগ করা , বনাম ) ∈ ই x , অথবা U = V একটি বিচ্ছিন্ন প্রান্তবিন্দু হয়)
( 1 , ভি , ডি 1 , … , ডি কিউ ( এন ) , ইউ , সি 1 , … , সি কে + 1 ) → ( 1 , ভি , ডি 1 , … , ডি কি ( এন ) , ইউ , সি 1 , … , সি কে )
( 1 , ভি , ডি 1 , … , ডি কিউ ( এন ) , ইউ ) → ( 1 , ভি , ডি 1 , … , ডি কিউ ( এন ) )
( 1 , ভি , ডি 1 , … , ডি কে + 1 ) → ( 1 , ভি , ডি 1 , … , ডি কে )
(1,u)→(0,u)
Formally, let r(n) be a polynomial bounding the lengths of binary representations of all the sequences above (such that we can extend or shorten sequences, and extract their elements with AC0-functions); we actually put V′x={0,1}r(n), and we let all vertices except the above-mentioned sequences to be isolated.
It is easy to see that the functions f′, g′ representing G′x are AC0-computable: in particular, we can test in AC0 whether c1,…,ck is a valid partial computation of f(x,u), we can compute ck+1 from ck, and we can extract the value of f(x,u) from cq(n).
The sinks in G′x are nodes of the form (0,u,c1,…,cq(n),u,d1,…,dq(n)) where u is a sink in Gx. Likewise, sources are (1,v,d1,…,dq(n),v,c1,…,cq(n)) where v is a source in Gx, except that in the special case v=0p(n), we have pruned the line early and the corresponding source in G′x is just (0,0p(n)). We can assume the encoding of sequences is done in such a way that (0,0p(n))=0r(n).
Thus, f′ and g′ define an AC0PAD problem S′, and we can extract a solution to S(x) from a solution to S′(x) by an AC0-function h′ which outputs the second component of a sequence.