তাত্ত্বিক কম্পিউটার বিজ্ঞান

# পি-কমপ্লিট সমস্যাগুলির মধ্যে পর্যায় স্থানান্তর সম্পর্কে কী জানা যায়? বিশেষত, # ডিএনএফ-কে-স্যাট এবং # সিএনএফ-কে-স্যাট-এর জন্য কি আলাদা ধাপের স্থানান্তর রয়েছে? আপডেট: যেমনটি আমরা জানি, র্যান্ডম কে-স্যাট-এ একটি পর্যায়ের রূপান্তর রয়েছে যেখানে সমস্যা সমাধান করা সহজ থেকে শক্ত হয়ে আবার সহজেই ফিরে যায়। আমি জানতে চাই # পি-কমপ্লিট সমস্যাগুলির …

11 cc.complexity-theory  counting-complexity  phase-transition 

নিম্নলিখিত সমস্যাটি নির্ধারণযোগ্য: একটি প্রসঙ্গমুক্ত ব্যাকরণ , এল ( জি ) = ∅ ?জিGGL(G)=∅L(G)=∅L(G) = \varnothing নিম্নলিখিত সমস্যাটি অনস্বীকার্য: একটি প্রসঙ্গমুক্ত ব্যাকরণ , এল ( জি ) = এ ∗ ?GGGL(G)=A∗L(G)=A∗L(G) = A^{\ast} সেখানে প্রেক্ষাপটে মুক্ত ভাষায় একটি চরিত্রায়ন হয় নির্ধার্য সমতা সঙ্গে এল ( জি ) = এম ?MMML(G)=ML(G)=ML(G) …

11 computability  fl.formal-languages 

আমি একটি স্পেস-দক্ষ ডেটা কাঠামো খুঁজছি যা শব্দযুক্ত উপাদানগুলির সেটগুলি (কোনও পুনরাবৃত্তি নয়) ধারণ করে এবং দ্রুত সন্নিবেশকে সমর্থন করে (মোড়কৃত ও (1))। "স্পেস-দক্ষ" দ্বারা আমি অর্থ, আদর্শভাবে, শব্দগুলি সঞ্চয় করতে পারিএন + ও ( এন )n+o(n)n + o(n) উপাদান।এনnn একটি সেট হওয়া এই প্রশ্নের একটি গুরুত্বপূর্ণ অংশ: প্রতিটি উপাদান …

11 ds.data-structures 

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

11 cc.complexity-theory  complexity-classes  np-intermediate 

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

11 reference-request  quantum-computing  communication-complexity  quantum-information 

এই অটোমেটনের এল ( এম ) দ্বারা গৃহীত ভাষাটি একটি নির্বিচারবাদী প্রসঙ্গ-মুক্ত ভাষা এবং একটি নির্বিচারে পুশডাউন অটোমেটন এন আউটপুট দেয় যা ঠিকভাবে গ্রহণযোগ্য ভাষা গ্রহণ করে এমন প্রতিশ্রুতি সহ একটি অ্যালগরিদম তৈরি করা সম্ভব যা ইনপুট হিসাবে একটি পুশডাউন অটোমেটন গ্রহণ করে with এম দ্বারা ?এমMMএল ( এম)L(M)L(M)এনNNএমMM সমতুল্য …

11 reference-request  computability  fl.formal-languages  automata-theory 

আমি জানতে চাই যে নিম্নলিখিত সমস্যার ( ) এ সিদ্ধান্ত নেওয়া যেতে পারে :NLNL\mathsf{NL} একটি নির্দেশ গ্রাফ দেওয়া সঙ্গে দুই বিশিষ্ট ছেদচিহ্ন এবং , সেখানে একটি হল অনন্য থেকে পাথ করার মধ্যে জি ?GGGssstttssstttGGG আমি মনে করি এটি সম্ভবত হতে হয় যেহেতু আমরা সিদ্ধান্ত নিতে পারেন উভয় যদি একটি হয় …

11 reference-request  graph-theory 

1975 সালে মিলার দেখিয়েছেন কিভাবে পূর্ণসংখ্যা এর গুণকনির্ণয় কমাতে সময়ের খোঁজার জন্য দ একটি ফাংশন এর চ ( এক্স ) = একটি এক্সএনNNRrr যেমন যে এফ ( এক্স + আর ) = এফ ( এক্স ) কিছু এলোমেলোভাবে একটি < এন বেছে নিয়েছে। এটি সর্বজনবিদিত যে শোরের অ্যালগরিদমকোয়ান্টাম কম্পিউটারে দক্ষতার …

11 cc.complexity-theory  cr.crypto-security  factoring 

আমি নিম্নলিখিতগুলির মতো ডেটা সংরক্ষণের জন্য অত্যন্ত দক্ষ ডেটা কাঠামোটি খুঁজছি। আইডি ট্যাগস অর্ডার 1 অর্ডার 2 -------------------------- 1 1,2 1 1 2 2,5 2 3 3 1,7 4 7 4 6 3 0 আমি যে আমার ট্যাগের একটি অভিব্যক্তি ধারণকারী সব ID- র একটি তালিকা দিতে হবে এমনভাবে এই …

11 ds.data-structures  application-of-theory  db.databases 

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

11 cc.complexity-theory  interactive-proofs 

আসুন আমরা 0<E<10<E<100 । কোন nnn এবং কোন ভেক্টর জন্য c¯∈[0,1]nc¯∈[0,1]n\bar{c} \in [0,1]^n যেমন যে ∑i∈[n]ci≥E×n∑i∈[n]ci≥E×n\sum_{i\in [n]} c_i \geq E \times n Ac¯:=|{S⊆[n]:∑i∈S ci≥E×t}|≥(E×nt)Ac¯:=|{S⊆[n]:∑i∈S ci≥E×t}|≥(E×nt)A_{\bar{c}} :=|\{ S \subseteq [n] : \sum_{i \in S}~ c_i \geq E \times t \}| \geq \binom{ E \times n}{ t } আমি জানি না স্ট্যাথামিটি …

11 co.combinatorics  it.information-theory 

কম্পিউটার সম্পর্কিত সমস্ত যাদুঘর এবং প্রদর্শনীর মধ্যে আমি সচেতন সেগুলি কেবল কম্পিউটারের বিজ্ঞানের ইতিহাসকেই আবৃত করে বলে মনে হচ্ছে, তবে কম্পিউটার বিজ্ঞানের বিষয়গুলিতে কিছুই নেই। আপনি কম্পিউটারিংয়ের একটি নতুন জাদুঘর তৈরির সাথে জড়িত আছেন, সাধারণ মানুষকে বিভিন্ন ধরণের কম্পিউটিং / কম্পিউটার বিজ্ঞান / যোগাযোগ / গণিত বিষয়গুলিতে শিক্ষার জন্য, বিনোদন …

11 soft-question  big-list  ho.history-overview 

একে ডাকতে সঠিক MapReduce ফ্রেমওয়ার্ক হল এক ধরনের বাল্ক সমলয় সমান্তরাল সুসংগতি কর্ম করা মধ্যে প্রসেসর মধ্যে কোন স্থানীয় মেমরির ধারণ সঙ্গে প্রোগ্রামিং ফ্রেমওয়ার্ক? যদি তা না হয় তবে কোন সমান্তরাল প্রোগ্রামিং মডেল মানচিত্রের ফ্রেডফর্ম ফ্রেমওয়ার্কটি সবচেয়ে সঠিকভাবে encapsates?

11 dc.parallel-comp  machine-models 

আমি জানি যে প্রশ্ন "একটি প্রথম ক্রম সূত্র আছে সাধারণভাবে undecidable একটি মডেল আছে"।φφ\phi যে কেউ আমাকে একটি লিঙ্ক বা একটি বই দিতে পারে যা সীমাবদ্ধ মডেলের উত্তর দেয়। যদি আমি একটি প্রথম ক্রম সূত্র আছে , এটা কিনা নির্ধার্য হয় φ একটি নির্দিষ্ট মডেল আছে? আমি যথেষ্ট নিশ্চিত যে …

11 reference-request  lo.logic  computability  finite-model-theory 

আমি মনে করি না শ্রেণিক বিভাজনটি তির্যককরণ এবং সম্পর্কিতকরণের ফলাফলের ভিত্তিতে নয় not ডায়াগোনালাইজেশনটি এখনও বাকি পরিচিত ক্লাসগুলিকে পৃথক করতে ব্যবহৃত হতে পারে, কারণ নন-রিলেটিভাইজিং আর্গুমেন্টগুলি তির্যককরণ উপসংহারে বা তির্যক টিউরিং মেশিন নির্মাণে ব্যবহৃত হতে পারে। এখানে কিছু সম্পর্কিত প্রশ্ন: বর্গ বিভাজন প্রমাণ কি তির্যক উপর ভিত্তি করে না? এবং …

11 cc.complexity-theory  complexity-classes  relativization  barriers