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

গবেষকরা দেখিয়েছেন যে মুছা বিটটি শক্তি গ্রহণ করতে হবে, এখন গণনা সংক্রান্ত জটিলতা দিয়ে অ্যালগরিদমের শক্তির গড় খরচ সম্পর্কে কোনও গবেষণা হয়েছে ? আমার অনুমান, গণনার জটিলতা এফ ( এন ) শক্তির গড় ব্যয়ের সাথে সম্পর্কিত, আশা করি আমি এখানে কিছু উত্তর পেতে পারি।F(n)F(n)F(n)F(n)F(n)F(n)

12 cc.complexity-theory  reference-request  it.information-theory  quantum-information  statistical-physics 

সাম্প্রতিক উদ্ভাবনের সালে https://arxiv.org/abs/1801.00776 , এটা যে দাবি করা হয় বাস্তব সংখ্যার সময় সাজানো যাবে হে ( ঢ √nnn এবং লিনিয়ার স্পেস। কাগজটি যুক্তিসঙ্গত বলে মনে হচ্ছে, যদিও আমি অ্যালগরিদমগুলি বাছাইয়ে বিশেষজ্ঞ নই।O(nlogn−−−−√),O(nlog⁡n),O(n \sqrt{\log n}), যদি সঠিক হয় তবে এটি তাত্পর্যপূর্ণ হবে, আমি বিশ্বাস করি, অন্তত তাত্ত্বিকভাবে। মূল যুক্তির উপস্থাপনাটি …

12 cc.complexity-theory  ds.algorithms  sorting 

সময়ের শ্রেণিবিন্যাসের উপপাদ্যটিতে বলা হয়েছে যে ট্যুরিং মেশিনগুলি আরও বেশি সময় (পর্যাপ্ত) সময় পেলে আরও সমস্যার সমাধান করতে পারে। স্থানটি যদি অ্যাসিপোটোটিকভাবে সীমাবদ্ধ থাকে তবে এটি কোনওভাবে ধারণ করে? কেমন করে DTISP(g(n),O(s(n)))DTISP(g(n),O(s(n)))\textrm{DTISP}(g(n), O(s(n))) সঙ্গে সম্পর্কযুক্ত DTISP(f(n),O(s(n)))DTISP(f(n),O(s(n)))\textrm{DTISP}(f(n), O(s(n))) যদি fgfg\frac{f}{g} যথেষ্ট দ্রুত বৃদ্ধি পায়? আমি বিশেষত s(n)=ns(n)=ns(n) = n , g(n)=n3g(n)=n3g(n) …

12 cc.complexity-theory  complexity-classes  turing-machines  space-bounded  time-hierarchy 

ঘনত্ব একটি ভাষার একটি ফাংশন হিসাবে সংজ্ঞায়িত করা ধরুন এবং কিছু সসীম বর্ণমালা টিরও বেশি ভাষাতে হয়, অনেক কিছু এক logspace করার হ্রাস , আর নয় । কার্যাবলী হয় polynomially সম্পর্কিত যদি polynomials হয় এবং যেমন যে সব জন্য , এবংডি এক্স : এন → এন ডি এক্স ( এন …

12 cc.complexity-theory  reductions  structural-complexity 

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

12 cc.complexity-theory  circuit-complexity  sat  context-free 

যাক একটি (অ-একঘেয়েমি) এর নূন্যতম আকারের গাণিতিক বোঝাতে ( + + , × , - ) সার্কিট কম্পিউটিং একটি প্রদত্ত multilinear বহুপদী চ ( এক্স 1 , ... , x এর এন ) = Σ ই ∈ ই গ ই এন Π আমি = 1 x ই i iক ( …

12 cc.complexity-theory  circuit-complexity  lower-bounds  arithmetic-circuits 

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

12 cc.complexity-theory  randomized-algorithms  randomness 

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

12 cc.complexity-theory 

1979 সালে Hopcroft / Ullman লিখেছেন এল ⊆ পি ⊆ দ্বারা NP ⊆ PSpace পরিচিত হয় কিন্তু এল ⊊ PSpace শুধুমাত্র সঠিক (& তুচ্ছ) পরিচিত যদিও সব সঠিক containments হতে অনুমিত হয় সংবরণ, এবং "যেখানে কিছু স্থির" ~ 4 দশক পরে । তখন থেকে এল ⊊ পি, পি ⊊ পিএসস্পেস …

12 cc.complexity-theory  reference-request  lower-bounds  p-vs-np  conditional-results 

P/poly=NP/polyP/poly=NP/polyP/poly = NP/poly ইঙ্গিত করেNP⊆P/polyNP⊆P/polyNP \subseteq P/poly , যার ফলস্বরূপ বহুবর্ষীয় শ্রেণিবিন্যাসের পতনের মতো আকর্ষণীয় পরিণতি রয়েছে। জন্য আকর্ষণীয় প্রভাব সেখানে আছেন P/poly≠NP/polyP/poly≠NP/polyP/poly \neq NP/poly ?

12 cc.complexity-theory  conditional-results  advice-and-nonuniformity 

আমি বিভিন্ন সংখ্যা তাত্ত্বিক / বীজগণিত সমস্যার পরিচিত বা অজানা জটিলতা সম্পর্কে একটি তালিকা সন্ধান করছি। উদাহরণ স্বরূপ, জিসিডি খোলা আছে,এনসি1NC1NC^1 মধ্যে ফ্যাক্টরিং খোলা,পিPP কম্পিউটিং শেফ কোহমোলজিটি হল হার্ড# পি#P\#P , অরোরা এবং বারাক জানিয়েছেন যে ফ্যাক্টরিংয়ের একটি বৈকল্পিক হ'ল কমপ্লিট (যদিও এটি এনপি-সম্পূর্ণ ফ্যাক্টরিংয়ের বৈকল্পিকের আলোচনার ভিত্তিতে পরিষ্কার নয় …

12 cc.complexity-theory  big-list  algebra  open-problem 

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

12 cc.complexity-theory  circuit-complexity 

যাক সংবেদনশীলতা সঙ্গে একটি বুলিয়ান ফাংশন হবে এবং ব্লক সংবেদনশীলতা ।s ( f ) b s ( f )চffs ( চ)s(f)s(f)খ s ( চ)bs(f)bs(f) সংবেদনশীলতা-ব্লক সংবেদনশীলতা অনুমান অনুমান রাজ্যের নেই একটি যেমন যে ।∀ f , b s ( f ) ≤ s ( f ) গসি > 0c>0c>0∀ চ, …

12 cc.complexity-theory  big-picture  boolean-functions  survey 

পিএসপিএসি-র উইকিপিডিয়া পৃষ্ঠায় উল্লেখ করা হয়েছে যে অন্তর্ভুক্তি কঠোর হিসাবে পরিচিত নয় (দুর্ভাগ্যবশত উল্লেখ ছাড়াই)।এনএল ⊂ পিএইচNL⊂PHNL\subset PH প্রশ্ন 1: এবং এল ⊂ পি # পি সম্পর্কে কী - এগুলি কঠোর হিসাবে পরিচিত?এল ⊂ পিএইচL⊂PHL\subset PHএল ⊂ পি# পিL⊂P#PL\subset P^{\#P} প্রশ্ন 2: যদি না হয় তবে সেখানে একটি প্রতিষ্ঠিত শ্রেণি …

12 cc.complexity-theory  complexity-classes  logspace 

ইনপুট একটি মহাবিশ্ব এবং সাব-সেট নির্বাচন একটি পরিবার , বলো, । আমরা ধরে নিই যে সাবসেটগুলি , অর্থাৎ, cover ।U F ⊆ 2 U F U ⋃ E ∈ F E = UUUUUUUF⊆2UF⊆2U{\cal F} \subseteq 2^UFF{\cal F}UUU⋃E∈FE=U⋃E∈FE=U\bigcup_{E\in {\cal F}}E=U একটি ইনক্রিমেন্টাল কভারিং সিক্যুয়েন্সটি উপগ্রহের ক্রম , বলুন, , যা সন্তুষ্টএ …

12 cc.complexity-theory  ds.algorithms  approximation-algorithms  optimization  set-cover