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

f,gf,gf,gf(n)logf(n)=o(g(n))f(n)log⁡f(n)=o(g(n))f(n) \log f(n) = o(g(n))DTIME(f(n))⊊DTIME(g(n))DTIME(f(n))⊊DTIME(g(n)) DTIME(f(n)) \subsetneq DTIME(g(n))f,gf,gf,gf(n+1)=o(g(n))f(n+1)=o(g(n))f(n+1)=o(g(n))এটি NTIME(f(n))⊊NTIME(g(n)).NTIME(f(n))⊊NTIME(g(n)). NTIME(f(n)) \subsetneq NTIME(g(n)). অনেকগুলি (পুরানো এবং বর্তমান) ফলাফল রয়েছে যা নিম্ন সীমানা প্রমাণ করার জন্য সময়ক্রমক্রমের তত্ত্বগুলি ব্যবহার করে। আমার প্রশ্নগুলি এখানে: আমরা যদি ডিস্ট্রিমেন্টিক বা ননডেটেরিস্টেমিক কেসের জন্য আরও ভাল ফলাফল প্রমাণ করতে পারি তবে কী হবে? যদি আমরা প্রমাণ …

10 cc.complexity-theory  lower-bounds  big-picture  time-complexity  time-hierarchy 

আমি খুব আকর্ষণীয় এবং এখনও খোলা প্রশ্ন দিয়ে খেলছি " একক টেপ টুরিং মেশিনের বর্ণমালা " (ইমানুয়েল ভায়োলা দ্বারা) এবং নিম্নলিখিত ভাষাটি নিয়ে এসেছি: এল = { x এর ∈ { 0 , 1 }এন st | এক্স | = এন = 2মি এবং সি ও ইউ এন টি 1 …

10 cc.complexity-theory  turing-machines  time-complexity 

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

10 cc.complexity-theory  interactive-proofs  zero-knowledge 

একটি বুলিয়ান বর্তনী দেওয়া তে এন ভেরিয়েবল (যা শুধু ব্যবহার করে এবং এবং বা দরজা), সবচেয়ে কার্যকর উপায় বুলিয়ান সূত্র বের করে আনতে বর্তনী দ্বারা প্রতিনিধিত্ব কি? এই সমস্যার জন্য একটি পলটাইম অ্যালগরিদম আছে?সিCCএনnn

10 cc.complexity-theory  time-complexity  boolean-functions 

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

10 cc.complexity-theory  complexity-classes  descriptive-complexity  separation 

রেজোলিউশন হ'ল সিএনএফ-এর অসন্তুষ্টি প্রমাণ করার একটি পরিকল্পনা। রেজুলেশনের একটি প্রমাণ হ'ল সিএনএফের প্রাথমিক দফার জন্য খালি ধারাটির যৌক্তিক ছাড়। বিশেষ করে কোনো প্রাথমিক দফা অনুমিত হতে পারে, এবং দুই ক্লজ থেকে এবং বি ∨ ¬ এক্স দফা একজন ∨ বি পাশাপাশি অনুমিত করা যেতে পারে। খণ্ডন হ'ল ছাড়ের অনুক্রম …

10 cc.complexity-theory  lo.logic  proof-complexity  proof-search 

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

10 cc.complexity-theory  big-picture 

পটভূমি সার্কিট জটিলতা সীমাহীন গভীরতা এবং বহুবর্ষীয় আকারের সীমাহীন ফ্যান-ইন এবং, এবং, এবং নয় ব্যবহার করে নির্মিত সার্কিট পরিবারগুলির সেট হিসাবে (যেমন সার্কিটের ক্রমগুলি, প্রতিটি ইনপুট আকারের জন্য একটি) asএ সি0একজনসি0AC^0 প্যারিটি ফাংশন n এন- বিট ইনপুট সহ অপ্লাস ইনপুটটিতে বিটের XOR এর সমান।⊕⊕\oplusএনএনn সার্কিট জটিলতায় প্রমাণিত প্রথম সার্কিট লোয়ারবাউন্ডগুলির …

10 cc.complexity-theory  circuit-complexity  physics  bounded-depth 

জটিলতা এবং গণনীয়তার "আকর্ষণীয়" শ্রেণিবদ্ধগুলির মধ্যে একটির মধ্যে একরকম পরিবর্তিত এবং বিস্তৃত এমন একটি সংস্থার কথা কি কেউ জানেন? আকর্ষণীয় দ্বারা, আমি বোঝাতে চাইছি, উদাহরণস্বরূপ, বহুভৌত শ্রেণিবিন্যাস, পাটিগণিত শ্রেণিবিন্যাস, বা বিশ্লেষণীক্রমিক স্তরবিন্যাস। অথবা হতে পারে (এন) পি, (এন) এক্সপি, 2 (এন) এক্সপি,......\ldots আরও দৃ concrete়তার সাথে: আপনি সমস্যাগুলির একটি সমান …

10 cc.complexity-theory  computability 

যাক π: { 0 , 1 }*→ { 0 , 1 }*π:{0,1}*→{0,1}*\pi \colon \{0,1\}^* \to \{0,1\}^* একটি বিন্যাস করা। নোট করুন যে while যখন অসীম ডোমেনে কাজ করে তবে এর বিবরণ সীমাবদ্ধ হতে পারে। বিবরণ দ্বারা , আমি একটি প্রোগ্রাম যা that এর কার্যকারিতা বর্ণনা করে mean (যেমন কলমোগোরভ জটিলতায়)) …

10 cc.complexity-theory  co.combinatorics  cr.crypto-security  descriptive-complexity  one-way-function 

Hiroimono একটি জনপ্রিয় কমপ্লিট ধাঁধা। আমি সম্পর্কিত ধাঁধার গণ্য জটিলতায় আগ্রহী।NPএনপিNP সমস্যা হল: ইনপুট : একটি x স্কোয়ার গ্রিড এবং পূর্ণসংখ্যা পয়েন্টগুলির একটি সেট দেওয়াnএনnnএনnkটk প্রশ্ন : বহুভুজ কোণে পয়েন্ট সংখ্যা কমপক্ষে হয় এমন একটি পুনর্গঠন বহুভুজ (এর পক্ষগুলি বা এক্সিস সমান্তরাল ) আছে ?xএক্সxyYykটk বহুভুজের প্রতিটি কোণ অবশ্যই ইনপুট …

10 cc.complexity-theory  np-hardness  puzzles  integer-lattice 

আমার প্রশ্নটিতে মনোোটোন -2 সিএনএফ সূত্রের গণনা সমাধানের আগের প্রশ্নটিতে অ্যান্ড্রেস সালামন এবং কলিন ম্যাককিলার অবদানগুলি পড়ে আমার মনে এই প্রশ্নটি জাগে । সম্পাদনা 30 তম মার্চ 2011 যোগ করা হয়েছে প্রশ্ন এন ° 2. সম্পাদনা 29 তম অক্টোবর 2010 প্রশ্নটি ধারণা মাধ্যমে এটি ডিক্রী András প্রস্তাব পর পুনরায় তৈরি …

10 cc.complexity-theory  ds.algorithms  sat  counting-complexity 

গ্রাফ অটোমোরফিজম গ্রাফ নোডের একটি ক্রমশক্তি যা প্রান্ত সেট তে একটি বাইজেকশন প্ররোচিত করে । আনুষ্ঠানিকভাবে, এটা একটা বিন্যাস হয় নোড যেমন ifff ( u , v ) ∈ E ( f ( u ) , f ( v ) ) ∈ EEEEfff(u,v)∈E(u,v)∈E(u,v)\in E(f(u),f(v))∈E(f(u),f(v))∈E(f(u),f(v))\in E কিছু অনুক্রমের জন্য একটি লঙ্ঘিত …

10 cc.complexity-theory  graph-theory  automorphism  symmetry 

সোডা ২০০ 2006-এ, মার্টিন গ্রোহ এবং ডি- নিল মার্ক্সের কাগজটি "ভগ্নাংশের প্রান্তের মাধ্যমে সীমাবদ্ধতা সমাধান" ( এসিএম উদ্ধৃতি ) দেখিয়েছে যে সীমানা ভগ্নাংশ হাইপারট্রি প্রস্থ সহ হাইপারগ্রাফ এইচ শ্রেণীর জন্য , সিএসপি ( এইচ ) \ ইন PTIME ।a´a´\acute{\rm a}HHHHHH∈PTIME∈PTIME\in PTIME সংজ্ঞা ইত্যাদি স্ট্যান্ডার্ড গাছের পচন এবং গাছের প্রশস্ততার দুর্দান্ত …

10 cc.complexity-theory  graph-theory  hypergraphs  treewidth  csp 

আমি র্যান্ডম কে-স্যাট, প্রদত্ত এন ভেরিয়েবল এবং এম ক্লোজের জন্য পর্ব স্থানান্তরের বর্তমান অবস্থা জানতে চাই, উপরের এবং নিম্ন সীমাগুলির জন্য সর্বাধিক পরিচিত সি = মি / এন কী।

10 cc.complexity-theory  sat  lower-bounds  upper-bounds  phase-transition