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

এখানে ট্রানজিটিভ সমাপ্তি সম্পর্কে কয়েকটি প্রশ্ন ( 1 , 2 , 3 ) রয়েছে যা আমাকে ভাবতে বাধ্য করে যে এরকম কিছু সম্ভব হলে: অনুমান আমরা একটি ইনপুট নির্দেশ গ্রাফ পেতে "এবং ধরনের প্রশ্নের উত্তর দিতে চাই ?", অর্থাত জিজ্ঞাসা যদি একটি গ্রাফ সকর্মক সম্পূর্ণতে দু'রকমের মধ্যে একটি প্রান্ত বিদ্যমান …

9 graph-theory  graph-algorithms  space-time-tradeoff  transitive-closure 

ডিগ্রাফের ট্রানজিটিভিটি যাচাই করা (অ্যাসিপোটোটিক জটিলতার নিরিখে) ডিজিগের ট্রানসিটিভ ক্লোজিংয়ের চেয়ে সহজ নয়? আমরা কি এর চেয়ে কম নিম্নসীমা জানি?Ω(n2)Ω(n2)\Omega(n^2) একটি ডিগ্রাফ ট্রানজিটিভ কিনা তা নির্ধারণ করতে?

9 graph-theory  directed-acyclic-graph  transitive-closure 

আমার একটি নির্বুদ্ধ প্রশ্ন আছে: এমন কোনও ট্যুরিং মেশিন রয়েছে কি যার অবসানটি সত্য, তবে কোনও প্রাকৃতিক, ধারাবাহিক এবং চূড়ান্তভাবে অক্ষতত্ত্বীয় তত্ত্ব দ্বারা অপ্রতিরোধ্য? আমি একটি নির্দিষ্ট উদাহরণের চেয়ে নিছক অস্তিত্বের প্রমাণ চাই। অर्डিনাল বিশ্লেষণের সাথে এর কিছু সংযোগ থাকতে পারে । প্রকৃতপক্ষে, একটি ট্যুরিং মেশিন , আমরা কে তার …

9 turing-machines  proof-theory  halting-problem 

আমি কীভাবে প্রতিদিনের জীবনে মডেলিং সমস্যার ক্ষেত্রে সীমাবদ্ধতা এবং কলিমেটসের ধারণাটি ব্যবহার করতে পারি তা জানতে আগ্রহী? কেউ কি (সফ্টওয়্যার) ইঞ্জিনিয়ারিংয়ের উদাহরণ প্রদান করতে পারেন, সম্ভবত? বা আমরা এই ধারণাগুলি কী ধরণের মডেলিং সমস্যার জন্য ব্যবহার করতে পারি তার জন্য সাধারণভাবে স্বজ্ঞাতভাবে বর্ণনা করুন? ধন্যবাদ.

9 ct.category-theory 

ধরে নিন যে আমার কাছে সেটগুলি থেকে নেওয়া উপাদানগুলির সাথে সেট রয়েছে। প্রতিটি সেট মাপের ( ), যেখানে সেটগুলি ওভারল্যাপ করতে পারে। নিম্নলিখিত দুটি সমস্যা এনপি-সম্পূর্ণ কিনা তা আমি নির্ধারণ করতে চাই:PPPrrrnnnn&lt;rn&lt;rn<r সমস্যা উ: হয় সেখানে ( ) স্বতন্ত্র মধ্যে সেট সেট (অর্থাত, তাদের জোড়া জিনিস ছেদ খালি)?MMM1≤M≤P1≤M≤P1 \le M …

9 graph-theory  np-hardness 

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

9 linear-programming  convex-optimization  semidefinite-programming 

ল্যাম্বডা ক্যালকুলাসের মতো এমন কোনও ব্যবস্থা আছে যা এর উপরে কোনও টাইপ সিস্টেম যুক্ত করার প্রয়োজন ছাড়াই শক্তিশালী নরমালাইজিং হয়?

9 pl.programming-languages  computability  lambda-calculus  functional-programming 

দিন xi∈{−1,0,+1}xi∈{−1,0,+1}x_i \in \{-1,0,+1\} জন্য i∈{1,…,n}i∈{1,…,n}i \in \{1,\ldots,n\}, যে প্রতিশ্রুতি দিয়ে x=∑ni=1xi∈{0,1}x=∑i=1nxi∈{0,1}x = \sum_{i=1}^n{x_i} \in \{0,1\} (যেখানে যোগফল শেষ হয়েছে ZZ\mathbb{Z})। তারপরে কী হবে তা নির্ধারণের জটিলতাx=1x=1x = 1? লক্ষ্য করুন যে তুচ্ছভাবে সমস্যা রয়েছে ∩m≥2AC0[m]∩m≥2AC0[m]\cap_{m \geq 2}{\mathsf{AC}^0[m]} কারণ x≡1modmx≡1modmx \equiv 1\bmod{m}iff । প্রশ্ন: সমস্যাটি কি ? যদি তাই হয়, …

9 reference-request  complexity-classes  circuit-complexity  upper-bounds 

ভ্রূণ, যদি আপনি এটি না শুনে থাকেন তবে এখানে পড়তে পারেন । এটি কোনও ফাংশনে পুনরাবৃত্ত কলগুলির সমস্ত 'পুনরাবৃত্তি আচরণ' সন্ধান করতে 'কল ম্যাট্রিকেস' এবং 'কল গ্রাফ' এর একটি সিস্টেম ব্যবহার করে। কোনও ফাংশন এটি বন্ধ করে দেয় তা দেখানোর জন্য এটি দেখায় যে কোনও ফাংশনে করা পুনরাবৃত্ত কলগুলির সমস্ত …

9 lo.logic  computability  functional-programming 

আমরা সকলেই জানি যে তুলনা-ভিত্তিক বাছাই করা অ্যালগরিদমের সর্বনিম্ন জটিলতা হ'ল তুলনা। আমি একটি অন্ধ সাজানোর চেষ্টা করছি , অর্থাত্ একটি সংখ্যা আউটপুট একটি সার্কিট (বুলিয়ান, গাণিতিক এবং "তুলনা" গেটস) দিয়ে দেওয়া হয়েছে যা আইটেমের একটি তালিকা সাজায় ortsΩ(nlogn)Ω(nlog⁡n)\Omega(n \log n)nnnnnn সমস্ত পূর্বনির্মাণ তুলনা চয়ন করুন এবং তারপরে বিটগুলিতে গাণিতিক …

9 cc.complexity-theory  terminology  sorting 

এই প্রশ্নটি মূলত ম্যাথওভারফ্লোতে আমি যে প্রশ্নটি করেছি তা। মোনাডিক সেকেন্ড অর্ডার (এমএসও) লজিক হ'ল অনার প্রেডিকেটেসের চেয়ে বেশি পরিমাণে প্রমাণের সাথে দ্বিতীয় অর্ডার যুক্তি। সেটি হচ্ছে ওভার সেটের পরিমাণ বেশ কয়েকটি এমএসও লজিক রয়েছে যা কম্পিউটার বিজ্ঞানে অধ্যয়ন করা কাঠামোর জন্য মৌলিক। প্রশ্ন ১. মোনাডিক সেকেন্ড অর্ডার লজিকসের জন্য …

9 lo.logic  ct.category-theory 

কত চক্র CkCkC_k (k≥3)(k≥3)(k \geq 3) একটি আছে nnn ভার্টেক্স গ্রাফের মতো গ্রাফের কোনও চক্র থাকে না CmCmC_m (m&gt;k)(m&gt;k)(m>k)। উদাহরণ স্বরূপ n=5n=5n=5, k=3k=3k=3তারপরে গ্রাফের সর্বাধিক দুটি হবে C3C3C_3তাই তাই GGG কোন হবে না Ck(k&gt;3).Ck(k&gt;3).C_k (k > 3). আমি ভাবছি যে আছে O(n)O(n)O(n) চক্রগুলি উপরে অবস্থার সন্তুষ্টিজনক হবে। কেউ আমাকে সাহায্য …

9 graph-theory  graph-algorithms 

কি প্রাকৃতিক নিদর্শনাবলী , Relativization এবং Algebrization এছাড়াও মত অন্যান্য জটিলতা ক্লাস বিচ্ছেদ প্রভাবিত ইত্যাদি?এল ≠ এনএল ≠ এনপি≠ সি ও এনপি। পিএইচ। পিএসপিএ সিইL≠NL≠NP≠coNP≠PH≠PSPACEL\neq NL\neq NP\neq coNP \neq PH\neq PSPACE উদাহরণস্বরূপ প্রাকৃতিক প্রমাণ বাধা কোনও প্রমাণকে প্রভাবিত করবে কারণ এটি পৃথক করবে । তবে ও সম্পর্কের তুলনায় এবং মধ্যে …

9 cc.complexity-theory  barriers 

এখানে নিকটতম প্রতিবেশী সমস্যা। বাস্তব দেওয়া a1,…,ana1,…,ana_1, \ldots, a_n (খুব লম্বা nnn!), আরও লক্ষ্য বাস্তব ppp, অনুসন্ধান aiaia_i এবং ajaja_j যার SUM সবচেয়ে কাছের ppp। আমরা যুক্তিসঙ্গত প্রাক প্রক্রিয়াজাতকরণ / সূচকের অনুমতি দেয়a1,…,ana1,…,ana_1, \ldots, a_n (পর্যন্ত O(nlogn)O(nlog⁡n)O(n \log n)), তবে প্রশ্নের সময়ে (প্রদত্ত ppp), ফলাফলটি খুব দ্রুত ফেরত দেওয়া উচিত …

9 ds.algorithms  cg.comp-geom  ds.data-structures 

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

9 pl.programming-languages  program-analysis