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

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

11 fl.formal-languages 

কোনও সাধারণ পুনর্নির্দেশিত গ্রাফ জি দেওয়া, জি-এর ননক্রিভাল (অ-পরিচয়) স্বশাসন রয়েছে কিনা তা নির্ধারণ করা অনর্থক। তবে এই সিদ্ধান্ত সমস্যার উপরের / নিম্ন সীমাতে ফলাফল কী?

11 cc.complexity-theory  graph-isomorphism  automorphism 

একটি নির্দেশ গ্রাফ সালে , , যদি একটি DAG (নির্দেশ acyclic গ্রাফ) হয়, একটি প্রতিক্রিয়া চাপ সেট বলা হয়। এফ ⊂ ই জি ∖ এফ এফজি = ( ভ, ই)G=(V,E)G=(V,E)এফ। ইF⊂EF\subset Eজি ∖ এফG∖FG\setminus FএফFF যদি প্রতিটি প্রান্ত একটি ওজন সাথে যুক্ত হয় , সর্বনিম্ন ব্যয় প্রতিক্রিয়া আরাক সেট সমস্যাটি …

11 ds.data-structures  graph-theory  np-hardness  approximation-algorithms 

আমি বিশেষত মডেল চেকিং অ্যাপ্লিকেশনগুলিতে তাদের ব্যবহারে আগ্রহী। আমার কাছে ক্যাসেটের ওপেন, ক্লোজড এবং মিশ্রিত নেটওয়ার্কগুলি রয়েছে বিভিন্ন শ্রেণীর গ্রাহকদের সাথে Baskett et al দ্বারা। উপাদান পড়ার জন্য অন্য কোন পরামর্শ? ধন্যবাদ।

11 reference-request  markov-chains  queueing-theory  model-checking 

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

11 cc.complexity-theory  complexity-classes  np 

জনসন-Lindenstrauss থিম মোটামুটিভাবে বলছেন কোন সংগ্রহে যে এর এন পয়েন্ট আর ঘ , অস্তিত্ব আছে একটি মানচিত্র চ : আর ঘ → আর ট যেখানে ট = হে ( লগ ঢ / ε 2 ) যেমন যে সব জন্য এক্স , Y ∈ এস : ( 1 - ϵ ) …

11 ds.algorithms  approximation-algorithms  cg.comp-geom  metrics  embeddings 

আমি যখন সফ্টওয়্যারটিকে অনিরাপদ মনে করি তখন আমি মনে করি এটি "খুব দরকারী" এবং আক্রমণকারী দ্বারা আপত্তিজনক হতে পারে। সুতরাং এক অর্থে সফ্টওয়্যার সুরক্ষিত করা সফ্টওয়্যারকে কম দরকারী করার প্রক্রিয়া। তাত্ত্বিক কম্পিউটার বিজ্ঞানে আপনি বাস্তব বিশ্বের সাথে কাজ করছেন না। খাঁটি তত্ত্ব নিয়ে কাজ করার সময় কি কোনও সুরক্ষা উদ্বেগ …

11 cr.crypto-security  big-picture 

আমি সবেমাত্র নিলসন-চুয়াং বই থেকে কোয়ান্টাম গণনা সম্পর্কে শিখতে (স্বতন্ত্র) শুরু করেছি। আমি জিজ্ঞাসা করতে চেয়েছিলাম যে কোয়ান্টাম মেকানিক্সের পরিমাপের পোস্টুলেটের সাথে কি চলছে সে সম্পর্কে কেউ আমাকে সাহায্য করার জন্য সময় খুঁজতে চেষ্টা করতে পারেন কিনা। আমি বলতে চাইছি, আমি পোস্টুলেটকে প্রশ্ন করার চেষ্টা করছি না; তার ঠিক যে …

11 quantum-computing  quantum-information 

পি বনাম এনপি সমস্যা সম্পর্কিত স্টিফেন কুকের গবেষণাপত্রে, [1] তিনি নিম্নলিখিত বিষয়গুলি লিখেছেন [2]: সম্ভাব্যতা থিসিস: একটি প্রাকৃতিক সমস্যাটির যদি একটি বহু-কালীন অ্যালগরিদম থাকে তবে একটি সম্ভাব্য অ্যালগরিদম থাকে। আমার প্রশ্ন হ'ল " প্রাকৃতিক সমস্যা" বলতে কী বোঝায় তিনি (বা সাধারণভাবে সত্যই কোনটি বোঝায়) ? সমস্যাগুলি প্রাকৃতিক হওয়ার বিষয়ে কথা …

11 time-complexity  p-vs-np  complexity  fixed-parameter-tractable 

দুটি গ্রুপ এবং আইসোমর্ফিক বলে যদি বলা হয় যে থেকে পর্যন্ত কোনও হোমোমফিজম রয়েছে যা দ্বিপ্রদর্শনীয়। গ্রুপ isomorphism সমস্যা নিম্নরূপ: দুটি গ্রুপ দেওয়া, তারা isomorphic কিনা তা পরীক্ষা করুন। একটি গোষ্ঠী ইনপুট করার বিভিন্ন উপায় আছে, দুটি বেশিরভাগই ব্যবহৃত হয় একটি কেলে টেবিল এবং একটি উত্পাদক সেট দ্বারা। এখানে আমি …

11 ds.algorithms  gr.group-theory 

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

11 time-complexity  lambda-calculus 

এটি সর্বজনবিদিত যে ভিসি ডাইমেনশন ডি সহ একটি ধারণা শ্রেণীর জন্য ও ( ডি।) পাওয়ার পক্ষে যথেষ্টসিC\mathcal{C}ঘddপিএসি শেখার জন্য লেবেলযুক্ত উদাহরণগুলিসি। পিএসি শেখার অ্যালগরিদম (যা এই অনেক নমুনা ব্যবহার করে) সঠিক বা অনুচিত হয় তা আমার কাছে স্পষ্ট নয়? কেয়ার্নস এবং বাজিরানির পাশাপাশি অ্যান্টনি এবং বিগস এর পাঠ্যপুস্তকে মনে হয় …

11 machine-learning  boolean-functions  lg.learning  vc-dimension  pac-learning 

যাক কোহেন / বাইরে বিভাগ অর্থে একটি জেনেরিক ওরাকল হও। যাক একটি র্যান্ডম ওরাকল হও।GGGRRR বা এর সাথে জটিলতা ক্লাস A এবং B রয়েছে? অন্য উপায়ে, AG=BGandAR≠BRAG=BGandAR≠BR\mathrm{A}^G=\mathrm{B}^G\quad\text{and}\quad\mathrm{A}^R\ne \mathrm{B}^RAG≠BGandAR=BR?AG≠BGandAR=BR?\mathrm{A}^G\ne\mathrm{B}^G\quad\text{and}\quad\mathrm{A}^R= \mathrm{B}^R\text{?} প্রশ্নটি স্কট অ্যারনসনের একটি মন্তব্যে অনুপ্রাণিত হয়েছিল ।

11 cc.complexity-theory  complexity-classes 

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

11 coq  type-inference  proof-assistants 

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

11 graph-theory  application-of-theory  expanders