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

যে কোনও প্রাকৃতিক সংখ্যাকে একটি বিট ক্রম হিসাবে বিবেচনা করা যেতে পারে, তাই প্রাকৃতিক সংখ্যাকে ইনপুট করা 0-1 অনুক্রমের ইনপুট দেওয়ার সমান, তাই প্রাকৃতিক ইনপুটগুলির সাথে এনপি-সম্পূর্ণ সমস্যাগুলি অবশ্যই উপস্থিত রয়েছে। তবে এমন কোনও প্রাকৃতিক সমস্যা রয়েছে, যেমন সমস্যাগুলির কিছু এনকোডিং এবং বিশেষ ব্যাখ্যার ব্যবহার করে না? উদাহরণস্বরূপ "না নে …

30 cc.complexity-theory  np-hardness  nt.number-theory  combinatorial-game-theory 

একটি পূর্ণসংখ্যা দেওয়া দৈর্ঘ্যের এন বিট, কিভাবে হার্ড এটা আউটপুট প্রধান কারণের (অথবা অন্যথায় কারণের নম্বর) সংখ্যা এন ?এনNNএনnnNNN আমরা যদি গুণকটি জানতাম , তবে এটি সহজ হবে be তবে, যদি আমরা প্রধান কারণগুলির সংখ্যা বা সাধারণ কারণগুলির সংখ্যা জানতাম তবে এটি কীভাবে আমরা প্রকৃত মৌলিক কার্যকারিতাটি আবিষ্কার করব তা …

30 cc.complexity-theory  counting-complexity  nt.number-theory  factoring 

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

30 cc.complexity-theory  linear-algebra  linear-programming  semidefinite-programming  polynomial-time 

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

30 cc.complexity-theory  pr.probability  cellular-automata  fault-tolerance 

অনেক বিশেষজ্ঞ বিশ্বাস করেন যে অনুমানটি সত্য এবং তাদের ফলাফলগুলিতে এটি ব্যবহার করুন। আমার উদ্বেগ হ'ল জটিলতা দৃ strongly ়ভাবে P ≠ N P অনুমানের উপর নির্ভর করে ।P≠NPP≠NP\mathsf{P} \neq \mathsf{NP}P≠NPP≠NP\mathsf{P} \neq \mathsf{NP} সুতরাং আমার প্রশ্নটি হ'ল: যতক্ষণ না অনুমান প্রমাণিত না হয়, স্ট্রাসেনের উদ্ধৃতিতে ইঙ্গিত হিসাবে, কেউ কি এটিকে …

30 cc.complexity-theory  soft-question  big-picture  p-vs-np  physics 

ধরে নিলাম যে পি! = এনপি, আমি বিশ্বাস করি এটি দেখানো হয়েছে যে এমন সমস্যা আছে যা পি তে নেই এবং এনপি-কমপ্লিট নয়। গ্রাফ আইসোমর্ফিজম এমন একটি সমস্যা বলে অনুমান করা হয়। এনপিতে এরকম আরও 'স্তর' থাকার কোনও প্রমাণ আছে কি? অর্থাত্ পি থেকে শুরু করে এনপিতে সমাপ্তি ঘটে এমন …

30 cc.complexity-theory 

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

30 ho.history-overview  terminology 

আমরা যদি ডিটিটাইমে হায়ারার্কি উপপাদ্যটি লক্ষ্য করি তবে একটি সর্বজনীন মেশিন দ্বারা একটি ডিস্ট্রিমেন্টিক ট্যুরিং মেশিনের সিমুলেশন ওভারহেডের কারণে আমরা একটি লগ পেয়েছি: DTIME(flogf)⊊DTIME(f)DTIME(flog⁡f)⊊DTIME(f)DTIME(\frac{f}{\log f}) \subsetneq DTIME(f) DSPACE এর এনটিটাইমের জন্য আমাদের এই জাতীয় ওভারহেড নেই। সিমুলেটরগুলির মধ্যে পার্থক্য বিবেচনা করে প্রমাণের বিবরণ থেকে একটি প্রাথমিক ন্যায়সঙ্গততা আসে। আমার প্রশ্নটি …

30 cc.complexity-theory  universal-computation  time-hierarchy 

ভাষাটি { } প্রসঙ্গ-মুক্ত ?aibjck | i≠j,i≠k,j≠kaibjck | i≠j,i≠k,j≠ka^{i}b^{j}c^{k} ~|~ i \neq j, i \neq k, j \neq k আমি বুঝতে পেরেছি যে আমি, জে এবং কে এর মধ্যে সম্পর্ক সম্পর্কে বিভিন্ন শর্ত নিয়ে এই প্রশ্নের প্রায় সমস্ত রূপের মুখোমুখি হয়েছি, তবে এটির একটি নয়। আমার অনুমান যে এটি প্রসঙ্গমুক্ত …

30 automata-theory  fl.formal-languages  grammars 

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

30 reference-request  quantum-computing  matrix-product 

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

30 ds.algorithms  machine-learning  teaching 

এটি সুপরিচিত যে একটি নিয়মিত প্রকাশটি নিয়মিত প্রকাশের সমানুপাতিক আকারের একটি ননডেস্টেরিনিস্টিক সসীম অটোমেটনের দ্বারা স্বীকৃত হতে পারে, বা কোনও সংযোজনমূলক এফএ দ্বারা সম্ভবত সম্ভাব্য তাত্পর্যপূর্ণভাবে বৃহত্তর। তদ্ব্যতীত, প্রদত্ত একটি স্ট্রিং এবং একটি রেগুলার এক্সপ্রেশন দ , NFA সমানুপাতিক সময় সদস্যপদ পরীক্ষা করতে পারেন | s | ⋅ | r …

30 fl.formal-languages  automata-theory  regular-expressions 

কিছু গণিত এবং লজিক প্যারাডক্স সম্ভবত কম্পিউটারে স্বয়ংক্রিয়ভাবে প্রয়োগ করা যেতে পারে, তবে কম্পিউটার বিজ্ঞানে নিজেই আবিষ্কার করা এমন কোন প্যারাডক্স রয়েছে? প্যারাডক্স দ্বারা আমি বোঝাচ্ছি স্ববিরোধী ফলাফলগুলির সাথে পাল্টা স্বজ্ঞাত ফলাফল।

30 big-list 

১৯৮০ এর দশকে PRAM এবং BSP উভয় সমান্তরাল গণনার মডেলকে জন্ম দিয়েছে । দেখে মনে হচ্ছে দুটি মডেলের হাইডে 80 এর দশকের শেষভাগ এবং 90 এর দশকের প্রথমদিকে ছিল। সমান্তরাল অ্যালগরিদমের জন্য গবেষণার ক্ষেত্রে এই অঞ্চলগুলি এখনও সক্রিয় রয়েছে? সমান্তরাল গণনার জন্য কি আরও নতুন অত্যাধুনিক মডেল রয়েছে? সাধারণ মডেলগুলি …

30 ds.algorithms  dc.parallel-comp  dc.distributed-comp 

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

29 proof-assistants  soundness