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

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

11 cc.complexity-theory  np-hardness  puzzles 

ম্যাট্রিক্স এর মাত্রা । আমরা পুরন মধ্যবর্তী পূর্ণসংখ্যার ব্যবহার এবং , সমেত।n × n ( n - 1 ) এ 1 এনAAAn×n(n−1)n×n(n−1)n \times n(n-1)AAA111nnn প্রয়োজনীয়তা: প্রত্যেকটি কলাম একটি বিন্যাস হল ।1 , … , এনAAA1,…,n1,…,n1, \dots, n কোন submatrix দুই সারি দ্বারা গঠিত অভিন্ন কলাম থাকতে পারে না।AAA প্রশ্ন: প্রয়োজনীয়তা …

11 co.combinatorics  cr.crypto-security  coding-theory 

শর্তাধীন লজিক হ'ল লজিক যা শর্তের অন্যান্য ধারণার সাথে সঙ্গতিপূর্ণ মডেল অপারেটরগুলির সাথে traditionalতিহ্যগত লজিক্যাল জড়িত সংযোজন (উদাহরণস্বরূপ, কার্যকারণীয় শর্তসাপেক্ষ) " এ কারণগুলি" বি ", বা সম্ভাব্য কন্ডিশনিং" এ | পড়েছে reads খ ", যা" এ প্রদত্ত বিএকজন□। খএকজন◻→বিA\; \square\!\!\!\!\to BএকজনএকজনAক | বিএকজন|বিA|BএকজনএকজনAবিবিB ") । সাধারণত এই লজিকগুলি মডেল-তাত্ত্বিকভাবে অধ্যয়ন …

11 reference-request  lo.logic  pl.programming-languages  type-theory  proof-theory 

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

11 cc.complexity-theory  reference-request  space-bounded  average-case-complexity 

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

11 graph-theory  co.combinatorics  graph-algorithms  graph-isomorphism 

আমার একটি সমস্যা রয়েছে যা এনএক্সপি এনপি-তে রয়েছে এবং এক্সফোনেনশিয়াল সময় এবং কেবলমাত্র একটি বিকল্প (অস্তিত্বের অবস্থায় শুরু করে) বিকল্প টিএম ব্যবহার করে সমাধান করা যেতে পারে।NPNP^{\text{NP}} এনএক্সপি এনপি সম্পর্কে কিছু জানা আছে ? এটি এনএক্সপি বা অন্য কোনও শ্রেণির সমান? জেনেরিকটি ছাড়া কোনও সম্পূর্ণ সমস্যা আছে (একটি এনএক্সপি এনপি …

11 cc.complexity-theory  reference-request  complexity-classes  nexp 

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

11 pl.programming-languages  denotational-semantics  metric-spaces 

এই প্রশ্নটি স্ট্যাকওভারফ্লোতে জিজ্ঞাসা করা একটি প্রশ্ন দ্বারা অনুপ্রাণিত হয়েছিল । ধরুন আপনাকে এন নোডগুলিতে একটি মূলযুক্ত গাছ (যেমন একটি শিকড় রয়েছে এবং নোডের বাচ্চা রয়েছে ইত্যাদি) ( 1 , 2 , … , এন লেবেলযুক্ত )।TTTnnn1,2,…,n1,2,…,n1, 2, \dots, n প্রতিটি প্রান্তবিন্দু : একটি অ নেতিবাচক পূর্ণসংখ্যা ওজন যুক্ত হয়েছে …

11 cc.complexity-theory  reference-request  np-hardness  tree  application-of-theory 

মার্লিন, যিনি অসীম গণনীয় সম্পদ আছে, আর্থার যে সন্তুষ্ট করতে চায় m|∑p≤N, p primepkm|∑p≤N, p primepkm|\sum_{p\le N,\ p\text{ prime}}p^k জন্য (N,m,k)(N,m,k)(N,m,k) সঙ্গে k=O(logN)k=O(log⁡N)k=O(\log N) এবং m=O(N).m=O(N).m=O(N). এই যোগফলকে সরল উপায়ে গণনা করতে (মডুলার এক্সপেনসেন্টেশন এবং সংযোজন) সময় লাগে N(loglogN)2+o(1)N(log⁡log⁡N)2+o(1)N(\log\log N)^{2+o(1)}FFT ভিত্তিক গুণ সঙ্গে। * কিন্তু আর্থার শুধুমাত্র সম্পাদন করতে পারবেন …

11 cc.complexity-theory  ds.algorithms  time-complexity  interactive-proofs  nt.number-theory 

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

11 cr.crypto-security  hash-function  cryptographic-attack 

অ্যাংলুইন এবং লেয়ার্ড ('88) "এলোমেলো শ্রেণিবদ্ধকরণের শব্দ সহ পিএসি" (বা গোলমাল পিএসি) মডেলটিতে এলোমেলোভাবে দূষিত ডেটা দিয়ে আনুষ্ঠানিকভাবে শেখা। এই মডেল অনুরূপ পিএসি লার্নিং , শিক্ষার্থী দেওয়া উদাহরণ লেবেল ছাড়া, স্বাধীনভাবে এলোমেলোভাবে সম্ভাব্যতা সঙ্গে দূষিত হয় (ফ্লিপ), ।η&lt; 1 / 2η&lt;1/2\eta < 1/2 গোলমাল পিএসি মডেলটিতে যা শেখা যায় তা …

11 lg.learning 

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

11 graph-theory  co.combinatorics  big-list  application-of-theory 

তাত্ত্বিক বা ব্যবহারিক যাই হোক না কেন হ্যাশ অ্যালগরিদমগুলির একটি শ্রেণি রয়েছে, যেমন শ্রেণীর একটি অ্যালগরিদম নীচে প্রদত্ত সংজ্ঞা অনুযায়ী 'প্রতিচ্ছবি' হিসাবে বিবেচিত হতে পারে: হ্যাশ 1 = অ্যালগো 1 ("ইনপুট পাঠ্য 1") হ্যাশ 1 = অ্যালগো 1 ("ইনপুট পাঠ্য 1" + হ্যাশ 1) আউটপুট (হ্যাশ 1) ইনপুট ("ইনপুট পাঠ্য …

11 ds.algorithms  hash-function 

বিশেষ গ্রাফ অ্যালগরিদমের সাথে স্যাট সলভারকে প্রতিযোগিতামূলক তৈরি করতে বাধা কী? অন্য কথায়, স্যাট সমাধানকারীরা অ্যালগরিদম ডিজাইনারের ভূমিকা প্রতিস্থাপন করতে পারে এমন আশা করা কি সম্ভব - অর্থাৎ, সমস্যা কাঠামোটি স্বয়ংক্রিয়ভাবে স্বীকৃতি দিতে সক্ষম হবে এবং তারপরে একটি বিশেষ অ্যালগরিদমের মতো দ্রুত সমাধান করতে সক্ষম হবে? এখানে আমার মনে হয় …

11 ds.algorithms  graph-theory  sat 

যাক একটি acyclic নির্দেশ গ্রাফ হতে যেমন যে আউট-ডিগ্রী কোন প্রান্তবিন্দু হয় । প্রতিটি শীর্ষবিন্দুর জন্য আমরা প্রতিটি প্রান্তিকের থেকে ডিএফএস চালিয়ে অ্যাক্সেসযোগ্য শীর্ষের সংখ্যা গণনা করতে পারি এবং এটি সময় নেবে । এই সমস্যা সমাধানের জন্য আরও ভাল উপায় আছে?জি ( ভি, ই)জি(ভী,ই)G(V,E)ও ( লগ| ভী| )হে(লগ⁡|ভী|)O(\log{|V|})জিজিGও ( | …

11 ds.algorithms  graph-theory  graph-algorithms  directed-acyclic-graph