কম্পিউটার বিজ্ঞান

আমি নিম্নলিখিত প্রশ্নের উপর আটকে আছি: "নিয়মিত ভাষায় অবিকল সেই সসীম অটোমাটা দ্বারা গৃহীত হয় দেওয়া এই বাস্তবতা প্রমাণ করে যে যদি ভাষা। কিছু সসীম যন্ত্রমানব দ্বারা গৃহীত হয়, তাহলে কিছু সসীম দ্বারা গৃহীত হয়; সমস্ত শব্দের নিয়ে গঠিত এর বিপরীত। "LLLLRLRL^{R}LRLRL^{R}LLL

19 formal-languages  regular-languages  automata  finite-automata 

আমার লক্ষ্য হ'ল নিম্নলিখিত সমস্যাটি সমাধান করা, যা আমি এর ইনপুট এবং আউটপুট দ্বারা বর্ণনা করেছি: ইনপুট: এম নোড, এন উত্স এবং 1 টি ডোবা ( এম > এন ≥ 1 ) সহ একটি নির্দেশিত অ্যাসাইক্লিক গ্রাফ ।GGGmmmnnn111m>n≥1m>n≥1m > n \geq 1 আউটপুট: ভিসি-মাত্রা (অথবা এটা একটি সন্নিকর্ষ) টপোলজি সঙ্গে …

19 algorithms  complexity-theory  machine-learning  neural-networks  vc-dimension 

বিশেষ করে: 1) 4096 ব্লক / লাইন সহ প্রত্যক্ষ ম্যাপযুক্ত ক্যাশে যার প্রতিটি ব্লকে 8 টি 32-বিট শব্দ রয়েছে। 32-বিট ঠিকানা ধরে ধরে ট্যাগ এবং সূচী ক্ষেত্রগুলির জন্য কয়টি বিটের প্রয়োজন? 2) একই প্রশ্ন 1) কিন্তু জন্য পুরোপুরি সাহসী ক্যাশে ? আমি ভুল হলে আমাকে সংশোধন করুন, এটি: ট্যাগ বিট …

19 computer-architecture  cpu-cache 

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

19 terminology 

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

19 algorithms  graphs  search-algorithms  graph-traversal 

এই পোস্টটি উন্নত করতে চান? এই প্রশ্নের বিশদ বিবরণ প্রদান করুন, সহ उद्धरण এবং আপনার উত্তর কেন সঠিক তা ব্যাখ্যা সহ। পর্যাপ্ত বিবরণ ছাড়া উত্তরগুলি সম্পাদনা বা মোছা হতে পারে। আমরা নির্দেশিত গ্রাফগুলিতে এমএসটি, শক্তিশালী সংযোগ, রাউটিং ইত্যাদির জন্য অ্যালগরিদমগুলি সম্পর্কে পড়ছি। এছাড়াও সম্প্রতি লোকেরা নির্দেশিত গ্রাফগুলির জন্য গতিশীল এবং …

18 graphs  graph-theory  fault-tolerance 

"এ কনফ্লিক্ট-ফ্রি রিপ্লিকেটেড জেএসওএন ডেটাটাইপ" পত্রিকায় , "বিধি" আনুষ্ঠানিকভাবে সংজ্ঞায়িত করার জন্য আমি এই স্বরলিপিটির মুখোমুখি হয়েছি: এই স্বরলিপি কি বলা হয়? আমি কীভাবে এটি পড়তে পারি? উদাহরণ স্বরূপ: DOCনিয়ম তার "লব" এ কিছু নেই - কেন নয়? EXECএবং GETবিধি, লাইনের উপরে দুটি পৃথক পদ আছে প্রদর্শিত কি মানে কি? …

18 semantics  notation  formal-methods  operational-semantics 

আমরা Hoare যুক্তি আছে। এটি এখনও কেন সম্ভব যে একটি অ্যালগরিদম ঠিক আছে তবে কোনও প্রমাণ নেই যে এটি সঠিক? ধরুন অ্যালগরিদমটি সি তে প্রকাশিত হয়েছে তারপরে আমরা ধাপে ধাপে যুক্তি দিতে পারি যে এটি করার কথা বলে এটি করছে। সুতরাং আমার প্রশ্নটি হ'ল: আমাকে একটি অ্যালগরিদমের উদাহরণ দিন যা …

18 correctness-proof  hoare-logic 

সর্বোচ্চ প্রবাহ সর্বনিম্ন কাটা উপপাদ্য ধন্যবাদ, আমরা জানি যে আমরা একটি গনা একটি নেটওয়ার্ক গ্রাফে সর্বোচ্চ প্রবাহ গনা কোনো অ্যালগরিদম ব্যবহার করতে পারেন -min কাটা। অতএব, সর্বনিম্ন ( গুলি , টি ) - সংকেত গণনার জটিলতা সর্বাধিক ( গুলি , টি ) -প্রবাহের কম্পিউটিংয়ের জটিলতা ছাড়া আর কিছু নয়।(s,t)(s,t)(s,t)(s,t)(s,t)(s,t)(s,t)(s,t)(s,t) এটা …

18 complexity-theory  reductions  network-flow  graph-algorithms 

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

18 computability  undecidability  software-engineering  formal-methods 

কোনও গণনাযোগ্য ফাংশন রয়েছে কি যেমন:f:N→Qf:N→Qf:\mathbb{N}\rightarrow \mathbb{Q} সমস্তt ∈ N : 0 ≤ f( টি ) &lt; এক্সটি∈এন:0≤চ(টি)&lt;এক্সt\in\mathbb{N}: 0\le f(t) < X লিমt → ∞চ(t)=Xlimt→∞f(t)=X\lim\limits_{t\rightarrow\infty} f(t) = X যেখানে XXX একটি আপত্তিজনক আসল সংখ্যা। আমি খুঁজে পেয়েছি এই প্রশ্নের শুধুমাত্র রেফারেন্সের উত্তর ছিল এই প্রশ্নের : /math//a/1052579/168764 , ফাংশন বলে …

18 computability 

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

18 formal-languages  turing-machines  computability  automata 

যদি কোনও সমস্যা A এর জন্য সময় O(f(n))O(f(n))O(f(n)) এ চলমান অ্যালগরিদম হয় এবং সময় মতো ছুটে চলে আসা এলগরিদম নিয়ে আসে কেউ, O(f(n)/g(n))O(f(n)/g(n))O(f(n)/g(n)) , যেখানে g(n)=o(f(n))g(n)=o(f(n))g(n) = o(f(n)) , এটি কি পূর্ববর্তী অ্যালগোরিদমের তুলনায় উন্নতি হিসাবে বিবেচনা করা হয়? তাত্ত্বিক কম্পিউটার বিজ্ঞানের প্রসঙ্গে কি এ জাতীয় অ্যালগরিদম নিয়ে আসা উচিত?

18 algorithms 

আমি প্রোগ্রামিং ভাষা তত্ত্বে নতুন। আমি কিছু অনলাইন বক্তৃতাগুলি দেখছিলাম যেখানে প্রশিক্ষক দাবি করেছিলেন যে পলিমারফিক ধরণের একটি ফাংশনই forall t: Type, t-&gt;tপরিচয়, তবে কেন তা ব্যাখ্যা করলেন না। কেউ আমাকে বোঝাতে পারেন কেন? প্রথম নীতি থেকে দাবি প্রমাণ হতে পারে।

18 programming-languages  type-theory 

প্রসঙ্গমুক্ত ব্যাকরণে কোনও অটোমেটনের "মৃত অবস্থা" অন্তর্ভুক্ত থাকতে পারে, যেমন জি = ({a,b,c},{A,B,C},{A→aB,B→b,B→C,C→cC},A)?G=({a,b,c},{A,B,C},{একজন→একটিবি,বি→খ,বি→সি,সি→গসি},একজন)?G = \big(\{a, b, c\}, \{A, B, C\}, \{A\to aB, B\to b, B\to C, C\to cC\}, A\big)\,? উত্পাদনের এবং চিরকালের জন্য লুপ হয়ে যাবে এবং কখনও কোনও শব্দ উত্পন্ন করবে না। এটি অনুমোদিত বা আবশ্যক উত্পাদনের নিয়মগুলি কি …

18 context-free  automata  formal-grammars