প্রশ্ন ট্যাগ «kolmogorov-complexity»

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

28 cc.complexity-theory  kolmogorov-complexity  universal-computation  universal-turing-machines 

Kolmogorov উপসর্গ জটিলতা (অর্থাত সংক্ষিপ্ত আত্ম-delimiting কর্মসূচির আকার যে আউটপুট ) বিভিন্ন চমৎকার বৈশিষ্ট্য আছে:K(x)K(x)K(x)xxx এটি প্যাটারগুলির সাথে স্ট্রিং দেওয়ার বা অন্তর্নিহিতের সাথে স্ট্রিংয়ের চেয়ে কম জটিলতার সাথে সম্পর্কিত। এটি আমাদের শর্তযুক্ত জটিলতা বা কিছু ওরাকল জন্য আরও ভাল সংজ্ঞায়িত করতে দেয় ।K(x|y)K(x|y)K(x|y)K(x|O)K(x|O)K(x|O)OOO এটি সাব-অ্যাডেটিভ ।K(x,y)≤K(x)+K(y)K(x,y)≤K(x)+K(y)K(x,y) \leq K(x) + K(y) …

28 it.information-theory  kolmogorov-complexity  formal-modeling 

নিম্নলিখিত যুক্তি বিবেচনা করুন: যাক বোঝাতে Kolmogorov জটিলতা এর স্ট্রিং এক্স । চৈতিনের অসম্পূর্ণতা উপপাদ্যটি তা বলেK(x)K(x)K(x)xxx যে কোনও ধারাবাহিক এবং পর্যাপ্ত শক্তিশালী আনুষ্ঠানিক সিস্টেম একটি ধ্রুবক টি উপস্থিত রয়েছে (কেবলমাত্র আনুষ্ঠানিক সিস্টেম এবং তার ভাষার উপর নির্ভর করে) যেমন কোনও স্ট্রিংয়ের জন্য এক্স , এস প্রমাণ করতে পারে না …

21 cc.complexity-theory  reference-request  lo.logic  circuit-complexity  kolmogorov-complexity 

এসএসSআমি( n ) = { w ∈ S: | ডাব্লু | = ঢ }আমি(এন)={W∈এস:|W|=এন}I(n) = \{w \in S : |w| = n\}এনএনnটি( ডাব্লু )টি(W)T(w)একজনএকজনAWWwএকজনএকজনAচএন= সর্বাধিকডব্লিউ ∈ আই( এন )টি( W ) ।চএন=সর্বোচ্চW∈আমি(এন)টি(W)। f_n = \max_{w \in I(n)} T(w). আসুন এখন সেটগুলি সংজ্ঞায়িত করুন এবং কোলমোগোরভ জটিলতা সহ সমস্ত ইনপুটগুলির জন্য …

21 cc.complexity-theory  kolmogorov-complexity  parameterized-complexity  succinct  analysis-of-algorithms 

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

17 lo.logic  computability  ct.category-theory  kolmogorov-complexity 

যাক বোঝাতে একটি স্ট্রিং Kolmogorov জটিলতা । মতো স্ট্রিং রয়েছে কি ? (এখানে এটি নিজের সাথে )। অনুরূপ একটি কিন্তু বিভিন্ন প্রশ্ন জিজ্ঞাসা করা হল এখানে কিন্তু counterexample যে প্রশ্নের উত্তর দেওয়া এই এক জন্য কাজ করে না।K(x)K(x)K(x)xxxK(xx)&lt;K(x)K(xx)&lt;K(x)K(xx)<K(x)xxxxxxxxx

16 cc.complexity-theory  kolmogorov-complexity 

Chaitin অসম্পূর্ণতা উপপাদ্য বলেছেন গাণিতিক কোন পর্যাপ্ত শক্তিশালী তত্ত্ব প্রমাণ করতে পারেন কে( গুলি ) &gt; এলK(s)&gt;LK(s) > L যেখানে কে( গুলি )K(s)K(s) স্ট্রিং এর Kolmogorov জটিলতা হয় গুলিss এবং এলLL পর্যাপ্ত বৃহৎ ধ্রুবক। এলLL হয় ভালোই বড় যদি এটি একটি প্রমাণ পরীক্ষণ মেশিন (পিসিএম) এর বিট মাপ চেয়ে বড়। …

14 lo.logic  kolmogorov-complexity 

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

12 it.information-theory  kolmogorov-complexity  shannon-entropy 

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

12 reference-request  computability  kolmogorov-complexity 

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

11 lower-bounds  proof-complexity  kolmogorov-complexity 

"কম্পিউটিং দ্বারা কী কী সমস্যাগুলি সমাধান করা যেতে পারে" এর উত্তর দেওয়ার জন্য, আমরা গণনা তত্ত্বটি বিকাশ করেছি। গণনাযোগ্য সমস্যাগুলির জন্য, "আমি যে প্রোগ্রামটি সবচেয়ে সহজ পেয়েছি" সে প্রশ্নের উত্তর দেওয়ার জন্য কোনও তত্ত্ব আছে? আমি গণনা জটিলতার প্রশ্নের উত্তর মনে করি না। আমি মনে করি এটি বিবেচনা করে আমাদের …

10 big-picture  kolmogorov-complexity 

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

10 cc.complexity-theory  cr.crypto-security  oracles  relativization  kolmogorov-complexity 

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

9 computability  reductions  kolmogorov-complexity 

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

9 cc.complexity-theory  universal-computation  kolmogorov-complexity  universal-turing-machines 

স্ট্রমের কোলমোগোরভ জটিলতা গণনাযোগ্য নয়। তবে আকারের এলোমেলো উপসেটে inএমMM দৈর্ঘ্যের বাইনারি স্ট্রিং এর এনnn, কতগুলি সংখ্যার পূর্ণসংখ্যার চেয়ে জটিলতা কম বলে আশা করা যায় এন0n0n_{0} এর চেয়ে কম এনnn (একটি কাজ হিসাবে এমMM, এনnn এবং এন0n0n_{0})?

9 cc.complexity-theory  kolmogorov-complexity