প্রশ্ন ট্যাগ «big-picture»

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

307 ds.algorithms  big-picture  application-of-theory 

আমি মজাদার জন্য থিওরিটির সংশোধন করছি এবং এই প্রশ্নটি আমাকে কিছুক্ষণ ধরে ঠাঁই দিচ্ছে (যখন আমি আমার আন্ডারগ্র্যাডে অটোম্যাটা থিওরি শিখি তখন মজার কখনও এটি ভাবেনি)। সুতরাং "কেন" আমরা সঠিকভাবে ডিস্ট্রিমেন্টিক এবং নন-ডিস্ট্রিমেন্টিক সসীম অটোমেটা (ডিএফএ / এনএফএ) অধ্যয়ন করি? সুতরাং এখানে কিছু উত্তর আমি একাকীকরণের পরে নিয়ে এসেছি তবে …

247 fl.formal-languages  automata-theory  big-picture  teaching  dfa 

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

85 soft-question  big-picture  lambda-calculus  ho.history-overview 

এটি সুপরিচিত যে সাধারণভাবে, সর্বজনীন এবং অস্তিত্বের পরিমাণের ক্রমটি বিপরীত হতে পারে না। অন্য কথায়, একটি সাধারণ যৌক্তিক সূত্র for ,ϕ(⋅,⋅)ϕ(⋅,⋅)\phi(\cdot,\cdot) (∀x)(∃y)ϕ(x,y)⇎(∃y)(∀x)ϕ(x,y)(∀x)(∃y)ϕ(x,y)⇎(∃y)(∀x)ϕ(x,y)(\forall x)(\exists y) \phi(x,y) \quad \not\Leftrightarrow \quad (\exists y)(\forall x) \phi(x,y) অন্যদিকে, আমরা জানি ডান হাতটি বাম-হাতের চেয়ে বেশি সীমাবদ্ধ; অর্থাৎ, (∃y)(∀x)ϕ(x,y)⇒(∀x)(∃y)ϕ(x,y)(∃y)(∀x)ϕ(x,y)⇒(∀x)(∃y)ϕ(x,y)(\exists y)(\forall x) \phi(x,y) \Rightarrow (\forall x)(\exists y) …

73 lo.logic  big-picture  proof-techniques 

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

67 reference-request  big-list  big-picture  algebra 

গণিতবিদরা কখনও কখনও অ্যাক্সিয়াম অফ চয়েস (এসি) এবং নির্ধারিত অক্ষের অক্ষর (AD) সম্পর্কে উদ্বেগ প্রকাশ করেন। চয়েস এর সবর্জনবিদিত : প্রদত্ত যেকোন সংগ্রহে nonempty সেট, একটি ফাংশন চ করে একটি সেট দেওয়া এস এ সি , একজন সদস্য ফেরৎ এস ।CC{\cal C}fffSSSCC{\cal C}SSS নির্ধারণের অক্ষ : আসুন লম্বা বিট স্ট্রিংগুলির …

67 cc.complexity-theory  lo.logic  pl.programming-languages  big-picture  set-theory 

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

66 cc.complexity-theory  np-hardness  big-picture 

আমার আজ প্রশ্নটি (যথারীতি) কিছুটা নির্বোধ; তবে আমি আপনাকে দয়া করে এটি বিবেচনা করার জন্য অনুরোধ করব। আমি গাছের চত্বরের ধারণার পিছনে জেনেসিস এবং / বা অনুপ্রেরণা সম্পর্কে জানতে চেয়েছিলাম। আমি অবশ্যই বুঝতে পারি যে এটি এফপিটি অ্যালগরিদমে ব্যবহৃত হয়, তবে আমি মনে করি না যে এই কারণটি এই ধারণাটি …

61 graph-theory  co.combinatorics  big-picture  ho.history-overview  treewidth 

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

56 big-list  big-picture 

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

55 cc.complexity-theory  np-hardness  big-picture  polynomial-time 

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

54 cc.complexity-theory  counting-complexity  big-picture 

এটি একটি সুনির্দিষ্ট উত্তরের পরিবর্তে একটি বিষয়গত প্রশ্ন হতে পারে তবে যাইহোক। জটিলতার তত্ত্বে আমরা দক্ষ গণনার ধারণাটি অধ্যয়ন করি। এখানে classes এর মতো শ্রেণি সময় বলতে বোঝায় এবং log লগ স্পেসের জন্য দাঁড়িয়ে । উভয়কেই একধরণের "দক্ষতা" হিসাবে উপস্থাপিত হিসাবে বিবেচনা করা হয় এবং তারা কিছু সমস্যার অসুবিধাগুলি বেশ …

49 cc.complexity-theory  space-bounded  big-picture 

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

46 cc.complexity-theory  big-picture 

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

45 pl.programming-languages  big-picture  semantics  denotational-semantics 

চমস্কি (üSchützenberger) শ্রেণিবদ্ধতা তাত্ত্বিক কম্পিউটার বিজ্ঞানের পাঠ্যপুস্তকগুলিতে ব্যবহৃত হয়, তবে এটি সম্পূর্ণ জটিলতা চিড়িয়াখানার চিত্রের তুলনায় প্রথাগত ভাষার (আরইজি, সিএফএল, সিএসএল, আরই) খুব সামান্য অংশকেই আবৃত করে । শ্রেণিবিন্যাস কি বর্তমান গবেষণায় কোনও ভূমিকা পালন করে? আমি এখানে চেমস্কির খুব কম রেফারেন্স পেয়েছি cstheory.stackexchange এ এবং কমপ্লেক্সি চিড়িয়াখানায় চমস্কি এবং …

45 cc.complexity-theory  automata-theory  fl.formal-languages  big-picture  teaching