প্রশ্ন ট্যাগ «reductions»

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

11 computability  reductions  undecidability 

জটিলতা চিড়িয়াখানা কে লিনিয়ার সময়ে একটি ডিস্ট্রিমেন্টিক ট্যুরিং মেশিন দ্বারা সমাধানযোগ্য সিদ্ধান্ত সমস্যার শ্রেণি হিসাবে সংজ্ঞায়িত করে ।এল আইএনLINLIN এল আইএন। পিLIN⊆PLIN \subseteq P যেহেতু হর্ন-স্যাট এ দ্রবণযোগ্য (যেমন প্রস্তাবিত শিং সূত্রগুলির সন্তুষ্টি পরীক্ষা করার জন্য লিনিয়ার-সময়ের অ্যালগরিদমগুলিতে নির্দেশিত হয়েছে ) (1984 )ও ( এন )O(n)O(n) (প্রস্তাবিত) হর্ন সূত্রটি সন্তুষ্টযোগ্য …

11 complexity-theory  time-complexity  reductions 

আমি গণনার তত্ত্বে আমার চূড়ান্ত জন্য অধ্যয়ন করছি এবং আমি এই বক্তব্যটি মিথ্যা সত্য কিনা তা উত্তর দেওয়ার সঠিক পদ্ধতি নিয়ে সংগ্রাম করছি। দ্বারা সংজ্ঞা এর আমরা নিম্নোক্ত বিবৃতি গঠন করা যেতে পারে≤মি≤m\leq_m ডব্লিউ ∈ এ⟺চ( W ) ∈ বি → W ∉ একজন⟺চ( W ) ∉ বিw∈A⟺f(w)∈B→w∉A⟺f(w)∉Bw \in A …

11 complexity-theory  computability  reductions 

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

10 complexity-theory  reductions  complexity-classes 

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

10 complexity-theory  reference-request  np-complete  reductions 

নিম্নলিখিত সমস্যাটি বিবেচনা করুন যার ইনপুট উদাহরণটি একটি সাধারণ গ্রাফ এবং প্রাকৃতিক পূর্ণসংখ্যার কে ।জিGGটkk এমন কোনও সেট যে জি - এস দ্বিপক্ষীয় এবং | এস | ≤ কে ?S⊆V(G)S⊆V(G)S \subseteq V(G)জি - এসG−SG - S| এস| ≤কে|S|≤k|S| \leq k আমি দেখাতে চাই যে এই সমস্যাটি 3-স্যাট, কে- সিলেকুই, কে- …

10 complexity-theory  np-complete  reductions 

আমি নিম্নলিখিতগুলির জন্য একটি প্রমাণ নিয়ে আসার চেষ্টা করছি: কোন ভাষায় জন্য , অস্তিত্ব আছে একটি ভাষা যেমন যে কিন্তু বি ।AAABবিBA≤TBএকজন≤টিবিA \le_{\mathrm{T}} B≰TA≰টিএকজন\nleq_{\mathrm{T}} A আমি কে কথা ভাবছিলাম, তবে আমি বুঝতে পেরেছি যে সমস্ত ভাষাগুলি নয় , সুতরাং না। কি অন্যান্য পছন্দ আমি যে আমাকে একটা টি এম যার …

9 computability  reductions  undecidability 

সর্বাধিক দ্বিপক্ষীয় ম্যাচিং সমস্যা থেকে সর্বাধিক-প্রবাহ সমস্যার একটি বিখ্যাত এবং মার্জিত হ্রাস রয়েছে: আমরা সোর্স নোড , একটি টার্মিনাল নোড এবং প্রতিটি আইটেমের সাথে মিলে যাওয়ার জন্য একটি নোড দিয়ে একটি নেটওয়ার্ক তৈরি করি , তারপরে উপযুক্ত প্রান্ত যুক্ত করুন।গুলিগুলিsটিটিt বহুবর্ষীয় সময়ে সর্বোচ্চ দ্বিপক্ষীয় মিলের সর্বাধিক প্রবাহ হ্রাস করার একটি …

9 reductions  network-flow  bipartite-matching 

আসুন আমরা বলি যে আমরা জানি যে সমস্যা A কঠিন, তারপরে আমরা A কে অজানা সমস্যায় হ্রাস করি বি প্রমাণ করার জন্য বিও শক্ত is উদাহরণ হিসাবে: আমরা জানি 3-রঙ করা শক্ত hard তারপরে আমরা 3-রঙিনকে 4-রঙিনে হ্রাস করি। 3-রঙিনে রঙগুলির মধ্যে একটিতে বিভ্রান্ত করে আপনার 4-কালারিং রয়েছে, 4-রঙ করা …

9 complexity-theory  np-complete  reductions 

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

9 computability  turing-machines  reductions  simulation