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

গুগল হ্যাশ কোড 2015 পরীক্ষার রাউন্ড ( সমস্যার বিবৃতি ) নিম্নলিখিত সমস্যা সম্পর্কে জিজ্ঞাসা করেছে: ইনপুট: কিছু চিহ্নিত স্কোয়ার সহ একটি গ্রিড , একটি প্রান্তিক , সর্বাধিক অঞ্চলটি ∈ এন এ ∈ এনMMMT∈NT∈NT \in \mathbb{N}A∈NA∈NA \in \mathbb{N} আউটপুট: মধ্যে পূর্ণসংখ্যা স্থানাঙ্ক সঙ্গে অসংলগ্ন করা আয়তক্ষেত্র একটি সেট সর্ববৃহৎ সম্ভব মোট …

11 complexity-theory  reductions  np-hard 

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

11 programming-languages  finite-model-theory  fixed-point 

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

11 algorithms  graphs  optimization  matching  bipartite-matching 

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

11 turing-machines  computation-models 

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

11 concurrency  synchronization  mutual-exclusion 

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

11 algorithms  quantum-computing 

I know its silly, but i managed to confuse myself and i need help settling this Suppose P=NPP=NPP=NP, then clearly for every oracle AAA we have PA=NPAPA=NPAP^A=NP^A which contradicts the fact that there exists some oracle AAA for which PA≠NPAPA≠NPAP^A\neq NP^A, hence P≠NPP≠NPP\neq NP Whats wrong? Thanks!

11 complexity-theory  p-vs-np  oracle-machines 

আমি ভাবছি "XOR- সম্পর্কের সাথে 2-স্যাট" এর জন্য একটি বহুপদী আলগোরিদম আছে কিনা। 2-স্যাট এবং এক্সওআর-স্যাট উভয়ই পি-তে রয়েছে তবে এর সংমিশ্রণটি কি? উদাহরণ ইনপুট: 2-স্যাট অংশ: (a or !b) and (b or c) and (b or d) এক্সওর অংশ: (a xor b xor c xor 1) and (b xor …

11 np-complete  satisfiability  xor  2-sat 

আমরা যা জানি তা হ'ল π অসীম এবং সম্ভবত এটিতে প্রতিটি সংখ্যার সীমাবদ্ধ স্ট্রিং থাকে ( বিচ্ছিন্ন ক্রম )। আমি সম্প্রতি πfs এর কিছু প্রোটোটাইপ দেখেছি যা ধরে নিয়েছে যে আপনার তৈরি করা প্রতিটি ফাইল (বা অন্য কেউ) তৈরি করেছেন বা আপনি তৈরি করবেন, এটি ইতিমধ্যে রয়েছে তাই এটি বের …

11 algorithms  data-compression  mathematical-programming 

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

11 computability  turing-machines  undecidability  physics 

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

11 computer-architecture  operating-systems  performance  program-optimization 

আসুন কিছু গণনা সমস্যা হোন যা # কমপ্লিট হিসাবে পরিচিত ।ΠΠ\PiPPP এটা পরোক্ষভাবে করে যে হয় -hard (অর্থাত কোন পিটিএ র জন্য সমস্যা বিদ্যমান যদি না )?ΠΠ\PiAPXAPXAPXP=NPP=NPP=NP

11 complexity-theory  complexity-classes  approximation  counting 

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

11 algorithms  graph-theory  graph-isomorphism 

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

11 terminology  lambda-calculus  type-theory  dependent-types 

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

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