প্রোগ্রাম মিনিমাইজেশন


10

সার্কিট মিনিমাইজেশন একটি প্রদত্ত সার্কিটের আকার হ্রাস করতে সমস্যা। সাধারণ প্রোগ্রামগুলির জন্য কি অনুরূপ কিছু আছে?

বিশেষত আমার প্রশ্নটি হ'ল -

প্রদত্ত প্রোগ্রামের জন্য নির্দেশাবলীর # টি কমানোর জন্য কি অ্যালগরিদম রয়েছে? আমি জানি এটি একটি অনস্বীকার্য সমস্যা তবে আমি এমন কোনও সমাধান খুঁজছি না যা সর্বোত্তম কিছু দেয়।

যখন কেউ এটি সম্পাদন করতে প্রিক্সিস্টিঙ সংকলক রূপান্তর প্রয়োগ করতে পারে, আমি এমন কিছু সন্ধান করছি যেখানে আমাকে আগে থেকে অনুসন্ধান করার জন্য খুব সংকীর্ণ রূপান্তর এবং অ্যালগরিদমের একটি সেট সংজ্ঞায়িত করতে হবে না।

সম্পাদনা: আমার কাছে অন্য প্রশ্নটি হ'ল কারও কাছে এমন একটি ক্যালকুলাস থাকতে পারে যা শব্দ এবং সম্পূর্ণ যা আমাদেরকে এ জাতীয় শব্দার্থ সমতুল্য প্রোগ্রামগুলির পুরো স্থানটি আবিষ্কার করতে দেয় বা এটি সম্ভব নয়।


2
আপনার অন্যান্য প্রশ্নের উত্তর আপনার "একটি ক্যালকুলাস" সংজ্ঞা সম্পর্কিত উপর নির্ভর করে। এটা সত্য যে স্থগিত নয় কোর ধরনের সংজ্ঞা উত্তর "না" করে তোলে।

দুটি ক্ষেত্রের সাথে সম্পর্কিত যে অন্য পদ্ধতির মধ্যে রয়েছে ভিন্ন ভিন্ন ইনপুট আকারের প্রোগ্রামগুলি সার্কিটের পরিবারে রূপান্তর করাfn
vzn

উত্তর:


10

সীমানা-আকারের ইনপুটগুলির সাথে প্রোগ্রামগুলির জন্য একটি নির্লজ্জ অ্যালগরিদম রয়েছে: বর্ধিত দৈর্ঘ্যের ক্রমানুসারে সমস্ত প্রোগ্রামগুলি গণনা করুন (বা কার্যকরকরণের সময়, যা দৈর্ঘ্যের একটি সীমাবদ্ধ ফাংশন)। আপনি যদি প্রমাণ করতে পারেন যে প্রোগ্রামটি মূলটির সমতুল্য, থামান; অন্যথায় অনুসন্ধান চালিয়ে যান।

এই অ্যালগরিদম শব্দ। এটি সম্পূর্ণ হওয়ার জন্য, আপনাকে সমস্ত প্রত্যাখ্যানিত প্রোগ্রামগুলি মূলের সমতুল্য নয় তা প্রমাণ করতে সক্ষম হতে হবে। সূক্ষ্ম মেশিন মডেলগুলিতে এটি সম্ভব, যতক্ষণ না আপনি ইনপুট আকারের জন্য আবদ্ধ থাকেন।

মনে রাখবেন যে প্রোগ্রামটি কার্যকর করার সময় যখন ইনপুটটির উপর নির্ভর করে তখন কোনও অনুকূল সমাধান নাও হতে পারে। যদি আপনি উদাহরণস্বরূপ সবচেয়ে খারাপ ক্ষেত্রে আবদ্ধ হন, আপনি যখন খুব সহজেই সমস্ত সম্ভাব্য আনবাউন্ড ইনপুটগুলির পরিমাণ নির্ধারণ করেন এবং ইনপুটগুলি সীমাবদ্ধ করে থাকেন তবে অবরুদ্ধ সমস্যা হতে পারে you'll

এক দশক আগে, রাজীব জোশির "ডেনালি: একটি লক্ষ্য-নির্দেশিত সুপারোপটিমায়ার", গ্রেগ নেলসন এবং কিথ র্যান্ডাল প্রায় 5 টি মেশিনের নির্দেশাবলীর সর্বোত্তম প্রোগ্রামগুলি সন্ধান করতে সক্ষম হয়েছিল। আমি সাম্প্রতিক ফলাফলের দিকে তাকাইনি।


5
সাসেক্স বিশ্ববিদ্যালয়ে এখানে আমাদের এক শিক্ষার্থী কিছু মূল জাভা রুটিন (যেমন সংযোজন) দৈর্ঘ্য সংক্ষিপ্ত করতে সুপারোটিমাইজেশন ব্যবহার করেছিল। এটি করতে তিনি প্রচুর পরিমাণে অ্যামাজন ইসি 2 গণনা পুড়িয়েছিলেন। তাঁর গবেষণামূলক লেখা এখানে রয়েছে । স্পষ্টতই কোনও সংক্ষিপ্ত প্রোগ্রামের পরিবর্তে কোনও কিছুর জন্য সম্ভাব্য পদ্ধতির নয়।
মার্টিন বার্গার
আমাদের সাইট ব্যবহার করে, আপনি স্বীকার করেছেন যে আপনি আমাদের কুকি নীতি এবং গোপনীয়তা নীতিটি পড়েছেন এবং বুঝতে পেরেছেন ।
Licensed under cc by-sa 3.0 with attribution required.