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

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

17 np-complete  reductions  factoring 

আমাদের একটি ডিএজি আছে। আমাদের নোড একটি ফাংশন রয়েছে এফ: ভি। এনএফ:ভী→এনF\colon V\to \mathbb N(আলগাভাবে বলতে গেলে, আমরা নোডগুলি সংখ্যা করি)। আমরা এই নিয়মগুলি সহ একটি নতুন নির্দেশিত গ্রাফ তৈরি করতে চাই: এফ( x ) ≠ চ( y)) ⇒ x'≠ y'এফ(এক্স)≠এফ(Y)⇒এক্স'≠Y'F(x) \neq F(y) \Rightarrow x' \neq y'এক্স'≠ y'। চ( x …

15 algorithms  graphs  np-complete  reductions 

একজন Hidoku একটি হল n×nn×nn \times n 1 থেকে কিছু আগে থেকে পূরণ পূর্ণসংখ্যার সঙ্গে গ্রিড n2n2n^2 । লক্ষ্যটি হ'ল গ্রিডে ধারাবাহিক পূর্ণসংখ্যার একটি পথ (1 থেকে n2n2n^2 ) সন্ধান করা। আরো কংক্রিট, গ্রিড প্রতিটি কক্ষে 1 থেকে একটি ভিন্ন পূর্ণসংখ্যা থাকা আবশ্যক n2n2n^2 এবং মান সঙ্গে প্রতিটি সেল z≠n2z≠n2z …

15 complexity-theory  reductions  np-hard 

দৃশ্যত, যদি , এ সমস্ত ভাষা ছাড়া এবং হবে -complete।পি ∅ Σ ∗ এন পিP=NPP=NP{\sf P}={\sf NP}PP{\sf P}∅∅\emptysetΣ∗Σ∗\Sigma^*NPNP{\sf NP} বিশেষত এই দুটি ভাষা কেন? আমরা গ্রহণ বা গ্রহণ না করার সময় আউটপুট দিয়ে তাদের কাছে in তে অন্য কোনও ভাষা হ্রাস করতে পারি না ?PP{\sf P}

15 complexity-theory  np-complete  reductions 

A কে বি হিসাবে হ্রাস করা যাক, । তাই, টুরিং মেশিন গ্রহণ জন্য একটি ওরাকল অ্যাক্সেস আছে । টুরিং মেশিন গ্রহণ করা যাক হতে এবং জন্য ওরাকল হতে । হ্রাসের ধরণগুলি:এ বি এ এম এ বি ও বিA≤BA≤BA \leq BAAABBBAAAMAMAM_{A}BBBOBOBO_{B} টুরিং হ্রাস: একাধিক প্রশ্নের করতে পারেন । ও বিMAMAM_{A}OBOBO_{B} কার্প …

15 complexity-theory  np-complete  reductions  complexity-classes 

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

14 algorithms  reductions  halting-problem 

এর মতো ভাষাগুলি এক-এক হ্রাসের আওতায় পুনরায় সম্পূর্ণ । কো-আরই-এরও সম্পূর্ণ সমস্যা রয়েছে তা দেখার বিষয়টি তুচ্ছ । এস স্মিটজ [1] এলইএলএম এবং আরইসি এর মধ্যে কিছু শ্রেণি বিবেচনা করেছেন । তারা এই শ্রেণীর জন্য বিশেষভাবে তৈরি হ্রাসের অধীনে সম্পূর্ণ সমস্যা উপস্থাপন করে।HALTTMHALTTM\text{HALT}_{TM}RE-completeRE-complete\textsf{RE-complete}co-REco-RE\text{co-RE}ELEMELEM\text{ELEM}RECREC\text{REC} দুর্বল হ্রাসের সাথে সম্পর্কিত কি (ওরফে আরইসি …

14 computability  reductions  turing-completeness  recursion-theory 

প্ল্যানার 3 এসএটি এনপি-সম্পূর্ণ। প্ল্যানার 3 এস্যাট উদাহরণটি 3SAT দৃষ্টান্ত যা নিম্নলিখিত বিধিগুলি ব্যবহার করে নির্মিত গ্রাফটি প্ল্যানার: প্রতিটি এবং for এর জন্য একটি শীর্ষস্থান যুক্ত করুনএক্সআমিএক্সআমিx_iএক্সআমি¯এক্সআমি¯\bar{x_i} প্রতিটি ধারা জন্য একটি শীর্ষবিন্দু যুক্ত করুনসিঞসিঞC_j প্রতিটি জুটির জন্য একটি প্রান্ত যুক্ত করুন( এক্সআমি, এক্সআমি¯)(এক্সআমি,এক্সআমি¯)(x_i,\bar{x_i}) প্রতিটি (বা ) থেকে একটি প্রান্ত যুক্ত …

14 np-complete  reductions  satisfiability  3-sat 

যেহেতু ইন্টিজার লিনিয়ার প্রোগ্রামিং এনপি-সম্পূর্ণ, তাই এনপি-তে কোনও সমস্যা থেকে কার্পের হ্রাস রয়েছে। আমি ভেবেছিলাম এর দ্বারা বোঝানো হয়েছে যে এনপি-র যে কোনও সমস্যার জন্য সর্বদা বহু-আকারের আইএলপি সূচনা রয়েছে। তবে আমি নির্দিষ্ট এনপি সমস্যার বিষয়ে কাগজপত্র দেখেছি যেখানে লোকেরা "এটিই প্রথম বহু-আকারের সূত্র" বা "কোনও ज्ञিত পলি-আকারের সূত্র নেই" …

14 complexity-theory  np-complete  reductions  linear-programming 

আমরা জানি যে st-non-connectivityst-non-connectivityst\text{-}non\text{-}connectivity হয় NLNL\mathsf{NL} দ্বারা Immerman-Szelepcsényi উপপাদ্য উপপাদ্য এবং যেহেতু st-connectivityst-connectivityst\text{-}connectivity হল NL-hardNL-hard\mathsf{NL\text{-}hard} সেইজন্য st-non-connectivityst-non-connectivityst\text{-}non\text{-}connectivity অনেক কিছু এক লগ-স্থান রূপান্তরযোগ্য করারst-connectivityst-connectivityst\text{-}connectivity । কিন্তু এমন কোনও প্রত্যক্ষ / সম্মিলন হ্রাস আছে যা ট্যুরিং মেশিনগুলির কনফিগারেশন গ্রাফটি দিয়ে যায় নাNLNL\mathsf{NL}? stConnectivitystConnectivity\mathsf{stConnectivity} (ওরফে):stPATHstPATHstPATH নির্দেশিত গ্রাফ এবং উল্লম্ব গুলি এবং টি দেওয়া …

14 complexity-theory  reductions  space-complexity 

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

14 np-complete  reductions  satisfiability  integer-programming 

3-পার্টিশন সমস্যাটি জিজ্ঞাসা করে যে পূর্ণসংখ্যার সেটটি তিনটি পূর্ণসংখ্যার সেটগুলিতে বিভক্ত হতে পারে যেমন প্রতিটি সেটটি কোনও নির্দিষ্ট পূর্ণসংখ্যা । ভারসাম্যযুক্ত পার্টিশন সমস্যাটি জিজ্ঞাসা করে যে পূর্ণসংখ্যাকে দুটি সমান কার্ডিনালিটি সেটগুলিতে বিভক্ত করা যেতে পারে যে উভয় সেটের সমষ্টি একই হয়। দুটি সমস্যাই এনপি-সম্পূর্ণ হিসাবে পরিচিত। তবে, 3-পার্টিশনটি দৃ strongly়ভাবে …

13 complexity-theory  reductions  np-complete 

আর্থার-মের্লিন জটিলতা শ্রেণিতে কোনও সম্পূর্ণ সমস্যা আছে কিনা তা নিয়ে আমি আগ্রহী। গ্রাফ অ Isomorphism (GNI) কোন সমস্যা হওয়ার ক্যানোনিকাল উদাহরণ মনে করা হয় যে , কিন্তু এটি সম্ভবত একটি সম্পূর্ণ এক নয়। আমি মনে করি আমিও ভাবছি যে যদি কোনও "সম্পূর্ণ" সমস্যাটি এএম এর জন্য ভালভাবে সংজ্ঞায়িত করা হয়। …

12 complexity-theory  reductions  complexity-classes  interactive-proof-systems 

সংজ্ঞা: কার্প হ্রাস একটি ভাষা একটি ভাষা কার্প হ্রাসযোগ্য হয় যদি একটি বহুবর্ষীয় সময়ের গণনীয় ফাংশন থাকে তবে যেমন প্রতিটি , যদি এবং কেবলমাত্র ।AAABBBf:{0,1}∗→{0,1}∗f:{0,1}∗→{0,1}∗f:\{0,1\}^*\rightarrow\{0,1\}^*xxxx∈Ax∈Ax\in Af(x)∈Bf(x)∈Bf(x)\in B সংজ্ঞা: লেভিন হ্রাস সার্চ সমস্যা লেভিন একটি সার্চ সমস্যা রূপান্তরযোগ্য হয় আছে যদি বহুপদী সময় ফাংশন যে Karp হ্রাস থেকে এবং বহুপদী টাইম …

12 complexity-theory  reductions  check-my-proof 

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

11 complexity-theory  reductions  np-hard