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

এনপি কি ?DTIME(npolylogn)DTIME(npolylog⁡n)DTIME(n^{poly\log n})

16 cc.complexity-theory  complexity-classes 

জটিলতা শ্রেণি অপারেটরগুলি সম্পর্কে লেখার সময় আমি উল্লেখ করতে পারি এমন কোনও ভাল এক্সপোজিটরি নিবন্ধ বা সমীক্ষা উপস্থিত থাকলে আমি আগ্রহী : অপারেটরগুলি যা তাদের মধ্যে কোয়ানটিফায়ার যুক্ত করার মতো জটিলতা ক্লাসে রূপান্তরিত করে। অপারেটরগুলির উদাহরণ নিম্নলিখিতগুলি অপারেটরগুলির একটি খালি ন্যূনতম তালিকা হিসাবে ব্যাখ্যা করা যেতে পারে যা একটি উত্তর …

16 reference-request  complexity-classes 

হায়ারার্কি উপপাদ্যগুলি মৌলিক সরঞ্জাম। তাদের মধ্যে একটি ভাল সংখ্যা পূর্ববর্তী একটি প্রশ্নে সংগ্রহ করা হয়েছিল (দেখুন আপনি কি শ্রেণিবদ্ধতা এবং / বা শ্রেণিবদ্ধের তত্ত্বগুলি জানেন? )। কিছু জটিলতা শ্রেণীর বিচ্ছেদগুলি হায়ারার্কি উপপাদ্যগুলি থেকে সরাসরি অনুসরণ করে। যেমন সুপরিচিত বিচ্ছিন্নতার উদাহরণ: L≠PSPACEL≠PSPACEL\neq PSPACE , P≠EXPP≠EXPP\neq EXP , NP≠NEXPNP≠NEXPNP\neq NEXP , PSPACE≠EXPSPACEPSPACE≠EXPSPACEPSPACE\neq …

16 cc.complexity-theory  complexity-classes  hierarchy-theorems 

একটি প্রান্ত কভার একটি গ্রাফের প্রান্তগুলির একটি উপসেট যা গ্রাফের প্রতিটি শীর্ষবিন্দুটি কভারের কমপক্ষে একটি প্রান্তের সাথে সংলগ্ন থাকে। নিম্নলিখিত দুটি কাগজপত্র বলে যে কাউন্টিং প্রান্ত কভার হয় #P -complete: এজ কভার গণনা করার এক সহজ FPTAS এবং পথ গ্রাফ জেনারেট এজ কভার । তবে, আমি যদি কিছু মিস না …

16 reference-request  graph-algorithms  counting-complexity  proofs 

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

16 cc.complexity-theory  ds.algorithms  graph-theory  graph-algorithms  np-hardness 

আমরা যখন বইটি দেখি , হোমোপি টাইপ থিওরি - আমরা নিম্নলিখিত বিষয়গুলি দেখতে পাই: Homotopy type theory 2.1 Types are higher groupoids 2.2 Functions are functors 2.3 Type families are fibrations 2.4 Homotopies and equivalences 2.5 The higher groupoid structure of type formers 2.6 Cartesian product types 2.7 S-types 2.8 …

16 type-systems 

আনবিম্বিগিউস ফিনিট অটোমেটনস (ইউএফএ) হ'ল বিশেষ ধরণের নন-ডিস্ট্রিমেন্টিক সসীম অটোমেটনস (এনএফএ)। যদি এন সিএনএ-এর প্রত্যেকটি শব্দ এর সর্বাধিক এক স্বীকৃত পথ থাকে তবে এনএফএকে দ্ব্যর্থহীন বলা হয় ।ডাব্লু ∈ Σ*W∈Σ*w\in \Sigma^* এর মানে হল এই ।ডি এফএ ⊂ ইউএফএ ⊂ এনএফএকজনডিএফএকজন⊂ইউএফএকজন⊂এনএফএকজনDFA\subset UFA\subset NFA সম্পর্কিত সম্পর্কিত অটোমেটনের ফলাফল: এনএফএ মিনিমাইজেশন PSPACE- …

16 cc.complexity-theory  fl.formal-languages  automata-theory  regular-language 

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

16 cc.complexity-theory  p-vs-np 

অ-নেতিবাচক পূর্ণসংখ্যার মধ্যে রৈখিক ডায়োফ্যান্টাইন সমীকরণ সমাধানের এনপি-সম্পূর্ণ সমস্যা সম্পর্কে আমি খুব কম তথ্যই পাই। অর্থাৎ, সেখানে অ নেতিবাচক একটি সমাধান পাওয়া যাবে x1,x2,...,xnx1,x2,...,xnx_1,x_2, ... , x_n সমীকরণ থেকে a1x1+a2x2+...+anxn=ba1x1+a2x2+...+anxn=ba_1 x_1 + a_2 x_2 + ... + a_n x_n = b , যেখানে সমস্ত ধ্রুবক ধনাত্মক? আমি জানি এই সমস্যার …

16 cc.complexity-theory  reference-request  np-hardness  counting-complexity 

কাগজে গ্রাফ Isomorphism জন্য একটি দক্ষ অ্যালগরিদম Corneil এবং Gotlieb, 1970 দ্বারা একটি অনুমান নিদিষ্ট ছিল যার উপর বিবৃত অ্যালগরিদম বহুপদী সময় জি আই সমাধানের জন্য নির্ভরশীল ছিল। যথা: প্রতিনিধি গ্রাফ প্রদত্ত গ্রাফের অটোমোরফিজম বিভাজন প্রদর্শন করে স্পষ্টতই, এই অনুমানটি এখনও অবধি প্রমাণিত হয়নি (অন্যথায় আমরা জানতে পারব যে জিআই …

16 graph-isomorphism  automorphism 

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

16 teaching 

কোন প্ল্যানার যথাক্রমে outerplanar গ্রাফ জি = ( ভ, ই)জি=(ভী,ই)G=(V,E) সন্তুষ্ট , যথাক্রমে , যে subgraph জন্য এর । এছাড়াও, (বহিরাগত) প্ল্যানার গ্রাফগুলি বহুপদী সময়গুলিতে স্বীকৃত হতে পারে।| E ′ | ≤ 2 | ভি ′ | - 3 জি ′ = ( ভি ′ , ই ′ ) জি|ই'| …

16 reference-request  graph-theory  graph-algorithms 

আমি ভাবছি, এমন কোনও কাগজপত্র বা গবেষণা রয়েছে যা দৃশ্যমানভাবে পুডডাউন অটোমেটা নিয়ে ডিল করছে, তবে একক অক্ষরের পরিবর্তে শব্দগুলিকে স্ট্যাকের দিকে ঠেলে দেওয়ার অনুমতি দেয়। পর্যায়ক্রমে, এমন একটি নির্মাণ যা প্রতীকগুলিকে ট্রান্সশিশনে চাপ দেওয়ার অনুমতি দেয় একই লক্ষ্য অর্জন করতে পারে।ϵϵ\epsilon স্পষ্টতই, এই ধরণের বৈচিত্রগুলি গঠন করা যেতে পারে …

16 reference-request  fl.formal-languages  automata-theory  context-free  context-free-languages 

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

16 sat 

একটি নতুন কাগজ ডিস্ক্রিট লোগারিদমের জন্য কো-পলিনোমিয়াল অ্যালগরিদম দাবি করে প্রকাশিত হয়েছিল। http://arxiv.org/abs/1306.4244 যদি সঠিক হয় তবে এর অর্থ কি আমাদের আর ধ্রুপদী অ্যালগোরিদমের জটিলতায় এবং পৃথক লোগারিদম সমস্যার জন্য এর কোয়ান্টাম সংস্করণে সূচকীয় বিচ্ছেদ নেই? কোয়ান্টাম জটিলতা তত্ত্বের কি এর কোনও জড়িততা আছে?

16 cc.complexity-theory