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

আবদ্ধ গভীরতা কম্পিউটিং সম্পর্কে দুটি সম্পর্কিত প্রশ্ন: 1) ধরুন যে আপনি এন বিট দিয়ে শুরু করেছেন, এবং বিট দিয়ে শুরু করতে আমি 0 বা 1 হতে পারে কিছু সম্ভাব্যতা পি (i) দিয়ে, স্বাধীনভাবে। (যদি এটি সমস্যাটিকে সহজতর করে তোলে তবে আমরা ধরে নিতে পারি যে সমস্ত পি (i) গুলি 0,1, …

20 cc.complexity-theory  quantum-computing  circuit-complexity  randomness  circuit-depth 

অনুমান আমরা তালিকা বাছাই করতে চান এর এন বাস্তব নম্বর। ধরে নিন যে আমাদের একটি কালো বাক্স দেওয়া হয়েছে যা sort বাছাই করতে পারে √SSSnnn বাস্তব অবিলম্বে নম্বর। এই ব্ল্যাক বক্সটি ব্যবহার করে আমরা কতটা সুবিধা অর্জন করতে পারি?n−−√n\sqrt n উদাহরণস্বরূপ, আমরা কেবল ও ( √) দিয়ে সংখ্যাগুলি বাছাই করতে …

20 ds.algorithms  sorting  decision-trees 

হাইপারগ্রাফ এর লাইন গ্রাফটি হ'ল (সরল) গ্রাফ এর এর হিসাবে এর দুটি প্রান্ত বিশিষ্ট ছেদগুলি যদি এর সাথে সংলগ্ন হয় they একজন hypergraph একটি হল যদি তার প্রান্ত প্রতিটি সর্বাধিক হয়েছে -hypergraph ছেদচিহ্ন।এইচএইচHজিজিGএইচএইচHএইচএইচHজিজিGRRrRRr নিম্নলিখিত সমস্যার জটিলতা কি: গ্রাফ দেওয়া , একটি সেখানে বিদ্যমান -hypergraph যেমন যে লাইন গ্রাফ হয় ?জিজিG333এইচএইচHজিজিGএইচএইচH …

20 cc.complexity-theory  graph-algorithms  hypergraphs 

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

20 reference-request  pl.programming-languages  semantics  compilers 

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

20 graph-theory  co.combinatorics 

আমি সম্প্রতি গাছগুলির মধ্যে পার্থক্য করার সাথে জড়িত সমস্যার এই সংক্ষিপ্তসারটি পড়েছি এবং এই সমস্যার জন্য শিল্পের অবস্থা কী তা জানতে আগ্রহী হয়েছিল। এছাড়াও, ধরুন যে আপনার অনুমোদিত সম্পাদনা অপারেশনগুলির মধ্যে theতিহ্যবাহী অ্যাড / ডিলিট নোড, আপনি অনুলিপি / সরানো সাবট্রির বর্ধিত ক্রিয়াকলাপগুলি যুক্ত করুন এমন সামগ্রী সম্পাদনা করুন, এটি …

20 ds.algorithms  tree  edit-distance 

পিসিপি উপপাদ্য রাজ্যের MAX টি 3SAT জন্য কোন বহুপদী সময় এলগরিদম আছে যে একটি কাজ পরিতৃপ্ত এটি একটি Satisfiable 3SAT সূত্র যদি না ক্লজ পি = এন পি ।7 / 8 + + ε7/8+ϵ7/8+ \epsilonপি= এনপিP=NPP = NP একটা তুচ্ছ বহুপদী সময় অ্যালগরিদম মাফিক হয় ক্লজ। সুতরাং, আমরা চেয়েও বেশি …

20 cc.complexity-theory  pcp 

নীচের আকর্ষণীয় সমস্যাটি সম্প্রতি আমার গবেষণায় উঠে এসেছে: উদাহরণ হিসেবে বলা যায়: গ্রাফ ।জি ( ভ, ই)G(V,E)G(V, E) সমাধান: একটি কর্ডলেস বিজোড়-চক্র সমাপ্তি, প্রান্ত সেট এর সুপারসেট হিসাবে সংজ্ঞায়িত হয়েছে যাতে সম্পূর্ণ গ্রাফ এর এমন বৈশিষ্ট্য রয়েছে যা প্রতিটি প্রান্ত একটি নির্বিঘ্ন বিজোড় চক্রের মধ্যে থাকে। ই জি ′ ( …

20 cc.complexity-theory  reference-request  graph-theory  np-hardness 

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

20 ds.data-structures  algebra  ct.category-theory 

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

20 computability  automata-theory  turing-machines 

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

20 ds.algorithms  reference-request  string-matching 

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

20 cc.complexity-theory  np-hardness  big-list  randomness  reductions 

Karp-লিপটন Theoem যে যদি , তারপর থেকে ভেঙে । অতএব, মধ্যে বিচ্ছিন্নতার অভিমানী এবং , কোন -complete অসুবিধায় পড়েন হবে ।পি এইচ Σ পি 2 Σ পি 2 Σ পি 3 এন পি পি / পি ও এল ওয়াইএন পি ⊂ পি / পি ও এল ওয়াইএনপি⊂পি/পিণঠY\mathsf{NP} \subset \mathsf{P/poly}পি এইচপিএইচ\mathsf{PH}Σপি2Σ2পি\mathsf{\Sigma^P_2}Σপি2Σ2পি\mathsf{\Sigma^P_2}Σপি3Σ3পি\mathsf{\Sigma^P_3}এন …

20 cc.complexity-theory  np  conditional-results  advice-and-nonuniformity  average-case-complexity 

ধরুন, প্রান্ত সহ একটি গ্রাফ প্রান্তের প্রবাহ হিসাবে উপস্থাপিত হয়েছে , তবে একাধিক পাস প্রবাহের অনুমতিপ্রাপ্ত।জিজিGএনএনnমিমিm মনিকা Rauch Henzinger, প্রভাকর রাঘবান এবং Sridar Rajagopalan দেখেন যে স্থান নির্ধারণ করতে সেখানে প্রদত্ত দুটি ছেদচিহ্ন মধ্যে একটি পাথ কিনা প্রয়োজনীয় , যদি পাস ডেটার উপর অনুমতি দেওয়া হয়। ( প্রযুক্তিগত প্রতিবেদনের সংস্করণটিও …

20 reference-request  graph-algorithms  ds.data-structures  lower-bounds  data-streams 

প্যারামিট্রাইজড জটিলতায়, ⊆ W [ 2 ] ⊆ … ⊆ W [ P ] । এটি অনুমান করা হয় যে প্রতিটি পাতাগুলি যথাযথ।FPT⊆W[1]FPT⊆W[1]\mathsf{FPT} \subseteq \mathsf{W}[1] ⊆W[2]⊆W[2]\subseteq \mathsf{W}[2] ⊆…⊆W[P]⊆…⊆W[P]\subseteq \ldots \subseteq \mathsf{W}[P] যদি তবে পি = ডব্লু [ পি ] ।FPT=W[P]FPT=W[P]\mathsf{FPT}=\mathsf{W}[P]P=W[P]P=W[P]\mathsf{P}=\mathsf{W}[P] কিন্তু এটি কি অনুসরণ করে? যদি তবে F P T …

20 cc.complexity-theory  parameterized-complexity  fixed-parameter-tractable