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

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

31 reference-request  pl.programming-languages  semantics  denotational-semantics  books 

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

31 cc.complexity-theory  gt.game-theory  interactive-proofs 

আমি সিএস ফিল্ডে নতুন এবং আমি লক্ষ্য করেছি যে আমি যে অনেকগুলি কাগজ পড়েছি সেখানে কোনও অভিজ্ঞতামূলক ফলাফল নেই (কোনও কোড নেই, কেবল লেমাস এবং প্রমাণ নেই)। কেন এমন? কম্পিউটার বিজ্ঞান একটি বিজ্ঞান বিবেচনা করে, এটি কি বৈজ্ঞানিক পদ্ধতি অনুসরণ করা উচিত নয়?

31 soft-question  research-practice  writing 

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

31 ds.algorithms  conditional-results  linear-programming  computing-over-reals  simplex 

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

31 ds.algorithms  randomized-algorithms 

জটিলতা ওয়েবলগে জোশ গ্রাচোর এই অতিথি পোস্টে তিনি জুলাইয়ে প্রিন্সটনে জিসিটির প্রতি নিবেদিত একটি সাম্প্রতিক কর্মশালার প্রতিবেদন করেছেন। উপস্থিত কয়েকজন যুক্তি দেখিয়েছিলেন যে অন্তর্দৃষ্টি তৈরি করতে এবং পদ্ধতিটির সম্ভাবনা আছে কিনা তা দেখার জন্য আমাদের বনাম চেয়ে সহজ সমস্যার আক্রমণ করার জন্য জিসিটি ব্যবহার করা উচিত ।পিপি\mathsf{P}এন পিএনপি\mathsf{NP} যে প্রশ্নটি …

31 cc.complexity-theory  gct 

আমি ভাবলাম আমি এই প্রশ্নটি ভাগ করব কারণ এটি অন্যান্য ব্যবহারকারীদের পক্ষে এটি আকর্ষণীয় হতে পারে। অনুমান করুন যে একটি ফাংশন যা ইউনিফর্ম শ্রেণিতে রয়েছে ( মতো NPNPNP) এটি একটি ছোট নন ইউনিফর্ম শ্রেণিতেও রয়েছে (যেমন AC0/polyAC0/polyAC^0/poly , অর্থাৎ নন ইউনিফর্ম AC0AC0AC^0 ), এটি কি বোঝায় যে ফাংশনটি একটিতে রয়েছে …

31 cc.complexity-theory  circuit-complexity  uniformity 

কোনও পরিমাণযুক্ত বুলিয়ান সূত্র যেমন সিদ্ধান্ত নিচ্ছেন ∀x1∃x2∀x3⋯∃xnφ(x1,x2,…,xn),∀x1∃x2∀x3⋯∃xnφ(x1,x2,…,xn),\forall x_1 \exists x_2 \forall x_3\cdots \exists x_n \varphi(x_1, x_2,\ldots , x_n), সর্বদা সত্যকে মূল্যায়ন করা একটি ধ্রুপদী PSPACE- সম্পূর্ণ সমস্যা। এটি দুটি খেলোয়াড়ের মধ্যে একটি বিকল্প পদক্ষেপের সাথে খেলা হিসাবে দেখা যেতে পারে। প্রথম প্লেয়ার বিজোড়-সংখ্যাযুক্ত ভেরিয়েবলের সত্য মান নির্ধারণ করে এবং …

31 cc.complexity-theory  sat  gt.game-theory  pspace 

নির্ধারণ - ভাষার বর্গ হতে একটি ভাষা আছে যেমন যে এবং অসীম অনেকের জন্য , এবং দৈর্ঘ্য সমস্ত উদাহরণ একমত । (এটি হ'ল এটি ভাষাগুলির শ্রেণি যা "অসম্পূর্ণভাবে প্রায়শই সমাধান করা যায়"ioioioSUBEXPSUBEXPSUBEXPLLLL′∈∩ε>0TIME(2nε)L′∈∩ε>0TIME(2nε)L' \in \cap_{\varepsilon > 0} TIME(2^{n^{\varepsilon}})nnnLLLL′L′L'nnn সেখানে একটা ওরাকল কি যেমন যে - SUBEXP ^ একজন ? যদি আমরা …

30 cc.complexity-theory  sat  oracles 

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

30 soft-question  sat  terminology 

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

30 pr.probability  random-walks  markov-chains 

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

30 cc.complexity-theory  complexity-classes  conditional-results 

রিচার্ড জে লিপটনকে "নতুন ধারণা এবং কৌশলগুলি প্রবর্তনের জন্য" 2014 এর নথ পুরস্কারের বিজয়ী হিসাবে নির্বাচিত করা হয়েছে । লিপটন যে নতুন নতুন ধারণা এবং কৌশলগুলি বিকাশ করেছেন তা আপনার মনে কী? বিঃদ্রঃ. এই প্রশ্নটি সম্প্রদায়ের উইকি হয়ে উঠবে, দয়া করে উত্তর অনুসারে এরকম একটি ধারণা, কৌশল বা ফলাফল দিন।

30 big-list 

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

30 ds.algorithms  graph-algorithms  application-of-theory  max-flow 

বাউন্ডেড ননডেটেরিনিজম একটি নতুন ক্লাস - গঠনের জন্য রিসোর্স-বন্ডেড ডিটারমিনিস্টিক টুরিং মেশিন দ্বারা গৃহীত ভাষাগুলির একটি শ্রেণি এর সাথে একটি ফাংশন যুক্ত করে । এই শ্রেণীর মধ্যে সেই ভাষা রয়েছে যা কিছু ননডেটেরেমনস্টিক ট্যুরিং মেশিন দ্বারা গৃহীত হয় একই সংস্থান সীমার সাথে সম্মতি জানায় যেমন সংজ্ঞা দেওয়া হয় তবে যেখানে …

30 cc.complexity-theory  graph-theory  graph-isomorphism  nondeterminism