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

যাক একটি বর্গাকার পূর্ণসংখ্যা ম্যাট্রিক্স হবে | এন একটি ধনাত্মক পূর্ণসংখ্যা হতে। আমি নিম্নলিখিত সিদ্ধান্ত সমস্যার জটিলতায় আগ্রহী:MMMnnn উপরের-ডান প্রবেশটি কী ইতিবাচক?MnMnM^n নোট করুন যে পুনরাবৃত্ত স্কোয়ারিং (বা অন্য কোনও স্পষ্ট গণনা) এর সুস্পষ্ট পদ্ধতির জন্য আমাদের দ্বিগুণ তাত্পর্যপূর্ণ মাত্রার পূর্ণসংখ্যার হ্যান্ডেল করা প্রয়োজন, অর্থাত্ বহু বিট রয়েছে। তবে সমস্যাটি …

26 cc.complexity-theory  linear-algebra  matrices 

আমি নিশ্চিত সবাই জানেন আছি Buffon এর সুই 18 শতকে পরীক্ষা, যে গণনা করতে প্রথম সম্ভাব্য আলগোরিদিম এক ।ππ\pi কম্পিউটারগুলিতে অ্যালগরিদমের বাস্তবায়নের জন্য সাধারণত , বা একটি ত্রিকোণমিতিক ফাংশন ব্যবহারের আহ্বান জানানো হয় , এমনকি যদি তারা কাটা সিরিজ হিসাবে প্রয়োগ করা হয় তবে সাজানোর উদ্দেশ্যটি ধরণের হয়।ππ\pi এই সমস্যাটি …

26 ds.algorithms  reference-request  randomized-algorithms  ho.history-overview  monte-carlo 

শিব Kintali শুধু একটি (কুল!) ঘোষণা করেছে যে ফলাফল প্রস্থের বেষ্টিত treewidth গ্রাফ এর জন্য গ্রাফ isomorphism হয় ⊕ এল -hard≥4≥4\geq 4⊕L⊕L\oplus L । অনানুষ্ঠানিকভাবে, আমার প্রশ্ন, "এটি কতটা কঠিন?" আমরা জানি যে ইউনিফর্মালি এন এল ⊆ ⊕ এল , এই প্রশ্নের উত্তরগুলি দেখুন । আমরা এও জানি যে এটি …

26 cc.complexity-theory  complexity-classes  logspace 

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

26 ds.algorithms  graph-algorithms  application-of-theory 

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

26 cc.complexity-theory  reference-request  complexity-classes 

উইকিপিডিয়ায় কোন অনুপস্থিত টিসিএস বিষয়গুলি আপনার সম্পর্কে সেখানে একটি নিবন্ধ থাকতে চান? এগুলি হতে পারে স্পষ্টভাবে বাদ দেওয়া বা কেবলমাত্র বিষয়গুলি যা আপনার মনে হয় সত্যই একটি নিবন্ধ থাকা উচিত। উত্তরে প্রতি একটি বিষয় দয়া করে যাতে সর্বাধিক চেয়েছিলেন তাদের ভোট দেওয়া যায়। আপডেট 5/2/2017 : শুচি চাওলা উইকিপিডিয়াতে টিসিএসের …

26 soft-question  big-list  survey 

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

26 ds.algorithms  co.combinatorics  fl.formal-languages  regular-language 

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

26 graph-theory  co.combinatorics 

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

26 lo.logic  pl.programming-languages 

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

26 soft-question  big-list 

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

26 ds.algorithms  reference-request  approximation-algorithms  approximation-hardness 

একটি PHPHPH মেশিন একটি র্যান্ডম বুলিয়ান ফাংশন ওরাকল প্রবেশাধিকার দেওয়া হয় f:{0,1}n→{−1,1}f:{0,1}n→{−1,1}f:\{0,1\}^n \to \{ -1,1 \} এবং দুটি ফুরিয়ার বর্ণালীতে ggg এবং hhh । একটি ফাংশন এর ফুরিয়ার বর্ণালীতে fff হিসাবে সংজ্ঞায়িত করা হয় F:{0,1}n→RF:{0,1}n→RF:\{0,1\}^n \to R : F(s)=∑x∈{0,1}n(−1)(s⋅xmod 2)f(x)F(s)=∑x∈{0,1}n(−1)(s⋅xmod 2)f(x)F(s)=\sum_{x\in\{0,1\}^n} (-1)^\left( s\cdot x \mod\ 2 \right) f(x) এক বা …

26 cc.complexity-theory  lg.learning  boolean-functions  fourier-analysis 

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

26 automata-theory  computability  turing-machines  lambda-calculus  universal-computation 

একটি 3CNF সূত্রের জন্য CCC দিন M(C)M(C)M(C) কোনো কার্যভার সন্তুষ্ট ক্লজ সর্বোচ্চ সংখ্যা হতে CCC । জানা যায় ম্যাক্স-3SAT (পি ≠ দ্বারা NP সাপেক্ষে), অর্থাৎ কোন polytime অ্যালগরিদম যার ইনপুট একটি 3CNF সূত্র হয় আনুমানিক কঠিন CCC , যার আউটপুট হলে সংখ্যা M′M′M' যেমন যে M(C)M(C)M(C) একটি মধ্যে গুণনশীল ফ্যাক্টর …

26 cc.complexity-theory  sat 

#P = FP এর পরিণতি কোনটি হবে? আমি ব্যবহারিক এবং তাত্ত্বিক উভয় পরিণতিতে আগ্রহী। ব্যবহারিক দৃষ্টিকোণ থেকে, আমি বিশেষভাবে কৃত্রিম বুদ্ধিমত্তার উপর পরিণতি সম্পর্কে আগ্রহী। কাগজপত্র বা বইয়ের পয়েন্টারগুলি স্বাগত অপেক্ষা বেশি। দয়া করে এটি বলবেন না যে # পি = এফপি পি = এনপি বোঝায়, আমি এটি ইতিমধ্যে জানি। …

26 cc.complexity-theory  ds.algorithms  complexity-classes  counting-complexity  ai.artificial-intel