এলোমেলোভাবে এবং ননডিটারিস্টিক অ্যালগরিদমের মধ্যে পার্থক্য এবং সম্পর্ক?


30

র্যান্ডমাইজড অ্যালগরিদম এবং ননডিটারিস্টেমিক অ্যালগরিদমের মধ্যে কোন পার্থক্য এবং সম্পর্ক রয়েছে?

উইকিপিডিয়া থেকে

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

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

র্যান্ডমাইজড অ্যালগরিদম এবং সম্ভাব্য আলগোরিদমগুলি কি একই ধারণা?

যদি হ্যাঁ, র্যান্ডমাইজড অ্যালগরিদমগুলি কি কেবল এক ধরণের ননডিটারিস্টিক অ্যালগরিদম?


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

উত্তর:


24

সম্ভাবনাময় অ্যালগরিদম থেকে অ-ডিস্ট্রিমেন্টিক অ্যালগরিদমগুলি খুব আলাদা।

সম্ভাব্য আলগোরিদিমগুলি হ'ল মুদ্রা টস ব্যবহার করে এবং "বেশিরভাগ সময়" কাজ করে। উদাহরণ হিসাবে, কুইকোর্টের র্যান্ডমাইজড ভেরিয়েন্টগুলি সময় অনুযায়ী কাজ করে প্রত্যাশায় (এবং উচ্চ সম্ভাবনা সহ), তবে আপনি যদি দুর্ভাগ্য হন তবে হিসাবে গ্রহণ করতে পারেন । প্রব্যাবিলিস্টিক অ্যালগরিদমগুলি ব্যবহারিক, এবং উদাহরণস্বরূপ আপনার কম্পিউটার দ্বারা আরএসএ কী তৈরি করার সময় ব্যবহৃত হয় (এটি পরীক্ষা করতে যে আপনার গোপন কীটির দুটি কারণই প্রধান। প্রব্যাবিলিস্টিক অ্যালগরিদম যা কোনও মুদ্রার টস ব্যবহার করে না, কখনও কখনও তাকে "ডিটারমিনিস্টিক" বলা হয়।Θ ( এন 2 )Θ(nlogn)Θ(n2)

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

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


ধন্যবাদ! (1) আমার মনে আছে এনপি সমস্যাগুলি হ'ল বহু-কালীন সময়ে ননডেটারিস্টেমিক টিউরিং মেশিনে অ্যালগরিদম দ্বারা সমাধান করা যায়। তাহলে কি "অর্থেডেমিনিস্টিক টিউরিং মেশিনে একটি অ্যালগরিদম" এবং "কোনও ডিটারিনিস্টিক ট্যুরিং মেশিনে একটি ননডেটারেস্টেমিক অ্যালগরিদম" কোনও অর্থে সমতুল্য? (২) আপনার কি মনে হয় পরীক্ষামূলক আলগোরিদম এবং র্যান্ডমাইজড অ্যালগরিদম একই ধারণা? ()) আপনি কি এও ভাবেন যে উইকিপিডিয়া বলেছে সমবর্তী অ্যালগোরিদম এবং প্রোব্বালিস্টিক অ্যালগরিদম দুটি প্রকারের ননডেটারিস্টিনিস্টিক অ্যালগরিদম ভুল?
টিম

1
আমি মনে করি না ননডেটেরাইনিজমের শংসাপত্রের গন্ধটি এলোমেলোকরণের সাথে পার্থক্যটি স্পষ্ট করে তোলে।
রাফেল

(1) হ্যাঁ, দু'টি একই। (২) এগুলি একই ধারণার দুটি নাম। (৩) উইকিপিডিয়া অন্যান্য ধরণের অ্যালগরিদমের কয়েকটি উদাহরণ দিচ্ছে, যদিও উপস্থাপনাটি বিভ্রান্তিকর হতে পারে। সমান্তরাল এবং সম্ভাব্য অ্যালগরিদমগুলি অ-সংঘবদ্ধ নয়।
যুবাল ফিল্মাস

4
পুনঃবিবর্তন তত্ত্ব এবং তাত্ত্বিক কম্পিউটার বিজ্ঞানের @ শেলবিমোরআইআইআই অ-নির্ধারণবাদের খুব নির্দিষ্ট প্রযুক্তিগত অর্থ রয়েছে।
যুবাল ফিল্মাস

1
ইউভাল, দয়া করে মন্তব্যগুলি ফ্ল্যাগ করুন আপনার মনে হয় গঠনমূলক বা অপ্রচলিত নয়; আমরা তখন সেগুলি সরিয়ে ফেলব।
রাফেল

15

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

ননডেটেরিনিজম মানে অ্যালগরিদমের কিছু অংশ এর অধীনে বা এমনকি অনির্ধারিত ified উদাহরণস্বরূপ, "int i = 0 এবং n এর মধ্যে একটি সমান সংখ্যাকে" অপ্রস্তুত করা হয়। এর অর্থ এই সময়ে নির্দিষ্ট করা হয়নি এমন কোনও অনন্য আচরণ নেই।

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

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

এটি আপনার দ্বিতীয় অনুচ্ছেদে উল্লিখিত 'অ-সংজ্ঞা' is এটি সমান্তরাল অ্যালগরিদমেও অ-নির্ধারিততা: এই অ্যালগরিদমে আপনি কার্যকরভাবে কী কার্যকর হন তা পুরোপুরি নিশ্চিত নন তবে আপনি জানেন যে এটি সর্বদা কার্যকর হবে, যা ঘটেছিল তা ঠিক নয় (অন্যথায় আপনার সমান্তরাল অ্যালগরিদমটি ভুল হবে)।

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

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

ননডেটেরিমিনিজম এমন একটি সরঞ্জাম যা শংসাপত্র ভিত্তিক ডিটারিনিস্টিক অ্যালগরিদমের মতোই শক্তিশালী, অর্থাত্ একটি অ্যালগরিদম যা সেই সম্পত্তিটির জন্য একটি উদাহরণ এবং একটি শংসাপত্র প্রদত্ত একটি সম্পত্তি পরীক্ষা করে। আপনি কেবল নিরপেক্ষবাদীভাবে একটি দিকনির্দেশের জন্য শংসাপত্রটি অনুমান করতে পারেন, এবং আপনি এমন একটি শংসাপত্র দিতে পারেন যাতে আপনার প্রোগ্রামের 0 এবং 1 এর ননডেটেরিমেন্টিক অনুমানের জন্য সমস্ত 'সঠিক' উত্তর থাকে অন্য দিকের জন্য।

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

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

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


1
"ননডেস্টেরিনিস্টিক অ্যালগরিদমের চলমান সময়টি সাধারণত সমস্ত (ডান) পছন্দগুলির চেয়ে সর্বনিম্ন হিসাবে নেওয়া হয়।" - আমিও তাই ভেবেছিলাম, তবে দৃশ্যত এটি ভুল । (এটি সমস্ত সমস্যার জন্য অ্যালগোরিদমগুলিকে মঞ্জুরি দেয় , যেখানে সমাধান হ'ল সর্বোপরি।)এসO(|s|)s
রাফেল

14

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


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

অপরদিকে একটি অ-ডিস্ট্রিমেন্টিক অটোমেটনের (এনএফএ) একটি রূপান্তর সম্পর্ক রয়েছে : বর্তমান অবস্থা এবং পরবর্তী ইনপুট প্রতীককে কেন্দ্র করে পরবর্তী একাধিক সম্ভাব্য রাষ্ট্র রয়েছে! উদাহরণস্বরূপ, ভাষা জন্য এই অটোমেটনটি বিবেচনা করুন :(ab)(ac)

NFA
[ উত্স ]

অটোম্যাটন অনুমান করে যা এবং মধ্যে সীমানা চিহ্নিত করে ; একটি নির্ণায়ক যন্ত্রমানব পর প্রতিটি পর প্রতীক পড়া থাকার পর্যন্ত তাদের সিদ্ধান্ত স্থগিত করতে হবে ।( a b ) ( a c ) aa(ab)(ac)a

এখানে মূল বক্তব্যটি হ'ল এনএফএর জন্য গ্রহণযোগ্যতা "যদি কোনও গ্রহণযোগ্য রান থাকে তবে গ্রহণ করুন" হিসাবে সংজ্ঞায়িত হয় । এই অস্তিত্বের মানদণ্ডটি সত্যই অনুমান না করা সত্ত্বেও "সর্বদা সঠিক অনুমান করা" হিসাবে ব্যাখ্যা করা যেতে পারে।

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


র্যান্ডমাইজেশন বেশ আলাদা। আমরা যদি এটি ভেঙে ফেলি তবে অটোমেটন / প্রোগ্রামের ক্রমাগত কার্যকরকরণের জন্য একাধিক পছন্দ নেই। একবার এলোমেলো বিট আঁকলে, পরবর্তী বিবৃতিটি স্বতন্ত্রভাবে সংজ্ঞায়িত করা হয়:

if ( rand() > 5 )
  do_stuff();
else
  do_other_stuff();

সসীম অটোমাতার ক্ষেত্রে, এটি বিবেচনা করুন:

পিএফএ
[ উত্স ]

এখন প্রতিটি শব্দের একটি সম্ভাবনা রয়েছে এবং অটোমেটনটি চেয়ে বেশি সম্ভাবনা বন্টনকে সংজ্ঞায়িত করে ( এবং বহির্গামী প্রান্তের যোগফলের সমাপ্তির সম্ভাবনা; শব্দ যেগুলি গ্রহণ করা যায় না তার সম্ভাবনা থাকে )। 1 0{a,b,c}10

এটিকে এলোমেলো সিদ্ধান্তের ক্রম (আমরা যে মডেলগুলি বেশ ভালভাবে অনুশীলন করি, আমরা সাধারণত কোনও বাস্তব এলোমেলো উত্স ব্যবহার করি না) হিসাবে আমরা এটি একটি নির্বাহী অটোমেটন হিসাবে দেখতে পারি; এটি D যেখানে একটি ডিএফএ হিসাবে মডেল করা যেতে পারে যেখানে এলোমেলো উত্স দ্বারা ব্যবহৃত যথেষ্ট পরিমাণে বর্ণমালা।পাইয়ের মানΣ×ΠΠ


একটি চূড়ান্ত নোট: আমরা দেখতে পাচ্ছি যে ননডেটেরিনিজম একটি নিখাদ তাত্ত্বিক ধারণা, এটি বাস্তবায়ন করা যায় না! তাহলে আমরা কেন এটি ব্যবহার করব?

  1. এটি প্রায়শই ছোট উপস্থাপনের অনুমতি দেয়। আপনি হয়ত জানেন যে এমন এনএফএ রয়েছে যার জন্য ক্ষুদ্রতম ডিএফএ তাত্পর্যপূর্ণভাবে বৃহত্তর ¹ ছোটগুলি ব্যবহার করা অটোমেটনের নকশা এবং প্রযুক্তিগত প্রমাণগুলি সহজ করার বিষয়।

  2. টার্গেটের মডেলটিতে যদি ননডিটারিনিজমকে মঞ্জুরি দেওয়া হয় তবে প্রায়শই মডেলগুলির মধ্যে অনুবাদ আরও সোজা-ফরোয়ার্ড হয়। উদাহরণস্বরূপ, ডিএফএ-তে নিয়মিত অভিব্যক্তি রূপান্তরকরণ বিবেচনা করুন: স্বাভাবিক (এবং সহজ) উপায়টি এটি একটি এনএফএতে অনুবাদ করে এবং এটি নির্ধারণ করে। আমি সরাসরি নির্মাণ সম্পর্কে সচেতন নই।

  3. এটি একাডেমিক উদ্বেগ হতে পারে তবে এটি আকর্ষণীয় যে অ-নির্ধারিততা কোনও ডিভাইসের শক্তি বাড়াতে পারে। সীমাবদ্ধ অটোমেটা এবং ট্যুরিং মেশিনগুলির ক্ষেত্রে এটি তাত্পর্যপূর্ণ নয়, সবচেয়ে জনপ্রিয় মেশিন মডেল ডিভাইসগুলির পক্ষে যুক্তিযুক্ত, তবে উদাহরণস্বরূপ ডিটারমিনিস্টিক পুশডাউন-অটোমাতা, বাচি অটোমেটা এবং টপ-ডাউন ট্রি অটোমাতা তাদের অ-ডিস্ট্রিমেন্টিক ভাইবোনদের তুলনায় কঠোরভাবে কম ভাষা গ্রহণ করতে পারে ²


  1. উদাহরণস্বরূপ এই প্রশ্নটি cstheory.SE এ দেখুন ।
  2. দেখুন এখানে , এখানে এবং এখানে (প্রোপজিসন 1.6.2) যথাক্রমে।

সুতরাং, যেহেতু প্রোগ্রামিংয়ে আমরা একই অবস্থার সাথে একাধিক "অন্যথায়" তৈরি করতে পারি না, সে কারণেই কি কখনও কখনও সম্ভাব্যতা / ওজনকে শর্তে অন্তর্ভুক্ত করা হয়?
কেট

@ কেট আমি জানি না যে আপনি এর দ্বারা কী বোঝাতে চেয়েছেন। প্রোগ্রামিং ভাষা - হেক, কম্পিউটার! - স্বভাবতই নির্বিচারবাদী। আমরা পিআরএনজি এবং ট্রোল র‌্যান্ডম (যে যাই হোক না কেন এর অর্থ) ইনপুট ব্যবহার করে এলোমেলোতার মায়া তৈরি করতে পারি।
রাফায়েল

14

আপনার সচেতন হওয়া উচিত যে এখানে প্রায় নীতি নির্ধারণের দুটি পৃথক সংজ্ঞা দেওয়া হচ্ছে।

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

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

সিএসে, ননডিটারিনিজম সাধারণত বোঝায় (2), সুতরাং উইকিপিডিয়ায় যে সংজ্ঞা আপনি দিয়েছেন (যা (1)) বিভ্রান্তিকর। এখন পর্যন্ত দেওয়া বেশিরভাগ উত্তর (2) ব্যাখ্যা করে (2) না।


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

@ রাফেল, ভাল পয়েন্ট, "একই ইনপুটগুলিতে একই আচরণ করা উচিত" বলার জন্য আমার (1) সমাধান করা উচিত। (1) ওভার (1) পছন্দ করার বিষয়ে একমত।
usul

"আচরণ" অস্পষ্ট, ঠিক কালো-বনাম সাদা-বাক্স পথে। :)
রাফেল

অবশ্যই, তবে, আমি অনুমান করি যে আমি একটি আনুষ্ঠানিক, সুনির্দিষ্টভাবে সংজ্ঞায়িত ননডেটারিস্টিনিস্টিক টিউরিং মেশিন (2) এবং অস্পষ্ট / অস্পষ্ট "নির্ধারণবাদ নয়" (1) এর মধ্যে গুরুত্বপূর্ণ পার্থক্য দেখি, যার মধ্যে এলোমেলোতা অন্তর্ভুক্ত থাকতে পারে (যেখানে কোনও এনটিএম নেই)। তাই আমি এটাই বলতে চেয়েছিলাম ....
usul 2'14

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

1

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

তাদের মূল বিষয় হ'ল সীমানা এবং আনবাউন্ডেড ননডেটেরিনিজমের মধ্যে পার্থক্য করা [[১]

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

এনটিএম-এ ইনপুট এবং ফলাফলের মধ্যে সত্যই কোনও নিরপেক্ষবাদী সম্পর্ক নেই কারণ ফলাফল যে কোনও ইনপুট বা প্রাথমিক অবস্থার জন্য সর্বদা একই থাকে, যা স্পষ্ট হয় কারণ এগুলি ডিটিএম দ্বারা কোনও অতিরিক্ত এলোমেলো ছাড়াই অনুকরণ করা যায়। [২] অনস্বীকার্য হ'ল ডিটারমিনিস্টিকের বিরুদ্ধাচরণ নয়, কারণ বন্ধ না করাও একটি নির্বিচার ফলাফল। নির্ধারিত মেশিনগুলির প্রদত্ত ইনপুটটির জন্য সর্বদা একই ফলাফল থাকে, এমনকি যখন ফলাফলটি থামানো না হয়। এনটিএমগুলির স্থানীয়করণকৃত ননডেটেরিনিজমটি প্রতিটি নির্বাহী অ্যালগরিদমের রাষ্ট্রীয় উত্তরণে রয়েছে। গাছের কোন পথটি আউটপুট স্থিতি সরবরাহের অবসান ঘটাতে পারে এটি একটি অগ্রাধিকারযোগ্য is তবে সিদ্ধান্তহীনতা হ'ল নীতি নির্ধারণীকরণ নয়। সুতরাং "বাউন্ডেড ননডেটেরিনিজমিজম" শব্দটি রাষ্ট্রীয় মেশিনের মধ্যে স্থানীয়করণকৃত অনির্দিষ্টতা বর্ণনা করার উদ্দেশ্যে তৈরি হয়েছে তবে ফলাফলের সাথে ইনপুটগুলির সম্পর্ককে নয়, অতএব "আবদ্ধ" ধারণা। আমি এখনও মনে করি "সীমাবদ্ধ ননডেটেরিনিজম" শব্দটি একটি অক্সিমোরন এবং এটি আরও সঠিকভাবে একটি "সমান্তরাল রাষ্ট্রের রূপান্তর" ট্যুরিং মেশিন হিসাবে বর্ণনা করা যেতে পারে।

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

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

[1] https://en.wikedia.org/w/index.php?title=Unbounded_nondeterminism&oldid=710628370# নন্দনতান্ত্রিক_আউটোমাটা

[২] https://en.wikedia.org/w/index.php?title=Non-deterministic_Turing_machine&oldid=754212081# একুইভ্যালেন্স_উইথ_ডিটিএম

[3] হুইট, মাইজার এবং জাইপারস্কি: অভিনেতা মডেল (আপনি যা জানতে চেয়েছিলেন সবকিছু ...) । 17:44 মিনিটের চিহ্নটিতে ঝাঁপুন।


1
আমি দেখতে পাচ্ছি না কিভাবে এই প্রশ্নের উত্তর।
এড্রিয়ানএন

1
@ অ্যাড্রিয়ানএন উত্তরটি অ-নির্ধারিততা আসলে কী তা ব্যাখ্যা ব্যাখ্যা করে। এবং তারপরে র্যান্ডমাইজড অ্যালগরিদমগুলি কীভাবে সম্পর্কিত তা ব্যাখ্যা করে। প্রশ্ন দুটি জিজ্ঞাসা করতে জিজ্ঞাসা। বিঙ্গো। প্রশ্নের উত্তর।
শেলবি মুর III

0

পার্থক্য ব্যাখ্যা করে এমন সমস্ত উত্তর ছাড়াও আমার কাছে একটি উদাহরণ রয়েছে যা তারা বলতে চাইলে আপনাকে পেতে সহায়তা করতে পারে।
একটি কয়েন টস বিবেচনা করুন, আপনি হয় এইচ বা একটি টি পাবেন । যদি কয়েন টস এলোমেলো হয় তবে এটি খুব সম্ভবত যে 1000 কয়েন টসসের মধ্যে 500 টি এইচ হবে এবং এটির মধ্যে 999 টি এইচ হওয়ার সম্ভাবনা খুব কম । তবে যদি কয়েন টস অ-নিরস্তামূলক হয়, তবে আমরা বলতে পারি না যে 999 এইচ পাওয়া অত্যন্ত অসম্ভব।


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

-6

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

সাবসেটিং জটিলতা হ'ল এক সেট থেকে অন্য সেটে সমস্যা হ্রাস করা । সুতরাং আরপি ⊆ এনপি র্যান্ডমাইজড অ্যালগরিদমগুলির সম্ভাবনা বাদ দেয় না যা অ-নিরস্ত করাও হয় কারণ সংজ্ঞায়িতভাবে সুপারসেটের সাবসেট থাকে। সাবসেট মানে প্রতিটি আরপি অ্যালগরিদম (বা কোনও আরপি-সম্পূর্ণ অ্যালগরিদম) কিছু এনপি অ্যালগরিদম (বা কোনও এনপি-সম্পূর্ণ অ্যালগরিদম) হ্রাস করা যায়। পি আরপি-র একটি উপসেট কারণ পি-এর প্রতিটি সমস্যা আরপি-তে এমন কোনও সমস্যায় কমিয়ে আনা যেতে পারে যেখানে অনিয়ন্ত্রিত এনট্রপির পরিমাণ 0 থাকে।

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

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

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

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

আমি অন্যান্য থ্রেডের বর্তমানে সর্বাধিক জনপ্রিয় উত্তরের নীচে নীচের মন্তব্যটি যুক্ত করেছি যা অনুরূপ প্রশ্ন জিজ্ঞাসা করে।

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

র্যান্ডমাইজড এবং ননডেটেরিস্টেমিকের মধ্যে একমাত্র প্রধান পার্থক্য সম্পর্কে আমার বক্তব্যটির স্পষ্টতা যোগ করার জন্য কয়েকটি সেরা মন্তব্য যুক্ত করা।

পার্থক্যটি দেখার পক্ষে এটি বেশ মার্জিত এবং সহজ, একবার আপনি সকলেই এটিকে বিশিষ্ট এনট্রপি পয়েন্ট অফ ভিউয়ের পরিবর্তে একটি অপারেশনাল পয়েন্ট-ভিউ থেকে বর্ণনা করার চেষ্টা করে এটি বিচলন বন্ধ করে দেন।

@ রিনিয়ারপোস্ট সবাই এলোমেলোভাবে এবং ননডেটেরিস্টেমিকের মধ্যে পার্থক্যকে বিভ্রান্ত করছে। এর ফলে আপনার মন্তব্য গুলিয়ে গেছে। অ্যালগরিদম ইনপুট (ভেরিয়েবল) এনট্রপি এবং এর উত্স কোড (আক্রমণকারী) অভ্যন্তরীণ এনট্রপির মিথস্ক্রিয়াকে প্রতিক্রিয়া জানায়। ননডেটেরিনিজম হ'ল সীমাহীন এন্ট্রপি। পরিবর্তিত এনট্রপি এমনকি যেমন অভ্যন্তরীণভাবে সীমাবদ্ধ হতে পারে π এর সংখ্যার বিস্তৃত । র্যান্ডমাইজড হ'ল কিছু এনট্রপি সংজ্ঞায়িত হিসাবে ইনপুটটির সাথে মিলিত হয় না (যেমন এটি কোনও সিস্টেম কল থেকে আসতে পারে /dev/random, বা সিমুলেটেড এলোমেলোতা যেমন এনএফএ বা পিআরএনজি)।

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

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

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

শব্দভাণ্ডার হাতিয়ার। সেগুলি ব্যবহার করতে শিখুন।

এলোমেলো বিশেষণ

পরিসংখ্যান। বা নির্বাচনের এমন একটি প্রক্রিয়া বৈশিষ্ট্যযুক্ত যাতে কোনও সেটের প্রতিটি আইটেম বাছাই হওয়ার সমান সম্ভাবনা থাকে।

সেটের সাথে থাকা বা সেটের সাথে সম্পর্কিত কোনও উপাদান যার প্রতিটি উপাদানগুলির ঘটনার সমান সম্ভাবনা রয়েছে

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

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

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

নির্ধারিত অ্যালগরিদমগুলি রাষ্ট্রের মেশিনের ক্ষেত্রে সংজ্ঞায়িত করা যায়: একটি রাষ্ট্র নির্দিষ্ট সময়ে তাত্ক্ষণিক সময়ে কী করছে তা বর্ণনা করে। রাজ্য মেশিনগুলি একটি রাজ্য থেকে অন্য রাজ্যে একটি বিচ্ছিন্ন পদ্ধতিতে পাস করে। আমরা ইনপুট প্রবেশের ঠিক পরে, মেশিনটি প্রাথমিক অবস্থায় বা শুরু অবস্থায় রয়েছে। মেশিনটি যদি নির্বিচারবাদী হয় তবে এর অর্থ এই যে, এখন থেকে তার বর্তমান অবস্থা তার পরবর্তী রাষ্ট্রটি কী হবে তা নির্ধারণ করে; রাজ্যগুলির সেটগুলির মধ্য দিয়ে এর পাঠ্যক্রম পূর্বনির্ধারিত। মনে রাখবেন যে একটি মেশিন নির্বিচারে হতে পারে এবং এখনও কখনও থামাতে বা শেষ করতে পারে না এবং ফলস্বরূপ ফলাফল দিতে ব্যর্থ হয়।

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

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

উইকিপিডিয়া এবং অন্যান্যরা ননডিটারিনিজমবাদের সাথে র্যান্ডমাইজেশনের সাথে লড়াই করার চেষ্টা করে, তবে আপনি যদি দুটি বর্ণনাকে স্পষ্টভাবে আলাদা না করতে চান তবে তাতে কী লাভ?

স্পষ্টতই নির্ধারণ করার ক্ষমতা নির্ধারণের ক্ষমতা সম্পর্কে। স্পষ্টত র্যান্ডমাইজেশন হ'ল কিছু এনট্রপি উপযোগী করে তোলা সম্পর্কে।

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

বিবাদী অরথোগোনাল ধারণাগুলি হ'ল আইকিউ লোকেরা। আমি এই সম্প্রদায়ের কাছ থেকে তার চেয়ে ভাল আশা করি!


4
কম্পিউটার বিজ্ঞানে ননডেটেরিনিজম মানেই এটি নয়। অমানুষিক অ্যালগরিদমগুলি "অনাকাঙ্ক্ষিত" নয়।
ডেভিড রিচার্বি

4
অটোমেটা রেসপন্সে অ-নির্ধারণবাদ কীভাবে সংজ্ঞায়িত হয় তার সাথে আমি উত্তর দিয়েছি। গণনা তত্ত্ব শেলবি, আপনার চারপাশে জ্বলন্ত থামানো উচিত এবং একটি পাঠ্যপুস্তক পাওয়া উচিত। আপনি যদি অন্য উত্তরগুলি না বুঝতে পারেন তবে আমি মনে করি না আমরা আপনাকে একটি মন্তব্যে সহায়তা করতে পারি।
রাফেল

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

4
"গণনীয় জটিলতার তত্ত্বের কথা বলার সময় ননডেটেরিনিজম শব্দটি ব্যবহার করা [...] স্পষ্টতই এনট্রপি সম্পর্কে" - না, তা নয়।
রাফেল

3
আমরা তাতে একমত হতে পারি: দয়া করে আমাদের "শেখানোর" চেষ্টা করা বন্ধ করুন, এটি কারও সাহায্য করছে না।
রাফেল
আমাদের সাইট ব্যবহার করে, আপনি স্বীকার করেছেন যে আপনি আমাদের কুকি নীতি এবং গোপনীয়তা নীতিটি পড়েছেন এবং বুঝতে পেরেছেন ।
Licensed under cc by-sa 3.0 with attribution required.