সংক্ষিপ্ত সংখ্যক সংযোজন ব্যবহার করে ম্যাট্রিক্স ভেক্টর গুণিত অ্যালগরিদম


10

নিম্নলিখিত সমস্যা বিবেচনা করুন:

একটি ম্যাট্রিক্স আমরা কম্পিউটিংয়ের জন্য গুণিত অ্যালগরিদমের সংখ্যার সংযোজনটি অনুকূল করতে চাই ।MvMv

আমি ম্যাট্রিক্সের গুণনের জটিলতার সাথে এই সম্পর্কের কারণে এই সমস্যাটিকে আকর্ষণীয় মনে করি (এই সমস্যাটি ম্যাট্রিক্সের গুণনের একটি সীমাবদ্ধ সংস্করণ)।

এই সমস্যা সম্পর্কে কি জানেন?

এই সমস্যাটি ম্যাট্রিক্সের গুণ গুণটির জটিলতার সাথে সম্পর্কিত কোনও আকর্ষণীয় ফলাফল রয়েছে কি?

সমস্যার উত্তরটি কেবলমাত্র অতিরিক্ত গেট সহ সার্কিট সন্ধানের সাথে জড়িত বলে মনে হচ্ছে। আমরা যদি বিয়োগ গেটগুলি অনুমতি দিই?

আমি এই সমস্যা এবং অন্যান্য সমস্যার মধ্যে হ্রাস খুঁজছি।


দ্বারা অনুপ্রাণিত


যদি একটি 0-1 ম্যাট্রিক্স হয়, তবে সংযোজনের সংখ্যার উপরের নিম্ন সীমাটি গুরুত্বপূর্ণভাবে আমরা কোন গ্রুপ / সেমিগ্রুপের উপর কাজ করব তার উপর নির্ভরশীল। যদি আমরা সেমিগ্রুপ বা এমনকি , তবে নেচিপোরুকের আবদ্ধ, পরিচিত নির্মাণগুলির সাথে একত্রে প্রায় । তবে, তবে আমরা গ্রুপে রয়েছিএন × n ( এন , + ) ( { 0 , 1 } , ) এন 2 - ( 1 ) ( জি এফ ( 2 ) , + ) , তবে পরিস্থিতিটি বরং হতাশাজনক: শক্তিশালী পরিচিত নিম্ন সীমানা কেবলমাত্র ফর্ম ω ( n ) । আরও পাওয়া যাবেএখানেMn×n(N,+)({0,1},)n2o(1)(GF(2),+)ω(n)
স্ট্যাসিস

উত্তর:


9

এটি মূলত সেই সমস্যাটি যা ভ্যালেন্টকে জটিলতার মধ্যে ম্যাট্রিক্সের অনমনীয়তা (যতদূর আমি ইতিহাস বুঝতে পেরেছি) প্রবর্তনের জন্য অনুপ্রাণিত করে।

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

কিছু ম্যাট্রিক - যেমন ফুরিয়ার ট্রান্সফর্ম ম্যাট্রিক্স, নিম্ন র‌্যাঙ্কের একটি ম্যাট্রিক্স বা একটি বিরল ম্যাট্রিক্স - উল্লেখযোগ্যভাবে আরও ভাল করা যায়।

পর্যাপ্ত অনমনীয় ম্যাট্রিক্স লিনিয়ার সার্কিটগুলি একই সাথে রৈখিক আকার এবং লগ গভীরতা (ভ্যালিয়েন্ট) দ্বারা গণনা করা যায় না, তবে আজ অবধি কোনও সুস্পষ্ট ম্যাট্রিক্স জানা যায় নি যার জন্য রৈখিক সার্কিটগুলির আকারের উপর একটি সুপার-লিনিয়ার নিম্ন আবদ্ধ থাকে।

আমি ফলাফলগুলি দেখে মনে করছি না যে কোনও প্রদত্ত ম্যাট্রিক্সের জন্য ক্ষুদ্রতম লিনিয়ার সার্কিটের আকার গণনা করা শক্ত but তবে এটি এনপি-হার্ড হলে আমি অবাক হব না।


3
এটি এনপি-হার্ড, দেখুন cstheory.stackexchange.com/a/32272/225
রায়ান উইলিয়ামস

7

M

  • Ω(n(logn/loglogn)d1)Mn×nd

  • Ω(n4/3)Mn×nd

  • Ω~(n22/(d+1))Mn×nd

এই সীমাগুলি মূলত সর্বোত্তম সম্ভব। অধ্যায় 6.3 দেখুন। মধ্যে Chazelle এর বই

আমাদের সাইট ব্যবহার করে, আপনি স্বীকার করেছেন যে আপনি আমাদের কুকি নীতি এবং গোপনীয়তা নীতিটি পড়েছেন এবং বুঝতে পেরেছেন ।
Licensed under cc by-sa 3.0 with attribution required.