প্রশ্ন ট্যাগ «cc.complexity-theory»

অনেক বিশেষজ্ঞ বিশ্বাস করেন যে অনুমানটি সত্য এবং তাদের ফলাফলগুলিতে এটি ব্যবহার করুন। আমার উদ্বেগ হ'ল জটিলতা দৃ strongly ়ভাবে P ≠ N P অনুমানের উপর নির্ভর করে ।P≠NPP≠NP\mathsf{P} \neq \mathsf{NP}P≠NPP≠NP\mathsf{P} \neq \mathsf{NP} সুতরাং আমার প্রশ্নটি হ'ল: যতক্ষণ না অনুমান প্রমাণিত না হয়, স্ট্রাসেনের উদ্ধৃতিতে ইঙ্গিত হিসাবে, কেউ কি এটিকে …

30 cc.complexity-theory  soft-question  big-picture  p-vs-np  physics 

ধরে নিলাম যে পি! = এনপি, আমি বিশ্বাস করি এটি দেখানো হয়েছে যে এমন সমস্যা আছে যা পি তে নেই এবং এনপি-কমপ্লিট নয়। গ্রাফ আইসোমর্ফিজম এমন একটি সমস্যা বলে অনুমান করা হয়। এনপিতে এরকম আরও 'স্তর' থাকার কোনও প্রমাণ আছে কি? অর্থাত্ পি থেকে শুরু করে এনপিতে সমাপ্তি ঘটে এমন …

30 cc.complexity-theory 

আমরা যদি ডিটিটাইমে হায়ারার্কি উপপাদ্যটি লক্ষ্য করি তবে একটি সর্বজনীন মেশিন দ্বারা একটি ডিস্ট্রিমেন্টিক ট্যুরিং মেশিনের সিমুলেশন ওভারহেডের কারণে আমরা একটি লগ পেয়েছি: DTIME(flogf)⊊DTIME(f)DTIME(flog⁡f)⊊DTIME(f)DTIME(\frac{f}{\log f}) \subsetneq DTIME(f) DSPACE এর এনটিটাইমের জন্য আমাদের এই জাতীয় ওভারহেড নেই। সিমুলেটরগুলির মধ্যে পার্থক্য বিবেচনা করে প্রমাণের বিবরণ থেকে একটি প্রাথমিক ন্যায়সঙ্গততা আসে। আমার প্রশ্নটি …

30 cc.complexity-theory  universal-computation  time-hierarchy 

যাক এন পি মধ্যে বোঝাতে একটি (সিদ্ধান্ত) সমস্যা ও দিন # এক্স বোঝাতে তার কাউন্টিং সংস্করণ।এক্সXXএক্সXX কোন অবস্থার অধীনে এটি জানা যায় যে "এক্স এনপি-সম্পূর্ণ" ⟹⟹\implies "# এক্স কি # পি-সম্পূর্ণ"? অবশ্যই একটি পার্সিমোনাসিয়াস হ্রাসের অস্তিত্ব যেমন একটি শর্ত, তবে এটি সুস্পষ্ট এবং একমাত্র এ জাতীয় শর্ত যা আমি সচেতন। …

29 cc.complexity-theory  np-hardness  counting-complexity 

ধরা যাক পি = এনপি সত্য। তাহলে কি কোয়ান্টাম কম্পিউটার তৈরির মতো কোনও বাস্তব সমস্যা দ্রুত সমাধানের জন্য ব্যবহারিক অ্যাপ্লিকেশন পাওয়া যাবে, বা পি = এনপি সত্য যে ভিত্তিতে এই জাতীয় কোনও উন্নতি অপ্রাসঙ্গিক হবে? আপনি কীভাবে দক্ষতার উন্নতি চিহ্নিত করতে পারবেন যা যদি এমন একটি কোয়ান্টাম কম্পিউটার তৈরি করা …

29 cc.complexity-theory  complexity-classes  quantum-computing 

ছিল দুই প্রশ্নের cs.se যেগুলি হয় এর সাথে সম্পর্কিত দেখেছিলেন অথবা নিচের প্রশ্নগুলোর একটি বিশেষ ক্ষেত্রে সমতুল্য ছিল সম্প্রতি জিজ্ঞেস করেন: ধরুন আপনার কাছে এর ক্রম রয়েছে যেমন দুই একাধিক বিন্যাসন, এর সমষ্টি সেটিকে পচা এবং , এর , যাতে । n ∑ n i = 1 a i = …

29 cc.complexity-theory  ds.algorithms  co.combinatorics  np-hardness  permutations 

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

29 cc.complexity-theory  p-vs-np  np-intermediate 

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

29 cc.complexity-theory  reductions  derandomization  unique-solution 

এটি অনুমান করা হয় যে যেহেতু কথোপকথনটি বোঝায় \ গণিত {পিএইচ} = \ সিগমা 2 । লাডনারের উপপাদ্যটি প্রতিষ্ঠিত করে যে যদি \ ম্যাথসফ} পি \ \ নে \ গণিত {এনপি} তবে } গণিত {এনপিআই}: = \ গণিত {এনপি} \ সেটমিনিস (\ গণিত {এনপিসি C কাপ \ গণিত {পি}) \ …

29 cc.complexity-theory  complexity-classes  advice-and-nonuniformity  p-vs-np  np-intermediate 

যাক fff একটি বুলিয়ান ফাংশন হতে হবে এবং এর থেকে একটি ফাংশন হিসাবে চ সম্পর্কে চিন্তা করি {−1,1}n{−1,1}n\{-1,1\}^n করতে {−1,1}{−1,1}\{ -1,1 \} । এই ভাষায় চ এর ফুরিয়ার সম্প্রসারণ হ'ল বর্গমুক্ত মনোমালিক্যের ক্ষেত্রে কেবল চ এর সম্প্রসারণ। (এই 2n2n2^n monomials রিয়েল ফাংশন স্থান করার জন্য একটি ভিত্তি গঠন {−1,1}n{−1,1}n\{-1,1\}^n । …

29 cc.complexity-theory  lower-bounds  circuit-complexity  boolean-functions  fourier-analysis 

এক বাক্যে: জন্য একটি শ্রেণিবিন্যাসের অস্তিত্ব কোনও ড্রেন্ডমাইজেশন ফলাফলকে বোঝাবে?BPTIMEBPTIME\mathsf{BPTIME} একটি সম্পর্কিত তবে অস্পষ্ট প্রশ্ন: জন্য একটি শ্রেণিবিন্যাসের অস্তিত্ব কি কোনও নিম্ন নিম্ন বোঝায়? জটিলতার তত্ত্বে এই সমস্যার সমাধানটি কোনও পরিচিত বাধার বিরুদ্ধে আঘাত করে?BPTIMEBPTIME\mathsf{BPTIME} এই প্রশ্নের জন্য আমার প্রেরণা আপেক্ষিক অসুবিধা একটি অনুক্রমের দেখানো (জটিলতা তত্ত্ব অন্যান্য প্রধান খোলা …

29 cc.complexity-theory  randomness  derandomization  time-hierarchy 

গ্রাফ আইসোমরফিজম (জিআই) এনপিতে রয়েছে তা সহজেই দেখা যায় । জিআই কোএনপিতে নেই কিনা এটি একটি বড় উন্মুক্ত সমস্যা। জিআইএফের কোএনপি শংসাপত্র হিসাবে ব্যবহার করা যেতে পারে এমন কোনও গ্রাফের বৈশিষ্ট্যের সম্ভাব্য প্রার্থী কি রয়েছে? কোনও অনুমান যা বোঝায় ? কিছু প্রভাব কি কি জি আমি ∈ গ ণ এন …

29 cc.complexity-theory  graph-isomorphism 

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

29 cc.complexity-theory  reference-request  co.combinatorics  polynomials 

রায়ান উইলিয়ামসের সাম্প্রতিক ব্রেকথ্রু সার্কিট জটিলতা নিম্ন-সীমাবদ্ধ ফলাফল একটি প্রুফ কৌশল সরবরাহ করে যা জটিলতা নিম্ন-সীমা প্রমাণ করার জন্য উপরের-বাউন্ড ফলাফল ব্যবহার করে। সুরেশ ভেঙ্কট এই প্রশ্নের জবাবে বলেছিলেন, তাত্ত্বিক কম্পিউটার বিজ্ঞানে কি কোনও পাল্টা-স্বজ্ঞাত ফলাফল রয়েছে? , উপরের সীমানা প্রমাণ করে নিম্ন-সীমা স্থাপনের দুটি উদাহরণ সরবরাহ করেছেন। জটিলতা নিম্ন-সীমাগুলি …

29 cc.complexity-theory  lower-bounds 

আমরা জানি যে (দেখুন, উদাহরণস্বরূপ, [1] এর 1 এবং 3 এর উপপাদ্য), মোটামুটিভাবে উপযুক্ত অবস্থার অধীনে, বহু কার্যকালে টুরিং মেশিন দ্বারা দক্ষতার সাথে গণনা করা যেতে পারে এমন ফাংশনগুলি ("দক্ষতার সাথে গণনাযোগ্য") বহুবর্ষীয় নিউরাল নেটওয়ার্ক দ্বারা প্রকাশ করা যেতে পারে যুক্তিসঙ্গত আকারের সাথে, এবং সুতরাং কোনও ইনপুট বিতরণের অধীনে বহুপদী …

28 cc.complexity-theory  np-hardness  machine-learning  turing-machines  lg.learning