প্রশ্ন ট্যাগ «reference-request»

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

9 reference-request  logic  parallel-computing 

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

9 complexity-theory  reference-request  logic 

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

9 reference-request  computational-geometry 

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

9 terminology  reference-request  history 

@ Babou এর একটি সাম্প্রতিক প্রশ্নের উত্তর আমাকে মনে করিয়ে দেয় এক সময়ে আমি মনে করি যে আমি (ঘটনা যে অনুমিত বা প্রমাণিত করা যায় এবং অনুমান অ্যালগরিদম চলমান সময় জটিলতা উভয় পদ) সমানতা সম্পর্কে একটি কাগজ পড়তে ডেটা-প্রবাহ বিশ্লেষণ , বিমূর্ত ব্যাখ্যা , এবং অনুমান টাইপ করুন । কিছু …

9 reference-request  compilers  type-inference  program-optimization 

আমি নিম্নলিখিত সমস্যাটি দেখছি: প্রদত্ত স্বাভাবিক সংখ্যার -dimensional ভেক্টর এবং কিছু ইনপুট ভেক্টর হল, একটি রৈখিক সমন্বয় 'স্বাভাবিক সংখ্যা কোফিসিয়েন্টস সঙ্গে গুলি?nnnv1,…,vmv1,…,vmv_1, \ldots, v_muuuuuuviviv_i অর্থাত কিছু যেখানে ?t1,…,tm∈Nt1,…,tm∈Nt_1, \ldots, t_m \in \mathbb{N}u=t1v1+⋯+tmvmu=t1v1+⋯+tmvmu = t_1 v_1 + \dots + t_m v_m স্পষ্টতই এই সমস্যার আসল নম্বর সংস্করণটি গাউসিয়ান নির্মূল ব্যবহার করে …

9 algorithms  reference-request  linear-algebra  integers  knapsack-problems 

এই প্রশ্নটি সম্ভাবনার তত্ত্ব এবং গণনা জটিলতার ছেদ সম্পর্কে। একটি মূল পর্যবেক্ষণ হ'ল কিছু বিতরণ অন্যের তুলনায় উত্পন্ন করা সহজ। উদাহরণস্বরূপ, সমস্যা একটি নম্বর দেওয়া , একটি অবিশেষে বিতরণ সংখ্যা আসতে সঙ্গে ।এনnnআমিআমিi0 ≤ i &lt; n0≤আমি&lt;এন0 \leq i < n সমাধান করা সহজ। অন্যদিকে, নিম্নলিখিত সমস্যাটি হ'ল বা আরও …

9 complexity-theory  reference-request  probability-theory  probabilistic-algorithms 

একটি আনুষ্ঠানিক ভাষা একটি বর্ণমালা ধরে একটি উপসেট হয় , যে, যে বর্ণমালা ওভার শব্দের একটি সেট। দুটি আনুষ্ঠানিক ভাষা এবং সমান, যদি সংশ্লিষ্ট সেটগুলি সাবটেট হিসাবে প্রসারিতভাবে সমান হয় । "সমস্যা" ধারণাটি আনুষ্ঠানিক করতে কেউ জটিলতা তত্ত্বের ভাষাগুলি ব্যবহার করতে পারেন । কেউ অভিযোগ করতে পারেন যে "সাধারণভাবে" এক্সটেনশনাল …

9 complexity-theory  formal-languages  reference-request 

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

9 formal-languages  reference-request  finite-automata 

সাবসেটের যোগ সমস্যার এই রূপটি কি সহজ / জ্ঞাত? একটি পূর্ণসংখ্যা দেওয়া মিmm, এবং ইতিবাচক পূর্ণসংখ্যার একটি সেট এ = {এক্স1,এক্স2, । । । ,এক্সএন}A={x1,x2,...,xn}A = \{x_1, x_2, ..., x_n\} যেমন প্রতিটি এক্সআমিxix_i সর্বাধিক আছে কে = 2k=2k=2 বিট সেট করা 111 (এক্সআমি=2খআমি1+ +2খআমি2,খআমি1,খআমি2≥ 0xi=2bi1+2bi2,bi1,bi2≥0x_i = 2^{b_{i_1}}+2^{b_{i_2}},\;\; b_{i_1},b_{i_2}\geq 0); একটি …

9 complexity-theory  reference-request  decision-problem 

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

9 reference-request  logic  formal-methods  sat-solvers  software-verification 

সমস্যা সেট সহ ওয়েব রিসোর্স শেখার কোনও ভাল ডিস্রিট গণিত আছে?

9 reference-request  education  discrete-mathematics 

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

9 reference-request  security 

কোন মেশিন লার্নিং অ্যালগরিদম (এসভিএম এর পাশাপাশি) কাঠামোগত ঝুঁকি হ্রাস করার নীতিটি ব্যবহার করে ?

9 reference-request  machine-learning