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

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

21 cc.complexity-theory  circuit-complexity 

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

21 ds.algorithms  approximation-algorithms  big-picture  application-of-theory 

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

21 reference-request  lo.logic  coq 

লুকা ট্রেভিসন দেখিয়েছিলেন যে সিউডোর্যান্ডম জেনারেটরের কতগুলি নির্মাণকে বাস্তবে এক্সট্রাক্টর নির্মাণ হিসাবে বিবেচনা করা যেতে পারে: http://www.cs.berkeley.edu/~luca/pubs/extractor-full.pdf একটি অর্থবহ কথাবার্তা আছে? অর্থাত, নিষ্কাশনকারীদের "প্রাকৃতিক" নির্মাণগুলি কি সিউডোরানডম জেনারেটর (পিআরজি) নির্মাণ হিসাবে বিবেচনা করা যেতে পারে? এক্সট্রাক্টর নির্মাণগুলি পিআরজিগুলিতে বিতরণের সাথে সামঞ্জস্যপূর্ণ বলে মনে হয় (যেমন কোনও পার্থক্যকারী তাদের প্রায় সকলের …

21 cc.complexity-theory  pseudorandomness  pseudorandom-generators  extractors 

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

21 cc.complexity-theory  complexity-classes  graph-isomorphism 

প্ল্যানার গ্রাফগুলির সেটটি বিবেচনা করুন যেখানে সমস্ত অভ্যন্তরীণ মুখগুলি ত্রিভুজ। বিজোড় ডিগ্রির অভ্যন্তরীণ বিন্দু থাকলে গ্রাফটি তিন রঙিন হতে পারে না। প্রতিটি ইন্টিরির পয়েন্টের এমনকি ডিগ্রি থাকলে তা কি সর্বদা তিন রঙিন হতে পারে? আদর্শভাবে আমি একটি ছোট পাল্টা নমুনা চাই।

21 graph-theory  co.combinatorics  graph-colouring 

(এই একটি ফলো-আপ এই প্রশ্নের এবং তার উত্তর ।) আমার কাছে নিম্নলিখিত সম্পূর্ণ আনমোডুলার (টিইউ) পূর্ণসংখ্যার লিনিয়ার প্রোগ্রাম (আইএলপি) রয়েছে। এখানে ইনপুট অংশ হিসেবে দেওয়া সমস্ত ধনাত্মক পূর্ণসংখ্যা। X i j ভেরিয়েবলের একটি নির্দিষ্ট উপসেটটি শূন্যে সেট করা আছে, এবং বাকিগুলি ইতিবাচক অবিচ্ছেদ্য মানগুলি নিতে পারে:ℓ,m,n1,n2,…,nℓ,c1,c2,…,cm,wℓ,m,n1,n2,…,nℓ,c1,c2,…,cm,w\ell,m,n_{1},n_{2},\ldots,n_{\ell},c_{1},c_{2},\ldots,c_{m},wxijxijx_{ij} কমান ∑mj=1cj∑ℓi=1xij∑j=1mcj∑i=1ℓxij\sum_{j=1}^{m}c_{j}\sum_{i=1}^{\ell}x_{ij} বিষযে: ∑mj=1xij=ni∀i∑j=1mxij=ni∀i\sum_{j=1}^{m}x_{ij}=n_{i}\,\,\forall …

21 ds.algorithms  reference-request  linear-programming  integer-programming  polynomial-time 

একটি সম্ভাব্যতা বিতরণের জন্য Huffman কোড ন্যূনতম পরিমেয় গড় codeword দৈর্ঘ্য সঙ্গে উপসর্গ কোড , যেখানে এর দৈর্ঘ্য হল তম codword। এটি একটি সুপরিচিত উপপাদ্য যে হাফম্যান কোডের প্রতীক প্রতি গড় দৈর্ঘ্য এবং , যেখানে শ্যানন এন্ট্রপি সম্ভাব্যতা বিতরণ।ppp∑piℓi∑piℓi\sum p_i \ell_iℓiℓi\ell_iiiiH(p)H(p)H(p)H(p)+1H(p)+1H(p)+1H(p)=−∑ipilog2piH(p)=−∑ipilog2⁡piH(p) = -\sum_i \, p_i \log_2 p_i ক্যানোনিকাল খারাপ উদাহরণ, …

21 optimization  it.information-theory  coding-theory 

এন সিNC\mathsf{NC} দক্ষতার parallelizable ধারণা ধারন করে, এবং এটি এক ব্যাখ্যা ঐ সময়ের মধ্যে সমাধেয় হয় সমস্যার হয় ব্যবহার কিছু ধ্রুবক জন্য সমান্তরাল প্রসেসর , । যদি একটি অনুরূপ জটিলতা বর্গ যেখানে সময় হল আমার প্রশ্ন হচ্ছে এবং প্রসেসর সংখ্যা । খালি শূন্য প্রশ্ন হিসাবে:ও ( এন কে ) সি …

21 cc.complexity-theory  reference-request  complexity-classes  circuit-complexity  dc.parallel-comp 

(ম্যাথওভারফ্লো থেকে ক্রসপোস্ট করা) হাই, আমি এই থ্রেডটি পড়ছিলাম: /mathpro/16393/find-a- سائیکل-of-fixed- leth আমি একটি গ্রাফে একটি 5-চক্র খুঁজতে চাই। বাস্তবিক, আমি কি সত্যিই চান দৈর্ঘ্য কমপক্ষে 5 সবচেয়ে কম বিজোড় চক্র, কিন্তু হয়তো যে বিন্দু পাশে একটু হয়। আমার উদ্দেশ্যগুলির জন্য, আমি জটিলতা বিশ্লেষণে এবং এন একই আচরণ করি । …

21 ds.algorithms  graph-theory  graph-algorithms  sparse-matrix 

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

21 fl.formal-languages  automata-theory  proofs  grammars 

ডিএনএ-অ্যালগরিদম এবং ট্যুরিং মেশিন ব্যবহার করে সংজ্ঞায়িত জটিলতা শ্রেণীর মধ্যে কী সম্পর্ক ? সময় এবং স্থানের মতো জটিলতা ব্যবস্থাগুলি ডিএনএ-অ্যালগরিদমগুলির সাথে কী মিল করে? টিপিএস-এর মতো এনপি-সম্পূর্ণ সমস্যার উদাহরণগুলি সমাধান করতে তাদের ব্যবহার করা যেতে পারে যে ভ্যান নিউম্যান মেশিনগুলি বাস্তবে বাস্তবে সমাধান করতে পারে না?

21 cc.complexity-theory  np-hardness  natural-computing  tsp 

অ্যাবেলিয়ান লুকানো সাবগ্রুপ ওরাকল অ্যাক্সেস সহ বিকিউপি কি বিপিপির সমান?

21 complexity-classes  quantum-computing 

পি তে সমান্তরালিত আলগোরিদিম সম্পর্কে যা জানা আছে সে সম্পর্কে আমি বিস্তৃত অর্থে কৌতূহলী। আমি এই বিষয়টি সম্পর্কে নিম্নলিখিত উইকিপিডিয়া নিবন্ধটি পেয়েছি: http://en.wikipedia.org/wiki/NC_%28complexity%29 নিবন্ধটিতে নিম্নলিখিত বাক্য রয়েছে: এনসি = পি কিনা তা অজানা, তবে বেশিরভাগ গবেষক এটিকে মিথ্যা বলে সন্দেহ করেছেন, এর অর্থ সম্ভবত কিছু ট্র্যাকটেবল সমস্যা রয়েছে যা "সহজাতভাবে …

21 cc.complexity-theory  complexity-classes  big-picture 

একসাথে ফলাফল স্থাপন করার সময়, এমএস পেইন্টে ডায়াগ্রামগুলি একসাথে রাখার পরিবর্তে বেশ কয়েকটি পেশাদার দেখাচ্ছে ডায়াগ্রামগুলি আকাঙ্ক্ষিত। ডেটা স্ট্রাকচার আঁকার মান কী?

21 soft-question  ds.data-structures  software  graph-drawing  writing