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

আমি অ্যালগরিদমিক জটিলতা এবং নির্ধারকগুলির সার্কিট জটিলতার এবং ম্যাট্রিক্স গুণণের মধ্যে সম্পর্ক বোঝার চেষ্টা করছি। জানা যায় একটি এর নির্ধারক ম্যাট্রিক্স যাবে নির্ণিত মধ্যে ~ হে ( এম ( এন ) ) সময়, যেখানে এম ( এন ) ন্যূনতম সময় কোন দুটি গুন করা প্রয়োজন হয় এন × এন ম্যাট্রিক্স। …

11 algebraic-complexity  arithmetic-circuits  matrix-product  determinant 

আমি জানতে চাই যদি একটি relativized বিশ্বের বিদ্যমান চাই যেখানে । আমিও জানতে যদি একটি relativized বিশ্বের বিদ্যমান আগ্রহী যেখানে ।PA=NPA≠PPAPA=NPA≠PPA{\bf P^A}={\bf NP^A}\not = {\bf PP^A}PB≠NPB=PPBPB≠NPB=PPB{\bf P^B} \not = {\bf NP^B} = {\bf PP^B}

11 cc.complexity-theory  oracles  relativization 

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

11 cc.complexity-theory 

একটি কোর্সের শিক্ষক সহকারী এমন একটি প্রোগ্রাম লিখতে সক্ষম হয়েছেন যা (নির্বিচারে) কঠিন পরীক্ষার প্রশ্ন উত্পন্ন করে। এখন, তিনি এমন একটি প্রোগ্রাম লিখতে চান যা সংশ্লিষ্ট উত্তরগুলি উত্পন্ন করে। পরীক্ষক এর সমস্যা জিজ্ঞেস কিনা এই সবসময় সম্ভব হয়; পরীক্ষক এর অনুমান যে অভিমানী, , এটা না : সমস্যার সঙ্গে উত্ক্রান্ত …

11 cc.complexity-theory  uniformity 

মোটামুটিভাবে পদে একটি ম্যাট্রিক্স , অনমনীয় হতে যদি নিচে তার র্যাঙ্ক আনতে বলা হয় এনএনnn , এক অন্তত পরিবর্তন করতে হয়েছেএন1+ +εতার এন্ট্রি, কিছু জন্যε>0।এন2n2\frac{n}{2}এন1 + + εn1+ϵn^{1+\epsilon}ϵ > 0ϵ>0\epsilon > 0 যদি কোনও ম্যাট্রিক্স এ অনমনীয় হয় তবে সর্বনিম্ন সরল রেখার প্রোগ্রামের কম্পিউটিং A x ( x আকার n …

11 cc.complexity-theory 

আমি গণনামূলক ক্রিপ্টোগ্রাফিক সুরক্ষার প্রসঙ্গে বিটকয়েন প্রোটোকলটি বোঝার চেষ্টা করছি। প্রশ্নটি বিটকয়েনে ক্রিপ্টোগ্রাফি নিবন্ধগুলির ভিত্তিগুলির একটি রেফারেন্স অনুরোধ। আমার প্রথম প্রশ্নটি কী অ্যাবস্ট্রাক্ট ক্রিপ্টোগ্রাফিক প্রোটোকল বিটকয়েন বাস্তবায়নের চেষ্টা করছে? ক্রিপ্টোগ্রাফিতে আমাদের কী বৈদ্যুতিন অর্থ / ডিজিটাল মুদ্রার সংজ্ঞা রয়েছে যা বিটকয়েনকে ক্যাপচার করে? একটি নিরাপদ বৈদ্যুতিন অর্থের জন্য সুরক্ষা প্রয়োজনীয়তাগুলি …

11 reference-request  cr.crypto-security 

ধ্রুবক গভীরতার সার্কিটগুলি বোকা বানানোর বিষয়ে আমার কাছে কয়েকটি প্রশ্ন রয়েছে। এটি জানা যায় যে -র মতো স্বাধীনতা fool সার্কিটের গভীরতার বোকা বানাতে প্রয়োজনীয় , যেখানে ইনপুটটির আকার। কীভাবে কেউ এটি প্রমাণ করতে পারে?লগও ( ঘ)( এন )logO(d)⁡(n)\log^{O(d)}(n) ডি এনএ সি0AC0AC^0ঘddএনnn যেহেতু উপরেরটি সত্য, যে কোনও সিউডোর্যান্ডম জেনারেটর যে সার্কিটের …

11 cc.complexity-theory  cr.crypto-security  circuit-complexity  derandomization  pseudorandom-generators 

দুই সাব-সেট নির্বাচন দেওয়া -dimensional hypercube (অর্থাত, এম , এন ⊆ { 0 , 1 } ঘ ), আমি একটি অ্যালগরিদম যা পয়েন্ট আহরণ খোঁজ করছি মি ∈ এম , এন ∈ এন ম hamming দূরত্ব (অথবা এল 1 - হাইপারকিউবের উপর দূরত্ব) ডি এইচ ( এম , এন ) …

11 cg.comp-geom 

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

11 graph-algorithms  ds.data-structures  edit-distance 

উপর cs.stackexchange আমি সম্পর্কে জিজ্ঞাসা algebird GitHub উপর Scala গ্রন্থাগার, কেন তারা একটি বিমূর্ত বীজগণিত প্যাকেজ প্রয়োজন হতে পারে নেভিগেশন speculating। গিথুব পৃষ্ঠায় কিছু সূত্র রয়েছে: আকর্ষণীয় আনুমানিক অ্যালগরিদমগুলির জন্য যেমন ব্লুম ফিল্টার, হাইপারলগলগ এবং কাউন্টমিন স্কেচ মনোয়েডগুলির বাস্তবায়ন। এগুলি আপনাকে পরিশীলিত পরিসংখ্যান এবং বিশ্লেষণগুলি তৈরি করতে হডুপ বা অনলাইনে …

11 soft-question  machine-learning  linear-algebra  db.databases 

আমি ভাবছিলাম যে নীচের সমস্যার জন্য পরিচিত কোনও নিম্ন সীমাবদ্ধ (নমুনা জটিলতার ক্ষেত্রে) ছিল: , পরীক্ষা (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 

বুলিয়ান ফাংশনটির জটিলতা ব্যবস্থাগুলির অধ্যয়নের একটি খুব আকর্ষণীয় উন্মুক্ত সমস্যা হ'ল তথাকথিত সংবেদনশীলতা বনাম ব্লক সংবেদনশীলতা অনুমান। সংবেদনশীলতা বনাম ব্লক সংবেদনশীলতার বিষয়ে পটভূমির জন্য আপনি এস আ্যারনসনের নিম্নলিখিত ব্লগপোস্টটি http://www.scottaaronson.com/blog/?p=453 এ দেখতে পারেন । আমার জানা মতে করার জন্য, শ্রেষ্ঠ উপরের আবদ্ধ পরিচিত পদ গুলি ( চ ) হয় খ …

11 cc.complexity-theory  reference-request  fourier-analysis 

এই নিখুঁত তথ্য গেমটি গ্রাফগুলিতে খেলে কি জানেন / অধ্যয়ন করেছেন? একটি গ্রাফ , দুটি খেলোয়াড় বিকল্প প্রান্ত বা একটি বিচ্ছিন্ন নোড বাছাই করছে। যদি প্লেয়ার একটি কিনারা নেয় দুটি নোড এবং তাদের ঘটনার প্রান্তের সাথে মুছে ফেলা হয়েছে। খেলোয়াড় যদি একটি বিচ্ছিন্ন নোড ধরে, নোড মুছে ফেলা হয়। সরানো …

11 reference-request  combinatorial-game-theory 

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

11 soft-question  big-list  proofs  automated-theorem-proving 

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

11 automata-theory  regular-expressions  dfa