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

ওজন একটি বাইনারি স্ট্রিং এক্স ∈ { 0 , 1 } এন স্ট্রিং বেশী সংখ্যা। আমরা যদি কিছু লোকের সাথে ইনপুটগুলিতে মনোটোন ফাংশন গণনা করতে আগ্রহী হয় তবে কী হবে?|x||x||x|x∈{0,1}nx∈{0,1}nx\in\{0,1\}^n আমরা জানি যে গ্রাফের ক্লিক রয়েছে কিনা তা নির্ধারণ করা মনোোটোন সার্কিটগুলির জন্য শক্ত (অন্যদের মধ্যে দেখুন অ্যালন বোপ্পানা, 1987), …

12 cc.complexity-theory  lower-bounds  circuit-complexity  parameterized-complexity  monotone 

যেমনটি সুপরিচিত, এনপি-হার্ড অপ্টিমাইজেশান সমস্যাগুলির মধ্যে বিভিন্ন প্রকারের অনুমানের অনুপাত থাকতে পারে, পিটিএএস থাকা থেকে শুরু করে কোনও কারণের মধ্যে সীমাবদ্ধ না হওয়া পর্যন্ত। এর মধ্যে, আমাদের বিভিন্ন ধ্রুবক রয়েছে, , ইত্যাদিপি ও এল ওয়াই ( এন )O(logn)O(log⁡n)O(\log n)poly(n)poly(n)poly(n) সম্ভাব্য অনুপাতের সেট সম্পর্কে কী জানা যায়? আমরা কি কোনও ধরণের …

12 cc.complexity-theory  approximation-hardness 

গ্রেগ কুপারবার্গের জটিলতা প্রাণিবিদ্যায় বলা হয়েছে যে এখানে একটি ভাষা রয়েছে যা - অন্য কথায়, in গণিত \ বিপিপি ^ এক্স ^ nsub \ mathsf {P} ^ {\ mathsf {NP} ^ X} - তবে এই ফলাফলের জন্য কোনও রেফারেন্স দেয় না। কেন এই ধরে? বা কোথায় প্রমাণ পাওয়া যাবে?XXXBPPX⊈Δ2PXBPPX⊈Δ2PX\mathsf{BPP}^X \nsubseteq …

12 cc.complexity-theory  oracles  relativization  polynomial-hierarchy  separation 

নিম্ন সীমাটি প্রমাণ করতে আমরা কী স্ট্যান্ডার্ড সমস্যাগুলি হ্রাস করতে পারি ?Ω ( এন লগএন )Ω(nlog⁡n)\Omega(n\log n) অবশ্যই, সর্টিং এবং উপাদানগুলির স্বতন্ত্রতা ব্যতীত রাষ্ট্রীয় সমস্যাগুলি।

12 cc.complexity-theory  lower-bounds 

অনন্য SAT সুপরিচিত সমস্যা: একটি সিএনএফ সূত্র , এফের ঠিক একটি মডেল রয়েছে তা কি সত্য ?FFFFFF আমি « অবিকল এস্যাট» সমস্যাটিতে আগ্রহী: একটি সিএনএফ সূত্র এফ এবং একটি পূর্ণসংখ্যা মি > 1 দিয়েছি , এফ কি ঠিক মি মডেল রেখেছেন ?mmmFFFm>1m>1m>1FFFmmm উভয় সমস্যা একই দেখাচ্ছে। সুতরাং আমার প্রশ্নগুলি হ'ল: …

12 cc.complexity-theory  reference-request  np-hardness  sat  reductions 

হ'ল নট গেটস এবং আনবাউন্ডেড ফ্যান-ইন এবং ওআর গেটস সহ স্থির-গভীরতার বহুভুজ আকারের সার্কিটগুলির শ্রেণি, যেখানে ইনপুট এবং গেটগুলিও আনবাউন্ডেড ফ্যানআউট করে।এ সি0AC0AC^0 এখন একটি নতুন শ্রেণীর বিবেচনা করুন, এটিকে যা A C 0 এর মতো তবে যার জন্য ইনপুট এবং গেটগুলি সর্বাধিক O ( 1 ) এ ফ্যানআউট রয়েছে …

12 cc.complexity-theory  circuit-complexity 

সংখ্যার ক্রম দেওয়া , এটি তুলনা এবং অদলবদল / চালগুলি দিয়ে বাছাই করা যাবে? Matter নিম্ন দেখানো বিষয়গুলির উপর প্রকাশনা বা পাল্টে কোনও পয়েন্টার সহায়তা করবে।nnnO(nlnn)O(nln⁡n)O(n \ln n)O(n)O(n)O(n)Ω(nlnn)Ω(nln⁡n)\Omega(n \ln n)

12 cc.complexity-theory  ds.algorithms 

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

12 cc.complexity-theory  lo.logic  modal-logic 

নিম্নলিখিত সমস্যা বিবেচনা করুন, একটি সেট দেওয়া ধনাত্মক সংখ্যার আগে { একটি 1 , ... , একটি এন } যা ট ≥ 3 একটি ধ্রুবক, আমরা মধ্যে সেট পার্টিশন করতে চান মি আকারের সাব-সেট নির্বাচন ট যাতে প্রতিটি উপসেট এর সমষ্টি গুণফল সর্বাধিক হয়।n=kmn=kmn = k m{a1,…,an}{a1,…,an}\{ a_1, \dots, a_n …

12 cc.complexity-theory  np-hardness  application-of-theory  polynomial-time 

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

12 cc.complexity-theory  np-hardness  graph-algorithms 

এটি সর্বজনবিদিত যে সিএনএফ সূত্রগুলি মোটামুটি 2 বিস্তৃত শ্রেণিতে বিভক্ত করা যেতে পারে: এলোমেলো বনাম কাঠামোগত কাঠামোযুক্ত সিএনএফ সূত্রগুলি, এলোমেলো সিএনএফ সূত্রগুলির বিরোধিতা করে, কিছু প্রকারের ক্রম প্রদর্শন করে, এমন নিদর্শনগুলি দেখায় যা সম্ভাবনা দ্বারা ঘটতে পারে না। তবে, কেউ এমন কিছু কাঠামোযুক্ত সূত্রগুলি খুঁজে পেতে পারেন যা এলোমেলোতার কিছু …

12 cc.complexity-theory  sat  randomness  symmetry 

র্যান্ডম কে-স্যাট সংজ্ঞায়িত করার সময় আমাদের কাছে থাকতে পারে চারটি পৃথক বাধা। 1) প্রদত্ত অনুচ্ছেদে মোট আক্ষরিক সংখ্যা হ'ল কে বা এটি সর্বাধিক কে 2) প্রদত্ত আক্ষরিক একই দফা (এ বা এ বা এ) এর প্রতিস্থাপন ছাড়া বা ব্যবহার করা যেতে পারে 3) প্রদত্ত ভেরিয়েবলের সাথে বা ব্যবহার করা যেতে …

12 cc.complexity-theory  sat  randomness  phase-transition 

রাজবরোভ প্রমাণ করেছেন যে দ্বিপক্ষীয় গ্রাফের জন্য নিখুঁত মিলের ক্রিয়নের গণনা করা প্রতিটি মনোটোন সার্কিটের কমপক্ষে গেট থাকতে হবে (তিনি এটিকে "লজিকাল স্থায়ী" বলেছিলেন)। সেই একই সমস্যার জন্য আরও ভাল নিম্ন বাঁধাই কি প্রমাণিত হয়েছে? (বলুন 2 এন ϵ ?) যতদূর আমি মনে করি এই সমস্যাটি 1990 এর মাঝামাঝি সময়ে …

12 cc.complexity-theory  circuit-complexity  matching 

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

12 cc.complexity-theory  ds.algorithms  reference-request  linear-programming  optimization 

আমি এসপি জর্ডান, ডি গোসেটে পড়েছি, পি জে লাভের " স্টম্পাস্টিক হ্যামিলটোনিয়ানস এবং মার্কোভ ম্যাট্রিক্সের সমস্যাগুলিQMAQMAQMA " যে সম্ভাবনা কম ।QMA⊆AMQMA⊆AMQMA \subseteq AM আমি এই দাবি সম্পর্কে অবাক হয়েছিল। তাহলে এবং এ এম এর মধ্যে সঠিক সম্পর্কটি কী?QMAQMAQMAAMAMAM

12 cc.complexity-theory  complexity-classes  quantum-computing  interactive-proofs  qma