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

এটি শাস্ত্রীয় সচিব সমস্যার একটি বর্ধিতাংশ । নিয়োগের খেলায় আপনার কাছে এক সেট পরীক্ষার্থী রয়েছে এবং প্রতিটি কর্মী কতটা দক্ষ তার উপর অর্ডার দিন।C={c1,…,cN}C={c1,…,cN}\mathcal C=\{c_1,\ldots,c_N\} Wlog, আমরা ধরে নিই যে সবচেয়ে দক্ষ, তারপরে ইত্যাদি isc1c1c_1c2c2c_2 ক্রম অনুসারে প্রার্থীদের সাক্ষাত্কারটি অভিন্নভাবে নেওয়া হয় এবং এটি নিয়োগকারীদের কাছে অজানা। এখন ধরুন আপনার …

9 ds.algorithms  gt.game-theory 

আসুন a এমন একটি ফাংশন যা আমরা সাদৃশ্য ফাংশন হিসাবে উল্লেখ করি । মিলের কার্যকারণের উদাহরণগুলি কোসাইন দূরত্ব, আদর্শ, হামিং দূরত্ব, মিল,d:{0,1}k×{0,1}k→Rd:{0,1}k×{0,1}k→Rd:\{0,1\}^k\times \{0,1\}^k \to \mathbb{R}l2l2l_2 বিবেচনা করুন দৈর্ঘ্যের বাইনারি ভেক্টর : ।nnnkkkv⃗ ∈({0,1}k)nv→∈({0,1}k)n\vec{v} \in (\{0,1\}^k)^n আমাদের লক্ষ্য গ্রুপ ভেক্টর যা একই রকম। আরও আনুষ্ঠানিকভাবে, আমরা একটি অনুরূপ গ্রাফ গণনা করতে …

9 ds.algorithms  graph-algorithms  clustering 

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

9 cc.complexity-theory  linear-equations 

দ্রুততম অচিন্তিত নির্দেশক গ্রাফ আইসোমর্ফিিজম অ্যালগরিদম কী?

9 cc.complexity-theory  reference-request  graph-algorithms  graph-isomorphism 

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

9 ds.algorithms  algebraic-complexity  arithmetic-circuits 

বলুন আমাদের একটি বুলিয়ান ফাংশন রয়েছে f:{−1,1}n→{−1,1}f:{−1,1}n→{−1,1}f:\{-1,1\}^n\rightarrow \{-1,1\} এবং আমরা আবেদন δδ\delta-র্যান্ডম সীমাবদ্ধতা fff। এছাড়াও, সিদ্ধান্ত গাছ বলেTTT যে গণনা fff আকার সঙ্কুচিত O(1)O(1)O(1)এলোমেলো সীমাবদ্ধতার ফলস্বরূপ। এটি কি বোঝায়?fff একটি খুব কম মোট প্রভাব আছে?

9 cc.complexity-theory  co.combinatorics  circuit-complexity  boolean-functions 

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

9 cc.complexity-theory  it.information-theory  polynomial-time 

দুটি এন-বিট পূর্ণসংখ্যার গুণিত সার্কিটের গেটগুলির সংখ্যার জন্য সেরা ফলাফল কী? সুস্পষ্ট পদ্ধতিটি উত্পন্ন করে θ (এন2)θ(n2)\theta(n^2)দরজা। সঙ্গে আরও ভাল পন্থা আছেθ ( এন লগএন লগলগএন )θ(nlog⁡nlog⁡log⁡n)\theta(n\log n \log\log n) এবং θ ( এন লগএন2লগ*( এন ))θ(nlog⁡n2log∗⁡(n))\theta(n\log n2^{\log^*(n)}) দরজা। আমি কোনও বুলিয়ান সার্কিট পরিবার পাইনি যা এর সাহায্যে গুণন পরিচালনা …

9 cc.complexity-theory  circuit-complexity 

সমস্ত সিএফজির ক্ষেত্রে অস্পষ্ট সিএফজির অনুপাত কত ? যেহেতু উভয় সেট অগণিত অসীম অনুপাতটি সঠিকভাবে সংজ্ঞায়িত হয় না। তবে অ্যাসিপটোটিক ঘনত্ব সম্পর্কে কী : লিমn ↦ ∞ আকারের # দ্ব্যর্থক সিএফজি < এন আকারের # সিএফজি < এনlimn↦∞# ambiguous CFG of size<n# CFG of size<n\lim_{n \mapsto \infty}\frac {\# \text{ ambiguous …

9 fl.formal-languages  grammars  context-free 

আমি পয়েন্টের একটি সেটকে দুটি সমান আকারের সাবসেটগুলিতে ভাগ করতে চাই যাতে স্কোয়ারগুলির মধ্যে-ক্লাস্টারের যোগফল হ্রাস পায়। আমরা ধরে নিতে পারি যে পয়েন্টগুলি দ্বি-মাত্রিক ইউক্লিডিয়ান স্পেসে রয়েছে। আমি সাধারণ কে-মানে ক্লাস্টারিং অ্যালগরিদমকে যে কে = ডি = ২ দিয়েছি তার চেয়ে দ্রুত কিছু আশা করছি। কেউ কি এর জন্য আমাকে …

9 ds.algorithms  approximation-algorithms  clustering 

একজন homomorphism গ্রাফ থেকে গ্রাফ থেকে একটি ম্যাপিং হয় থেকে করতে যেমন যে যদি এবং মধ্যে সংলগ্ন হয় তারপর এবং এর সাথে সংলগ্ন । একটি endomorphism গ্রাফ এর থেকে একটি homomorphism হয় নিজেই; এটি ফিক্সড পয়েন্ট-ফ্রি যদি মতো কোনও এবং এটি অ-তুচ্ছ হয় যদি এটি পরিচয় না থাকে।G=(V,E)G=(V,E)G = (V, …

9 cc.complexity-theory  graph-algorithms  counting-complexity  graph-isomorphism  homomorphism 

বেশিরভাগ নির্ভরশীল টাইপ করা সিস্টেমে ইনডাকটিভ টাইপের জন্য কঠোর ইতিবাচক শর্ত রয়েছে। শর্ত লঙ্ঘন করার ফলে সিস্টেমে অসামঞ্জস্যতা বাড়ে এমন কোনও উদাহরণ কি কেউ জানেন?

9 lo.logic  type-theory  dependent-type 

ক্লাসিকাল # পি-সম্পূর্ণ সমস্যাটি বিবেচনা করুন # 3 এস্যাট, অর্থাত্, ভেরিয়েবলগুলি সন্তুষ্টিকর সাথে 3 সিএনএফ করার জন্য মূল্যায়নের সংখ্যা গণনা করতে । আমি অ্যাডিটিভ আনুমানিকতা আগ্রহী । স্পষ্টতই, 2 ^ {n-1 er -ররর অর্জনের জন্য তুচ্ছ একটি অ্যালগরিদম রয়েছে তবে কে <2 ^ {n-1} , যদি একটি কার্যকর আনুমানিক অ্যালগরিদম …

9 approximation-algorithms  sat  counting-complexity  approximation-hardness 

গণতান্ত্রিক জটিলতার তত্ত্বের সাথে সম্পর্কিত এবং নিজস্ব যোগাযোগের বিষয়টিকে উত্সাহিত এবং শিখতে সেরা উত্সগুলি (বই এবং কাগজপত্রগুলি) কোনটি?

9 cc.complexity-theory  reference-request  communication-complexity  books 

লাগানো চক্রের সমস্যায় অবশ্যই এর্ডো-রেনিই র্যান্ডম গ্রাফ লাগানো একটি ক্লিক পুনরুদ্ধার করতে হবে । অধিকাংশ ক্ষেত্রে এই দিকে তাকিয়ে হয়েছে , যে ক্ষেত্রে যদি বহুপদী টাইম সমাধেয় হিসেবে পরিচিত এবং জন্য হার্ড অনুমিত ।টkkজি ( এন , পি )G(n,p)G(n,p)পি =12p=12p=\frac{1}{2}k &gt;এন--√k&gt;nk > \sqrt{n}কে &lt;এন--√k&lt;nk< \sqrt{n} আমার প্রশ্ন: অন্যান্য মান সম্পর্কে …

9 cc.complexity-theory  approximation-algorithms  approximation-hardness