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

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

14 cc.complexity-theory  reference-request  soft-question  big-picture 

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

14 cc.complexity-theory  np-hardness 

যদি স্যাটের সর্বাধিক সুস্পষ্টতীয় আনসট প্রমান বা আরও দৃ strongly়তার সাথে, স্যাটটির সুব্যাক্সোনশিয়াল-টাইম অ্যালগরিদম থাকে তবে তার কোনও বড় পরিণতি হবে?

14 cc.complexity-theory  sat  proof-complexity 

প্রদত্ত সসীম একটি যন্ত্রমানব এবং থ্রেশহোল্ড (নির্ণায়ক বা nondeterministic, আমি এই অনেক গুরুত্ব রয়েছে তা মনে করি না) এন , একটি একটি শব্দ সর্বাধিক ধারণকারী গ্রহণ করেন এন স্বতন্ত্র অক্ষর? ( কে দ্বারা আলাদা আলাদা অক্ষরের অর্থ আমি আব্বার দুটি পৃথক বর্ণ রয়েছে, ক এবং খ ।) আমি এই সমস্যাটিকে …

13 cc.complexity-theory  np-hardness  automata-theory 

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

13 cc.complexity-theory  lo.logic 

এডলম্যান 1978 সালে দেখা গেছে যে : একটি বুলিয়ান ফাংশন যদি এর ভেরিয়েবল আকারের একটি সম্ভাব্য বুলিয়ান বর্তনী দ্বারা নির্ণিত করা যেতে পারে , তারপর একটি নির্ণায়ক দ্বারা নির্ণিত করা যেতে পারে এবং মধ্যে আকারের বহুবর্ষের বুলিয়ান সার্কিট ; আসলে, আকারের । BPP⊆P/polyBPP⊆P/poly\mathrm{BPP}\subseteq \mathrm{P/poly}fffnnnMMMfffMMMnnnO(nM)O(nM)O(nM) সাধারণ প্রশ্ন: other অন্য কোন (বুলিয়ান …

13 cc.complexity-theory  circuit-complexity  randomized-algorithms  derandomization  arithmetic-circuits 

আমি খুজছি: মাইকেল ও রবিন, "ফাংশন গণনা করতে অসুবিধার ডিগ্রি এবং পুনরাবৃত্ত সেটগুলির আংশিক ক্রম", হিব্রু বিশ্ববিদ্যালয়, জেরুসালেম, ১৯60০ সারসংক্ষেপ: “আমরা প্রদত্ত গণনাযোগ্য (পুনরাবৃত্ত) ফাংশন গণনা করার কাজে অন্তর্নিহিত কাজের পরিমাণ পরিমাপ করার চেষ্টা করি। কম্পিউটিংয়ের ডিগ্রি অসুবিধার একটি ধারণা চালু এবং অধ্যয়ন করা হয়। ধারণাটি এই অর্থে অবিচ্ছিন্ন যে …

13 cc.complexity-theory  reference-request  ho.history-overview 

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

13 cc.complexity-theory  reductions  relativization 

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

13 cc.complexity-theory  reductions  np-complete 

সমস্যা যেখানে আমরা ইনপুট হিসাবে দেওয়া হয় বিবেচনা করুন একটি acyclic নির্দেশ গ্রাফ , একটি লেবেল ফাংশন λ থেকে ভী কিছু সেটে এল মোট অর্ডার দিয়ে < এল (যেমন, ইন্টিজার), এবং যেখানে আমরা করতে বলা হয় গনা lexicographically ক্ষুদ্রতম এর টপোলজিকাল সাজানোর জি পরিপ্রেক্ষিতে λ । আরো সঠিকভাবে, একটি টপোলজিকাল …

13 cc.complexity-theory  np-hardness  sorting  directed-acyclic-graph  order-theory 

বহুগুণীয় আকারের বুলিয়ান সার্কিটের একটি পরিবার দ্বারা পি / পলি হ'ল সিদ্ধান্ত সমস্যার শ্রেণি। এটি বিকল্পভাবে বহুপাক্ষিক-সময় টুরিং মেশিন হিসাবে সংজ্ঞায়িত করা যেতে পারে যা একটি পরামর্শের স্ট্রিং লাভ করে যা আকারে বহুভুজ এবং এটি সম্পূর্ণ n এর আকারের উপর ভিত্তি করে। বহুগুণীয় আকারের একঘেয়ে বুলিয়ান সার্কিটের পরিবার দ্বারা এমপি …

13 cc.complexity-theory  complexity-classes  circuit-complexity  polynomial-time  monotone 

কিছু দ্বিতীয় ক্ষুদ্রতম সম্পর্কে পরিচিত হয় - টি -cut একটা প্রবাহ নেটওয়ার্কের মধ্যে? বা আরও সাধারণভাবে এই সমস্যাটি সম্পর্কে:sssttt ইনপুট: একটি নেটওয়ার্ক এবং একটি সংখ্যা কে , সমস্ত বাইনারি। আউটপুট: এ কে থ্রি ক্ষুদ্রতম এস - টি কাটা।NNNkkkkkksssttt একটি মতম ক্ষুদ্রতম এস - টি কাটা ( এস , টি ) …

13 cc.complexity-theory  optimization  max-flow-min-cut  flow-problems 

একদল দেওয়া উপর একাধিক বিন্যাসন [ এন ] = { 1 , ⋯ , এন } এবং দুটি ভেক্টর তোমার দর্শন লগ করা , বনাম ∈ Γ এন যেখানে Γ একটি নির্দিষ্ট বর্ণমালা যা এখানে বেশ প্রাসঙ্গিক নয়, প্রশ্ন কিছু অস্তিত্ব আছে কিনা তা ব্যবহারকারীকে পাইয়ের মান ∈ জি যেমন …

13 cc.complexity-theory  graph-isomorphism  permutations 

ভিডিওটি নিমবলার এবং সাপের জটিলতায় একটি ছোট পোস্ট লেখার সময় ; আমি দেখেছি যে তারা উভয়ই প্ল্যানার গ্রাফগুলিতে পুনর্গঠন সমস্যা হিসাবে মডেল করা যেতে পারে; এবং এটি অসম্ভব বলে মনে হয় যে এই জাতীয় সমস্যাগুলি গতি পরিকল্পনা অঞ্চলে ভালভাবে অধ্যয়ন করা হয়নি (উদাহরণস্বরূপ লিঙ্কযুক্ত গাড়ি বা রোবটের একটি শৃঙ্খল কল্পনা …

13 cc.complexity-theory  reference-request  np-hardness  planar-graphs 

-hierarchy জটিলতা ক্লাস একটি অনুক্রমের হয় স্থিতিমাপ জটিলতা মধ্যে দেখতে জটিলতা চিড়িয়াখানা সংজ্ঞা। একটি বিকল্প সংজ্ঞা প্রথম অর্ডার যুক্তির ফর্মুলাগুলির জন্য ফাগিন সংজ্ঞা ব্যবহার করে ফ্লুম এবং গ্রোহের পাঠ্যপুস্তকটি সংজ্ঞায়িত করে ।ডব্লু [ টি ] ডব্লু [ টি ] Π টিWW\mathsf{W}W[t]W[t]\mathsf{W}[t]W[t]W[t]\mathsf{W}[t]ΠtΠt\Pi_t সর্বনিম্ন শ্রেণীর জন্য এবং অনেক প্রাকৃতিক সম্পূর্ণ সমস্যার পরিচিত, …

13 cc.complexity-theory  parameterized-complexity