ব্যস্ত বিভার ফাংশন গণনা

ব্যস্ত বিভার সর্বাধিক শিফট ফাংশন, , জন্য মানগুলি জানে । এটি অনুমেয় যে কেন আমরা কখনও>> জন্য খুঁজে পাব তার কোনও মৌলিক, কাঠামোগত কারণ আছে ? চেয়ে চেয়ে আলাদা কী ? বা ? কোথাও কোথাও অবশ্যই কিছু মৌলিক পার্থক্য থাকতে হবে, অন্যথায় নীতিগতভাবে, সমস্ত জন্য গণনাযোগ্য হবে , তাই ঠিক কী $S(n)$ $n\leq4$ $S(n)$ $n>4$ $n=4$ $n=5$ $n=6$ $S(n)$ $n$ হয় এই পার্থক্য?

computability busy-beaver

— PeteyPabPro
সূত্র

উত্তর:

কোনও প্রোগ্রাম গণনা করতে পারে না এর কারণ হ'ল আপনি যদি জানতেন যে কী আপনি থামিয়ে দেওয়ার সমস্যাটি স্থির করতে পারেন - আপনি কখন অপেক্ষা করবেন তা জানতেন। অন্যদিকে, প্রতিটি জন্য একটি প্রোগ্রাম রয়েছে যা সমস্ত জন্য গণনা করে - এটি কেবল একটি টেবিল ব্যবহার করে। $S(n)$ $S(n)$ $m$ $S(n)$ $n \leq m$

$S(n)$ $n$ $n$ $S(n) = \alpha$ $\alpha$ $S(n)$ $n$ $S(n) = \alpha$ $\alpha$

$S(4)$ $4$ $5$ $S(4)$ $S(5)$ $R(4)$ $R(5)$

— ইউভাল ফিল্ম
সূত্র

S (4)

$S(4)$

S (5)

$S(5)$

S (n) = " S (n) "

$S(n)=\text{"}S(n)\text{"}$

S (n) \neq " S (n) "

$S(n)\neq\text{"}S(n)\text{"}$

আপনি এখনও সত্যই ব্যাখ্যা করতে পারেন নি যে আমরা কেন এতটা নিশ্চিত হতে পারি যে এস (4) সঠিক, এস (5) বা এর চেয়ে বেশি আমরা কখনই জানতে পারি না। এটি কি কারণ আমরা এস (4) সম্পর্কে 100% না, তবে কেবল "খুব প্রায়" নিশ্চিত?

— ড্যান ডব্লিউ

আমরা এস (4) সম্পর্কে 100% নিশ্চিত। এস (5) সম্পর্কিত আমাদের অজ্ঞতার পিছনে কোনও গভীর কারণ আছে বলে আমি মনে করি না। এটি আমাদের জ্ঞানের সীমাবদ্ধতা।

— যুবাল ফিল্মাস

আমি বিশ্বাস করি যে একটি সত্যই শক্তিশালী প্রুফ সিস্টেম এবং একটি state স্টেট 2 কালার টিউরিং মেশিন রয়েছে যা প্রমাণ করা যায় যে সেই সিস্টেমে কোনও প্রমাণ নেই যে এটি কখনও থামবে না এবং এটি কোনও সিস্টেমে প্রমাণিত হতে পারে এমন কোনও অ্যালগরিদমের আগে থামবে না will একটি গুগল চরিত্রের মধ্যে অবশেষে থামতে থামাতে।

— টিমোথি

$n$ $S(n)$

— PeteyPabPro
সূত্র

আপনি কি প্রাসঙ্গিক অংশ উদ্ধৃত করতে পারেন?

— এভিল

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

[1] ব্যস্ত বিভারের সমস্যা, একটি নতুন সহস্রাব্দের আক্রমণ , ভ্যান হিউভেন এট আল

[2] ছোট ট্যুরিং মেশিন এবং সাধারণ ব্যস্ত বিভার প্রতিযোগিতা , মিশেল

[3] সংক্ষিপ্ততম সমস্যাগুলির চলমান সময় , ব্যাটফাই

— vzn
সূত্র