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

সাধারণভাবে ব্যবহৃত পাসওয়ার্ড হ্যাশিং অ্যালগরিদম আজকের মতো এইভাবে কাজ করে: পাসওয়ার্ডটি লবণ দিন এবং কেডিএফ এ খাওয়ান। উদাহরণস্বরূপ, PBKDF2-HMAC-SHA1 ব্যবহার করে পাসওয়ার্ড হ্যাশিং প্রক্রিয়াটি হয় DK = PBKDF2(HMAC, Password, Salt, ...)। যেহেতু এইচএমএসি হ'ল প্যাডেড কীগুলি সহ একটি 2-রাউন্ড হ্যাশিং, এবং এসএএএ 1 ক্রমবিন্যাস, শিফট, আবর্তন এবং বিটওয়াইজ অপারেশনগুলির একটি …

16 np-hardness  cr.crypto-security  np-complete  security 

একটি সহজ undirected গ্রাফ দেওয়া , খুঁজুন একটি উপসেট একটি ≠ ∅ ছেদচিহ্ন এর, এই ধরনের যেজিGGএ ≠ ∅A≠∅A\neq \emptyset কোন প্রান্তবিন্দু এ প্রতিবেশীদের অন্তত অর্ধেক এক্স রয়েছে একটি , এবংx ∈ এx∈Ax\in Aএক্সxxএকজনAA আকার সর্বনিম্ন।একজনAA এটি হ'ল আমরা একটি ক্লাস্টারের সন্ধান করছি, যাতে প্রতিটি অভ্যন্তরীণ ভার্টেক্সের কমপক্ষে অর্ধেক আশেপাশের …

16 graph-theory  graph-algorithms  np-hardness 

আমরা জানি (এখন প্রায় 40 বছর ধরে এডলম্যান, বেনেট এবং ফুলকা ধন্যবাদ) যে অন্তর্ভুক্তি BPP পি / পলি, এবং একটি এমনকি শক্তিশালী BPP / বহু ⊆ পি / পলি ধরে রাখুন। "/ পলি" মানে হল, আমরা কাজ অ অবিশেষে (প্রতিটি ইনপুট দৈর্ঘ্য জন্য পৃথক বর্তনী এন ), এবং পি ছাড়াই …

16 cc.complexity-theory  circuit-complexity  machine-learning  derandomization 

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

16 reference-request  np-hardness  reductions 

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

16 graph-isomorphism 

Savitch এর উপপাদ্য অনুষ্ঠান NSPACE(f(n))⊆DSPACE(f(n)2)NSPACE(f(n))⊆DSPACE(f(n)2)\mathrm{NSPACE}(f(n)) \subseteq \mathrm{DSPACE}(f(n)^2) সব বড় যথেষ্ট কাজকর্মের জন্য fff , এবং প্রতিপাদন যে এই আঁট কয়েক দশক ধরে একটি উন্মুক্ত সমস্যা হয়েছে হয় । মনে করুন আমরা অন্য প্রান্ত থেকে সমস্যার দিকে এগিয়ে যাই। সরলতার জন্য, বুলিয়ান বর্ণমালা অনুমান করুন। কোনও টিএম দ্বারা একটি গণনীয় ভাষা …

16 cc.complexity-theory  automata-theory  space-bounded  space-complexity 

আমি লিনিয়ার সময়ে L=v1,…,vnL=v1,…,vnL = v_1, \ldots, v_n এর ধনাত্মক পূর্ণসংখ্যার মানগুলিকে বাছাই করতে আগ্রহী (অভিন্ন ব্যয় পরিমাপের র‌্যাম মডেলের মধ্যে, মানে, পূর্ণসংখ্যার লোগারিথমিক আকার হতে পারে তবে তাদের গাণিতিক ক্রিয়াকলাপগুলি ধরে নেওয়া হয়) ইউনিট সময় নিতে)। অবশ্যই, তুলনা-ভিত্তিক বাছাইকরণ অ্যালগরিদমগুলির সাথে এটি অসম্ভব, সুতরাং আমি একটি "আনুমানিক" সাজানোর গণনা …

16 reference-request  time-complexity  sorting 

এটি অটোমেটা কোর্সে একটি স্ট্যান্ডার্ড প্রমাণ যা এবং that কোনও প্রসঙ্গ-মুক্ত ভাষা নয়।L=Σ⋆L=Σ⋆L = \Sigma^\star|Σ|≥2|Σ|≥2|\Sigma| \ge 2S(L)={ww:w∈L}S(L)={ww:w∈L}S(L) = \{ww : w \in L\} এটিও সত্য যে কোনও সীমাবদ্ধ , সীমাবদ্ধ (এবং সেইজন্য একটি সিএফএল)। আমি অনুমান করছি যে অসীম এবং নিয়মিত সিএফএল না হওয়ার জন্য "পর্যাপ্ত" নয়। সম্পাদনা : নন-সিএফএল …

16 context-free 

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

16 cc.complexity-theory  turing-machines  ct.category-theory 

আমার এক ছাত্র সম্প্রতি নিম্নলিখিত প্রশ্নটি জিজ্ঞাসা করেছেন: D T I M E ( f ( n ) ) ⊊ D T I M E ( g ( n ) ) । DTIME(f(n))⊊DTIME(g(n)).DTIME(f(n)) \subsetneq DTIME(g(n)).h ( n ) h(n)h(n)D T I M E ( f ( n ) ) ⊊ …

16 cc.complexity-theory 

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

16 reference-request  soft-question  philosophy 

জটিলতা শ্রেণীর জোড়া কিছু উদাহরণ কি কি এবং বি যেমন যেAAABBB আমরা জানি না যে , এবংA=BA=BA=B আমরা দ্বন্দ্বমূলক আপেক্ষিকতা জানি না (যেমন, আমরা ওরাকলস এবং কিউ জানি না যে এ পি = বি পি এবং এ কিউ ≠ বি কিউ )?PPPQQQAP=BPAP=BPA^P = B^PAQ≠BQAQ≠BQA^Q \ne B^Q প্রশ্নের অন্যভাবে উপস্থাপন করার …

16 cc.complexity-theory  complexity-classes  relativization 

গ্রেগ কুপারবার্গ আমাকে জিজ্ঞাসা করা এক প্রশ্নের জবাবে আমাকে জিজ্ঞাসা করলেন, আমি ভাবছি যে এমন কোনও কাগজপত্র রয়েছে যা বিভিন্ন ধরণের জ্ঞানের প্রমাণকে স্বীকার করে ভাষার জটিলতার ক্লাস সংজ্ঞায়িত করে এবং অধ্যয়ন করে । SZK এবং NISZK এর মতো শ্রেণিগুলি জটিলতার দৃষ্টিকোণ থেকে অত্যন্ত স্বাভাবিক, এমনকি যদি আমরা শূন্য জ্ঞান …

16 complexity-classes  cr.crypto-security  zero-knowledge 

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

16 automata-theory  context-free 

একটি মিশ্র গ্রাফ এমন একটি গ্রাফ যা উভয় দিকনির্দেশিত এবং পুনর্নির্দেশিত প্রান্ত থাকতে পারে। এটির অন্তর্নিহিত অনির্দেশিত গ্রাফটি নির্দেশিত প্রান্তগুলির প্রাচ্যকে ভুলে গিয়ে প্রাপ্ত হয় এবং অন্য দিকে প্রতিটি অপরিবর্তিত প্রান্তকে একটি নির্দেশ বরাদ্দ করে একটি মিশ্র গ্রাফের একটি প্রাচুর্য প্রাপ্ত হয়। প্রান্তগুলির একটি সেট একটি মিশ্র গ্রাফে একটি চক্র …

16 ds.algorithms  reference-request  graph-theory  graph-algorithms  directed-acyclic-graph