প্রশ্ন ট্যাগ «pcp»

সম্ভাব্য পরীক্ষণযোগ্য প্রমাণ

11
পিসিপি উপপাদ্যের প্রমাণ বোঝার জন্য ভাল উল্লেখগুলি কী কী?
আমি পিসিপি উপপাদ্য (মূলত অ্যালগরিদমের সান্নিধ্যে) ব্যবহার করে এমন অনেকগুলি ফলাফলের সাথে পরিচিত , তবে আমি পিসিপি উপপাদ্যটির স্পষ্ট ব্যাখ্যা পাই নি (যেমন, )।এন পি = পি সি পি (ও(লগ( এন ) ) , ও ( 1 ) )এনপি=পিসিপি(হে(লগ ইন করুন⁡(এন)),হে(1))\mathsf{NP} = \mathsf{PCP}(O(\log(n)),O(1)) এর জন্য পড়া ভাল কাগজপত্র / বই …

1
গ্রাফ আইসোমরফিজম সমস্যাটির জন্য কি কোনও ফাঁক প্রশস্তকরণের ফলাফলের ফলাফল রয়েছে?
ধরুন এবং উপর প্রান্তবিন্দু সেট দুই undirected গ্রাফ হয় । গ্রাফগুলি হয় যদি এবং কেবল তখনই যদি কোনও থাকে যেমন , বা আরও আনুষ্ঠানিকভাবে, যদি সেখানে থাকে যেমন একটি প্রান্ত তবে এবং কেবল যদি একটি প্রান্ত । গ্রাফ আইসোমরফিজম সমস্যা হ'ল দুটি প্রদত্ত গ্রাফ আইসোমরফিক হয় কিনা তা সিদ্ধান্ত নেওয়ার …

4
পিসিপি উপপাদ্য ব্যতিরেকে আনুমানিকতার কঠোরতা
পিসিপি উপপাদ্যের একটি গুরুত্বপূর্ণ অ্যাপ্লিকেশনটি হ'ল এটি "আনুমানিকতার কঠোরতা" ধরণের ফলাফল দেয়। কিছু তুলনামূলক সহজ ক্ষেত্রে কেউ পিসিপি ছাড়াই এ জাতীয় কঠোরতা প্রমাণ করতে পারে। যাইহোক, পিসিপি উপপাদ্যটি ব্যবহার করে প্রথমে সান্নিধ্য ফলাফলের কঠোরতা প্রমাণিত হয়েছিল এমন কোনও ঘটনা আছে কি না, ফলাফলটি আগে জানা ছিল না, তবে পরে আরও …

2
MAX 3SAT এর জন্য অতি-বহু-কালিক সময়ের আনুমানিক অ্যালগরিদম
পিসিপি উপপাদ্য রাজ্যের MAX টি 3SAT জন্য কোন বহুপদী সময় এলগরিদম আছে যে একটি কাজ পরিতৃপ্ত এটি একটি Satisfiable 3SAT সূত্র যদি না ক্লজ পি = এন পি ।7 / 8 + + ε7/8+ϵ7/8+ \epsilonপি= এনপিP=NPP = NP একটা তুচ্ছ বহুপদী সময় অ্যালগরিদম মাফিক হয় ক্লজ। সুতরাং, আমরা চেয়েও বেশি …

2
এমন কি একটি সহজ যুক্তি যা দেখায় যে অনন্য গেমস অনুমানটি পিসিপি উপপাদ্যকে বোঝায়
"অনন্য গেমস অনুমান" এবং "পিসিপি উপপাদ্য" এর মধ্যে সম্পর্ক কী তা কীভাবে দেখাতে পারে? "অনন্য গেমসের অনুমান" "পিসিপি উপপাদ্য" এর আরও শক্তিশালী রূপটি কীভাবে ব্যাখ্যা করা যায়?

3
পরিপ্রেক্ষিতে
সম্ভাব্য প্রুফ সিস্টেম কে সাধারণত এম এ এর সীমাবদ্ধতা হিসাবে উল্লেখ করা হয় , যেখানে আর্থার কেবল এফ ( এন ) এলোমেলো বিট ব্যবহার করতে পারে এবং কেবলমাত্র জি ( এন ) বিট পরীক্ষা করতে পারে মেরিলিন প্রেরিত প্রুফ সার্টিফিকেট (দেখুন, http://en.wikedia.org/wiki/Interactive_proof_system#PCP )।পিসিপি[ চ( এন ) , ছ( এন ) …

1
একটি তালিকায় শৃঙ্খলা রক্ষা
অর্ডার রক্ষণাবেক্ষণ সমস্যা (বা "একটি তালিকায় অর্ডার বজায় রাখা") অপারেশনগুলিকে সমর্থন করে: singleton: একটি আইটেম সহ একটি তালিকা তৈরি করে, এতে একটি পয়েন্টার দেয় returns insertAfter: কোনও আইটেমকে পয়েন্টার দেওয়া হয়, এর পরে একটি নতুন আইটেম সন্নিবেশ করানো হয়, নতুন আইটেমে একটি পয়েন্টার ফিরিয়ে দেওয়া হয় delete: কোনও আইটেমকে পয়েন্টার …

1
সমান্তরাল পুনরাবৃত্তি উপপাদ্যের একটি অবিচ্ছিন্ন সংস্করণ আছে কি?
রাজের প্যারালাল প্রিটিশন উপপাদ্যটি পিসিপি, ইনঅপ্রোক্সিমেশন ইত্যাদি ক্ষেত্রে একটি গুরুত্বপূর্ণ ফলাফল The G=(S,T,A,B,π,V)G=(S,T,A,B,π,V)G=(\mathcal{S},\mathcal{T},\mathcal{A},\mathcal{B},\pi, V)S,T,A,BS,T,A,B\mathcal{S},\mathcal{T},\mathcal{A},\mathcal{B}ππ\piS×TS×T\mathcal{S}\times\mathcal{T}V:S×T×A×B→{0,1}V:S×T×A×B→{0,1}V:\mathcal{S}\times\mathcal{T}\times\mathcal{A}\times\mathcal{B}\rightarrow\{0,1\}v(G)=maxhA∈HA,hB∈HB∑s,tπ(s,t)V(s,t,hA(s),hB(t))v(G)=maxhA∈HA,hB∈HB∑s,tπ(s,t)V(s,t,hA(s),hB(t))v(G)=\max_{h_A\in\mathcal{H}_A,h_B\in\mathcal{H}_B}\sum_{s,t}\pi(s,t)V(s,t,h_A(s),h_B(t))nnn ধা খেলা Gn=(Sn,Tn,An,Bn,πn,Vn)Gn=(Sn,Tn,An,Bn,πn,Vn)G^n=(\mathcal{S}^n,\mathcal{T}^n,\mathcal{A}^n,\mathcal{B}^n,\pi^n, V^n) । উপপাদ্যটি বলে যদি v(G)≤1−ϵ,v(G)≤1−ϵ,v(G)\leq 1-\epsilon, তবে v(Gn)≤(1−ϵc)Ω(nlogmax{|A|,|B|})v(Gn)≤(1−ϵc)Ω(nlog⁡max{|A|,|B|})v(G^n)\leq (1-\epsilon^c)^{\Omega(\frac{n}{\log\max\{|A|,|B|\}})} । অবিচ্ছিন্ন স্থানে সেটগুলি অসীম হলে আমার জিজ্ঞাসাটি ঘটে। যদি S,T,A,BS,T,A,B\mathcal{S},\mathcal{T},\mathcal{A},\mathcal{B} a কোনও স্থানের উপগৃহ হয় তবে বলুন RnRnR^n , বা আরও বিমূর্ত …

3
সীমাবদ্ধতা সন্তুষ্টির সমস্যার মধ্যে শূন্যস্থান?
পিসিপি উপপাদ্যের সমতুল্য সূত্রটি হ'ল: সর্বোচ্চ 3-স্যাট-এর জন্য সন্তুষ্টিজনক সূত্র এবং সূত্রগুলির মধ্যে পার্থক্য করা -hard যেখানে ক্লাসগুলির সর্বাধিক r- ভগ্নাংশটি সন্তুষ্টযোগ্য (কিছু আর < 1 এর জন্য )।NPNPNPrrrr<1r<1r\lt 1 এমন কোনও ডিকোটমির উপপাদ্য রয়েছে যা সমস্ত ম্যাক সিএসপি-এর শক্ত ফাঁক আছে কিনা তার ভিত্তিতে শ্রেণিবদ্ধ করে? ১ Dec ই …

1
পিসিপি উপপাদ্য প্রমাণ সহ প্রযুক্তিগত সমস্যা
আমি থেকে প্রমাণ পড়া করছি এখানে আমি একটি প্রযুক্তিগত (এখনও গুরুত্বপূর্ণ) সমস্যা উপর পদস্খলিত। আমি জানি এটি বরং সুনির্দিষ্ট এবং প্রসঙ্গটি সমস্যাযুক্ত, তবে আমি নিজেই এটি বের করতে পারি না। 51 এবং 55 পৃষ্ঠায়, "স্ট্যান্ডার্ড" ভেরিফায়ার উপস্থাপন করার পরে, তারা বিভক্ত কার্যগুলি পরীক্ষা করার জন্য ভেরিফায়ারগুলিকে সংশোধন করতে পারে। প্রথম …

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

1
পরীক্ষামূলক প্রমাণ সিস্টেমগুলিতে একতরফা ত্রুটি
বেশিরভাগ সম্ভাব্য প্রুফ সিস্টেমগুলিতে (উদাহরণস্বরূপ, পিসিপি উপপাদ্য), ত্রুটি-সম্ভাবনাগুলি সাধারণত মিথ্যা-ধনাত্মক দিকগুলির সংজ্ঞায়িত করা হয়, যেমন একটি সাধারণ সংজ্ঞাটি দেখতে পারে: যদি x ∈ Lx∈Lx \in L তবে যাচাইকারী সর্বদা গ্রহণ করে তবে এতে অন্য ক্ষেত্রে প্রত্যাখার সম্ভাবনা কমপক্ষে 1/2। অন্যদিকে ত্রুটি ঘটতে দিতে সমস্যা আছে কি? এর অর্থ হল যাচাইকারী …

1
সর্বাধিক পরিচিত অ্যাসিম্পটোটিক পিসিপি আকার / 3-স্যাট
সম্ভাব্য চেকযোগ্য প্রমাণগুলির মাপের সর্বাধিক পরিচিত অ্যাসিম্পটোটিক উপরের সীমাগুলি কী কী? আদর্শভাবে, আমি এই বিস্তৃত প্রশ্নে সমসাময়িক জরিপের সন্ধান করছি, তবে যদি এটি না হয় তবে আমি বিশেষত 3-স্যাট এর অপ্রয়োজনীয়তা সম্পর্কে আগ্রহী। 7/8 + ε-3-SAT 3-SAT এই প্রতিশ্রুতি দিয়ে আসুন যে যদি ধারাগুলির 7/8 + ε ভগ্নাংশটি সন্তুষ্ট হয় …

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

1
পিসিপি এবং এল = এসএল এর মধ্যে সংযোগ
অরোরা এবং বারাকের বইটিতে পিসিপিতে অধ্যায় নোট রয়েছে আমরা লক্ষ করেছি যে দিনুরের সাধারণ কৌশলটি বিস্তৃত গ্রাফগুলির জিগ-জাগ নির্মাণ এবং অধ্যায় 20-এ বর্ণিত অনাকাঙ্ক্ষিত সংযোগের জন্য রিইনগোল্ডের ডিটারমিনিস্টিক লগস্পেস অ্যালগরিদমকে কিছুটা স্মরণ করিয়ে দিচ্ছে যা বোঝায় যে গবেষণার এই বিভিন্ন ক্ষেত্রগুলির মধ্যে আরও সংযোগ স্থাপনের অপেক্ষায় রয়েছে। (পৃষ্ঠা 494) এই …

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