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

কী কোফিসিয়েন্টস সঙ্গে একটি পূর্ণসংখ্যা ম্যাট্রিক্স একটি নির্ধারক কম্পিউটিং জন্য পরিচিত দক্ষ আলগোরিদিম হয় ZmZm\mathbb{Z}_m , তলানি রিং modulo mmm । সংখ্যা প্রধানমন্ত্রী কিন্তু যৌগিক নাও হতে পারে (তাই কম্পিউটেশন, একটি ক্ষেত্র রিং সঞ্চালিত হয় নয়)।mmm আমি যতদূর জানি (নীচে পড়ুন), বেশিরভাগ অ্যালগরিদমগুলি গাউসিয়ান নির্মূলকরণের পরিবর্তন। প্রশ্ন এই পদ্ধতিগুলির গণ্য …

18 ds.algorithms  reference-request  linear-algebra  comp-number-theory 

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

18 automata-theory 

কে ভেরিয়েবল এবং ক্লজ সহ একটি সন্তুষ্ট সিএনএফ সূত্র হতে দিন । যাক সমাধান স্থান হতে ।F1F1F_1মি এস এফ 1 এফ 1nnnmmmSF1SF1S_{F_1}F1F1F_1 নির্ধারণের সমস্যা, প্রদত্ত বিবেচনা , অন্য CNF ফর্মুলা যেমন ভেরিয়েবল একই সেট দিয়ে F_1 , সঙ্গে S_ {F_2} = S_ {F_1} (হিসাবে একই সমাধান ক্ষেত্র F_1 ), কিন্তু …

18 cc.complexity-theory  co.combinatorics  sat  formulas 

আমি মনে করি যে উপপাদাগুলির একটি তালিকা তৈরি করা ভাল ধারণা হবে যে পি পি এনপির সমান হয় না এবং কেবল যদি এই জাতীয় এবং এইভাবে প্রস্থান হয়, কিছু জটিলতা শ্রেণি অন্য জটিলতার ক্লাসে অন্তর্ভুক্ত থাকে এবং আরও অনেক কিছু।

18 cc.complexity-theory  big-list  p-vs-np 

আমি এই জাতীয় অ্যাপ্লিকেশনগুলির জন্য সুদূরপরাীক্ষা করেছি এবং বেশিরভাগই ছোট হয়েছি। আমি টোপোলজির প্রচুর অ্যাপ্লিকেশন এবং অনুরূপ কাঠামো (বা অগণিত) সেটগুলিতে খুঁজে পেতে পারি তবে খুব কমই আমি কম্পিউটার বিজ্ঞানীদের গবেষণার অবজেক্ট হিসাবে অগণিত সেটগুলি পাই এবং তাই বিশ্লেষণ থেকে কৌশলগুলির প্রয়োজনীয়তার দিকে নিয়ে যাই।

18 co.combinatorics  big-picture 

১৯৯০ এর দশকে হাইপার কমপুটেশন নিয়ে আমি অনেক গবেষণা দেখছি , তবে সাম্প্রতিক বছরগুলিতে বিষয়টিতে খুব কম কাজ হয়েছে বলে মনে হচ্ছে। সত্য যে এই অঞ্চলে গবেষণা নিচে মারা গেছে? যদি তা হয় তবে এর কারণগুলি কী হতে পারে? এই অঞ্চলটি দৃinc়তার সাথে সংঘাতহীন হিসাবে দেখানো হয়েছিল?

18 reference-request  computability  hypercomputation 

সংক্ষিপ্ত সুপারস্ট্রিং সমস্যার সঠিক জটিলতা সম্পর্কে কী জানা যায়? এটি চেয়ে দ্রুত সমাধান করা যায় O∗(2n)O∗(2n)O^*(2^n)? এমন কি অ্যালগরিদম রয়েছে যা টিএসপিকে হ্রাস না করে সংক্ষিপ্ততম সুপারস্ট্রিং সমাধান করে? ইউপিডি: বহুপদী উপাদানগুলিকে দমন করে।O∗(⋅)O∗(⋅)O^*(\cdot) সংক্ষিপ্ততম সুপারস্ট্রিং সমস্যা হ'ল এমন একটি সমস্যা যার উত্তর হ'ল সংক্ষিপ্ততম স্ট্রিং যা প্রদত্ত স্ট্রিংগুলির সেট …

18 cc.complexity-theory  ds.algorithms  graph-theory  tsp  exp-time-algorithms 

স্যাট সমাধানের জন্য কি কোনও অ্যালগরিদম রয়েছে যা ডিপিএল ভিত্তিক নয়? বা স্যাট সলভার দ্বারা ব্যবহৃত সমস্ত অ্যালগরিদমগুলি ডিপিএল ভিত্তিক?

18 ds.algorithms  reference-request  sat 

XORification যে পরিবর্তনশীল প্রতিস্থাপন দ্বারা একটি বুলিয়ান ফাংশন বা সূত্র কঠিন করে তুলতে কৌশল এর XOR যাও দ্বারা স্বতন্ত্র ভেরিয়েবল । কে ≥ 2 এক্স 1 ⊕ … ⊕ এক্স কেxএক্সxk≥2ট≥2k\geq 2x1⊕…⊕xkএক্স1⊕...⊕এক্সটx_1 \oplus \ldots \oplus x_k আমি প্রমাণ জটিলতায় এই কৌশলটির ব্যবহার সম্পর্কে সচেতন, মূলত রেজোলিউশন-ভিত্তিক প্রুফ সিস্টেমগুলির জন্য স্থান …

18 cc.complexity-theory  reference-request  boolean-functions  proof-complexity 

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

18 quantum-computing 

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

18 reference-request  lo.logic  survey  automated-theorem-proving  linear-logic 

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

18 co.combinatorics 

অ্যালগরিদমের প্রচুর সংখ্যা রয়েছে যা সময়ে একটি প্রসঙ্গমুক্ত ব্যাকরণকে পার্স করতে পারে । ম্যাট্রিক্সের গুণটি ব্যবহার করে, কেউ তার চেয়েও তাত্পর্যপূর্ণভাবে দ্রুত যেতে পারে।ও ( এন)3)হে(এন3)O(n^3) তবে, আমি জানি যে স্বেচ্ছাসেবী সিএফজির পার্সিংয়ের জন্য সমস্ত অ্যালগরিদমে সবচেয়ে খারাপ ক্ষেত্রে স্পেস ব্যবহার হয় (যদিও, স্বীকার করি যে, ম্যাট্রিক্সের গুণিত অ্যালগরিদমের স্থান …

18 ds.algorithms  fl.formal-languages  space-bounded  parsing  context-free 

মাত্র কৌতূহলের বাইরে, যদি ক্লাসিক্যাল গণনাটি পারমিটেশন ম্যাট্রিক্স সম্পর্কে এবং কোয়ান্টাম কম্পিউটিংটি একক ম্যাট্রিক্স (যার মধ্যে পরমেশ ম্যাট্রিকগুলি একটি উপগ্রুপ) সম্পর্কে হয়, তবে ইউনিটরি ম্যাট্রিক্সের বাইরে কোনও গণনার দৃষ্টান্ত থাকবে?

18 quantum-computing  philosophy 

এন পূর্ণসংখ্যার কোনও ভেক্টরের মানক বিচ্ছিন্ন ফুরিয়ার রূপান্তরকরণের জটিলতা (স্ট্যান্ডার্ড ইন্টিজার র‌্যামে) কী?nnn দ্রুত ফুরিয়ার রূপান্তরগুলির জন্য ধ্রুপদী অ্যালগরিদম , কুলি এবং টুকির সাথে অনুপযুক্ত [1] হিসাবে চিহ্নিত করা হয় সাধারণত O(nlogn)O(nlog⁡n)O(n \log n) সময়ে চলমান হিসাবে বর্ণনা করা হয় । তবে এই অ্যালগরিদমে কার্যকর করা বেশিরভাগ গাণিতিক ক্রিয়াকলাপগুলি unityক্যের …

18 ds.algorithms  time-complexity  computing-over-reals  computable-analysis