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

এবং বি সেট দেয় , তাদের মধ্যে একটি বিচ্ছিন্ন সম্পর্ক ( ∼ ) ⊆ এ × বি নিম্নলিখিত সংস্থাকে সন্তুষ্ট করে এমন একটি সম্পর্ক হিসাবে সংজ্ঞায়িত করা হয়:একজনএকজনAবিবিB ( ∼ ) ⊆ এ × বি(~)⊆একজন×বি(\sim) \subseteq A \times B যদি এবং একটি ′ ∼ বি ′ এবং একটি ∼ বি …

15 reference-request  pl.programming-languages  denotational-semantics  logical-relations 

বার্নার্ডি এবং মৌলিনের 2012 টি এলআইএসএস কাগজ ( https://dl.acm.org/citation.cfm?id=2359499 ) দেখার পরে আমি প্যারামিট্রিকটিতে খুব আগ্রহী হয়েছি । এই কাগজটিতে, তারা নির্ভরযোগ্য ধরণের সাথে একটি খাঁটি টাইপ সিস্টেমে অবিচ্ছিন্ন প্যারামিট্রিসিটি অভ্যন্তরীণ করে এবং কীভাবে আপনি নির্মাণকে স্বেচ্ছাচারিতায় আধ্যাত্মিকভাবে প্রসারিত করতে পারেন তার ইঙ্গিত দেয়। আমি কেবল বাইনারি প্যারামিট্রিকটি আগেই সংজ্ঞায়িত …

15 lo.logic  pl.programming-languages  type-systems  logical-relations  parametricity 

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

15 graph-theory  cg.comp-geom  graph-drawing 

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

15 ds.data-structures  it.information-theory  hash-function 

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

15 graph-theory  co.combinatorics 

প্ল্যানার গ্রাফগুলি ফ্রি। এই ধরনের গ্রাফগুলি ত্রি-সংযুক্ত উপাদানগুলিতে দ্রবীভূত করা যায়, যা প্ল্যানার বা কে 5 উপাদান হিসাবে পরিচিত ।কে3 , 3কে3,3K_{3,3}কে5কে5K_5 জেনাসের গ্রাফের এমন কোনও "সুন্দর" পচন আছে? গ্রাফ অপ্রাপ্তবয়স্কদের উপর তাদের কাজকর্মের ক্ষেত্রে, রবার্স্টন এবং সিউমার দেখিয়েছেন যে প্রতিটি ছোটখাট-মুক্ত গ্রাফ "প্রায় প্ল্যানার" গ্রাফের "চক্র-যোগ" হিসাবে বিভক্ত হতে …

15 graph-theory  co.combinatorics  planar-graphs  graph-minor 

max{k,n/k}max{k,n/k}\max \left\{k, n/k\right\}k=n−−√k=nk=\sqrt n হে (\ sqrt n) এ পৃথক লোগারিদম গণনা করার জন্য চাইল্ড-স্টেপ জায়ান্ট-স্টেপ অ্যালগরিদম O(n−−√)O(n)O(\sqrt n), O(n−−√)O(n)O(\sqrt n) সময় এবং O(n)O(n)O(n) মেমরিতে স্থির 2D অ र्थোগোনাল পরিসীমা গণনা , O(n−−√k)O(nk)O(\sqrt[k] n) এক্সট্রা্যাক্ট-এমআইএন এবং ও (1)-এ ডিসেক্রেস- কে দিয়ে অগ্রাধিকারের সারি O(1)O(1)O(1), বহু-কালীন সময়ে O ( q sqrt …

15 ds.algorithms  ds.data-structures  big-list  teaching 

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

15 pl.programming-languages  type-theory  type-systems  object-oriented 

1-অস্পষ্ট Weisfeiler-লেহম্যান অ্যালগরিদম (WL) সাধারণভাবে ক্যানোনিকাল লেবেল বা রঙ পরিশোধন অ্যালগরিদম হিসাবে পরিচিত হয়। এটি নিম্নলিখিত হিসাবে কাজ করে: প্রাথমিক রং অভিন্ন হয়, সব ছেদচিহ্ন জন্য ।C 0 ( v ) = 1 v ∈ V ( G ) ∪ V ( H )সি0সি0C_0সি0( v ) = 1সি0(বনাম)=1C_0(v) = 1v …

15 cc.complexity-theory  graph-theory  graph-isomorphism  logspace 

বুলিয়ান বীজগণিতটি (উদাহরণস্বরূপ) এভাবে টাইপযুক্ত ল্যাম্বডা ক্যালকুলাসে প্রকাশ করা যেতে পারে । true = \t. \f. t; false = \t. \f. t; not = \x. x false true; and = \x. \y. x y false; or = \x. \y. x true y; এছাড়াও বুলিয়ান বীজগণিতগুলি সিস্টেম এফ এ এভাবে এনকোড …

15 lo.logic  type-theory  lambda-calculus 

প্রস্তাবনা। জটিলতা ক্লাস এএম হ'ল সেই সমস্যাগুলি যা প্রবাদকৃত "মার্লিন" এবং একজন যাচাইকারী "আর্থার" এর মধ্যে দ্বি-রাউন্ড ইন্টারেক্টিভ প্রুফ সিস্টেমের মাধ্যমে সমাধান করা যেতে পারে। একটি সমস্যা - যা কোনও একটি এক্সের কিছু সম্পত্তি পরীক্ষা করে - এএম এ থাকে: জন্য হ্যাঁ দৃষ্টান্ত, একটি র্যান্ডম "চ্যালেঞ্জ" বার্তা জন্য (বহুপদী দৈর্ঘ্যের) …

15 cc.complexity-theory  interactive-proofs  unique-solution 

কোনও পূর্বনির্ধারিত সার্বজনীন গেট সেটের উপর দিয়ে থেকে ইউনিটরিটিগুলি ক্ষয়ের কোয়ান্টাম সার্কিটগুলিতে ক্ষয় করার কোনও সফ্টওয়্যার প্যাকেজ রয়েছে কি ?ইউ( 2)এন)ইউ(2এন)U(2^n)

15 quantum-computing  software 

কিছু অ-তুচ্ছ সমস্যা যেখানে আমাদের বর্তমান অ্যালগরিদমটি রয়েছে তা অ্যাসেম্পোটোটিকভাবে অনুকূল সমস্যাটি কী? (ট্যুরিং মেশিনের জন্য) এবং এটি কীভাবে প্রমাণিত হয়?

15 cc.complexity-theory  ds.algorithms  complexity-classes 

নিম্নলিখিত সমস্যা বিবেচনা করুন: ইনপুট : একটি হাইপারপ্লেন H = { y ∈ R n : a T y = b }H={y∈Rn:aTy=b}H = \{ \mathbf{y} \in \mathbb{R}^n: \mathbf{a}^T\mathbf{y} = {b}\} , মানক বাইনারি উপস্থাপনায় ভেক্টর a ∈ Z na∈Zn\mathbf{a} \in \mathbb{Z}^n এবং b ∈ Z দ্বারা প্রদত্ত b∈Zb \in \mathbb{Z}। …

15 cc.complexity-theory  optimization  linear-algebra  integer-lattice 

চতুর্থাংশ 1। আমরা কখন বলতে পারি যে দুটি প্রোগ্রাম (কিছু প্রোগ্রামিং ভাষায় সি ++ এর মতো লেখা) আলাদা হয়? প্রথম চূড়ান্তভাবে বলা হয় যে দুটি প্রোগ্রাম সমান হয় যদি সেগুলি অভিন্ন হয়। অন্য চূড়ান্ত বলতে দুটি প্রোগ্রাম সমান হয় যদি তারা একই ফাংশন গণনা করে (বা একই পরিবেশে একই পর্যবেক্ষণযোগ্য …

15 pl.programming-languages  semantics  equivalence