প্রশ্ন ট্যাগ «interactive-proofs»

4
বহুবর্ষীয় স্তরক্রমের স্তরের জন্য ইন্টারেক্টিভ প্রমাণগুলি
আমরা জানি যে আপনার যদি পিএসপিএসিই মেশিন থাকে তবে এটি বহু স্তরের বহিরাগত স্তরক্রমের কোনও ইন্টারেক্টিভ প্রমাণ দেওয়ার পক্ষে যথেষ্ট শক্তিশালী। (এবং যদি আমি সঠিক মনে করি তবে আপনার কেবলমাত্র # পি দরকার) তবে মনে করুন আপনি কোনও ভাষায় সদস্যতার একটি ইন্টারেক্টিভ প্রমাণ দিতে চান । সমস্যার সমাধান করার পক্ষে …

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

1
আইপি = পিএসপিএসি-র সম্পর্কহীনতার "আসল" কারণটি কী?
আইপি = পিএসপিএসি-কে একটি পুনঃসংশ্লিষ্টকরণের ফলাফলের আদর্শ উদাহরণ হিসাবে তালিকাভুক্ত করা হয়েছে এবং এর প্রমাণ হিসাবে প্রমাণ রয়েছে যে সেখানে একটি ওরাকল রয়েছে যা , যখন o les sf coNP ^ \ O \ subteq {f sf PSPACE} all সমস্ত ওরাকলগুলির জন্য হে ।সি ও এন পি ও ⊈ আই …

4
যদি পি = বিকিউপি হয় তবে এটি কি পিএসপিএসি (= আইপি) = এএম বোঝায়?
সম্প্রতি, ওয়াটারস এট আল প্রমাণ করেছে যে কিউআইপি (3) = পিএসপিএসি একটি উল্লেখযোগ্য ফলাফল। এটি আমার কাছে অবাক করার মতো ফলাফল ছিল যা আমি কম বলেছি এবং এটি আমাকে চিন্তাভাবনা থেকে সরিয়ে দিয়েছে ... আমি ভাবলাম যে কোয়ান্টাম কম্পিউটারগুলি ক্লাসিকাল কম্পিউটারগুলি দ্বারা দক্ষতার সাথে অনুকরণ করা যায়। এটি কি আইপি …

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

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

1
মার্লিনের জন্য বৈধ উত্তরের স্বতন্ত্রতার প্রয়োজন কি আর্থার-মের্লিন প্রোটোকলের শক্তি সীমিত করে?
প্রস্তাবনা। জটিলতা ক্লাস এএম হ'ল সেই সমস্যাগুলি যা প্রবাদকৃত "মার্লিন" এবং একজন যাচাইকারী "আর্থার" এর মধ্যে দ্বি-রাউন্ড ইন্টারেক্টিভ প্রুফ সিস্টেমের মাধ্যমে সমাধান করা যেতে পারে। একটি সমস্যা - যা কোনও একটি এক্সের কিছু সম্পত্তি পরীক্ষা করে - এএম এ থাকে: জন্য হ্যাঁ দৃষ্টান্ত, একটি র্যান্ডম "চ্যালেঞ্জ" বার্তা জন্য (বহুপদী দৈর্ঘ্যের) …

2
ইন্টারেক্টিভ প্রুফ সিস্টেমগুলির ল্যান্ডস্কেপ
আমার প্রথম প্রশ্নটি হল একটি ইন্টারেক্টিভ প্রুফ সিস্টেমের বৈশিষ্ট্যটি সমস্ত ক্লাসিক জটিলতার ক্লাসগুলির জন্য পরিচিত। আমি পি, এনপি, পিএসপিএসি, এক্সপি, এনএক্সপি, এক্সপ্যাসকে, পুনরাবৃত্ত এবং পুনরাবৃত্ত গণনার ফাংশন ক্লাসিক (অন্যদের মধ্যে) বলব call বিশেষতঃ একটি ইন্টারেক্টিভ প্রুফ সিস্টেমের বৈশিষ্ট্যটি কি পুনরাবৃত্ত এবং পুনরাবৃত্তভাবে গণনার পক্ষে কার্যকর হয়? আমি কেবল সেই আইপি …

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

1
কক-তে দুটি আর্গুমেন্টে কীভাবে একটি ফাংশন সংক্ষিপ্তভাবে परिभाषित করবেন?
আমি কীভাবে কাককে বোঝাতে পারি যে নীচে প্রদত্ত পুনরাবৃত্তির কাজটি সমাপ্ত হয়েছে? ফাংশন দুটি সূচক যুক্তি লাগে। স্বজ্ঞাতভাবে, পুনরাবৃত্তিটি সমাপ্ত হয় কারণ উভয় যুক্তির পচন হয়। বিশেষত, ফাংশনটি দুটি গাছ ইনপুট হিসাবে নেয়। Inductive Tree := | Tip: Tree | Bin: Tree -> Tree -> Tree. বৃক্ষগুলিতে, আমি নিম্নলিখিত শৈলীর …

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 , বা আরও বিমূর্ত …

2
Numberশ্বরের সংখ্যার একটি ইন্টারেক্টিভ প্রমাণ?
আমি ইদানীং ইন্টারেক্টিভ প্রমাণগুলি সম্পর্কে শিখছি এবং আমি ভাবছিলাম যে পুরো জিনিসটি তাত্ত্বিক কৌতূহল ছাড়া আর কিছুই ছিল না, বা এর কোনও ব্যবহারিক প্রয়োগ রয়েছে কিনা। আমি ভেবেছিলাম যে আমি একটি উদাহরণ দিয়ে শুরু করব যা ঝরনার সময় আমার সাথে ঘটেছিল: এটি "God'sশ্বরের সংখ্যা" = ২০ এ ইদানীং সংবাদ তৈরি …

2
কিউএমএ এবং এএম এর মধ্যে সম্পর্ক কী?
আমি এসপি জর্ডান, ডি গোসেটে পড়েছি, পি জে লাভের " স্টম্পাস্টিক হ্যামিলটোনিয়ানস এবং মার্কোভ ম্যাট্রিক্সের সমস্যাগুলিQMAQMAQMA " যে সম্ভাবনা কম ।QMA⊆AMQMA⊆AMQMA \subseteq AM আমি এই দাবি সম্পর্কে অবাক হয়েছিল। তাহলে এবং এ এম এর মধ্যে সঠিক সম্পর্কটি কী?QMAQMAQMAAMAMAM

1
ইন্টারেক্টিভ প্রুফ সিস্টেমগুলিতে সম্পূর্ণতা এবং দৃness়তার দুটি সংজ্ঞাগুলির সমতা
ইন্টারেক্টিভ প্রুফ সিস্টেমে সম্পূর্ণতা এবং দৃness়তা অনানুষ্ঠানিকভাবে হিসাবে সংজ্ঞায়িত করা হয়: সম্পূর্ণতার: যদি একটি বিবৃতি সত্য, সৎ prover বোঝাতে পারবে সৎ এই আসলে যাচাইকারী whp । অনাময: যদি একটি বিবৃতি মিথ্যা, প্রতারণার prover রাজি করানো যাবে না সৎ (মিথ্যা বিবৃতির বৈধতা) যাচাইকারী whp "WHP" শব্দটির ব্যাখ্যা হয় "সম্ভাব্যতা 2/3 এর …

3
মার্লিন আর্থারকে একটি নির্দিষ্ট পরিমাণ সম্পর্কে বোঝাতে পারেন?
মার্লিন, যিনি অসীম গণনীয় সম্পদ আছে, আর্থার যে সন্তুষ্ট করতে চায় m|∑p≤N, p primepkm|∑p≤N, p primepkm|\sum_{p\le N,\ p\text{ prime}}p^k জন্য (N,m,k)(N,m,k)(N,m,k) সঙ্গে k=O(logN)k=O(log⁡N)k=O(\log N) এবং m=O(N).m=O(N).m=O(N). এই যোগফলকে সরল উপায়ে গণনা করতে (মডুলার এক্সপেনসেন্টেশন এবং সংযোজন) সময় লাগে N(loglogN)2+o(1)N(log⁡log⁡N)2+o(1)N(\log\log N)^{2+o(1)}FFT ভিত্তিক গুণ সঙ্গে। * কিন্তু আর্থার শুধুমাত্র সম্পাদন করতে পারবেন …

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