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

এখানে: http://www.planarity.org/Klein_elementary_ographic_theory.pdf (অধ্যায় এম্বেডিংগুলিতে) প্ল্যানার গ্রাফের সংযুক্তি এম্বেডিংয়ের সংজ্ঞা দেওয়া হয় is (মুখের সংজ্ঞা এবং এর সাথে) যদিও এটি কোনও গ্রাফের জন্য সহজেই ব্যবহার করা যায় তবুও তারা প্ল্যানার গ্রাফটিকে গ্রাফ হিসাবে সংজ্ঞায়িত করে, যার জন্য অয়লার সূত্রটি ধরে রেখেছে (ধরে নেওয়া যায় যে গ্রাফটি সংযুক্ত আছে)। এটি বেশ অনেকটা …

12 graph-theory  co.combinatorics  planar-graphs 

আমি দুটি স্বতন্ত্র বিচ্ছিন্ন র‌্যান্ডম ভেরিয়েবল এক্স এবং ওয়াইয়ের যোগফলের এনট্রপি এর সীমাবদ্ধ সন্ধান করছি । স্বাভাবিকভাবেই, এইচ ( এক্স + + ওয়াই ) ≤ এইচ ( এক্স ) + + এইচ ( ওয়াই ) ( * ) যাইহোক, এর সমষ্টি প্রয়োগ এন স্বাধীন বের্নুলির র্যান্ডম ভেরিয়েবল জেড 1 , …

12 it.information-theory  shannon-entropy 

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

12 cc.complexity-theory  dynamic-algorithms  edit-distance  space-time-tradeoff 

অনুসরণ করে একটি মোনাডের একটি উদাহরণ যা বিকল্প কিন্তু একটি মোনাডপ্লাস নয়? : ধরুন একটি monad। সম্পর্ক betweem কি কি একটি হচ্ছে বিকল্প , একটি MonadPlusCatch এবং MonadPlusDistr ? মিমিmmমিmmসম্ভাব্য ছয়টি জোড়ার প্রত্যেকটির জন্য আমার কাছে এমন একটি প্রমাণ থাকতে হবে যা একজনের দ্বারা অন্যকে বোঝায়, বা একটি পাল্টা উদাহরণ …

12 pl.programming-languages  functional-programming  haskell  monad  applicative 

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

12 cc.complexity-theory  quantum-computing  query-complexity 

একটি "সমস্যা" define একটি আলগোরিদিম হতে স্বাভাবিক সংখ্যা গ্রহণ এবং ফিরে 0 বা 1 যা ফেরৎ 1 অন্তত এক এন ∈ এন । কোন ধরনের এন করার জন্য একটি "সমাধান" বলা হয় একজনএকজনAA111n∈Nn∈Nn \in \mathbb{N}nnnAAA একটি "সর্বজনীন সমস্যা সমাধানকারী" সংজ্ঞায়িত করুন অ্যালগোরিদম কোনও সমস্যা স্বীকার করে এবং এর সমাধানগুলির মধ্যে …

12 cc.complexity-theory  ai.artificial-intel 

ফ্রি ওয়েডলারের পুনরাবৃত্তির ধরণগুলিতে ! [1], তিনি দুটি ধরণের প্রদর্শন করেছিলেন, এবং , এবং দাবি করেছে যে তারা দ্বৈত । বিশেষত, তিনি উল্লেখ করেছেন যে the প্রকারটি হয় না সাবেক দ্বৈত। দেখে মনে হচ্ছে যে এখানে দ্বৈততাটি যুক্তিতে ডি মরগান দ্বৈততার চেয়ে পৃথক। আমি বিস্মিত হই যে প্রকারের দ্বৈততা কীভাবে …

12 lo.logic  type-theory 

আমরা একটি ফাংশন আছে বলুন , এই ধরনের যে (তাই আমরা মনে করতে পারেন বিতরণ হিসাবে)। এই জাতীয় ফাংশনটির এনট্রপি সংজ্ঞায়িত করা স্বাভাবিক: চ: জেডএন2। আরf:Z2n→Rf:\mathbb{Z}_2^n \to \mathbb{R}{ f ( x ) 2 } x ∈ Z n 2 H ( f ) = - ∑ x ∈ Z n …

12 it.information-theory  boolean-functions  fourier-analysis 

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

12 cc.complexity-theory  graph-theory  counting-complexity 

যদি আপনাকে আংশিক অর্ডারগুলির সংকলন দেওয়া হয় তবে সামগ্রিক অর্ডারে সংগ্রহের কোনও এক্সটেনশান রয়েছে কিনা টপোলজিকাল সাজান আপনাকে বলবে (এই ক্ষেত্রে একটি এক্সটেনশান প্রতিটি আংশিক আদেশের সাথে সামঞ্জস্যপূর্ণ মোট অর্ডার)। আমি একটি ভিন্নতা এসে পৌঁছেছি: একটি সেট ত্রুটিমুক্ত । আপনাকে পুনরাবৃত্তি ছাড়াই ভি থেকে আঁকা উপাদানগুলির সিকোয়েন্সগুলি σ 1 , …

12 ds.algorithms  reference-request  order-theory 

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

12 ds.algorithms  co.combinatorics  implementation 

একজন এমপিএ (multipebble যন্ত্রমানব) একটি 2DFA (দ্বিমুখী নির্ণায়ক সসীম যন্ত্রমানব) যে নুড়ি (আসলে সর্বাধিক স্বেচ্ছাচারী সংখ্যা ব্যবহার করতে পারেন একটি প্রদত্ত ইনপুটের নুড়ি W - ইনপুট দুই প্রান্তের টেপ লেখা যেমন -markers # W # )। গণনার সময়, এমপিএ সনাক্ত করতে পারে যে মাথার নীচে প্রতীকটি একটি নুড়ি রয়েছে কিনা …

12 cc.complexity-theory  reference-request  automata-theory  space-bounded 

অরোরার বারক শো যেমন প্রকাশ করা যেতে পারে বি পি ⋅ এন পি ভাষা 3SAT করার কমানোর এলোমেলোভাবে আছে সেট অর্থাৎ। এম এ হ'ল এন পি এর প্রাকৃতিক র্যান্ডমাইজড জেনারালাইজেশন যা আপনি এলোমেলোভাবে একটি দ্বারা ডিটারমিনিস্টিক ভেরিফায়ার প্রতিস্থাপন করেন।AMAM\mathsf{AM}BP⋅NPBP⋅NP\mathsf{BP}\cdot \mathsf{NP}MAMA\mathsf{MA}NPNP\mathsf{NP} "এনপি হ'ল পিপি-তে বিপিপির সাথে এইগুলির মধ্যে একটির আরও ঘনিষ্ঠ …

12 cc.complexity-theory  big-picture 

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

12 lo.logic  automata-theory  model-checking  temporal-logic 

সর্বাধিক প্রস্থের লাইনে সমানভাবে পাঠ্য ভাঙ্গার জন্য একটি রৈখিক সময় অ্যালগরিদম রয়েছে। এটি এসএমএডাব্লুকে (বা নুথ অ্যান্ড প্লাস) এবং "সমানভাবে" অর্থ: http://en.wikedia.org/wiki/Word_wrap# মিনিমাম_রেজিডনেস উপরের অ্যালগরিদমের জন্য কোনও অ্যালগরিদম বা একটি অবতল ব্যয়ের কার্যকারিতা রয়েছে যা সর্বাধিক লাইনের প্রস্থের পরিবর্তে পাঠ্যটি ভাঙতে চাইলে আমি যে রেখাগুলি ভাঙ্গতে চাইব তা বিবেচনা করবে? …

12 ds.algorithms