গ্রাবারের ঘাঁটি এবং বহুভুজ সিস্টেম সমাধানের জন্য মানদণ্ড


10

সাম্প্রতিক প্রশ্নটিতে 7 টি ননলাইন বীজগণিত সমীকরণের প্রতীক হিসাবে সমাধানের পদ্ধতিতে , ব্রায়ান বোর্চার পরীক্ষামূলকভাবে নিশ্চিত করেছেন যে ম্যাপল এমন একটি বহুপদী ব্যবস্থা সমাধান করতে পারে যা মতলব / মুপাদ পরিচালনা করতে পারে না। আমি অতীতে মাঠে কাজ করা লোকদের কাছ থেকে শুনেছি যে ম্যাপেলের গ্রোবারার ঘাঁটি এবং সম্পর্কিত অ্যালগরিদমগুলির একটি উচ্চ-মানের বাস্তবায়ন রয়েছে (যা আমি ধরে নিই যে এখানে এটি ব্যবহৃত হচ্ছে)।

সুতরাং আমি "মতলব এই ধরণের সমস্যার বিষয়ে ধীর গতিতে, ম্যাপলে স্যুইচ করুন" প্রস্তাব দেওয়ার জন্য প্রলুব্ধ হয়েছি, তবে এই বিবৃতিটি ব্যাক আপ করার জন্য আমার কাছে ডেটা থাকতে চাই।

বিভিন্ন কম্পিউটার বীজগণিত সিস্টেমে গ্রাবারার ভিত্তিক বাস্তবায়ন এবং বহুপদী সিস্টেম সমাধানগুলির গতি এবং কার্যকারিতাটির সাথে তুলনা করার জন্য কি বেঞ্চমার্ক ফলাফলের একটি সেট রয়েছে? (ম্যাপেল, ম্যাথমেটিকা, মতলবের প্রতীকী সরঞ্জাম বাক্স, ইত্যাদি)


ভুলে যাবেন না sympy!
খ্রিস্টান ক্লাসন

@ ক্রিশ্চিয়ান ক্লাসন হ্যাঁ, নীতিগতভাবে তাদের মধ্যে অনেকগুলি রয়েছে। একক, ম্যাকোলে, ম্যাগমা, কোকোএ, গ্যাপ, সেজ, অ্যাক্সিয়ম, ম্যাক্সিমা, ইয়্যাকাস ... আপনি কি বিশ্বাস করেন যে সিম্পি বিশেষত ভাল? এটি আলা সমস্যার ভাড়া কীভাবে?
ফেডারিকো পোলোনি

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

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

এই জন্যই আমি sympy উল্লেখ করেন যে, এটি একই ভূমিকা আলা আগ্রহী পূরণ - এটা (মাধ্যমে ফলাফল ব্যবহার করা সহজ lambdifyসংখ্যাসূচক কম্পিউটেশন মধ্যে)।
খ্রিস্টান ক্লাসন

উত্তর:


10

আমি এখানে কিছু মানদণ্ড পোস্ট করেছি: http://www.cecm.sfu.ca/~rpearcea/mgb.html

এগুলি মোট ডিগ্রি অর্ডার জন্য। সিস্টেমগুলি সমাধান করতে আপনার সাধারণত আরও কাজ করা দরকার। সময়গুলি 2015 এর মতো একটি সাধারণ মিডরেঞ্জ ডেস্কটপের জন্য (হাসওয়েল কোর আই 5 কোয়াড কোর)।

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

এমজিবি হ'ল ম্যাপেল ২০১ in-এর সি লাইব্রেরি যা মোট ডিগ্রি এবং নির্মূল আদেশের জন্য F4 অ্যালগরিদম প্রয়োগ করে। যখন এটি একাধিক কোর ব্যবহার করে তখন এর কর্মক্ষমতা ম্যাগমার সাথে তুলনীয় ara

FGb হ'ল Faugere এর F4 বাস্তবায়ন। এখানে পরীক্ষিত সংস্করণটি তার ওয়েবসাইট থেকে এসেছে এবং এটি ম্যাপেলের সংস্করণটির চেয়ে দ্রুত।

গিয়াক একটি ওপেন সোর্স সিস্টেম যা এফ 4 প্রয়োগ করে। এখানে একটি কাগজ রয়েছে যা http://arxiv.org/abs/1309.4044 বর্ণনা করে

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


ধন্যবাদ, এটি খুব দরকারী। আমি গৃহীত উত্তর স্যুইচিং বিবেচনা করছি।
ফেডেরিকো পোলোনি 15'15

8

গুগলিং benchmark polynomial systemsম্যানহিম বিশ্ববিদ্যালয়ের কম্পিউটার বীজগণিত বেনমার্ক ইনিশিয়েটিভ সহ কয়েকটি হিট নিয়ে যায় । দুঃখের বিষয়, এর বেশিরভাগই পুরানো বা অবনমিত। সর্বাধিক সক্রিয় মনে হচ্ছে সিম্বলিকডাটা উইকি , তবে যতদূর আমি বলতে পারি এটি কেবল বেঞ্চমার্ক সমস্যা সংগ্রহ করে , বেঞ্চমার্কের ফলাফল নয়

অ্যাক্সিয়াম, ম্যাকসিমা, ম্যাপেল, ম্যাথমেটিকা, মুপাদ, এবং হ্রাস পলিনোমিয়াল সিস্টেমগুলির কিছু তুলনা (১৯৯ to সালের পুরানো) অ্যাক্সিয়াম, ম্যাকসিমা, ম্যাপেল, ম্যাথমেটিকা, এমপিএডি, পলিনোমিয়াল সিস্টেম সলভ সুবিধা সম্পর্কে পাওয়া যায়। এবং হ্রাস , প্রিপ্রিন্ট 11/96 ডেস ইনস্টিটিউটস ফর ইনফরম্যাটিক, ইউনিভার্সিটি লাইপজিগ, জার্মানি, ডিসেম্বর 1996 । উপসংহারটি হ'ল অ্যাক্সিওম, ম্যাপেল এবং হ্রাস হ্রাস তাদের গ্রোবারার ঘাঁটি ব্যবহারের কারণে (অন্যরা এই সময়ে এই সময়ে করেনি), ম্যাপেল অন্যদের থেকে কিছুটা এগিয়ে এসেছিল ahead

সিঙ্গুলার ওয়েবসাইটেও একটি পুরানো তুলনা রয়েছে যা অন্যদের মধ্যে ম্যাপেলকে পরাজিত করে সিঙ্গুলার ২.০ (২০১৫ সালের ডিসেম্বরের হিসাবে বর্তমান 4.0.০.২) দেখায়।

অন্যদিকে, আরও একটি সাম্প্রতিক প্রকাশনা ( ইয়াও সান, দংডাই লিন, এবং ডিংকং ওয়াং। 2015. এম 4আরআই থেকে লিনিয়ার বীজগণিত রুটিন ব্যবহার করে স্বাক্ষর ভিত্তিক গ্রোবারার ভিত্তিতে অ্যালগরিদমগুলি প্রয়োগ করার ক্ষেত্রে। এসিএম কম্যুনিটি। কমপুট। বীজগণিত 49, 2 (আগস্ট 2015) , -৩-6464 ম্যাপেল, সিঙ্গুলার এবং ম্যাগমার সাথে গ্রাবার ভিত্তিক অ্যালগরিদমের লেখকদের বাস্তবায়নের তুলনা করুন, ম্যাগমা অন্য দুটি প্যাকেজের তুলনায় দ্রুততার সাথে (এবং লেখকদের প্রয়োগের সাথে বেঁধে দেওয়া) আরও দ্রুত।

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


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

6

সর্বদা মনে রাখবেন যে যে কোনও মাপদণ্ডের ফলাফলগুলি বহু আকারের রিংটি নির্ধারিত বেস ক্ষেত্রের ক্ষেত্রে সমস্যার আকার ছাড়াও নির্ভর করবে (যৌক্তিক সংখ্যা বা পূর্ণসংখ্যার একটি মৌলিক সংখ্যার কিছু শক্তি) on

FGB গ্রন্থাগার F5 চাপুন আলগোরিদিম একটি সক্রিয় ভাবে বিকশিত এবং উচ্চ ক্ষমতা সম্পন্ন বাস্তবায়ন। ম্যাগমার সাথে এফজিবি তুলনা করে একটি মানদণ্ড পাওয়া যাবে:

ফৌগের, জে.সি. (2010)। এফজিবি: গ্রাউনার বেসগুলি কম্পিউটিংয়ের জন্য একটি গ্রন্থাগার (pp। 84-87)। ডোই: 10.1007 / 978-3-642-15582-6_17

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