প্রশ্ন ট্যাগ «cc.complexity-theory»

এই প্রশ্নটি "হাইপারবোলিক স্পেসে সেলুলার অটোমেটা: ভলিউম 2" বইয়ের পৃষ্ঠা 125 সম্পর্কে রয়েছে মরিস মার্জেনস্টার্ন দ্বারা প্রকাশক আর্কাইভ সমকালীন, ২০০৮। http://books.google.com/books?id=eEgvfic3A4kC&pg=PA125 লেখকের মতে, পি = এনপি প্রশ্নটি অসুস্থ কারণ, কারণ হাইপারবোলিক সেটিং পি = এনপি বা পরে পি এইচ = এনপি এইচ বইতে ব্যবহৃত স্বরলিপিটিতে । এগুলি কী তৈরি করতে …

16 cc.complexity-theory 

নিসান "স্পেস-বাউন্ডেড কম্পিউটেশন ফর সিসিডোরেন্ডম জেনারেটর"-এ প্রমাণ করেছেন যে সেখানে একটি সিউডো-র্যান্ডম জেনারেটর রয়েছে যা "বোকা" স্থান নির্ধারিত গণনাগুলি। এই নির্মাণটি কি প্রতিটি ওরাকেলের জন্য অন্ততপক্ষে (কমপক্ষে অভিযোজিত প্রশ্নের জন্য নয়)?

16 cc.complexity-theory  space-bounded  derandomization 

আমি হেক্সের বৈকল্পিকের কথা ভাবছিলাম , যেখানে দুই খেলোয়াড় একসাথে চালনা করার পরিবর্তে এলোমেলোভাবে বাছাই করা খেলোয়াড়ের প্রতিটি পদক্ষেপ একটি পদক্ষেপ নিয়ে আসে। প্রতিটি খেলোয়াড়ের জয়ের সম্ভাবনা নির্ধারণ করা কতটা কঠিন? এই সমস্যাটি স্পষ্টতই PSPACE এ রয়েছে তবে এটি এনপি-হার্ড হতে পারে না, PSPACE- সম্পূর্ণ কম। অসুবিধাগুলি কীভাবে এলোমেলো হয়ে …

16 cc.complexity-theory  board-games 

পটভূমি : সুভাষ খোতের মূল ইউজিসি পেপারে ( পিডিএফ ), তিনি প্রদত্ত সিএসপি উদাহরণটি কোনও ত্রৈমাসিক বর্ণমালার চেয়ে সমস্ত-সমান নয় (আ, খ, সি) ফর্মের সমস্ত সীমাবদ্ধতা রয়েছে কিনা তা সিদ্ধান্ত নেওয়ার জন্য ইউজি-কঠোরতা প্রমাণ করেছেন 1 - সীমাবদ্ধতার বা আছে কিনা satisying কোন বরাদ্দকরণ অস্তিত্ব ইচ্ছামত ছোট সীমাবদ্ধতার, ।8ϵϵ\epsilonϵ>089+ϵ89+ϵ\frac{8}{9}+\epsilonϵ>0ϵ>0\epsilon > …

16 cc.complexity-theory  approximation-hardness  unique-games-conjecture  csp 

ধরুন আমাদের পূর্ণসংখ্যার এন্ট্রি সহ এন ম্যাট্রিক্স, এম দ্বারা একটি এন দেওয়া হয়েছে। আমরা পি মধ্যে সিদ্ধান্ত নিতে পারেন আছে কিনা বিন্যাস যেমন যে সব বিনিময়ের জন্য π ≠ σ আমরা আছে Π এম আমি σ ( আমি ) ≠ Π এম আমি π ( আমি ) ?σσ\sigmaπ≠ σπ≠σ\pi\ne\sigma। এমআমি …

16 cc.complexity-theory  ds.algorithms  matrices  matching  permanent 

একটি ফাঁক যা আমি সর্বদা সচেতন ছিলাম যে আমি সত্যই বুঝতে পারি না তা হ'ল নন ইউনিফর্ম এবং ইউনিফর্ম গণনা জটিলতার মধ্যে যেখানে সার্কিট জটিলতা নন ইউনিফর্ম সংস্করণকে উপস্থাপন করে এবং ট্যুরিং মেশিনগুলি জিনিসগুলি অভিন্ন ছিল। আমি মনে করি "ইউনিফর্ম" হল অ্যালগরিদমের শ্রেণিকে সংযত করার একটি উপায়, যেমন এন + …

16 cc.complexity-theory  circuit-complexity 

-fixed বিন্দু বিনামূল্যে automorphism সমস্যা গ্রাফ automorphism যা অন্তত প্যাচসমূহ জন্য অনুরোধ নোড। কোনও > 0 এর জন্য থাকলে সমস্যাটি কমপ্লিট ।kkkk(n)k(n)k(n)NPNPNPk(n)=nck(n)=nck(n)=n^cccc তবে, যদি তবে সমস্যাটি বহুপাক্ষিক সময় টিউরিং গ্রাফ আইসোমরফিজম সমস্যা থেকে হ্রাসযোগ্য। তাহলে ট (ঢ) = হে (\ লগ n / \ লগ \ লগ ঢ) তারপর সমস্যা …

16 cc.complexity-theory  graph-isomorphism  automorphism  symmetry 

নিল ইম্মারম্যানের বিখ্যাত চিত্র দ্য ওয়ার্ল্ডের নিম্নলিখিত চিত্রগুলি (বিস্তৃত করতে ক্লিক করুন): তাঁর "সত্যই সম্ভাব্য" শ্রেণিতে অন্য কোনও শ্রেণি অন্তর্ভুক্ত নয়; আমার প্রশ্নটি তখন: একটি এসি 0 সমস্যা কী যা অযৌক্তিক হিসাবে বিবেচিত হয় এবং কেন?

16 cc.complexity-theory  circuit-complexity 

কোয়ার্টাম কম্পিউটিং থিউরির জন্য আর্নসনের তালিকার দশটি আধা-গ্র্যান্ড চ্যালেঞ্জগুলির মধ্যে নিম্নলিখিত সমস্যাটি উপস্থিত হয় । হয়বি Q পি = বি পি পিবি কিউ এন সিবিপ্রশ্নঃপি=বিপিপিবিপ্রশ্নঃএনসি\mathsf{BQP}=\mathsf{BPP}^{\mathsf{BQNC}} অন্য কথায়, কোন কোয়ান্টাম এলগরিদম "কোয়ান্টাম" অংশ সংকুচিত করা যেতে পারে গভীরতা, আমরা প্রদান করা ' বহুবর্ষীয় সময়ের ধ্রুপদী পোস্টপ্রসেসিং করতে রাজি? (এটি শোরের অ্যালগোরিদমের …

16 cc.complexity-theory  quantum-computing  circuit-complexity  quantum-information  circuit-depth 

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

16 cc.complexity-theory  complexity-classes 

এই সমস্যাটি বুঝতে আমার কী পড়া উচিত? ছোট-গভীরতার কোয়ান্টাম সার্কিটের শক্তি। অর্থাৎ ? অন্য কথায়, যে কোনও কোয়ান্টাম অ্যালগরিদমের "কোয়ান্টাম" অংশটি পল্লগ (এন) গভীরতায় সংকুচিত করা যেতে পারে, তবে যদি আমরা বহু-কালীন ধ্রুপদী পোস্ট-প্রসেসিং করতে রাজি হই? (এটি শোরের অ্যালগরিদমের জন্য সত্য বলে জানা যায়)) যদি তাই হয় তবে সাধারণ-উদ্দেশ্যযুক্ত …

16 cc.complexity-theory  reference-request  quantum-computing 

সম্পর্কিত সমস্যা: ভাবলেনের উপপাদ্যটি বলে যে "একটি গ্রাফ একটি চক্রের পচনকে যদি স্বীকার করে তবেই যদি তা এমনকি হয়"। চক্রগুলি প্রান্ত বিরক্তি, তবে অগত্যা নোড বিচ্ছিন্নতা নয়। অন্য একটি উপায় রাখুন, "একটি গ্রাফের প্রান্ত সেটটি চক্রের মধ্যে বিভাজন করা যেতে পারে এবং কেবল যদি প্রতিটি ভার্টেক্সের আরও ডিগ্রি থাকে" " …

16 cc.complexity-theory  graph-theory  co.combinatorics 

আমি উত্তরটি হ্যাঁ আশা করি, তবে আমি আসলে একটি পাল্টা নমুনা তৈরি করতে পারিনি। পার্থক্যটি হ'ল , আমরা অ (অ) O (এন ^ {2 + ε}) অ্যালগরিদমকে সক্ষম হতে পারি না মধ্যে ε ।∩ε>0DTIME(O(n2+ε))∩ε>0DTIME(O(n2+ε))∩_{ε>0} \mathrm{DTIME}(O(n^{2+ε}))O(n2+ε)O(n2+ε)O(n^{2+ε})εεε একটি দোভেটেলিং যুক্তি দ্বারা (উদাহরণস্বরূপ, এই প্রশ্নটি দেখুন ), যদি সেখানে কোনও টিউরিং মেশিনের সি …

15 cc.complexity-theory  time-complexity 

আমি এমন একটি সমস্যা অধ্যয়ন করছি যা কোয়ান্টিফায়ার সংখ্যার বিকল্পগুলির লগারিদমিক সংখ্যার সাথে কোয়ান্টাইটিড বুলিয়ান সূত্রগুলির শ্রেণীর পক্ষে শক্ত। এই শ্রেণীর একটি সমস্যা দেখতে পাবেন: ∀(x1,x2,…xa1)∃(xa1+1,…xa2),…∃(xalogn−1,…xalogn)F∀(x1,x2,…xa1)∃(xa1+1,…xa2),…∃(xalog⁡n−1,…xalog⁡n)F\forall (x_1, x_2, \ldots x_{a_1}) \exists (x_{{a_1}+1}, \ldots x_{a_2}), \ldots \exists(x_{a_{\log n - 1}}, \ldots x_{a_{\log n}})F যেখানে , এবং এফ ভ্যারিয়েবলের এক্স 1 …

15 cc.complexity-theory  boolean-formulas 

সফল ডেরেন্ডোমাইজেশনের কয়েকটি বড় উদাহরণ বা পি = বি পি এর দিকে কমপক্ষে প্রগা .় প্রমাণ দেখানোর ক্ষেত্রে কমপক্ষে অগ্রগতির্যান্ডমনেস সংযোগ নয়)কি?P=BPPP=BPPP=BPP আমার মনে যে একমাত্র উদাহরণটি আসে তা হ'ল একেএস ডিস্ট্রিমেন্টিক বহুবর্ষীয় সময়ের প্রাথমিকতা পরীক্ষা করা (এমনকি এর জন্য জিআরএইচ অনুমান করার পদ্ধতিও ছিল)। সুতরাং উদাহরণস্বরূপ কোন নির্দিষ্ট প্রমাণ …

15 cc.complexity-theory  big-list  randomized-algorithms  derandomization  pseudorandom-generators