তাত্ত্বিক কম্পিউটার বিজ্ঞান

একটি বিন্যাস বিবেচনা করুন এর । বিপরীতকে সূচকগুলির একটি জুড়ি হিসাবে সংজ্ঞায়িত করা হয় যেমন এবং ।[ ১ .. এন ] ( আই , জে ) আই &lt; জে σ ( আই ) &gt; σ ( জে )σσ\sigma[1..n][1..n][1..n](i,j)(i,j)(i, j)i&lt;ji&lt;ji < jσ(i)&gt;σ(j)σ(i)&gt;σ(j)\sigma(i) > \sigma(j) সর্বাধিক বিপর্যয়ের সাথে এর ক্রম সংখ্যা হিসাবে …

17 co.combinatorics  permutations 

সার্কিট জটিলতা তত্ত্বের মধ্যে সীমাবদ্ধ গভীরতা সার্কিট জটিলতা গবেষণার অন্যতম প্রধান ক্ষেত্র। এই বিষয়টির উত্স যেমন "প্যারিটি ফাংশন AC0AC0AC^{0} " এবং "Mod ppp ফাংশন AC0[q]AC0[q]AC^{0}[q] " দ্বারা গণনা করা হয় না , যেখানে AC0[q]AC0[q]AC^0[q] দ্বারা শ্রেণীর ভাষাটি সিদ্ধান্ত গ্রহণযোগ্য অ-ইউনিফর্ম, ধ্রুবক গভীরতা, বহুপক্ষীয় আকার, আনবাউন্ডেড ফ্যান-ইন এবং, এবং, নং এবং …

17 cc.complexity-theory  circuit-complexity  lower-bounds  dc.parallel-comp  gct 

স্ট্র্যাসেন অ্যালগরিদমে, দুটি ম্যাট্রিকেস এবং বি এর গুণমান গণনা করতে , ম্যাট্রিকস এ এবং বি 2 × 2 ব্লক ম্যাট্রিক্সে বিভক্ত এবং অ্যালগরিদমটি একটি নির্দোষ 8 ব্লক ম্যাট্রিক্সের বিপরীতে পুনরাবৃত্তভাবে 7 ব্লক ম্যাট্রিক্স-ম্যাট্রিক্স পণ্যগুলি গণনা করছে ce ম্যাট্রিক্স পণ্য, যেমন, আমরা যদি সি = এ বি চাই , যেখানে এ …

17 ds.algorithms  linear-algebra  matrices  matrix-product 

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

17 quantum-information  semidefinite-programming  analysis-of-algorithms 

বেশিরভাগ সাইটগুলি আমি এই আকর্ষণীয় বিষয়ের উপর পড়তে দেখেছি লাইনগুলি বরাবর কিছু state "এই ক্রমের মধ্যে দু'জনের একমাত্র শক্তি (নিজেই 2 ব্যতীত) দেখা দেয় যেগুলি হ'ল প্রধান নির্ধারক" (ম্যাথ ওয়ার্ল্ড) অথবা "2 এর পরে, এই ক্রমটি 2 এর নিম্নোক্ত শক্তিগুলি ধারণ করে: [...] যা ২ এর প্রধান শক্তি" " (উইকিপিডিয়া) …

17 reference-request  primes 

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

17 big-list  primes 

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

17 linear-programming  semidefinite-programming  convex-optimization 

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

17 lo.logic  soft-question  big-list  books  formal-methods 

সংক্ষিপ্ত সংস্করণ. # 2-স্যাট হ'ল আসল প্রমাণ হ'ল # পি- কমপ্লিট দেখায়, আসলে, # 2-স্যাট এর যে দৃষ্টান্তগুলি উভয়ই একঘেয়ে (কোনও ভেরিয়েবলের অবহেলার সাথে জড়িত নয়) এবং বাইপারটাইট ( উপরের ধারাগুলির দ্বারা গঠিত গ্রাফ ) ভেরিয়েবলগুলি দ্বিপক্ষীয় গ্রাফ) # পি- হর্ট। সুতরাং, # 2-মনোটোন-স্যাট এবং # 2-বিপার্টি-স্যাট দুটি বিশেষ কেস …

17 cc.complexity-theory  sat  counting-complexity 

আমি আজ নিম্ন সীমানা শিখিয়েছি এবং শিক্ষার্থীদের মধ্যে একটি এ সি নামের কারণ সম্পর্কে জিজ্ঞাসা করেছিল । সরকারী ব্যাখ্যাটি হ'ল "এ" এর অর্থ "অল্টারনেশন"।এ সি0একজনসি0AC^0এ সিএকজনসিAC আমার অস্পষ্টভাবে অনেক বছর আগে বলা হয়েছিল যে নিক পাইপ্পেঞ্জার স্টিভ কুক নামকরণ করেছিলেন নিক পিপ্পেঞ্জার (নিকের ক্লাস), এবং নিক পরে স্টিভ (স্টিভের ক্লাস) …

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

আমি গ্রাফের ক্লাসগুলি সম্পর্কে পড়ছি যার জন্য গ্রাফ আইসোমর্ফিিজম ( ) পি তে রয়েছে । যেমন ক্ষেত্রে এক হিসাবে ব্যাখ্যা বেষ্টিত ঝালর (প্রতিটি প্রান্তবিন্দু তার তীব্রতার উপর সর্বোচ্চ) এর গ্রাফ হয় এখানে । তবে আমি এটি খুব বিমূর্ত দেখতে পেয়েছি। আমি যদি কৃতজ্ঞতা প্রকাশ করব কেউ যদি আমাকে এক্সপোটিটোরি প্রকৃতির …

17 ds.algorithms  reference-request  graph-theory  graph-isomorphism 

2 ডিএসিএর (দ্বি-মুখী নির্বাহী ওয়ান-কাউন্টার অটোমেটা) (পিটারসেন, 1994) নীচের আনার ভাষাটি সনাক্ত করতে পারে: POWER={02n∣n≥0}.POWER={02n∣n≥0}.\begin{equation} \mathtt{POWER} = \lbrace 0^{2^n} \mid n \geq 0 \rbrace. \end{equation} 2dca এর দ্বারা স্বীকৃত অন্য কোন অনানুষ্ঠানিক unary ভাষা আছে? মন্তব্য এটি এখনও অজানা কিনা চিনতে পারে 2dca এর ?SQUARE={0n2∣n≥0}SQUARE={0n2∣n≥0} \mathtt{SQUARE} = \lbrace 0^{n^2} \mid …

17 fl.formal-languages  automata-theory  counter-automata 

প্ল্যানার গ্রাফের জেনাস শূন্য থাকে। টরাসটিতে এম্বেডযোগ্য গ্রাফগুলির বেশিরভাগ জেনাস থাকে 1. আমার প্রশ্নটি সহজ: প্ল্যানার গ্রাফগুলিতে বহুজাতীয়ভাবে সমাধানযোগ্য তবে জিনাসের গ্রাফের এনপি-হার্ডে এমন কি কোনও সমস্যা আছে? জেনাস জি এর গ্রাফগুলিতে বহুলোকভাবে সমাধানযোগ্য তবে জেনাস&gt; জি এর গ্রাফগুলিতে এনপি-হার্ড সাধারণত কোন সমস্যা আছে?

17 cc.complexity-theory  ds.algorithms  graph-theory  planar-graphs 

সময়সীমাযুক্ত কোয়ান্টাম গণনা স্পষ্টতই খুব আকর্ষণীয়। স্থান-সীমাবদ্ধ কোয়ান্টাম গণনা সম্পর্কে কী? সাবলোগারিদমিক স্পেস সীমানা এবং বিভিন্ন ধরণের কোয়ান্টাম অটোমেটা মডেলের সাথে কোয়ান্টাম গণনার জন্য আমি অনেক আকর্ষণীয় ফলাফল জানি। অন্যদিকে, এটা দেখানো হয়েছিল যে সীমাবদ্ধ-ত্রুটি সম্ভাব্য এবং কোয়ান্টাম স্থান কোন স্থান constructable জন্য সমতুল্য (Watrous, 1999 এবং 2003 )।s ( …

17 quantum-computing  space-bounded 

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

17 cr.crypto-security  randomized-algorithms  pseudorandomness  pseudorandom-generators