প্রশ্ন ট্যাগ «reference-request»

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

13 reference-request  programming-languages  type-theory  category-theory 

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

13 complexity-theory  reference-request  time-complexity  graph-isomorphism 

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

13 formal-languages  reference-request  automata  discrete-mathematics  group-theory 

আমি ভাবছিলাম যে কেউ ক্লায়েন্ট সার্ভারের মডেলটির উত্স জানেন কিনা। শব্দটি কোথা থেকে এসেছে (কাগজ, সফ্টওয়্যার অ্যাপ্লিকেশন, বই)?

13 terminology  reference-request  distributed-systems  history 

পোস্ট চিঠিপত্রের সমস্যা (পিসিপি) undecidable হয়। পিসিপি- র সীমিত সংস্করণ হ'ল কমপ্লিট এবং পিসিপির চিহ্নিত সংস্করণ (দুটি তালিকার একটির শব্দের প্রথম অক্ষরে পৃথক হওয়া প্রয়োজন) পি এস পি এ সি ই [1] এ রয়েছে।এন পিNP\mathrm{NP}পি এস পি এ সি ইPSPACE\mathrm{PSPACE} এই নিষিদ্ধ সংস্করণগুলি অন্যান্য সমস্যার (হ্রাস মাধ্যমে) কিছু জটিলতার ফলাফল …

13 complexity-theory  computability  reference-request 

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

12 reference-request  computational-geometry  applied-theory 

সবচেয়ে খারাপ ক্ষেত্রে অ্যাসিম্পটোটিক রানটাইমের ক্ষেত্রে, কোন এনপি-সম্পূর্ণ সমস্যাটি সবচেয়ে দ্রুতগামী (সঠিক) অ্যালগরিদম রয়েছে এবং অ্যালগরিদম কী? চেয়ে দ্রুত কিছু আছে এমন কি জানা আছে ?ও ( এন)2। 2এন)O(n2∗2n)O(n^2*2^n)

12 algorithms  reference-request  np-complete 

আমি 25 কে ক্লজ 5 কে ভেরিয়েবল এসএটি সমস্যাটি সমাধান করার চেষ্টা করছি। যেহেতু এটি এক ঘন্টার জন্য চলছে (প্রাকোস্যাট) এবং আমি এর পরে আরও বড়গুলি সমাধান করতে চাই, তাই আমি একটি বহু-কোর স্যাট-সলভার খুঁজছি। অনেকগুলি SAT- সমাধানকারী মনে হচ্ছে, আমি বেশ হারিয়েছি। কেউ কি আমার মামলার জন্য আমাকে সেরাটি …

12 algorithms  reference-request  parallel-computing  sat-solvers 

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

12 terminology  reference-request 

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

12 complexity-theory  formal-languages  reference-request  automata  finite-automata 

কোনও প্রোগ্রামিং ল্যাঙ্গুয়েজ সিনটিক্স এবং টাইপ সিস্টেমের প্রোটোটাইপ করার জন্য কি কোনও সরঞ্জাম রয়েছে এবং এটি ধরণের ধরণেরতার মতো স্ট্যান্ডার্ড বৈশিষ্ট্যগুলির এক ধরণের মডেল চেকিংয়েরও অনুমতি দেয় ? আমি এই জিজ্ঞেস করছি, কারণ আমি একটি বই পড়া করছি খাদ এবং এটি সঠিক কার্যকারিতা আমি চাই যে, কিন্তু মডেলের জন্য রিলেশনাল …

11 reference-request  programming-languages  semantics  model-checking 

আমি ভাবছি যে কোনও -সমস্যা সমস্যা আছে যা গড় ক্ষেত্রে in `বহুপদী" আছে? আমি মনে করি এটি ব্যাখ্যা করার দুটি উপায় আছে?NPNPNP যদি , একটি ধ্রুবক কে জন্য ও ( এন কে ) চলমান সময় এমওর্টাইজড (গড় কেস) চলমান একটি এন পি- সমস্যার সমস্যা সমাধানের একটি অ্যালগরিদম থাকতে পারে ?P≠NPP≠NPP …

11 complexity-theory  reference-request  np-complete  probabilistic-algorithms  amortized-analysis 

আপনি কি আমাকে লজিক এবং গণনা সম্পর্কে একটি ভাল সূচনা (তবে বিস্তৃত) বই সম্পর্কে কিছু পরামর্শ দিতে পারেন ? আমার মনে থাকা কিছু अस्पष्ट বিষয় হ'ল: প্রেসবার্গার আরটিহম।, পিএ, জেডএফ, জেডএফসি, এইচএল তত্ত্ব সেট করুন, প্রকার তত্ত্ব মডেলিং গণনা (টিউরিং মেশিন) বিভিন্ন তত্ত্ব গণনামূলক জটিলতার লিঙ্কগুলি (এফএমটি, বর্ণনামূলক জটিলতা)

11 reference-request  logic  books 

বহু-সময় আনুমানিক প্রকল্পগুলির উইকিপিডিয়া নিবন্ধ অনুসারে : এফপিটিএএস-এ সমস্ত সমস্যা স্থির-পরামিতি ট্র্যাকটেবল। এই ফলাফলটি আমাকে অবাক করে - এই ক্লাসগুলি একে অপরের থেকে সম্পূর্ণ পৃথক বলে মনে হয়। এফপিটিএএস সমস্যাগুলি প্রায় অনুধাবন করার জন্য কতটা সহজ তার দ্বারা চিহ্নিত করে, যখন এফপিটি কিছু প্যারামিটারের তুলনায় তাদের সমস্যা দ্বারা সমস্যাগুলি চিহ্নিত …

11 complexity-theory  reference-request  approximation  parameterized-complexity 

প্রদত্ত কাজ জে 1 , জে 2 , । । । , জে এন , প্রতিটি কাজ শেষ করার জন্য টি আই > 0 , টি আই ∈ এন সময় প্রয়োজন।nএনnJ1,J2,...,Jnজে1,জে2,।।।,জেএনJ_1,J_2,...,J_nTi>0,Ti∈Nটিআমি>0,টিআমি∈এনT_i > 0, T_i \in N প্রতিটি কাজ অবশ্যই একটি একক মেশিন এম দ্বারা প্রসেসড এবং পোস্ট-প্রসেস করা উচিত যা …

11 complexity-theory  reference-request  scheduling