নেই


15

যদি আমরা সংজ্ঞায়িত কি হবে পি পি একটি ডিPPAD যেমন যে পরিবর্তে একটি polytime টুরিং-মেশিন / polysize বর্তনী, একটি logspace টুরিং মেশিন অথবা একটি এর একটি সি 0AC0 বর্তনী সমস্যা এনকোড?

সম্প্রতি ছোট সার্কিটগুলির জন্য সার্কিট সন্তুষ্টির জন্য দ্রুত অ্যালগরিদমগুলি দেওয়া গুরুত্বপূর্ণ হিসাবে প্রমাণিত হয়েছিল , তাই আমি অবাক হই যে পি পি ডি এর আয়তনযুক্ত সংস্করণগুলিতে কী ঘটে PPAD


বস এবং জনসন, "এনপি অনুসন্ধান সমস্যার মধ্যে প্রস্তাবিত প্রমাণ এবং হ্রাস" প্রমাণ করেছেন যে পিপিএডি টুরিং হ্রাসের আওতায় বন্ধ রয়েছে এবং আমি নিশ্চিত যে যুক্তির একটি ছোটখাটো পরিবর্তন পিপিএডি এর (ইউনিফর্ম) এসি ^ 0 সংস্করণের সাথে সমতা দেয় ।
এমিল জ্যাব্যাক

@ এমিল: এই পরামর্শের জন্য আপনাকে ধন্যবাদ, দুর্ভাগ্যক্রমে এই গবেষণাপত্রে আমার ধারণাগুলি অতিক্রান্ত। যদি কেউ আমাকে এর প্রভাবগুলি বলতে পারে তবে আমি কৃতজ্ঞ হব। এছাড়াও, আমাকে এটির প্রিপ্রিন্টটি এখানে লিঙ্ক করতে দাও: math.ucsd.edu/~sbuss/ResearchWeb/NPS Search
NPS

উত্তর:


10

হ্যাঁ, । (এখানে এবং নীচে, আমি ধরে নিচ্ছি একটি অভিন্ন শ্রেণি হিসাবে সংজ্ঞায়িত হয়েছে course অবশ্যই, ইউনিফর্ম আমরা কেবল পেয়ে ))AC0PAD=PPADAC0PAD=PPADAC0AC0AC0AC0PPAD/polyPPAD/poly

মৌলিক ধারণাটি বেশ সহজ: একটি টুরিং মেশিন গণনার এক ধাপ করতে পারে, তাই আমরা একটি বহু- সময়কালীন গণনাযোগ্য প্রান্তটি কমপ্যুটেবল প্রান্তগুলির একটি বহুবর্ষীয় দীর্ঘ লাইনের দ্বারা অনুকরণ করতে পারি । ধারণার আরও প্রসারিত করে, কেউ একটি পিপিএড ওরাকল দিয়ে পলি টাইমে গণনাযোগ্য প্রান্তগুলি অনুকরণ করতে পারে, অর্থাৎ পিপিএডি টুরিং হ্রাসযোগ্যতার অধীনে বন্ধ রয়েছে; এই যুক্তিটি বস এবং জনসনে দেওয়া হয়েছে ।AC0AC0AC0AC0

সাহিত্যে পিপিএডের অনেক সমতুল্য সংজ্ঞা রয়েছে যা বিভিন্ন বিবরণে পৃথক হয়, অতএব আমি এখানে একটি নির্দিষ্টতার জন্য স্থির করি let নীচের বৈশিষ্ট্যগুলির সাথে বহুবচনীয় , এবং বহু-কালীন ফাংশন , , এবং একটি এনপি অনুসন্ধান সমস্যা পিপিএডে রয়েছে। প্রতিটি ইনপুট করতে দৈর্ঘ্যের , এবং একটি নির্দেশ গ্রাফ প্রতিনিধিত্ব ছাড়া স্ব-লুপ যেখানে , এবং প্রত্যেক নোড ইন হয়েছে ডিগ্রি এবং সর্বাধিক । উপস্থাপনাটি এমন যে যদিSSp(n)p(n)f(x,u)f(x,u)g(x,u)g(x,u)h(x,u)h(x,u)xxnnffggGx=(Vx,Ex)Gx=(Vx,Ex)Vx={0,1}p(n)Vx={0,1}p(n)11(u,v)Ex(u,v)Ex, তারপরে এবং ; যদি আউট-ডিগ্রি , ; এবং যদি স্নাতক , ।f(x,u)=vf(x,u)=vg(x,v)=ug(x,v)=uuu00f(x,u)=uf(x,u)=uuu00g(x,u)=ug(x,u)=u

নোড একটি উত্স (যেমন, এটির স্নাতক এবং আউট-ডিগ্রি ) রয়েছে। যদি কোনো উৎস বা বেসিনে হয় (ইন-ডিগ্রী আউট ডিগ্রী ) ছাড়া অন্য , তারপর একটি সমাধান ।0p(n)Vx0p(n)Vx0011uVxuVx11000p(n)0p(n)h(x,u)h(x,u)S(x)S(x)

আমরা একইভাবে সংজ্ঞায়িত করতে পারি , কেবলমাত্র জন্য ।AC0PADAC0PADf,g,hf,g,hFAC0FAC0

সরলতার জন্য নির্মাণে উপেক্ষা করব । (এটি প্রদর্শন করা শক্ত নয় যে কেউ এটিকে প্রজেকশন হিসাবে নিতে পারে, তাই এটি কমপটেটেবল))hhAC0AC0

সুতরাং, একটি পিপিএড সমস্যা বিবেচনা করুন এস এবং এফ এবং জি দ্বারা সংজ্ঞায়িত এস, এবংমেশিনগুলি f এবং g কে টাইম Q ( n ) এ সংশোধন করুন । যে কোনও এক্সের জন্য , আমরা একটি নির্দেশিত গ্রাফ G x = ( V x , E x ) সংজ্ঞায়িত করিযার উল্লম্বগুলি নিম্নলিখিত ফর্মের ক্রম:Sfgfgq(n)xGx=(Vx,Ex)

  • ( 0 , U , 1 , ... , ) , যেখানে তোমার দর্শন লগ করা ভী এক্স , 0 কুই ( এন ) , এবং1 , ... , প্রথম এর গণনার মধ্যে কনফিগারেশনের( এক্স , u )(0,u,c1,,ck)uVx0kq(n)c1,,ckkf(x,u)

  • ( 0 , ইউ , সি 1 , , সি কিউ ( এন ) , ভি , ডি 1 , , ডি কে ) , যেখানে আপনি , ভি ভি এক্স , 0 কে কিউ ( এন ) ,( এক্স , ইউ ) = ভি , সি 1 , , সি কিউ ((0,u,c1,,cq(n),v,d1,,dk)u,vVx0kq(n)f(x,u)=vn ) f(x,u)এর সম্পূর্ণ গণনাএবং d 1 ,, d k হলg(x,v)এর গণনারপ্রথমkপদক্ষেপ।c1,,cq(n)f(x,u)d1,,dkkg(x,v)

  • ( 1 , ভি , ডি 1 , , ডি কে ) , যেখানে 0 পি ( এন )ভি এক্স , 0 কে কিউ ( এন ) , এবং ডি 1 , , ডি কে প্রথম কে কনফিগারেশন g এর গণনা ( x , v )(1,v,d1,,dk)0p(n)vVx0kq(n)d1,,dkkg(x,v)

  • ( 1 , ভি , ডি 1 , , ডি কিউ ( এন ) , ইউ , সি 1 , , সি কে ) , যেখানে আপনি , ভি এক্স , ভি 0 পি ( এন ) , 0 কে কিউ ( এন) ) , জি ( এক্স , ভি ) = ইউ ,(1,v,d1,,dq(n),u,c1,,ck)u,vVxv0p(n)0kq(n)g(x,v)=u1 , ... , কুই ( এন ) এর গণনার হয়( এক্স , বনাম ) , এবং1 , ... , প্রথম এর গণনার পদক্ষেপ( এক্স , U )d1,,dq(n)g(x,v)c1,,ckkf(x,u)

E x নিম্নলিখিত ধরণের V x × V x এরপ্রান্তগুলি নিয়ে গঠিত:ExVx×Vx

  • ( 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 Vx={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 Gx 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 Gx 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 Gx 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.

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