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

যাক স্পেস ব্যবহার করে সময়ে থামে এমন টিউরিং মেশিনগুলির বিকল্প দ্বারা সিদ্ধান্ত নেওয়া ভাষার শ্রেণি হতে দিন । আসুন ট্যুরিং মেশিনগুলি পরিবর্তিত করে যেগুলি রদবদল এবং স্পেস ব্যবহার করে থামে সেগুলি দ্বারা বিকল্পগুলির দ্বারা সিদ্ধান্ত নেওয়া ভাষার শ্রেণি হয় ।এ টি আই এস পি (চ( এন ) , ছ( ঢ …

9 cc.complexity-theory  complexity-classes  structural-complexity 

১৯ Sha৯ সাল থেকে আদি শামির [১] এর গবেষণাপত্রে তিনি দেখিয়েছেন, বহুগুণে গণিত পদক্ষেপে ফ্যাক্টরিং করা যেতে পারে । বোরউইন এবং হোবার্টের সাম্প্রতিক গবেষণাপত্রে [২] স্ট্রেট লাইন কর্মসূচির (এসএলপি) প্রসঙ্গে এই বাস্তবতাটি পুনঃস্থাপন করা হয়েছিল এবং এভাবে আমার নজরে আসে। যেহেতু আমি এটি পড়ার পরিবর্তে অবাক হয়েছিলাম, আমার নীচের প্রশ্নটি …

9 cc.complexity-theory  cr.crypto-security  algebraic-complexity 

প্রতিটি টিউরিং-স্বীকৃত অনস্বীকার্য ভাষার কি কোনও এনপি-সম্পূর্ণ উপসেট রয়েছে? এই প্রশ্নটির একটি শক্তিশালী সংস্করণ হিসাবে দেখা যেতে পারে যে প্রতিটি অসীম টিউরিং-স্বীকৃত ভাষায় একটি অসীম সিদ্ধান্ত গ্রহণযোগ্য উপসেট থাকে।

9 cc.complexity-theory  np-hardness  complexity-classes  np  decidability 

আমি মার্টিন-ল্যাফ টাইপ তত্ত্ব, অর্থাৎ কোক / আগদাতে আনুষ্ঠানিকভাবে যাচাই করা সংকলকগুলিতে আগ্রহী। এই মুহুর্তে আমি একটি ছোট খেলনার উদাহরণ লিখেছি। এর মাধ্যমে আমি প্রমাণ করতে পারি যে আমার অনুকূলিতকরণগুলি সঠিক। উদাহরণস্বরূপ যে শূন্যের সাথে সংযোজনগুলি মুছে ফেলা যায়, অর্থাত "x + 0" এর মত প্রকাশ। নিয়মিত সংকলক দিয়ে সম্পাদন …

9 reference-request  pl.programming-languages  type-theory  semantics  compilers 

এটা সর্বজনবিদিত যে মোডাল -calculusμμ\mu গাছ / গ্রাফ বৈশিষ্ট্য প্রকাশ করার জন্য সবচেয়ে ভাবপূর্ণ সময়গত ন্যায়শাস্ত্র এক, এবং যে সিটিএল * কঠোরভাবে কম ভাবপূর্ণ হয় -calculus।μμ\mu এখানে আমি ক্যালকুলাস সূত্রের একটি উদাহরণ জিজ্ঞাসা করতে চাই , এটি যতটা সম্ভব সহজ, এটি সিটিএল * তে প্রকাশযোগ্য নয় এবং আশা করা যায় …

9 lo.logic  model-checking  temporal-logic  mu-calculus 

আমি এই মিলে যাওয়া সমস্যার মধ্যে পড়েছিলাম যার জন্য আমি বহুবর্ষের সময় অ্যালগরিদম লিখতে অক্ষম। যাক সঙ্গে প্রান্তবিন্দু সেট সম্পূর্ণ ভরযুক্ত গ্রাফ হতে এবং যথাক্রমে, যেখানে । এছাড়াও, এবং যথাক্রমে এবং এর ওজন ফাংশন হতে দিন ।পি, প্রশ্নP,QP, QপিভীPVP_Vপ্রশ্নঃভীQVQ_V|পিভী| = |প্রশ্নঃভী| =এন|PV|=|QV|=n|P_V| = |Q_V|=nWপিwPw_PWপ্রশ্নঃwQw_QপিPPপ্রশ্নঃQQ কোনও জন্য আমরা নিম্নলিখিত ফ্যাশনে পরিবর্তন …

9 graph-theory  optimization 

নিম্নলিখিতটি আমার কাছে প্রাকৃতিক সংজ্ঞা হিসাবে মনে হয়েছে এবং আমি আশ্চর্য হয়েছি যে এটি কোথাও অধ্যয়ন করা হয়েছে কিনা বিবেচনা করুন ভাষার সেট। তারপরে " যাচাইযোগ্য তথ্য" বলা হয় যখন stএক্স ⊂2{ 0 , 1}*X⊂2{0,1}∗\mathsf{X} \subset 2^{\lbrace 0, 1 \rbrace^*}কে⊂ { 0 , 1}ωK⊂{0,1}ωK \subset \lbrace 0, 1 \rbrace^\omegaএক্সX\mathsf{X}এল ∈ …

9 cc.complexity-theory  reference-request 

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

9 permutations 

প্রাথমিক-পুনরাবৃত্ত ক্রিয়াকলাপগুলির বিষয়ে ক্রিস প্রিসির আকর্ষণীয় প্রশ্নে আগ্রহী , আমি আরও অনুসন্ধান করে এবং ওয়েবে এই প্রশ্নের উত্তর খুঁজে পেতে অক্ষম। প্রাথমিক recursive ফাংশন সূচকীয় অনুক্রমের চমত্কারভাবে মিলা,ডিটাইম (2এন) ∪ ডিটাইম (22এন) ∪ ⋯DTIME(2n)∪DTIME(22n)∪⋯\text{DTIME}(2^n) \cup \text{DTIME}(2^{2^n}) \cup \cdots। সংজ্ঞা থেকে এটি সহজবোধ্য বলে মনে হয় যে নিম্ন- প্রাথমিক উপাদানগুলি দ্বারা …

9 cc.complexity-theory  reference-request  complexity-classes  computability 

এটি সুপরিচিত যে ফাংশনটির সীমিত ত্রুটি কোয়ান্টাম কোয়েরি জটিলতা OR(x1,x2,…,xn)OR(x1,x2,…,xn)OR(x_1,x_2,\ldots, x_n) হয় Θ(n−−√)Θ(n)\Theta(\sqrt{n})। এখন প্রশ্নটি কি আমরা যদি আমাদের কোয়ান্টাম অ্যালগরিদম সম্ভাবনার সাথে প্রতিটি ইনপুট সফল করতে চান1−ϵ1−ϵ1-\epsilon স্বাভাবিকের চেয়ে বরং 2/32/32/3। এখন শর্তেϵϵ\epsilon উপযুক্ত ওপরের এবং নিম্ন সীমানা কি হবে? এটা তাত্ক্ষণিক O(n−−√log(1/ϵ))O(nlog⁡(1/ϵ))O(\sqrt{n} \log(1/\epsilon))গ্রোভার অ্যালগরিদম পুনরাবৃত্তি করে এই কাজের …

9 cc.complexity-theory  ds.algorithms  quantum-computing  lower-bounds 

ধরা যাক আমরা 1994 সালের জো বি ওয়েলসের ফলাফলটি জানি না যে টাইপযোগ্যতা এবং টাইপ চেকিং উভয়ই সিস্টেম এফ (একেএ) এ অনস্বীকার্য । 2λ2\lambda 2)। প্রকারের সাথে বারেনড্রেগের ল্যাম্বদা ক্যালকুলিতে (1992) আমি ম্যালেক্কির কারণে একটি প্রমাণ পেয়েছি 1989 যা টাইপ চেকিং টাইপিবিলিটি বোঝায়। এই কারণ বিদ্যমান σσ\sigma যেমন যে এম: …

9 lo.logic  computability  type-theory  lambda-calculus  type-inference 

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

9 lo.logic  pl.programming-languages  type-theory  automated-theorem-proving 

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

9 pl.programming-languages  decidability  formal-methods  extensionality 

কোনও কাগজটি আরও ভালভাবে বোঝার জন্য আমি ন্যূনতম-স্থির পয়েন্ট যুক্তির সংক্ষিপ্ত বোঝার চেষ্টা করছি। আমি আটকে আছে যেখানে কয়েকটি পয়েন্ট আছে। যদি G=(V,E)G=(V,E)G = (V,E) একটি গ্রাফ এবং Φ(P)={(a,b)∣G⊨E(a,b)∨P(a,b)∨∃z(E(a,z)∧P(z,b))}Φ(P)={(a,b)∣G⊨E(a,b)∨P(a,b)∨∃z(E(a,z)∧P(z,b))} \Phi(P) = \{(a,b) \mid G \models E(a,b) \lor P(a,b) \lor \exists z (E(a,z) \land P(z,b)) \} বাইনারি সম্পর্ক একটি অপারেটর PPP। …

9 lo.logic  descriptive-complexity  finite-model-theory 

আমি পিটিটাইমের জন্য পি-অপটিমাল প্রুফ সিস্টেম এবং লজিক অন পেপারের অধীনে চেষ্টা করার চেষ্টা করছি । কাগজে প্রুফ সিস্টেম নামে একটি ধারণা আছে এবং আমি অনুপ্রবেশটি পাই না: Σ={0,1}Σ={0,1}\Sigma = \{0,1\} ... আমরা সাবসেটগুলির সাথে সমস্যাগুলি সনাক্ত করি QQQ ভিতরে Σ∗Σ∗\Sigma^*। আমি মনে করি অনুপ্রবেশটি হ'ল আমরা একটি নির্দিষ্ট কাঠামোকে …

9 lo.logic  descriptive-complexity  proof-complexity