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

আমি নিয়মিত ভাবগুলি অটোমেটায় রূপান্তর করার জন্য অ্যালগরিদমগুলির একটি শ্রদ্ধার সন্ধান করার চেষ্টা করছি যাতে নির্দিষ্ট ডোমেনগুলিতে তাদের জটিলতার বৈশিষ্ট্যের কিছু অনুশীলনমূলক পরীক্ষা করা যায়। আমি বেশ কয়েকটি 'বড়' নাম সম্পর্কে অবগত, যেমন, থম্পসন "নিয়মিত এক্সপ্রেশন অনুসন্ধান অ্যালগরিদম", থম্পসন, 1968 Glushkov "একটি নিয়মিত এক্সপ্রেশনকে একটি অটোমেটনে রূপান্তর করার জন্য একটি …

10 automata-theory  fl.formal-languages  regular-expressions 

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

10 cc.complexity-theory  big-picture 

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

10 reference-request  lg.learning  gt.game-theory 

হার্ভে ফ্রেডম্যান দেখিয়েছেন যে একটি ঝরঝরে স্থির পয়েন্টের ফলাফল রয়েছে যা জেডএফসি-তে প্রমাণিত হতে পারে না (চয়েস এর অ্যাক্সিয়ামের সাথে জেরেমো-ফ্রাঙ্কেল সেট তত্ত্ব)। অনেকগুলি আধুনিক লজিকগুলি ফিক্স পয়েন্ট অপারেটরগুলিতে নির্মিত হয়, তাই আমি ভাবছিলাম: তাত্ত্বিক কম্পিউটার বিজ্ঞানের জন্য আপার শিফট ফিক্সড পয়েন্ট উপপাদ্য সম্পর্কে কোনও ফল আছে কি? সমস্ত জন্য …

10 computability  lo.logic 

পটভূমি সার্কিট জটিলতা সীমাহীন গভীরতা এবং বহুবর্ষীয় আকারের সীমাহীন ফ্যান-ইন এবং, এবং, এবং নয় ব্যবহার করে নির্মিত সার্কিট পরিবারগুলির সেট হিসাবে (যেমন সার্কিটের ক্রমগুলি, প্রতিটি ইনপুট আকারের জন্য একটি) asএ সি0একজনসি0AC^0 প্যারিটি ফাংশন n এন- বিট ইনপুট সহ অপ্লাস ইনপুটটিতে বিটের XOR এর সমান।⊕⊕\oplusএনএনn সার্কিট জটিলতায় প্রমাণিত প্রথম সার্কিট লোয়ারবাউন্ডগুলির …

10 cc.complexity-theory  circuit-complexity  physics  bounded-depth 

প্রশ্ন : কমপিটেবল সিক্যুয়েন্স (যেমন নীচে সংজ্ঞায়িত) হিসাবে ভবিষ্যদ্বাণী করা থামানো সমস্যার মতোই শক্ত? সম্প্রসারণ : "ভবিষ্যদ্বাণী" এর অর্থ সফলভাবে পূর্বাভাস, যার অর্থ পূর্ববর্তী এন -1 বিটগুলিতে অ্যাক্সেস দেওয়া ক্রমটির এন-থ্রি বিটটি পূর্বাভাস দেওয়ার চেষ্টা করার ক্ষেত্রে কেবল চূড়ান্তভাবে অনেক ত্রুটি করা (প্রথম বিট থেকে শুরু করে এবং এর মধ্য …

10 computability 

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

10 quantum-computing  cr.crypto-security 

জটিলতা এবং গণনীয়তার "আকর্ষণীয়" শ্রেণিবদ্ধগুলির মধ্যে একটির মধ্যে একরকম পরিবর্তিত এবং বিস্তৃত এমন একটি সংস্থার কথা কি কেউ জানেন? আকর্ষণীয় দ্বারা, আমি বোঝাতে চাইছি, উদাহরণস্বরূপ, বহুভৌত শ্রেণিবিন্যাস, পাটিগণিত শ্রেণিবিন্যাস, বা বিশ্লেষণীক্রমিক স্তরবিন্যাস। অথবা হতে পারে (এন) পি, (এন) এক্সপি, 2 (এন) এক্সপি,......\ldots আরও দৃ concrete়তার সাথে: আপনি সমস্যাগুলির একটি সমান …

10 cc.complexity-theory  computability 

আমার একটি সম্ভাব্যতা প্রশ্ন রয়েছে যা নীচে ফ্রেম করা যেতে পারে। আমাকে একটি ডাইমেনশনাল ভেক্টর স্পেসে একটি বিন্দু দেওয়া হয়েছে এবং আমি এর নিকটতম বিন্দু করতে চাই যা ফর্মের " সীমাবদ্ধতা" একটি সেটকে সন্তুষ্ট করেডি কি পি ℓ 0pppdddqqqpppℓ0ℓ0\ell_0 এ একটি সেট সর্বাধিক ননজারো হতে পারে।{ কিউ জে , জে …

10 ds.algorithms  approximation-algorithms  linear-programming 

যাক π: { 0 , 1 }*→ { 0 , 1 }*π:{0,1}*→{0,1}*\pi \colon \{0,1\}^* \to \{0,1\}^* একটি বিন্যাস করা। নোট করুন যে while যখন অসীম ডোমেনে কাজ করে তবে এর বিবরণ সীমাবদ্ধ হতে পারে। বিবরণ দ্বারা , আমি একটি প্রোগ্রাম যা that এর কার্যকারিতা বর্ণনা করে mean (যেমন কলমোগোরভ জটিলতায়)) …

10 cc.complexity-theory  co.combinatorics  cr.crypto-security  descriptive-complexity  one-way-function 

Hiroimono একটি জনপ্রিয় কমপ্লিট ধাঁধা। আমি সম্পর্কিত ধাঁধার গণ্য জটিলতায় আগ্রহী।NPএনপিNP সমস্যা হল: ইনপুট : একটি x স্কোয়ার গ্রিড এবং পূর্ণসংখ্যা পয়েন্টগুলির একটি সেট দেওয়াnএনnnএনnkটk প্রশ্ন : বহুভুজ কোণে পয়েন্ট সংখ্যা কমপক্ষে হয় এমন একটি পুনর্গঠন বহুভুজ (এর পক্ষগুলি বা এক্সিস সমান্তরাল ) আছে ?xএক্সxyYykটk বহুভুজের প্রতিটি কোণ অবশ্যই ইনপুট …

10 cc.complexity-theory  np-hardness  puzzles  integer-lattice 

আমার কাছে নিম্নলিখিত এলপি রয়েছে: /* উদ্দেশ্য ফাংশন */ মিনিট: 1 ডাব্লু + 2 x + 0.5 y + z; / * পরিবর্তনশীল সীমা * / ডাব্লু + এক্স <= টি 1; w + y = U1; x + z = ইউ 2; টি 1 = 50; ইউ 1 = …

10 linear-programming 

এমন কোনও সরঞ্জাম আছে যেখানে দু'জন লোক সহাবস্থান করেছে কিনা তা যদি কেউ বুঝতে পারে? টুল যেখানে এক কারো চিন্তা করতে পারেন পছন্দ Erdos _number_।

10 soft-question 

একটি সরলীকৃত শাস্ত্রীয় ডাটাবেস লেনদেন হিসাবে দেখা যেতে পারে: এম আইটেম পড়া যারা পড়া উপর ভিত্তি করে কিছু গণনা সম্পাদন এই গণনার উপর ভিত্তি করে কিছু এন ফলাফল লেখার ক্ষেত্রে মূলত পড়া উপাদানগুলি অন্তর্ভুক্ত থাকতে পারে। এই লেনদেনগুলি সম্পাদন করার সময় (একই সাথে) এসিডি বৈশিষ্ট্যগুলি বজায় রাখা দরকার। অন্যান্য অ-ডিবিএমএস …

10 ds.algorithms  dc.distributed-comp 

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

10 ds.algorithms  graph-theory  graph-algorithms