তাত্ত্বিক কম্পিউটার বিজ্ঞান

গবেষণাকালে নিম্নলিখিত সমস্যাটি উপস্থিত হয়েছিল এবং এটি আশ্চর্যরকমভাবে পরিষ্কার: আপনার মুদ্রার উত্স আছে। প্রতিটি মুদ্রার একটি পক্ষপাত রয়েছে, সম্ভবত এটি সম্ভবত "মাথার" উপর পড়ে। প্রতিটি মুদ্রার জন্য স্বাধীনভাবে সম্ভাবনা 2/3 রয়েছে যে এটির কমপক্ষে 0.9 পক্ষপাত রয়েছে এবং বাকী সম্ভাবনার সাথে তার পক্ষপাতটি [0,1] এ যে কোনও সংখ্যা হতে পারে। …

29 ds.algorithms  pr.probability 

ধ্রুপদী অ্যালগরিদমগুলি টাইমে (এলোমেলোভাবে) বা 1.3303 এন টাইমে ( ডিটারনিস্টিক ) 3-স্যাট সমাধান করতে পারে । (তথ্যসূত্র: স্যাট উপরের সর্বোপরি সীমা )1.3071n1.3071n1.3071^n1.3303n1.3303n1.3303^n তুলনা করার জন্য, কোয়ান্টাম কম্পিউটারে গ্রোভারের অ্যালগরিদম ব্যবহার করা এলোমেলোভাবে in এ সন্ধান করবে এবং এর সমাধান সরবরাহ করবে । (এটির জন্য এখনও কতগুলি সমাধান হতে পারে বা …

29 quantum-computing  sat  exp-time-algorithms 

যাক এন পি মধ্যে বোঝাতে একটি (সিদ্ধান্ত) সমস্যা ও দিন # এক্স বোঝাতে তার কাউন্টিং সংস্করণ।এক্স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 

একটি স্ট্রিংয়ের থাকে তবে সেগুলি সাধারণত সমস্ত আলাদা হয় না। কোন উপসরের সর্বোচ্চ ফ্রিকোয়েন্সি সন্ধানের জটিলতা কী?2n2n2^n উদাহরণস্বরূপ, স্ট্রিং "সাবকোয়েন্স "টিতে উপসর্গ" মামলা "এর 7 টি অনুলিপি রয়েছে এবং এটি সর্বাধিক। Http://ideone.com / UItt এ ব্রুট-ফোর্স কোডের নমুনা সম্পর্কিত কাঠামোগত উপপাদ্য আছে? এই দুটিই মিথ্যা প্রমাণিত : সর্বাধিক-ফ্রিকোয়েন্সি সাবকোয়েন্সগুলির দীর্ঘতমটি …

29 ds.algorithms  string-search 

এমন কোন (কার্যকরী?) প্রোগ্রামিং ভাষা রয়েছে যেখানে সমস্ত ফাংশনগুলির একটি প্রচলিত ফর্ম রয়েছে? এটি হ'ল যে কোনও দুটি ফাংশন যা সমস্ত সেট ইনপুটগুলির জন্য একই মানগুলি প্রত্যাবর্তন করে একই উপায়ে উপস্থাপন করা হয়, যেমন f (x) x + 1 এবং g (x) x + 2 ফিরে আসে তবে f (f …

29 computability  pl.programming-languages  functional-programming  function 

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

29 cc.complexity-theory  reductions  derandomization  unique-solution 

এটি পরিচিত যে অ্যালগোরিদমগুলির একটি গণনাযোগ্য সেট (একটি গডেল সংখ্যা দ্বারা চিহ্নিত) সহ আমরা এন এর সমস্ত উপগঠন গণনা করতে পারি না (বাইনারি অ্যালগরিদম তৈরি করতে পারি যা চেক সম্পর্কিত) একটি প্রমাণকে সংক্ষেপে বলা যেতে পারে: আমরা যদি পারতাম তবে এন এর সমস্ত উপসর্গের সেট গণনাযোগ্য হবে (আমরা প্রতিটি উপসেটকে …

29 computability  halting-problem 

এটি অনুমান করা হয় যে যেহেতু কথোপকথনটি বোঝায় \ গণিত {পিএইচ} = \ সিগমা 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