প্রশ্ন ট্যাগ «lower-bounds»

নিম্নলিখিত প্রাকৃতিক প্রশ্নটি বিবেচনা করুন: একটি সীমাবদ্ধ ভাষা দেওয়া , ক্ষুদ্রতম প্রসঙ্গমুক্ত ব্যাকরণটি এল তৈরি করে কী?LLLLLL আমরা ভাষার ক্রম নির্দিষ্ট করে প্রশ্ন আরো আকর্ষণীয় করে তুলতে পারে , উদাহরণস্বরূপ এল এন সব একাধিক বিন্যাসন সেট { 1 , ... , এন } : intuitively, জন্য একটি CFG এল এন …

14 reference-request  fl.formal-languages  lower-bounds  grammars  context-free 

ফলাফলগুলি কি জানা যায় যে "খুব ভাল-থেকে-সত্য" ডেটা কাঠামোর অস্তিত্বকে বাতিল করে দেয়? উদাহরণস্বরূপ: এক যোগ করতে পারেন এবং জে ণ আমি এন কার্যকারিতা একটি আদেশ রক্ষণাবেক্ষণ ডাটা স্ট্রাকচার থেকে (দেখুন Dietz এবং Sleator STOC '87 ) এবং এখনও প্রাপ্ত হে ( 1 ) সময় অপারেশন?এসp l i tএসপিঠআমিটিSplitজেo i …

14 ds.data-structures  big-list  lower-bounds  time-complexity 

# স্যাট সমস্যাটি হ'ল ক্যানোনিকাল # পি-সম্পূর্ণ সমস্যা। এটি কোনও সিদ্ধান্ত সমস্যার পরিবর্তে একটি ফাংশন সমস্যা। এটা তোলে জিজ্ঞেস করে, একটি বুলিয়ান সূত্র দেওয়া propositional যুক্তিবিজ্ঞান, কত পরিতৃপ্ত বরাদ্দকরণ এফ হয়েছে। # স্যাট উপরের নিম্নতম সীমাটি কোনটি?FFFFFF

14 cc.complexity-theory  lower-bounds  sat  counting-complexity 

এলোমেলো সীমাবদ্ধতা এবং স্যুইচিং উপর ভিত্তি করে বেশ কয়েকটি সুপরিচিত সার্কিট আকার নিম্ন-সীমাবদ্ধ ফলাফল রয়েছে ।AC0AC0\mathsf{AC^0} সার্কিটের জন্য ( জন্য নিম্ন-সীমাবদ্ধ প্রমাণগুলির অনুরূপ) একটি আকারকে নিম্ন-সীমাবদ্ধ করার জন্য আমরা কী একটি স্যুইচিং লেমমা ফলাফল বিকাশ করতে পারি ?TC0TC0\mathsf{TC^0}AC0AC0\mathsf{AC^0} বা approach নিম্ন-সীমা প্রমাণ করার জন্য এই পদ্ধতির ব্যবহারে কোন অন্তর্নিহিত বাধা …

13 cc.complexity-theory  circuit-complexity  lower-bounds  boolean-functions 

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

13 cc.complexity-theory  lower-bounds  proofs 

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

13 reference-request  cg.comp-geom  lower-bounds 

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

12 computability  lower-bounds  turing-machines  communication-complexity  oracles 

যাক একটি (অ-একঘেয়েমি) এর নূন্যতম আকারের গাণিতিক বোঝাতে ( + + , × , - ) সার্কিট কম্পিউটিং একটি প্রদত্ত multilinear বহুপদী চ ( এক্স 1 , ... , x এর এন ) = Σ ই ∈ ই গ ই এন Π আমি = 1 x ই i iক ( …

12 cc.complexity-theory  circuit-complexity  lower-bounds  arithmetic-circuits 

1979 সালে Hopcroft / Ullman লিখেছেন এল ⊆ পি ⊆ দ্বারা NP ⊆ PSpace পরিচিত হয় কিন্তু এল ⊊ PSpace শুধুমাত্র সঠিক (& তুচ্ছ) পরিচিত যদিও সব সঠিক containments হতে অনুমিত হয় সংবরণ, এবং "যেখানে কিছু স্থির" ~ 4 দশক পরে । তখন থেকে এল ⊊ পি, পি ⊊ পিএসস্পেস …

12 cc.complexity-theory  reference-request  lower-bounds  p-vs-np  conditional-results 

কীভাবে কেউ দেখায় যে একটি নির্দিষ্ট সম্পত্তি 2-CNF (2-SAT) এ প্রকাশ করা যায় না? এমন কোনও গেমস রয়েছে, যেমন নুড়ি খেলা? দেখে মনে হচ্ছে ক্লাসিকাল কালো নুড়ি খেলা এবং কালো-সাদা নুড়ি খেলাটি এর জন্য অনুপযুক্ত (তারা পিএসপিএসিই সম্পূর্ণ, হার্টেল এবং পিটাসি অনুসারে, কম্পিউটারের সিয়াম জেএম, ২০১০)। বা গেম ছাড়া অন্য …

12 sat  lower-bounds  combinatorial-game-theory 

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

12 time-complexity  lower-bounds  nt.number-theory  primes 

ওজন একটি বাইনারি স্ট্রিং এক্স ∈ { 0 , 1 } এন স্ট্রিং বেশী সংখ্যা। আমরা যদি কিছু লোকের সাথে ইনপুটগুলিতে মনোটোন ফাংশন গণনা করতে আগ্রহী হয় তবে কী হবে?|x||x||x|x∈{0,1}nx∈{0,1}nx\in\{0,1\}^n আমরা জানি যে গ্রাফের ক্লিক রয়েছে কিনা তা নির্ধারণ করা মনোোটোন সার্কিটগুলির জন্য শক্ত (অন্যদের মধ্যে দেখুন অ্যালন বোপ্পানা, 1987), …

12 cc.complexity-theory  lower-bounds  circuit-complexity  parameterized-complexity  monotone 

নিম্ন সীমাটি প্রমাণ করতে আমরা কী স্ট্যান্ডার্ড সমস্যাগুলি হ্রাস করতে পারি ?Ω ( এন লগএন )Ω(nlog⁡n)\Omega(n\log n) অবশ্যই, সর্টিং এবং উপাদানগুলির স্বতন্ত্রতা ব্যতীত রাষ্ট্রীয় সমস্যাগুলি।

12 cc.complexity-theory  lower-bounds 

বহুবর্ষীয় সময়ের কঠোরতার ফলাফল নিয়ে রবিন কোঠারির আগের পোস্টের ফলোআপ প্রশ্ন হিসাবে এটি করা হয়েছে । বিশেষত, আমি মনে করি যে সমস্যাগুলি প্রায় কম সীমাবদ্ধতা রয়েছে বলে কিছু শক্ততার প্রমাণ দেখতে আগ্রহী এবং আমি মোটামুটিভাবে শব্দ আকারের সাথে খেলে সামান্য সাবকিউবিক উন্নতি করার অনুমতি দিতে বলি (যেমন 3SUM দ্বারা বারাব …

12 graph-theory  cg.comp-geom  lower-bounds 

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

12 ds.algorithms  ds.data-structures  lower-bounds  time-complexity  sorting