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

যাক এবং এর সাব-সেট নির্বাচন হতে । আমরা Minkowski সমষ্টি পেতে আগ্রহী হন ।একটি AAবি BB{ 0 , ... , এন } {0,…,n}\{0,\ldots,n\}একটি + + বি = { একটি + + খ | একটি ∈ একজন , খ ∈ বি } A+B={a+b | a∈A,b∈B}A+B=\{a+b~|~a\in A,b\in B\} χ এক্স : { …

16 convolution  fft 

সাধারণ গ্রাফগুলিতে ত্রিভুজগুলি গণনা সময়ে তুচ্ছভাবে করা যেতে পারে এবং আমি মনে করি যে খুব বেশি দ্রুত করা শক্ত (রেফারেন্স স্বাগত)। প্ল্যানার গ্রাফগুলির কী হবে? নিম্নলিখিত সোজা পদ্ধতিটি ও ( এন লগ এন ) সময়ে করা যেতে পারে shows আমার প্রশ্ন দ্বিগুণ:O(n3)O(n3)O(n^3)O(nlogn)O(nlog⁡n)O(n\log{n}) এই পদ্ধতির জন্য একটি রেফারেন্স কি? সময় কি …

16 reference-request  graph-algorithms  planar-graphs 

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

16 reference-request  boolean-functions 

0-1 নীতিটি বলে যে যদি কোনও 0 বাছাই নেটওয়ার্ক সমস্ত 0-1 অনুক্রমের জন্য কাজ করে, তবে এটি সংখ্যার কোনও সেটের জন্য কাজ করে। সেখানে কি such মতো রয়েছে যে কোনও নেটওয়ার্ক যদি এস থেকে প্রতি 0-1 অনুক্রমটি সাজায়, তবে এটি প্রতি 0-1 অনুক্রমটি সাজায় এবং এর আকার মধ্যে বহুভুজ ? …

16 ds.algorithms  sorting  sorting-network 

আমি পড়েছি যে ভেরিয়েবলের সংখ্যা স্থির করা হয়, অর্থাৎ n ∈ O ( 1 ) যদি পূর্ণসংখ্যক সময়ে পূর্ণসংখ্যার লিনিয়ার প্রোগ্রামিং সমাধানযোগ্য হয় । যদি ভেরিয়েবলের সংখ্যা লোগারিথ্মিকভাবে বৃদ্ধি পায়, অর্থাত N ∈ O ( লগ 2 ( এন ) ) আকারের এন প্রদত্ত ইনপুটটির জন্য, সমস্যাটি এখনও বহুবর্ষীয় সময়ে …

16 cc.complexity-theory  np  open-problem 

এ খুঁজছি homotopy টাইপ তত্ত্ব ব্লগ সহজেই Agda এবং Coq মধ্যে Homotopy প্রকার তত্ত্বের সবচেয়ে সেই মহাসংকটের গ্রন্থাগার অনেকটা খুঁজে পেতে পারেন। কেউ যদি কোনো অনুরূপ Hott ডিক্রী প্রচেষ্টা সচেতন ইদ্রিস ?

16 proof-assistants  homotopy-type-theory 

যাক একটি digraph (অগত্যা একটি DAG) হতে হবে এবং দিন । সহজ পাথের সংখ্যা গণনা করার জটিলতা কী । জিজিGs , t ∈ V( ছ )গুলি,টি∈ভী(জি)s,t \in V(G) s - tগুলি-টিs-tজিজিG আমি সমস্যাটি # হওয়ার আশা করব তবে সঠিক রেফারেন্সটি সনাক্ত করতে সক্ষম হইনি। পিপি{\mathsf P} এছাড়াও লক্ষ করুন যে …

16 ds.algorithms  reference-request  counting-complexity 

আমি একটি পাসের অ্যালগরিদম সন্ধান করছি যা একটি অনুক্রমের সমতা গণনা করে। আমি অনুমান যে একটি ইনপুট বিন্যাস প্রবাহ দেওয়া হয় π[1],π[2],⋯,π[n]π[1],π[2],⋯,π[n]\pi[1], \pi[2], \cdots, \pi[n] । আউটপুটটি ক্রমান্বনের সমতা হওয়া উচিত। একটি প্রশ্ন একটি ডিস্ট্রিমেন্টিক অ্যালগরিদম কত মেমরি ব্যবহার করা উচিত তা আমি আগ্রহী। সমস্যাটির জন্য কি কোনও এলোমিজোম অ্যালগরিদম …

16 ds.algorithms  permutations  streaming-algorithms 

আমার সম্পূর্ণ ভাষার একটি তালিকা প্রয়োজন । জটিলতা চিড়িয়াখানায় এ জাতীয় দুটি সমস্যা তালিকাভুক্ত রয়েছে:Σp2Σ2p\Sigma_2^p সর্বনিম্ন সমতুল্য ডিএনএফ। একটি ডিএনএফ সূত্র এফ এবং পূর্ণসংখ্যার কে দেওয়া হয়েছে, সেখানে কি ডি-এনএফ সূত্রের সাথে কে বা আক্ষরিকের কম উপস্থিতি রয়েছে? সংক্ষিপ্ততম জড়িত। একটি সূত্র এফ এবং পূর্ণসংখ্যার কে দেওয়া হয়েছে, সেখানে কে …

16 complexity-classes  polynomial-hierarchy 

আমি সম্প্রতি একটি বন্ধুর সাথে আলোচনা করছিলাম (যিনি দৃ strongly়ভাবে টাইপ করা ভাষাগুলির পক্ষে) তিনি মন্তব্য করেছেন: ল্যাম্বদা ক্যালকুলাসের উদ্ভাবকরা সর্বদা এটি টাইপ করার ইচ্ছা করেছিলেন। এখন আমরা দেখতে পারেন চার্চ সঙ্গে যুক্ত ছিল কেবলমাত্র টাইপ ল্যামডা ক্যালকুলাস । আসলে, মনে হচ্ছে ল্যাম্বডা ক্যালকুলাস সম্পর্কে ভুল বোঝাবুঝি কমাতে তিনি সরল …

16 lambda-calculus  church-turing-thesis  lisp  typed-lambda-calculus 

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

16 computability  computing-over-reals  topology  model-theory 

আমরা যে NFA হল প্রতিনিয়ত অস্পষ্ট যদি অস্তিত্ব ট ∈ এন যেমন যে কোন শব্দ W ∈ Σ * হয় এর গৃহীত 0 বা (ঠিক) ট পাথ।MMMk∈Nk∈Nk\in \mathbb{N}w∈Σ∗w∈Σ∗w\in \Sigma^*000kkk যন্ত্রমানব তাহলে ক্রমাগত জন্য দ্ব্যর্থক ট = 1 , তারপর এম বলা হয় দ্ব্যর্থহীন এফএ (Ufa)।MMMk=1k=1k=1MMM নিয়মিত ভাষা হতে দিন ।LLL …

16 complexity-classes  fl.formal-languages  automata-theory  regular-language 

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

16 ds.data-structures  intuition  amortized-analysis 

এই ফোরামের জন্য যদি এটি খুব বিস্তৃত প্রশ্ন থাকে তবে দুঃখিত, তবে গবেষকরা (টিসিএসে) গবেষণা গবেষণামূলক প্রবন্ধটি লেখার জন্য যে কৌশলগুলি এবং টিপস ব্যবহার করেন সেগুলিতে আমি আগ্রহী।

16 soft-question  advice-request  research-practice  writing 

আমি প্রান্তিক গেটগুলির মাধ্যমে প্রকাশযোগ্য ক্রিয়াকলাপগুলির জটিলতা বোঝার চেষ্টা করছি এবং এটি আমাকে । বিশেষত, আমি টি সি 0 এর ভিতরে শেখার বিষয়ে বর্তমানে যা জানা তা আগ্রহী , কারণ আমি এই অঞ্চলের বিশেষজ্ঞ নই।TC0TC0\mathsf{TC}^0TC0TC0\mathsf{TC}^0 আমি এতদূর যা আবিষ্কার করেছি তা হ'ল: সকল মাধ্যমে সমবন্টন অধীনে quasipolynomial সময় শেখা যাবে …

16 cc.complexity-theory  reference-request  cr.crypto-security  lg.learning  boolean-functions