আমি লিনিয়ার সমীকরণ মডুলো কে সমাধান করার জটিলতায় আগ্রহী , নির্বিচারে কে (এবং প্রধান শক্তিগুলির মধ্যে বিশেষ আগ্রহের সাথে), বিশেষত:
সমস্যা। N অজানা মডুলো কে-তে এম লিনিয়ার সমীকরণের প্রদত্ত সিস্টেমের জন্য , কোনও সমাধান রয়েছে কি?
তাদের কাগজ বিমূর্ত সালে গঠন ও logspace-MOD এর ক্লাস গুরুত্ব শ্রেণীর উপর মডুলাস ট এল , Buntrock, Damm, Hertrampf এবং Meinel দাবী করেছে যে তারা " তাদের তাত্পর্য প্রতিপাদন দ্বারা প্রকট যে সসীম রিং উপর রৈখিক বীজগণিত সব মান সমস্যার এই ক্লাসগুলির জন্য সম্পূর্ণ । কাছাকাছি পরিদর্শন করার সময়, গল্পটি আরও জটিল। উদাহরণস্বরূপ, বন্ট্রক এট আল। দেখান ( কাভাহের সন্ধান করা পূর্বের এবং অবাধে অ্যাক্সেসযোগ্য খসড়াটিতে একটি প্রুফ স্কেচ দ্বারা, ধন্যবাদ!) যে লিনিয়ার সমীকরণগুলির সিস্টেমগুলি সমাধান করার পরিবর্তে পরিপূরক শ্রেণীর কোমড কে এল এর মধ্যে রয়েছে ,কে প্রাইম এই শ্রেণীর সমান হতে জানা যায় না মডুলাস ট এল জন্য ট কি আমি সম্পর্কে উদ্বিগ্ন যে তারা কোনো মন্তব্য না সম্পর্কে সমাধানে রৈখিক সমীকরণ সিস্টেম কিনা গেলিক ভাষার হয় - যৌগিক, কিন্তু কখনও মনে রাখবেন যে ট এমনকি অন্তর্ভুক্ত মধ্যে coMod ট এল জন্য ট যৌগিক!
প্রশ্ন: সমাধানে রৈখিক সমীকরণ মডিউল ট সিস্টেমের মধ্যে অন্তর্ভুক্ত করা হয় coMod ট এল সব ইতিবাচক ট জন্য?
আপনি সিস্টেম সমাধান করতে পারেন এর সমীকরণ একটি উচ্চ ক্ষমতা modulo কুই একটি মৌলিক এর পি , আপনি সমাধান করতে পারে তাদের modulo পি পাশাপাশি; সুতরাং সমীকরণের সিস্টেমগুলি সমাধান করার পদ্ধতি মডুলো q হয় কোমড পি এল- হার্ড। আপনি যদি দেখান যে এই সমস্যাটি Mod q L এ রয়েছে , আপনি সমস্ত কে- তে Mod k L = coMod k L দেখিয়ে শেষ করবেন । এটি প্রমাণ করা কঠিন হতে পারে। কিন্তু এটা হয় coMod ট এল ?