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

এখানে লক্ষ্যটি হ'ল স্বল্পসংখ্যক ক্লজ এবং ভেরিয়েবলের সংখ্যার সাহায্যে বহুবিবাহের সময় একটি স্বেচ্ছাসেবক SAT সমস্যা হ্রাস করতে। আমার প্রশ্ন কৌতূহল দ্বারা অনুপ্রাণিত হয়। কম আনুষ্ঠানিকভাবে, আমি জানতে চাই: "স্যাট থেকে 3-স্যাট থেকে 'সবচেয়ে প্রাকৃতিক' হ্রাস কী?" আমি পাঠ্য বইয়ে সর্বদা যে হ্রাস দেখেছি তা এরকম কিছু হয়: প্রথমে আপনার স্যাট …

18 cc.complexity-theory  sat  reductions 

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

17 cc.complexity-theory  np-hardness  reductions 

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

16 reference-request  np-hardness  reductions 

অথবা অন্য শব্দের সঙ্গে, আমরা আছে যে প্রতি ভাষার জন্য এবং বি , একটি ≤ পি বি বা বি ≤ পি একটি ?একজনএকজনAবিবিBক ≤পিবিএকজন≤পিবিA \leq_p Bখ ≤পিএকজনবি≤পিএকজনB \leq_p A

15 reductions  complexity 

আমি এই প্রশ্নটি 10 ​​দিন আগে এখানে সিএস স্ট্যাকেক্সচেঞ্জে জিজ্ঞাসা করেছি তবে আমার কোনও উত্তর নেই। একটি খুব বিখ্যাত কাগজে (নেটওয়ার্কিং সম্প্রদায়ের), ওয়াং এবং ক্রোক্রফ্ট কয়েকটি সংযোজক / গুণগত বাধাগুলির মধ্যে কয়েকটি পথের গণনার ফলাফলের কমপ্লিটনেস ফলাফল উপস্থাপন করে। প্রথম সমস্যাটি হ'ল:NPNP\mathsf{NP} একটি নির্দেশিত গ্রাফ এবং দুটি ওজন মেট্রিক ডাব্লু …

15 np-hardness  reductions 

আমি আশা করছিলাম যে কেউ কেউ আমাকে ব্যাখ্যা করতে সক্ষম হবেন কেন সাবসেট পণ্য সমস্যাটি হ'ল এনপি-হার্ড, যখন সাবসেটের সমষ্টি সমস্যা দুর্বলভাবে এনপি-হার্ড। সাবসেটের যোগফল: দেওয়া এবং , a মতো একটি উপসেট আছে কি ?X={x1,...,xn}X={x1,...,xn}X = \{x_1,...,x_n\}TTTX′X′X'∑i∈X′xi=T∑i∈X′xi=T\sum_{i\in X'}x_i = T সাবসেট প্রোডাক্ট: দেওয়া এবং , সেখানে কি X '} x_i …

15 cc.complexity-theory  np-hardness  reductions  subset-sum 

যেমনটি সবাই জানেন, গ্যারি এবং জনসনের বিখ্যাত বইটি (এবং আরও অনেকে) শাস্ত্রীয় সেটিংয়ে হ্রাস করার কৌশলটির জন্য একটি দুর্দান্ত রেফারেন্স সরবরাহ করে। প্যারামিটারাইজড অ্যালগরিদমে হ্রাস কৌশল সম্পর্কিত কোনও জরিপ বা বই রয়েছে, বলুন fpt হ্রাস?

15 cc.complexity-theory  reference-request  reductions  parameterized-complexity 

সমস্যা: প্রদত্ত একটি বুলিয়ান বর্তনী দ্বারা প্রতিনিধিত্ব, একটি এলোপাথারি উৎপন্ন এক্স ∈ { 0 , 1 } এন যেমন যে φ ( এক্স ) = 1 (অথবা আউটপুট ⊥ কোন ধরনের এক্স বিদ্যমান)। φ : { 0 , 1 }এন→ { 0 , 1 }φ:{0,1}এন→{0,1}\phi : \{0,1\}^n \to \{0,1\}এক্স ∈ …

14 np-hardness  counting-complexity  reductions 

যেমনটি সবাই জানে, আর্টের বহুপক্ষীয় সময়ে বহু-একক হ্রাসের জন্য স্যাট সম্পূর্ণ । এটি এখনও সম্পূর্ণNPNP\mathsf{NP} বহু-এক হ্রাস।AC0AC0\mathsf{AC^0} আমার প্রশ্নগুলি হ্রাস জন্য নূন্যতম প্রয়োজনীয় গভীরতা কি? আরও আনুষ্ঠানিকভাবে, অন্তত কি যেমন যে স্যাট হয় -hard wrt অনেকগুলি এক কমানোর?dddNPNP\mathsf{NP}AC0dACd0\mathsf{AC^0_d} এটা আমার কাছে মনে হচ্ছে যে যথেষ্ট হবে? কেউ কি রেফারেন্স জানেন?AC02AC20\mathsf{AC^0_2}

14 cc.complexity-theory  reference-request  np-hardness  circuit-complexity  reductions 

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

14 cc.complexity-theory  np-hardness  approximation-algorithms  reductions  subset-sum 

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

14 cc.complexity-theory  big-picture  reductions 

ল্যান্স ফোর্টনো সম্প্রতি দাবি করেছে যে L! = NP প্রমাণ করা পি! = এনপি প্রমাণ করার চেয়ে সহজ হওয়া উচিত : লোগারিদমিক স্থান থেকে এনপি পৃথক করুন। আমি 2001-এর পূর্ব-ব্লগের তির্যককরণ সম্পর্কিত জরিপে চারটি পন্থা দিয়েছি (যদিও বিভাগ 3) তবে কেউই প্যানড আউট করেনি। পি কে এনপি থেকে আলাদা করার …

13 cc.complexity-theory  reductions  relativization 

যখন আমরা প্রমাণ করতে চাই যে একটি হ'ল এন পি- কমপ্লিট, তখন স্ট্যান্ডার্ড পদ্ধতিটি হল একটি বহনদী সময়কে গণ্যযোগ্য এল-এর পরিচিত এন পি- কমপ্লিট সমস্যাটির এক-এক হ্রাস প্রদর্শন করা । এই প্রসঙ্গে আমাদের হ্রাসের চলমান সময়ের উপর একটি দৃ bound় বাঁধনের দরকার নেই। এটি যে কোনও বহুপদী বা আবদ্ধ হওয়ার …

13 cc.complexity-theory  reductions  np-complete 

নিম্নলিখিত সমস্ত কি একসাথে রাখা যাবে? মধ্যে অন্তর্ভুক্ত করা হয় এল গুলি + + 1 জন্য সব ধনাত্মক পূর্ণসংখ্যা গুলি ।এলগুলিLsL_sএলs + 1Ls+1L_{s+1}গুলিss সব সসীম শব্দের ভাষা { 0 , 1 } ।এল = ⋃গুলিএলগুলিL=⋃sLsL = \bigcup_s L_s{ 0 , 1 }{0,1}\{0,1\} কিছু জটিলতা ক্লাস হয় এবং জন্য হ্রাস উপযুক্ত …

13 cc.complexity-theory  complexity-classes  reductions 

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

13 np-hardness  reductions