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

এটি জানা যায় যে যদি তবে বহুবচনীয় স্তরক্রমটি Σ P 2 এবং M A = A M তে নেমে আসে ।এনপি। পি/ পিও l ওয়াইNP⊆P/PolyNP\subseteq P/PolyΣপি2Σ2P\Sigma_2^{P}এমএ = এ এমMA=AMMA = AM হলে সবচেয়ে শক্তিশালী পতনগুলি কী ঘটে ?এনইএক্সপি। পি/ পিও l ওয়াইNEXP⊆P/PolyNEXP\subseteq P/Poly

13 circuit-complexity  complexity 

আমি খুজছি: মাইকেল ও রবিন, "ফাংশন গণনা করতে অসুবিধার ডিগ্রি এবং পুনরাবৃত্ত সেটগুলির আংশিক ক্রম", হিব্রু বিশ্ববিদ্যালয়, জেরুসালেম, ১৯60০ সারসংক্ষেপ: “আমরা প্রদত্ত গণনাযোগ্য (পুনরাবৃত্ত) ফাংশন গণনা করার কাজে অন্তর্নিহিত কাজের পরিমাণ পরিমাপ করার চেষ্টা করি। কম্পিউটিংয়ের ডিগ্রি অসুবিধার একটি ধারণা চালু এবং অধ্যয়ন করা হয়। ধারণাটি এই অর্থে অবিচ্ছিন্ন যে …

13 cc.complexity-theory  reference-request  ho.history-overview 

ল্যান্স ফোর্টনো সম্প্রতি দাবি করেছে যে L! = NP প্রমাণ করা পি! = এনপি প্রমাণ করার চেয়ে সহজ হওয়া উচিত : লোগারিদমিক স্থান থেকে এনপি পৃথক করুন। আমি 2001-এর পূর্ব-ব্লগের তির্যককরণ সম্পর্কিত জরিপে চারটি পন্থা দিয়েছি (যদিও বিভাগ 3) তবে কেউই প্যানড আউট করেনি। পি কে এনপি থেকে আলাদা করার …

13 cc.complexity-theory  reductions  relativization 

সুসংহত স্থানগুলি ব্যবহার করে লিনিয়ার লজিকের ব্যাখ্যা করা হয় এবং তারা গিরার্ডের কাগজগুলিতে বিশিষ্টভাবে বৈশিষ্ট্যযুক্ত। এগুলিকে আনুষ্ঠানিকভাবে সংজ্ঞায়িত করার তিনটি প্রধান উপায় আমি জানি এবং এগুলি সম্পর্কে স্টাফ ব্যবহার এবং প্রমাণ করার জন্য তারা আসলেই কোনও সমস্যা তৈরি করে না, তবে আমি কেবল তাদের বোঝাতে পারি না । এগুলি বোঝার …

13 lo.logic  linear-logic 

এটি কি সত্য যে সিআইসিতে অ্যাক্সিয়ম যুক্ত করার সংজ্ঞা এবং উপপাদগুলির গণ্য বিষয়বস্তুতে নেতিবাচক প্রভাব থাকতে পারে? আমি বুঝতে তত্ত্ব স্বাভাবিক আচরণ যে কোনো বদ্ধ শব্দটি তার ক্যানোনিকাল স্বাভাবিক ফর্ম, যেমন কমাতে হবে, সত্য হয় তাহলে এন ফর্মের একটি শব্দ কমাতে হবে ( গুলি তোমার দর্শন লগ করা গ গ …

13 type-theory  lambda-calculus  dependent-type  homotopy-type-theory 

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

13 np-hardness  linear-algebra  linear-programming  matrices  sparse-matrix 

এটি সুপরিচিত যে চার্চ- রোজার সম্পত্তিটি কেবল-টাইপযুক্ত ল্যাম্বডা ক্যালকুলাসে এট্রেডাকশন ধারণ করে । এর অর্থ হলো ক্যালকুলাস সামঞ্জস্যপূর্ণ, এই অর্থে যে সব জড়িত সমীকরণ মধ্যে -terms derivable হয়: যেমন, কে আমি , যেহেতু তারা একই স্বাভাবিক ফর্ম ভাগ করবেন না।βηβη\beta \etaλλ\lambda≠≠\neq এটি আরও জানা যায় যে ফলাফলের প্রকারের সাথে মিলে …

13 type-theory  lambda-calculus  dependent-type 

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

13 sat  proofs  nondeterminism 

যখন আমরা প্রমাণ করতে চাই যে একটি হ'ল এন পি- কমপ্লিট, তখন স্ট্যান্ডার্ড পদ্ধতিটি হল একটি বহনদী সময়কে গণ্যযোগ্য এল-এর পরিচিত এন পি- কমপ্লিট সমস্যাটির এক-এক হ্রাস প্রদর্শন করা । এই প্রসঙ্গে আমাদের হ্রাসের চলমান সময়ের উপর একটি দৃ bound় বাঁধনের দরকার নেই। এটি যে কোনও বহুপদী বা আবদ্ধ হওয়ার …

13 cc.complexity-theory  reductions  np-complete 

সমস্যা যেখানে আমরা ইনপুট হিসাবে দেওয়া হয় বিবেচনা করুন একটি acyclic নির্দেশ গ্রাফ , একটি লেবেল ফাংশন λ থেকে ভী কিছু সেটে এল মোট অর্ডার দিয়ে < এল (যেমন, ইন্টিজার), এবং যেখানে আমরা করতে বলা হয় গনা lexicographically ক্ষুদ্রতম এর টপোলজিকাল সাজানোর জি পরিপ্রেক্ষিতে λ । আরো সঠিকভাবে, একটি টপোলজিকাল …

13 cc.complexity-theory  np-hardness  sorting  directed-acyclic-graph  order-theory 

বহুগুণীয় আকারের বুলিয়ান সার্কিটের একটি পরিবার দ্বারা পি / পলি হ'ল সিদ্ধান্ত সমস্যার শ্রেণি। এটি বিকল্পভাবে বহুপাক্ষিক-সময় টুরিং মেশিন হিসাবে সংজ্ঞায়িত করা যেতে পারে যা একটি পরামর্শের স্ট্রিং লাভ করে যা আকারে বহুভুজ এবং এটি সম্পূর্ণ n এর আকারের উপর ভিত্তি করে। বহুগুণীয় আকারের একঘেয়ে বুলিয়ান সার্কিটের পরিবার দ্বারা এমপি …

13 cc.complexity-theory  complexity-classes  circuit-complexity  polynomial-time  monotone 

আমি গ্রাফ বর্গ গঠন বুঝতে আগ্রহী চার ছেদচিহ্ন কোন প্রান্তবিন্দু প্ররোচক subgraph একটি নিখুঁত ম্যাচিং আছে যে যেমন যে। কোন চার ছেদচিহ্ন জন্য ভিন্নভাবে বর্ণিত একটি , খ , গ , ঘ মধ্যে জি যদি একটি খ এবং গ ঘ প্রান্ত তারপর গ্রাফ চার ছেদচিহ্ন উপর অন্তত আরো এক প্রান্ত …

13 graph-theory 

কিছু দ্বিতীয় ক্ষুদ্রতম সম্পর্কে পরিচিত হয় - টি -cut একটা প্রবাহ নেটওয়ার্কের মধ্যে? বা আরও সাধারণভাবে এই সমস্যাটি সম্পর্কে:sssttt ইনপুট: একটি নেটওয়ার্ক এবং একটি সংখ্যা কে , সমস্ত বাইনারি। আউটপুট: এ কে থ্রি ক্ষুদ্রতম এস - টি কাটা।NNNkkkkkksssttt একটি মতম ক্ষুদ্রতম এস - টি কাটা ( এস , টি ) …

13 cc.complexity-theory  optimization  max-flow-min-cut  flow-problems 

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

13 reference-request  functional-programming  ct.category-theory  parsing 

আমি থেকে সমষ্টি অফ স্কোয়ার পদ্ধতি (এসওএস) সম্পর্কে একটু পড়া হয়েছে বারাক & Steurer প্রদানকারীর করা একটি সমীক্ষা এবং বরাক বক্তৃতা নোট । উভয় ক্ষেত্রেই তারা গালিচা অধীনে সংখ্যার যথাযথতার বিষয়গুলি ছড়িয়ে দেয়। পদ্ধতিটি সম্পর্কে আমার (স্বীকৃতভাবে সীমাবদ্ধ) বোঝার থেকে নিম্নলিখিতটি সত্য হওয়া উচিত: Real রিয়েল-ভ্যালু ভেরিয়েবলের ওপরে বহুবর্ষীয় সমতা …

13 optimization  sum-of-squares