প্রশ্ন ট্যাগ «lower-bounds»

এটি আমার আগের প্রশ্নের অনুসরণ: এনপি-র প্রাকৃতিক সমস্যার জন্য সর্বাধিক পরিচিত ডিটারমিনিস্টিক টাইম জটিলতা কম আমি এটি বিস্ময়কর মনে করি যে আমরা যে কোনও আকর্ষণীয় এনপি সমস্যার জন্য লোকেদের যত্ন নিতে এবং এর জন্য আরও ভাল অ্যালগরিদম ডিজাইনের চেষ্টা করার জন্য কোনও চতুষ্কোণিক নির্বিচারকালীন সময়কে কম বেঁধে প্রমাণ করতে পারিনি। …

11 cc.complexity-theory  lower-bounds  big-picture  barriers 

আমি ভাবছিলাম যে নীচের সমস্যার জন্য পরিচিত কোনও নিম্ন সীমাবদ্ধ (নমুনা জটিলতার ক্ষেত্রে) ছিল: , পরীক্ষা (whp) তে দুটি অজানা বিতরণ , তে নমুনা ওরাকল অ্যাক্সেস দেওয়া হয়েছেD1D1D_1D2D2D_2{1,…,n}{1,…,n}\{1,\dots,n\} D1=D2D1=D2D_1=D_2 বাd2(D1,D2)=∥D1−D2∥2=∑ni=1(D1(i)−D2(i))2−−−−−−−−−−−−−−−−−−√≥ϵd2⁡(D1,D2)=‖D1−D2‖2=∑i=1n(D1(i)−D2(i))2≥ϵ\operatorname{d_2}(D_1,D_2)=\lVert D_1-D_2\rVert_2 = \sqrt{\sum_{i=1}^n\left(D_1(i)-D_2(i)\right)^2} \geq \epsilon বাতু ইত্যাদি। [বিএফআর +00] দেখিয়েছেন যে O(1ϵ4)O(1ϵ4)O\left(\frac{1}{\epsilon^4}\right) নমুনাগুলি যথেষ্ট ছিল, তবে আমি নীচের গণ্ডির কোনও …

11 ds.algorithms  lower-bounds  st.statistics  property-testing 

ডানা অ্যাংলুইন ( 1987 ; পিডিএফ ) সদস্যতা প্রশ্ন এবং তত্ত্বের প্রশ্নের (প্রস্তাবিত ফাংশনের প্রতিবিম্ব) সহ একটি শিক্ষণ মডেলকে সংজ্ঞায়িত করে। তিনি দেখান যে একটি নিয়মিত ভাষা যা রাজ্যের ন্যূনতম ডিএফএ দ্বারা প্রতিনিধিত্ব করা হয় বহনীয় সময়ে (যেখানে প্রস্তাবিত ফাংশনগুলি ডিএফএ হয়) সদস্যতা-কোয়েরি এবং সর্বাধিক তত্ত্ব-প্রশ্নগুলি ( টিউটর কর্তৃক প্রদত্ত …

11 cc.complexity-theory  machine-learning  lower-bounds  lg.learning  query-complexity 

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

11 cc.complexity-theory  reference-request  lower-bounds  communication-complexity  norms 

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

11 lower-bounds  proof-complexity  kolmogorov-complexity 

সেখানে সঙ্গে একটি 2DFA হয় রাজ্যের (যেখানে এন nontrivial হয় বলে অন্তত 4) যে অন্তত প্রয়োজন 2 এন রাজ্যের যেকোন DFA ব্যবহার ভান কিভাবে?nnnnnn2n2এন2^n একটি দ্বি-মুখী DFA তে (2DFA) একটি নির্ণায়ক সসীম-স্টেট যন্ত্রমানব যে সসীম-স্টেট অটোমাটা যে শুধুমাত্র এক দিক ইনপুট মাথা যেতে পারেন অসদৃশ তার শুধুমাত্র-পঠনযোগ্য ইনপুট টেপ আগে …

11 automata-theory  lower-bounds 

নিচের প্রশ্নগুলোর বেলম্যান-ফোর্ড এর optimality সঙ্গে সম্পর্কযুক্ত - টি সবচেয়ে কম পথ গতিশীল প্রোগ্রামিং আলগোরিদিম (দেখুন এই পোস্টে একটি সংযোগ জন্য)। এছাড়াও, একটি ইতিবাচক উত্তর সূচিত করা হবে যে একটি একঘেয়েমি ন্যূনতম আকার nondeterministic শাখাবিন্যাস প্রোগ্রাম জন্য STCONN সমস্যা Θ ( এন 3 ) । ssstttΘ(n3)Θ(n3)\Theta(n^3) যাক একটি DAG (নির্দেশ …

10 graph-theory  circuit-complexity  lower-bounds 

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 

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

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

ইন SODA 1995 , জেফ এরিকসন নিম্ন সীমা রৈখিক satisfiability জন্য (পরীক্ষণ একটি কিছু দেখিয়েছেন এর -subset বাস্তব সংখ্যার সন্তুষ্ট উপর একটি রৈখিক সমীকরণ ভেরিয়েবল)। প্রমাণ পদ্ধতিটি ইনফিনাইটিমালস এবং তারস্কির স্থানান্তর নীতিটি ব্যবহার করে ।rrrnnnrrr এই সীমাবদ্ধ প্রমাণের জন্য নেওয়া রুটের পিছনের অন্তর্দৃষ্টি কি কেউ ব্যাখ্যা করতে পারে? এর মতো …

10 cg.comp-geom  lower-bounds  algebraic-complexity 

দিন HALTnHALTnHALT_n দৈর্ঘ্যের স্ট্রিং বোঝায় 2n2n2^n দৈর্ঘ্যের ইনপুটগুলির জন্য থামানো সমস্যার সত্য সারণীর সাথে সম্পর্কিত nnn। যদি কোলমোগোরভ জটিলতার ক্রম হয় K(HALTn)K(HALTn)K(HALT_n) ছিল O(1)O(1)O(1), তারপরে পরামর্শের একটি স্ট্রিং অসম্পূর্ণভাবে প্রায়শই ব্যবহৃত হবে এবং সেই স্ট্রিংটির হার্ড-কোডেড একটি টিএম সমাধান করতে সক্ষম হবে HALTHALTHALT অভিন্ন অসীম প্রায়শই, যা আমরা জানি এটি …

10 cc.complexity-theory  reference-request  computability  lower-bounds 

একটি স্থির আকারের অ্যারে ব্যবহার করে দুটি স্ট্যাক দক্ষতার সাথে প্রয়োগ করা যেতে পারে: স্ট্যাক # 1 বাম প্রান্ত থেকে শুরু হয়ে ডানদিকে বৃদ্ধি পায় এবং স্ট্যাক # 2 ডান প্রান্ত থেকে শুরু হয়ে বাম দিকে বৃদ্ধি পায়। তিনটি স্ট্যাকের জন্য কি একই রকম? আরও সুনির্দিষ্টভাবে, নিম্নলিখিত শর্তাবলী দ্বারা তিনটি …

9 ds.data-structures  lower-bounds 

আমি বিশ্বাস করি যে এই প্রশ্নের উত্তরগুলি এমন একটি ক্লাস দেয় যা সমস্ত বহুপদী জন্যপিpp, শ্রেণিতে একটি সমস্যা রয়েছে যার আকারের সার্কিট নেইপি ( এন )p(n)p(n)। তবে আমি সার্কিটের আকার সম্পর্কে জিজ্ঞাসা করছিω( এন )ω(n)\omega \hspace{.02 in}(n)। (⟨00,11,22,31,44,51,66,71,88,91, । । ।⟩(⟨00,11,22,31,44,51,66,71,88,91,...⟩\big(\hspace{-0.07 in}\left\langle \hspace{-0.04 in}0^{\hspace{.02 in}0}\hspace{-0.03 in},\hspace{-0.04 in}1^{\hspace{-0.03 in}1}\hspace{-0.03 in},2^{\hspace{.02 in}2}\hspace{-0.04 …

9 circuit-complexity  lower-bounds 

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

9 computability  lower-bounds 

আমি বিভ্রান্ত আমি প্রমাণ করতে চাই যে একটি বাছাইয়ের সমস্যাএনnn দ্বারা এনnn ম্যাট্রিক্স অর্থাৎ সারি এবং কলামগুলি আরোহী ক্রমে হয় Ω (এন2লগএন )Ω(n2log⁡n)\Omega(n^2\log n)। আমি এটি ধরে নিয়ে কাজটি আরও দ্রুত সম্পন্ন করা যেতে পারে বলে ধরে এগিয়ে চলেছিএন2লগএনn2log⁡nn^2\log n এবং লঙ্ঘন করার চেষ্টা করুন লগ( মি ! )log⁡(m!)\log(m!) মি …

9 time-complexity  lower-bounds  matrices  sorting  asymptotics