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

ম্যাট্রিক্সকে উপরের ত্রিভুজাকার আকারে আনতে প্রয়োজনীয় প্রাথমিক সারি এবং কলামের অপারেশনগুলির ন্যূনতম সংখ্যার জন্য একটি ম্যাট্রিক্সের গাউসীয় জটিলতার সংজ্ঞা দিন । এটি এবং (গাউসিয়ান এলিমেন্টের মাধ্যমে) এর মধ্যে একটি পরিমাণ । ধারণাটি যে কোনও ক্ষেত্রেই উপলব্ধি করে।0 n 2n × nn×nn \times n000এন2n2n^2 এই সমস্যাটি অবশ্যই খুব প্রাথমিক বলে মনে …

18 cc.complexity-theory  lower-bounds  matrices 

ব্লামের নিম্ন সীমাটি একটি সুস্পষ্ট ফাংশনটির সম্পূর্ণ ভিত্তিতে সর্বাধিক পরিচিত সার্কিট নিম্ন সীমানা f : { 0 , 1 } n → { 0 ,3n−o(n)3n−o(n)3n-o(n)f:{0,1}n→{0,1}f:{0,1}n→{0,1}f : \{0,1\}^n \to \{0,1\} , cf. সম্পর্কিত ফলাফলের জন্য এই প্রশ্নের জুকনার উত্তর । সব থেকে বহুল পরিচিত নিম্ন সীমা কি কি যদি পরিসীমা হয় …

17 circuit-complexity  lower-bounds 

সার্কিট জটিলতা তত্ত্বের মধ্যে সীমাবদ্ধ গভীরতা সার্কিট জটিলতা গবেষণার অন্যতম প্রধান ক্ষেত্র। এই বিষয়টির উত্স যেমন "প্যারিটি ফাংশন AC0AC0AC^{0} " এবং "Mod ppp ফাংশন AC0[q]AC0[q]AC^{0}[q] " দ্বারা গণনা করা হয় না , যেখানে AC0[q]AC0[q]AC^0[q] দ্বারা শ্রেণীর ভাষাটি সিদ্ধান্ত গ্রহণযোগ্য অ-ইউনিফর্ম, ধ্রুবক গভীরতা, বহুপক্ষীয় আকার, আনবাউন্ডেড ফ্যান-ইন এবং, এবং, নং এবং …

17 cc.complexity-theory  circuit-complexity  lower-bounds  dc.parallel-comp  gct 

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

17 ds.data-structures  lower-bounds 

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

16 cc.complexity-theory  lower-bounds  circuit-complexity 

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

15 cc.complexity-theory  circuit-complexity  lower-bounds  dynamic-programming 

প্রতিটি একঘেয়েমি গাণিতিক বর্তনী , অর্থাত্ একটি -circuit, কিছু বহুচলকীয় বহুপদী নির্ণয় এফ ( এক্স 1 , ... , x এর এন ) নন-নেগেটিভ পূর্ণসংখ্যা কোফিসিয়েন্টস সঙ্গে। একটি বহুপদী এফ ( এক্স 1 , … , এক্স এন ) , সার্কিট দেওয়া হয়েছে{+,×}{+,×}\{+,\times\}F(x1,…,xn)F(x1,…,xn)F(x_1,\ldots,x_n)f(x1,…,xn)f(x1,…,xn)f(x_1,\ldots,x_n) নির্ণয় যদি এফ ( একটি ) = …

15 circuit-complexity  lower-bounds  arithmetic-circuits  cc-complexity-theory 

পটভূমি গেটের সেটগুলির উপরে একটি পঠন সূত্র (একে ভিত্তিও বলা হয়) এমন সূত্র যা প্রতিটি ইনপুট ভেরিয়েবল একবার প্রদর্শিত হয়। একবারে পঠন সূত্রগুলি সাধারণত ডি মরগান ভিত্তিতে (যার মধ্যে 2-বিট গেটগুলি এবং এবং ওআর, এবং 1-বিট গেট নয়) রয়েছে এবং সম্পূর্ণ বাইনারি ভিত্তিতে (যাতে 2-বিট গেট রয়েছে) are সুতরাং উদাহরণস্বরূপ, …

15 cc.complexity-theory  circuit-complexity  lower-bounds  formulas 

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

15 cc.complexity-theory  lower-bounds 

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

15 cc.complexity-theory  lower-bounds  relativization  permanent 

কোনও ভাষার (জেনারালাইজড) তারকা উচ্চতা হ'ল ক্লিন তারকাদের ন্যূনতম বাসা বেঁধে নিয়মিত প্রকাশের মাধ্যমে ভাষার প্রতিনিধিত্ব করতে হয়। রিকল করে একটি সসীম বর্ণমালা উপর একটি বর্ধিত রেগুলার এক্সপ্রেশন সন্তুষ্ট করুন:একজনAA (1) এবং a সমস্ত a ∈ A এর জন্য নিয়মিত এক্সপ্রেশনগুলি বাড়ানো হয়∅ , 1∅,1\emptyset, 1একটিaaa ∈ Aa∈Aa\in A (২) …

15 fl.formal-languages  lower-bounds  regular-expressions 

প্রাথমিক প্রতিসম বহুপদী -th সব এর সমষ্টি পণ্য স্বতন্ত্র ভেরিয়েবল। আমি এই বহুবর্ষের একঘেয়ে গণিত সার্কিট জটিলতায় আগ্রহী। একটি সাধারণ গতিশীল প্রোগ্রামিং অ্যালগরিদম (পাশাপাশি নীচে চিত্র 1) ও (নট) গেটগুলির সাথে একটি (+, \ বার) সার্কিট দেয়।এস এন কে ( এক্স 1 , … , এক্স এন ) ( এন …

14 cc.complexity-theory  circuit-complexity  lower-bounds  arithmetic-circuits  dynamic-programming 

Razborov প্রমাণ একঘেয়েমি ফাংশন ম্যাচিং নেই এমপি । তবে আমরা কি বহু প্রত্যাখ্যানের সাথে বহুতল আকারের সার্কিট ব্যবহার করে ম্যাচিং গণনা করতে পারি? O(nϵ)O(nϵ)O(n^\epsilon) উপেক্ষাগুলির সাথে কোনও মিল / গতির মিল রয়েছে এমন কোনও পি / পলি সার্কিট রয়েছে কি ? প্রত্যাখ্যানের সংখ্যা এবং মিলের আকারের মধ্যে বাণিজ্য-বন্ধ কী?

14 cc.complexity-theory  circuit-complexity  lower-bounds  matching  monotone 

এটা সর্বজনবিদিত যে কোন নির্ণায়ক দুই পক্ষের প্রোটোকল উপর disjointness সমস্যা (DISJ) সমাধান করতে পারে পাঠিয়েই -বিট ইনপুট এন + + 1 বিট সবচেয়ে খারাপ ক্ষেত্রে (যেমন, বই Kushilevitz এবং নিশান দ্বারা দেখুন)। নিবন্ধন-ত্রুটি প্রোটোকল এলোমেলোভাবে, একটি নিম্ন বাউন্ড δ এন , কিছু ধ্রুবক জন্য δ , এছাড়াও Razborov [Razborov92] …

14 lower-bounds  communication-complexity 

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

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