প্রশ্ন ট্যাগ «reference-request»

লিনিয়ার এবং অন্যান্য প্রস্তাবিত স্ট্রাকচারাল লজিকগুলিতে সংকোচনের অভাবে স্বয়ংক্রিয় উপপাদ্য প্রমাণ এবং প্রমাণ অনুসন্ধান সহজ? এই লজিকগুলিতে স্বয়ংক্রিয় উপপাদ্য প্রমাণ এবং প্রমাণ অনুসন্ধানে সংকোচনের ভূমিকা সম্পর্কে আমি আরও কোথায় পড়তে পারি?

18 reference-request  lo.logic  survey  automated-theorem-proving  linear-logic 

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

18 cc.complexity-theory  reference-request  time-complexity  query-complexity 

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

18 reference-request  cr.crypto-security 

এটি কি সত্য যে সময়ে (বহুবর্ষীয় স্তরক্রমের কিছু স্তরে একটি বিকল্প ট্যুরিং মেশিন দ্বারা) সমাধানযোগ্য যে বহুত্বীয় শ্রেণিবিন্যাসে সমস্যা আছে যা O ( n কে - 1 ) এর যে কোনও স্তরে দ্রবণযোগ্য নয় বহুবর্ষীয় শ্রেণিবিন্যাস? অন্য কথায় - বহিরাগত শ্রেণিবিন্যাসের জন্য কি পি এবং এনপি-র মতো একটি সময়ক্রমক্রমের উপপাদ্য …

18 cc.complexity-theory  reference-request  polynomial-hierarchy  time-hierarchy 

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

18 reference-request  cg.comp-geom  algebra 

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

18 reference-request  fl.formal-languages  parsing 

সমস্যা: আমাদের পূর্ণসংখ্যার দৈর্ঘ্যযুক্ত লাঠিগুলির একটি সেট দেওয়া হয়। তাদের দৈর্ঘ্যের মোট যোগফল n (n + 1) / 2। বহুবর্ষীয় সময়ের মধ্যে size size আকারের লাঠিগুলি পেতে আমরা কী তাদের ভাঙ্গতে পারি ? ১ , ২, … , এন1,2,...,এন{1,2,\ldots,n} আশ্চর্যজনকভাবে, এই সমস্যার জন্য আমি কেবলমাত্র রেফারেন্সটি পাই এটি প্রাচীন আলোচনা: …

18 reference-request  complexity-classes  puzzles 

আমি নিম্নলিখিত সমস্যাটিতে আগ্রহী: একটি সেট এক্স এবং উপসর্গ X_1, X, X_n দেওয়া হয়েছে, কে এর বর্ণগুলির সাথে এক্স এর উপাদানগুলির একটি রঙিন সন্ধান করুন যাতে প্রতিটি এক্স_আই এর উপাদানগুলি সমস্ত আলাদাভাবে বর্ণযুক্ত। আরও সুনির্দিষ্টভাবে, আমি সেই ক্ষেত্রে দেখছি যেখানে সমস্ত এক্স_আই আকারের কে। সাহিত্যে এটি কি কোনও নামে পরিচিত? …

18 cc.complexity-theory  reference-request  np-hardness  hypergraphs 

Satisfiability সমস্যা তাত্ত্বিক সি এস একটি মৌলিক সমস্যা অবশ্যই, হয়। আমি অসীম অনেকগুলি ভেরিয়েবলগুলির সাথে সমস্যার একটি সংস্করণ নিয়ে খেলছিলাম। \newcommand{\sat}{\mathrm{sat}} \newcommand{\unsat}{\mathrm{unsat}} বেসিক সেটআপ। যাক একটি nonempty এবং হতে এর সম্ভবত অসীম সেট ভেরিয়েবল । আক্ষরিক হয় হয় একটি পরিবর্তনশীল x X এক্স বা এর প্রত্যাখ্যান \ নাগ এক্স । …

18 reference-request  lo.logic  sat  topology  lattice 

ইন Sakarovitch এর বই অটোমাটা তত্ত্বের উপর, এটি অধ্যায় ভূমিকা লেখা আছে বিনামূল্যে দলের rationals যে উপাদান তাতে উপস্থাপিত "প্রসঙ্গ-মুক্ত ভাষার সত্যিই গাণিতিক তত্ত্বের ভিত্তি" টিম সীমানা। তবুও এটিকে স্পষ্ট করে তোলা হয়নি, কারণ প্রসঙ্গমুক্ত ভাষা এবং পুশডাউন অটোমেটা বইয়ের আওতার বাইরে। আমি বিনামূল্যে দলের কিছু সংযোগের সচেতন (এবং কি …

17 context-free  automata-theory  reference-request 

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

17 cc.complexity-theory  reference-request  circuit-complexity 

সাহিত্যে নিম্নলিখিত গ্রাফ শ্রেণিটি পরিচিত? গ্রাফ বর্গ ধনাত্মক পূর্ণসংখ্যা দ্বারা স্থিতিমাপ হয় এবং এবং প্রতিটি গ্রাফ রয়েছে এমন প্রতিটি প্রান্তবিন্দু জন্য , এর subgraph সর্বাধিক দূরে সব ছেদচিহ্ন উপর প্রবর্তিত থেকে মধ্যে সর্বাধিক ।dddG = ( V , E ) v ∈ V G d v G ttttG=(V,E)G=(V,E)G=(V,E)v∈Vv∈Vv\in VGGGdddvvvGGGttt এটি …

17 reference-request  graph-theory  treewidth 

মুদ্রণে জটিলতার তত্ত্বের প্রাসঙ্গিকতার জন্য অর্থনীতিবিদদের বোঝানোর চেষ্টা করার সময়, উদ্ধৃত করার কোনও মানক রেফারেন্স কি আছে? আমি পরিচিত নই নোয়াম নিশান এর ব্লগ পোস্টে , টিম Roughgarden জরিপ , এবং অধ্যায় 11 স্কট Aaronson এর প্রবন্ধ । এই পোস্টগুলি কম্পিউটার বিজ্ঞানীদের জন্য অ্যাক্সেসযোগ্য, তবে অর্থনীতিবিদদের ভাষা ব্যবহার করবেন না …

17 cc.complexity-theory  reference-request  application-of-theory  ho.history-overview  ce.computational-finance 

আমি দক্ষ অ্যালগরিদমগুলির প্রাকৃতিক উদাহরণগুলি খুঁজছি (অর্থাত্ বহুপক্ষীয় সময়ে) স্ট্যান্ড তাদের সঠিকতা এবং দক্ষতা গঠনমূলকভাবে প্রমাণিত হতে পারে (যেমন বা ), তবেPRAPRAPRAHAHAHA কেবল দক্ষ ধারণা ব্যবহার করে কোনও প্রমাণ জানা যায় না (যেমন আমরা বা কীভাবে তাদের সঠিকতা এবং দক্ষতা প্রমাণ করতে পারি তা জানি না )।TV0TV0TV^0S12S21S^1_2 আমি নিজেই কৃত্রিম …

17 cc.complexity-theory  reference-request  lo.logic  proof-complexity  constructive-mathematics 

বেশিরভাগ সাইটগুলি আমি এই আকর্ষণীয় বিষয়ের উপর পড়তে দেখেছি লাইনগুলি বরাবর কিছু state "এই ক্রমের মধ্যে দু'জনের একমাত্র শক্তি (নিজেই 2 ব্যতীত) দেখা দেয় যেগুলি হ'ল প্রধান নির্ধারক" (ম্যাথ ওয়ার্ল্ড) অথবা "2 এর পরে, এই ক্রমটি 2 এর নিম্নোক্ত শক্তিগুলি ধারণ করে: [...] যা ২ এর প্রধান শক্তি" " (উইকিপিডিয়া) …

17 reference-request  primes