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

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

10 time-complexity  nt.number-theory 

ধরুন কিছু বর্ণমালা থেকে সম্মান সঙ্গে স্থিতিমাপ কর ভাষা । এর -slice হয় , এ দৃষ্টান্ত সেট যা প্যারামিটার আছে । জটিলতা বর্গ স্থিতিমাপ ভাষায় রয়েছে যেমন যে প্রত্যেকের জন্য সম্ভবত একটি ভিন্ন অ্যালগরিদম এবং বহুপদী চলমান সময় প্রত্যেকের জন্য আবদ্ধ সঙ্গে, । প্রতিটি স্থির-পরামিতি ট্র্যাকটেবল ভাষা এবং সেখানে \ …

10 cc.complexity-theory  reference-request  parameterized-complexity 

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

10 combinatorics 

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

10 cc.complexity-theory  sat  treewidth  space-complexity 

যাক একটি জটিলতা বর্গ হতে হবে এবং BP- সি এর এলোমেলোভাবে সহযোগীর হতে সি হিসাবে সংজ্ঞায়িত করা BPP থেকে সম্মান সঙ্গে পি । আরও আনুষ্ঠানিকভাবে আমরা বহুভিত্তিকভাবে অনেক এলোমেলো বিট সরবরাহ করি এবং যদি গ্রহণের সম্ভাবনা 2 এর বেশি হয় তবে আমরা একটি ইনপুট গ্রহণ করিCসি\mathcal{C}BP-CBP-সি\textrm{BP-}\mathcal{C}Cসি\mathcal{C}BPPBPP\textrm{BPP}PP\textrm{P} ।2323\frac{2}{3} জানা যায় যে …

10 circuit-complexity  randomized-algorithms 

সর্বোত্তম সালে বাক্য এর ক্যালকুলাস কাগজ একটি নিয়ম বলে যে নেই (মূল নথির পিডিএফের পৃষ্ঠা 7, পৃষ্ঠা 101) এই নিয়মের অর্থ হ'ল যে প্রসঙ্গটি সেই প্রসঙ্গের সদস্যের পক্ষে হ্রাসযোগ্য। এটি মনে হচ্ছে এটি সঠিক হওয়া উচিত নয়, যেমন এটি জোর দেয় 1 ≅ Nat 3 ≅ Nat 1 ≅ 3 …

10 lo.logic  calculus-of-constructions  sequent-calculus 

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

10 type-theory  type-inference  polymorphism 

কোলমোগোরভ এলোমেলোভাবে আরপি-র জন্য যথেষ্ট হবে তা দেখানোর কোনও প্রচেষ্টা আছে কি ? "যদি সঠিক উত্তরটি হ্যাঁ হয় তবে এই (সম্ভাব্য টিউরিং মেশিন) সম্ভাব্যতার সাথে হ্যাঁ প্রত্যাবর্তন করবে ..." বিবৃতিতে ব্যবহৃত সম্ভাব্যতা কি এই ক্ষেত্রে সর্বদা ভালভাবে সংজ্ঞায়িত হবে? বা সম্ভাব্যতার জন্য কি কেবল উপরের এবং নিম্ন সীমাগুলি থাকবে? বা …

10 randomized-algorithms  randomness  pseudorandomness 

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

10 randomized-algorithms 

যাক একটি নির্দিষ্ট সসীম ক্ষেত্রের উপর একটি বহুপদী হও। ধরুন আমাদের কিছু ভেক্টর এবং ভেক্টর তে এর মান দেওয়া হয়েছে ।পি ওয়াই ∈ { 0 , 1 } n yপি( এক্স1, এক্স2, … , এক্সএন)P(x1,x2,…,xn)P(x_1, x_2, \ldots, x_n)পিPPY∈ { 0 , 1 }এনy∈{0,1}ny \in \{0,1\}^nYyy আমরা এখন এর মান একটি …

10 polynomials  dynamic-algorithms 

আসলে কোন সমস্যা আছে যা করে EXP সময় সম্পূর্ণ হলে যে বোঝা একজন নেই ডি টি আমি এম ই ( 2 ণ ( এন ) ) ?একজনAAএকজনAADTIএমই( 2)ও ( এন ))DTIME(2o(n))DTIME(2^{o(n)}) আমি সচেতন যে সময় অনুক্রমের উপপাদ্য দ্বারা, আছি এ অন্তর্ভুক্ত নেই ই = ডি টি আমি এম ই ( …

10 exp-time-algorithms  complexity 

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

10 approximation-hardness  convex-optimization  semidefinite-programming  sum-of-squares  primal-dual 

সংক্ষিপ্ত প্রশ্ন: এমএজে -3 সিএনএফ হ'ল একাধিক-হ্রাসের আওতায় পিপি-সম্পূর্ণ সমস্যা? দীর্ঘতম সংস্করণ: এটি সুপরিচিত যে MAJSAT (প্রস্তাবিত বাক্যটির বেশিরভাগ কার্যভার বাক্যটি সন্তুষ্ট করে কিনা তা নির্ধারণ করে) বহু-একক হ্রাসের আওতায় পিপি-সম্পূর্ণ এবং # স্যাট পার্সিমোনিয়াস হ্রাসের অধীনে # পি-সম্পূর্ণ। এটাও স্পষ্ট যে # 3CNF (অর্থাৎ, #SAT 3-CNF সূত্রে সীমাবদ্ধ) # …

10 counting-complexity  complexity  probabilistic-complexity 

প্রেরণা অন্য দিন, আমি গণপরিবহন নিয়ে শহর ঘুরে বেড়াচ্ছিলাম এবং দুটি জায়গার মধ্যে স্বল্পতম সময়ের সংযোগ সন্ধান করার সমস্যাটির মডেলিংয়ের জন্য আমি একটি আকর্ষণীয় গ্রাফ সমস্যা তৈরি করেছি। আমরা সবাই ক্লাসিকাল "সংক্ষিপ্ত পথের সমস্যা" জানি: প্রান্ত দৈর্ঘ্য সহ একটি নির্দেশিত গ্রাফ দিয়েছি w e ∈ R + 0 ,জি = …

10 graph-algorithms  shortest-path 

এটি এই প্রশ্নের দ্বারা অনুপ্রাণিত হয় । আসুন all সমস্ত সংগ্রহ হতে মধ্যে কেবল দুটি বাউন্ড ভেরিয়েবল রয়েছে। Is combinatorially সম্পূর্ণ?সিসিC\mathcal{C}সিC\mathcal{C} আমি বিশ্বাস করি উত্তরটি নেতিবাচক, তবে আমি এর জন্য কোনও রেফারেন্স খুঁজে পাইনি। আমি কম্বিনেটরগুলির সেটগুলির সংযোজক অসম্পূর্ণতার প্রমাণের জন্যও রেফারেন্সে আগ্রহী হব (আমি দেখতে পাচ্ছি যে কেন কেবলমাত্র …

10 lo.logic  lambda-calculus  combinatory-logic