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

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

12 lo.logic  relativization 

আমি যে বিষয়টি বিশেষভাবে ভাবছি তা হ'ল যদি এই ধরণের সমস্যাগুলি ট্র্যাকটেবলের গ্যারান্টিযুক্ত কোনও 3SAT সূত্রকে সন্তুষ্ট করে এমন অ্যাসাইনমেন্টের শতাংশের বিষয়ে আকর্ষণীয় শর্ত থাকে। উদাহরণস্বরূপ 3SAT সমস্যা বর্গ ধরুন এর 2 এন সম্ভব বরাদ্দকরণ বুলিয়ান সূত্র সন্তুষ্ট; আমরা কি দক্ষতার সাথে একটি সন্তোষজনক দায়িত্ব খুঁজে পেতে পারি? কি জন্য …

12 cc.complexity-theory  ds.algorithms  sat  np 

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

12 cc.complexity-theory  complexity-classes 

প্রদত্ত (গড় সঙ্গে IID gaussians এবং ভ্যারিয়েন্স ), এটা সম্ভব (কিভাবে?) নমুনা (জন্য ) যেমন যে এর pairwise স্বাধীন gaussians হয় গড় এবং বৈকল্পিক । 0 1 মি = কে 2 ওয়াই 1 , … , ওয়াই এম ওয়াই আমি 0 1এক্স1, … , এক্সটX1,…,XkX_1,\ldots,X_k000111মি = কে2m=k2m=k^2ওয়াই1, … , ওয়াইমিY1,…,YmY_1, …

12 derandomization  pr.probability 

আবার একটি প্রান্ত-বিভাজন সমস্যা যার জটিলতা সম্পর্কে আমি আগ্রহী, আমার একটি পূর্ববর্তী প্রশ্ন দ্বারা প্রেরণা । ইনপুট: একটি ঘন গ্রাফ G=(V,E)G=(V,E)G=(V,E) প্রশ্ন: সেখানে একটি পার্টিশন মধ্যে ই 1 , ই 2 , ... , ই গুলি , যেমন যে subgraph প্রতিটি দ্বারা প্রবর্তিত ই আমি হয় একটি নখর (অর্থাত কে …

12 cc.complexity-theory  graph-theory  np-hardness  co.combinatorics 

Http://www.cs.umd.edu/~jkatz/complexity/relativization.pdf দ্বারা যদি একটি PSPACE-সম্পূর্ণ ভাষা হল, ।পি এ = এন পি এএকজনAAপিএকজন= এনপিএকজনPA=NPAP^{A}=NP^{A} তাহলে একটি নির্ণায়ক বহুপদী টাইম ওরাকল, হয় (অভিমানী )।পি বি ≠ এন পি বি পি ≠ এন পিবিBBপিবি। এনপিবিPB≠NPBP^{B}\ne NP^{B}পি। এনপিP≠NPP\ne NP # পি পি ⊆ পি পি ⊆ পি এস পি এ সি ইপিপিPPPP হ'ল …

12 cc.complexity-theory  complexity-classes  counting-complexity  open-problem  oracles 

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

12 ds.algorithms  graph-theory  approximation-algorithms  online-algorithms 

আমার কাছে কয়েক হাজার পয়েন্টের ডেটাসেট এবং যেকোন দুটি পয়েন্টের মধ্যে দূরত্ব পরিমাপ করার একটি মাধ্যম রয়েছে তবে ডেটা পয়েন্টগুলির কোনও মাত্রিক মাত্রা নেই। আমি এই ডেটাসেটে গুচ্ছ কেন্দ্রগুলি খুঁজতে একটি অ্যালগরিদম চাই। আমি ধারণা করি যেহেতু ডেটাটির কোনও মাত্রা নেই, একটি ক্লাস্টার সেন্টারে বেশ কয়েকটি ডেটা পয়েন্ট এবং একটি …

12 machine-learning  lg.learning  clustering 

ডিইএস এর এস-বাক্সগুলিতে 4-বিট মানগুলিতে 6-বিট মানগুলিকে ম্যাপ করার সময় ডেটা হারিয়ে যাবে না? যদি তাই হয় তবে সঠিক আউটপুট প্রদর্শিত হলে আমরা কীভাবে এটি বিপরীত করব?

12 cr.crypto-security 

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

12 reference-request  soft-question 

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

12 lo.logic  csp  security 

পিসিপি উপপাদ্যের সমতুল্য সূত্রটি হ'ল: সর্বোচ্চ 3-স্যাট-এর জন্য সন্তুষ্টিজনক সূত্র এবং সূত্রগুলির মধ্যে পার্থক্য করা -hard যেখানে ক্লাসগুলির সর্বাধিক r- ভগ্নাংশটি সন্তুষ্টযোগ্য (কিছু আর < 1 এর জন্য )।NPNPNPrrrr<1r<1r\lt 1 এমন কোনও ডিকোটমির উপপাদ্য রয়েছে যা সমস্ত ম্যাক সিএসপি-এর শক্ত ফাঁক আছে কিনা তার ভিত্তিতে শ্রেণিবদ্ধ করে? ১ Dec ই …

12 cc.complexity-theory  pcp  csp 

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

12 soft-question  cg.comp-geom 

গাছের প্রস্থ পরিমাপ করে গাছের সাথে গ্রাফের কতটা কাছাকাছি। কয়েকটি এনপি-হার্ড সমস্যাগুলি সীমানা গাছের প্রস্থের গ্রাফগুলিতে ট্র্যাকটেবল। যদি গাছগুলিতে এনপি-হার্ড থেকে যায় তবে গাছের প্রস্থ আমাদের বাঁচাতে পারে না। গাছগুলিতে এনপি-হার্ড সমস্যা জিজ্ঞাসা করার জন্য আমার আগের একটি প্রশ্নের পিছনে এটিই ছিল প্রেরণা । একটি নির্দেশিত অ্যাসাইক্লিক গ্রাফ (ডিএজি) এর …

12 np-hardness  directed-acyclic-graph 

দুটি খুব স্পার্স বুলিয়ান ম্যাট্রিকেসকে গুণানোর জন্য সবচেয়ে কার্যকরভাবে অ্যালগরিদমগুলি কী কী (বলুন, এন = 200 এবং কেবলমাত্র 100-200 অ-শূন্য উপাদান রয়েছে)? প্রকৃতপক্ষে, আমার সুবিধাটি হল যে যখন আমি A কে B দ্বারা গুণিত করি তখন বি এর পূর্বনির্ধারিত হয় এবং আমি এগুলি নির্বিচারে জটিল প্রাকপ্রসেসিং করতে পারি। আমি আরও …

12 ds.algorithms  matrix-product  sparse-matrix  boolean-matrix  implementation