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

গত সপ্তাহে, আমি আবার লেসলির ল্যাম্পোর্টের 1982 সালে সলভিত সমস্যা, সমাধান না হওয়া সমস্যা এবং কনক্যুরન્સીতে সমস্যা সমাধান না হওয়া সম্পর্কিত একটি সম্মেলনের ট্রান্সক্রিপ্টটি পড়ছিলাম । কাগজটি সহজেই পঠনযোগ্য, তবে যে জিনিসগুলি আমাকে ভাবতে পেরেছিল তার মধ্যে একটি হ'ল নিম্নলিখিত জোর: কোনও সমস্যা মিউচুয়াল বর্জনীয় সমস্যা বা উত্পাদক-ভোক্তার সমস্যা, বা …

13 reductions  dc.distributed-comp  concurrency 

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

13 cc.complexity-theory  reductions  search-problem  ppad 

ঘনত্ব একটি ভাষার একটি ফাংশন হিসাবে সংজ্ঞায়িত করা ধরুন এবং কিছু সসীম বর্ণমালা টিরও বেশি ভাষাতে হয়, অনেক কিছু এক logspace করার হ্রাস , আর নয় । কার্যাবলী হয় polynomially সম্পর্কিত যদি polynomials হয় এবং যেমন যে সব জন্য , এবংডি এক্স : এন → এন ডি এক্স ( এন …

12 cc.complexity-theory  reductions  structural-complexity 

'দেওয়া , সেখানে x , y ∈ N , একটি x 2 + b y = c ' হ'ল এন পি- অসম্পূর্ণ।a,b,c∈Na,b,c∈Na,b,c\in\Bbb Nx,y∈Nx,y∈Nx,y\in\Bbb Nax2+by=cax2+by=cax^2+by=cNPNP\mathsf{NP} কোনটি জটিলতা বর্গ 'দেওয়া নেই , নেই এক্স , Y ∈ এন , একটি এক্স 2 + + খ Y 2 = গ ' অন্তর্গত কিভাবে?a,b,c∈Na,b,c∈Na,b,c\in\Bbb …

12 ds.algorithms  complexity-classes  reductions  nt.number-theory  np-complete 

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

12 reductions  nondeterminism  pspace 

অনন্য SAT সুপরিচিত সমস্যা: একটি সিএনএফ সূত্র , এফের ঠিক একটি মডেল রয়েছে তা কি সত্য ?FFFFFF আমি « অবিকল এস্যাট» সমস্যাটিতে আগ্রহী: একটি সিএনএফ সূত্র এফ এবং একটি পূর্ণসংখ্যা মি > 1 দিয়েছি , এফ কি ঠিক মি মডেল রেখেছেন ?mmmFFFm>1m>1m>1FFFmmm উভয় সমস্যা একই দেখাচ্ছে। সুতরাং আমার প্রশ্নগুলি হ'ল: …

12 cc.complexity-theory  reference-request  np-hardness  sat  reductions 

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

11 lambda-calculus  reductions  typed-lambda-calculus  normalization  calculus-of-constructions 

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

11 reference-request  sat  reductions 

নিম্নলিখিত বৈশিষ্ট্য সহ কোনও :এল ∈ এন পিL∈NPL\in {\bf NP} এটা যে পরিচিত হয় বোঝা ।পি = এন পিএল ∈ পিL∈PL\in {\bf P}পি = এন পিP=NP{\bf P}={\bf NP} কোন (পরিচিত) বহুপদী সময় টুরিং হ্রাস হয় (অথবা অন্য কোনো থেকে -complete সমস্যা) ।এন পি এল এলএসএ টিSATSATএন পিNP{\bf NP}এলLL অন্য কথায়, …

11 cc.complexity-theory  np-hardness  reductions 

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

11 cc.complexity-theory  approximation-algorithms  reductions 

প্যারামিট্রাইজড জটিলতায় লোকেরা ডব্লু [টি] -রুদ্ধি প্রমাণের জন্য স্থির-পরামিতি-ট্র্যাকটেবল (এফপিটি) হ্রাস ব্যবহার করে। তাত্ত্বিকভাবে একটি এফপিটি-হ্রাস কোনও বহু-কাল-হ্রাস নয়, যেহেতু এটি প্যারামিটারে দ্রুতগতিতে চলতে পারে। তবে বাস্তবে আমি যে সমস্ত এফপিটি-হ্রাস দেখেছি তা হ'ল পি-টাইম হ্রাস, যার অর্থ ডাব্লু [টি] - দৃs়তার প্রমাণ প্রায় সবসময় এনপি-সম্পূর্ণতার প্রমাণকে বোঝায়। আমি ভাবছি …

11 cc.complexity-theory  np-hardness  reductions  parameterized-complexity 

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

11 cc.complexity-theory  np-hardness  terminology  reductions 

এমন সমস্যা আছে যার গড় ক্ষেত্রে জটিলতা তাদের নিকৃষ্টতম জটিলতার সমান? এই সমস্যাগুলির অন্তর্নিহিত বৈশিষ্ট্যগুলি কী কী গড় ক্ষেত্রে সবচেয়ে খারাপ পরিস্থিতি হ্রাস করে তোলে?

11 cc.complexity-theory  reductions  average-case-complexity 

আমি ভাবছি যদি এনপিসি ক্লাসগুলি বহু-এক হ্রাস এবং ট্যুরিং হ্রাস দ্বারা নির্ধারিত হয় তবে এটি সমান হয়। সম্পাদনা: আরেকটি প্রশ্ন হলো, শুধুমাত্র কিছু সি জন্য C এবং সহ-সি শ্রেণীর ধ্বসে কমানোর টুরিং বা একটা ক্লাস হয় সেখানে একটা সমস্যা হয় না বিদ্যমান এমন সি ∪ গ ণ - সি Karp …

11 cc.complexity-theory  np-hardness  reductions 

মাহানির উপপাদ্য আমাদের বলে যে বহুবর্ষকালীন বহু-একক হ্রাসের আওতায় যদি একটি স্পার্স কমপ্লিট সেট থাকে তবে পি = এন পি । (" এনপি-র জন্য স্পারস সম্পূর্ণ সেট: বারম্যান এবং হার্টম্যানিসের অনুমানের সমাধান " দেখুন)এনপিএনপিNPপি= এনপিপি=এনপিP = NP অন্যান্য জটিলতার ক্লাসগুলির জন্য বিরল সম্পূর্ণ সেটগুলির অস্তিত্বের কি জানা ফলাফল রয়েছে? বিশেষত, …

10 cc.complexity-theory  complexity-classes  reductions  polynomial-time  logspace