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

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

20 reference-request  soft-question  machine-models 

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

20 cc.complexity-theory  complexity-classes  quantum-computing  cr.crypto-security  nash-equilibrium 

আমি তাত্ত্বিক কম্পিউটার বিজ্ঞানে কর্মরত পিএইচডি ছাত্র। আমি অনেক গবেষকের গবেষণা কাগজপত্র পড়েছি এবং আমি অ্যালগোরিদম ডিজাইনের জন্য তারা ব্যবহার করে এমন অনেক সরঞ্জাম এবং গণিত দেখেছি। উদাহরণস্বরূপ এই গবেষণা পত্রটি দেখুন [পি তে প্রাথমিকতা] । আমি এই গবেষণামূলক প্রবন্ধটি এক বা দুটি ধারণার উপর ভিত্তি করে বলব না তবে …

19 advice-request 

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

19 fl.formal-languages  grammars  context-free  decidability  undecidability 

নীচে, এমএসও গ্রাফিক্স-সেট এবং প্রান্ত-সেট কোয়ান্টিফিকেশন সহ গ্রাফের মোনাডিক দ্বিতীয় ক্রমের যুক্তিকে বোঝায়। যাক গ্রাফ একটি ছোটখাট বন্ধ পরিবার হতে। এটি রবার্টসন এবং সিমুরের গ্রাফ গৌণ তত্ত্ব থেকে অনুসরণ করে যে একটি নিষিদ্ধ নাবালিকাদের একটি সীমাবদ্ধ তালিকা দ্বারা চিহ্নিত করা হয় । অন্য কথায়, প্রতিটি গ্রাফ , আমাদের যে to …

19 graph-theory  lo.logic  graph-minor  topological-graph-theory 

যাক একটি পূর্ণসংখ্যা মূল্যবান ফাংশন যেমন যে হতে হয় । এটা অনুসরণ করে যে হয় ? বিশ্বাস করার কারণগুলি কি এটি সর্বদা ধারণের সম্ভাবনা নেই? কোন রেফারেন্স সম্পর্কে আমার জানা উচিত?2 এফ # পি এফ # পিএফFF2 চ2F2F# পি#P\#PএফFF# পি#P\#P কিছুটা আশ্চর্যজনকভাবে, এই পরিস্থিতিটি উপস্থিত হয়েছিল (অনেক বড় ধ্রুবক সহ), …

19 cc.complexity-theory  complexity-classes  counting-complexity 

পিয়ার্স (2002) লিখে 92 পৃষ্ঠায় টাইপিং সম্পর্কটি প্রবর্তন করেছেন: গাণিতিক এক্সপ্রেশনগুলির জন্য টাইপিং সম্পর্ক, "t: T" লিখিত, শর্তাদির প্রকারভেদে নির্ধারিত নিয়মগুলির একটি সেট দ্বারা সংজ্ঞায়িত করা হয় এবং পাদটীকাতে প্রতীক প্রায়শই এর পরিবর্তে ব্যবহৃত হয়:। আমার প্রশ্নটি হ'ল টাইপ থিওরিস্টরা কেন ব্যবহার করতে পছন্দ ? যদি কোনও টাইপ মানগুলির সেট …

19 type-theory  notation 

১৯৯৫ সালে একটি কোয়ান্টাম কম্পিউটারে প্রাইম ফ্যাক্টোরাইজেশন এবং ডিস্ক্রিট লোগারিদমের জন্য পলিনোমিয়াল-টাইম অ্যালগরিদমস পত্রিকায় পিটার ডাব্লু শর তাঁর ফ্যাক্টরিয়েশন অ্যালগরিদমের ক্রম-সন্ধানের অংশটির উন্নতি নিয়ে আলোচনা করেছেন। মান অ্যালগরিদম আউটপুট , যাতে একটি ভাজক R এর এক্স মডিউল এন । কিনা তা পরীক্ষা করে r ′ = r পরীক্ষা করার পরিবর্তে …

19 quantum-computing  nt.number-theory  factoring 

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

19 co.combinatorics  application-of-theory 

উইকিপিডিয়ায় চারটি সমস্যা রয়েছে যা তবে পি এর বাইরে থাকার অনুমান করা হয়েছে : পূর্ণসংখ্যার ফ্যাক্টেরাইজেশন; স্বতন্ত্র লোগারিদম; কোয়ান্টাম সিস্টেমের সিমুলেশন; Onesক্যের নির্দিষ্ট শিকড়গুলিতে জোন্সকে বহুপদী গণনা করা।বি কি পিBQPBQPপিPP এরকম অন্য কোন সমস্যা আছে কি?

19 cc.complexity-theory  complexity-classes  quantum-computing 

প্রধান / সাধারণ প্রশ্ন LLL ভাষা হতে দিন । নির্ধারণ ভাষায় LiLiL_i সঙ্গে L0=LL0=LL_0 = L এবং Li={xwy:xy∈Li−1,w∈L}Li={xwy:xy∈Li−1,w∈L}L_i = \{xwy : xy \in L_{i-1}, w \in L\} জন্য i≥1i≥1i \geq 1 । বিবেচনা করুন এল = ⋃ এল আমি । সুতরাং, আমরা বারবার "এম্বেড" এল নিজেই মধ্যে প্রাপ্ত এল ।L^=⋃LiL^=⋃Li\hat{L} …

19 reference-request  fl.formal-languages 

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

19 lo.logic  pl.programming-languages  lambda-calculus 

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

19 cc.complexity-theory  lower-bounds  reductions  space-bounded 

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

19 ds.algorithms  edit-distance  space-time-tradeoff 

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

19 cc.complexity-theory  computing-over-reals  computable-analysis  domain-theory