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

উদাহরণস্বরূপ, টুরিং হ্রাস হ্রাসের পরিবর্তে এনপি-সম্পূর্ণতা সংজ্ঞায়িত করার জন্য কেন বেশিরভাগ লোকেরা একাধিক হ্রাস ব্যবহার পছন্দ করেন?

39 cc.complexity-theory  np-hardness  reductions 

বর্গমূল এর সমষ্টি সমস্যা, দুই সিকোয়েন্স দেওয়া জিজ্ঞেস এবং খ 1 , খ 2 , ... , খ এন , ধনাত্মক পূর্ণসংখ্যা কিনা সমষ্টি Σ আমি √একটি1, ক2, … , কএনa1,a2,…,ana_1, a_2, \dots, a_nখ1, খ2, … , খএনb1,b2,…,bnb_1, b_2, \dots, b_n কম, এর সমান, বা সমষ্টি তার চেয়ে অনেক বেশীΣআমি√∑iai−−√∑iai\sum_i …

37 ds.algorithms  big-list  reductions  computing-over-reals 

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

36 cc.complexity-theory  reductions  derandomization 

বীর-Vazirani উপপাদ্য বলে যে, যদি একটি স্যাট সূত্র ঠিক একটি পরিতৃপ্ত নিয়োগ আছে, এবং একটি unsatisfiable সূত্র মধ্যে পার্থক্য জন্য একটি বহুপদী সময় আলগোরিদিম (নির্ণায়ক বা এলোমেলোভাবে) - তারপর দ্বারা NP = আরপি । এই উপপাদ্যটি এলোমেলোভাবে হ্রাস অনুযায়ী অনন্য-স্যাট এনপি -হার্ড দ্বারা প্রমাণ করে প্রমাণিত হয় । প্লাজেবল ড্যারানডমাইজেশন …

29 cc.complexity-theory  reductions  derandomization  unique-solution 

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

28 cc.complexity-theory  cr.crypto-security  sat  reductions  factoring 

তে থাকা কোন ভাষার উদাহরণ আছে NPNPNP, তবে আমরা এই ভাষায় সদস্যপদ পাওয়ার জন্য একটি বহুপাক্ষিক সাক্ষী রয়েছে তা দেখিয়ে সরাসরি এই সত্যটি প্রমাণ করতে পারি না? পরিবর্তে, ভাষাটি তা এটিকে এন পি- তে অন্য একটি ভাষায় হ্রাস করে প্রমাণিত হবে , যেখানে উভয়ের লিঙ্কটি তুচ্ছ নয় এবং যত্ন সহকারে …

27 reductions  np 

কিছু এনপি-হার্ড সমস্যাগুলি যা সাধারণ গ্রাফগুলিতে ক্ষতিকারক হয় প্ল্যানার গ্রাফগুলিতে সূক্ষ্মভাবযুক্ত কারণ গাছের প্রস্থটি সর্বাধিক বর্গক্ষেত্র এবং সেগুলি গাছের প্রস্থে ক্ষতিকারক ।4.9|V(G)|−−−−−−√4.9|V(G)|4.9 \sqrt{|V(G)|} মূলত আমি আগ্রহী যদি প্ল্যানার স্যাট-এর জন্য সুপ এক্সফোনশিয়াল অ্যালগরিদম থাকে যা এনপি-সম্পূর্ণ। আসুন ভেরিয়েবলের একটি সিএনএফ সূত্র হতে হবে এবং ধারাটি ।ϕϕ\phixixix_iiiicicic_i ঘটনা গ্রাফ পি। এর …

26 graph-theory  sat  reductions 

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

24 graph-theory  counting-complexity  reductions  permanent 

ক্লিকুই থেকে কে-রঙে স্পষ্টভাবে হ্রাস পেয়েছে কারণ তারা উভয়ই এনপি-সম্পূর্ণ। প্রকৃতপক্ষে, আমি ক্লিকিউ থেকে 3-এসএটি-তে 3-স্যাট থেকে কে-রঙে হ্রাস করে একটি হ্রাস রচনা করে একটি নির্মাণ করতে পারি। আমি যা ভাবছি তা হ'ল এই সমস্যাগুলির মধ্যে কোনও যুক্তিসঙ্গত সরাসরি হ্রাস আছে কিনা। বলুন, এমন একটি হ্রাস যা আমি কোনও বন্ধুকে …

23 cc.complexity-theory  graph-theory  np-hardness  reductions 

আপনারা কেউ কেউ এই প্রশ্নটি অনুসরণ করছেন , যা গবেষণা স্তর না হওয়ার কারণে বন্ধ ছিল। সুতরাং, আমি প্রশ্নের অংশটি বের করছি যা গবেষণা পর্যায়ে is "সরল" কৌশলগুলি ছাড়াই যেমন বাছাই বা হ'ল এক্সপটাইম-সম্পূর্ণ সমস্যা হ্রাস, কোনও সমস্যার সময় জটিলতার জন্য নিম্ন সীমা প্রমাণ করার জন্য কোন কৌশলগুলি ব্যবহার করা …

23 cc.complexity-theory  reference-request  fl.formal-languages  time-complexity  reductions 

কাগজে "SATISFIABILITY সমস্যার জটিলতার" টমাস জে স্কেফের দ্বারা, লেখক উল্লেখ করেছেন যে This raises the intriguing possibility of computer-assisted NP-completeness proofs. Once the researcher has established the basic framework for simulating conjunctions of clauses, the relational complexity could be explored with the help of a computer. The computer would be …

22 cc.complexity-theory  reference-request  soft-question  reductions  proof-assistants 

এই প্রশ্নটি বাইনারি সংখ্যার সাধারণ গুণন এবং বহুভুজের গুণা মোড ২ এর মধ্যে সম্পর্ক সম্পর্কে the প্রশ্নটি কংক্রিট করার জন্য, আমি আদর্শভাবে নূথ খণ্ডের প্রশ্নের আরও ভাল সমাধান আছে কিনা তা জানতে চাই। 2, তৃতীয় সংস্করণ, পৃষ্ঠা 420 বইয়ের দেওয়া থেকে। "গুণগুণগুলি কম্পিউটারের শব্দের মধ্যে প্যাক করা থাকলে, বাইনারি কম্পিউটারে …

22 ds.algorithms  reductions  time-complexity 

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

22 ds.algorithms  np-hardness  big-list  reductions 

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

20 cc.complexity-theory  np-hardness  big-list  randomness  reductions 

ইউএসটিসিএনএন হ'ল সমস্যাটি যার জন্য গ্রাফ তে উত্স ভারটেক্স থেকে টার্গেট ভারটেক্স পর্যন্ত কোনও পথ রয়েছে কিনা তা সিদ্ধান্ত নেওয়া দরকার , যেখানে এগুলি সমস্তই ইনপুটটির অংশ হিসাবে দেওয়া হয়।ssstttGGG ওমর রিইনগোল্ড দেখিয়েছেন যে ইউএসটিসিএনএন এল (ডোই: 10.1145 / 1391289.1391291 ) এ রয়েছে। প্রমাণটি জিগ-জ্যাগ পণ্যটির মাধ্যমে একটি ধ্রুবক-ডিগ্রি প্রসারণকারী …

19 cc.complexity-theory  lower-bounds  reductions  space-bounded