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

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

19 soft-question  algebra  teaching 

কোনও ম্যাট্রিক্সকে সম্পূর্ণ নিয়মিত বলা হয় যদি এর সমস্ত বর্গ সাবম্যাট্রিকগুলিতে পূর্ণ পদ থাকে। এ জাতীয় ম্যাট্রিকগুলি সুপার কনসেন্টেটর নির্মাণে ব্যবহৃত হত। কোনও প্রদত্ত ম্যাট্রিক্স যৌক্তিকর উপর সম্পূর্ণ নিয়মিত কিনা তা সিদ্ধান্ত নেওয়ার জটিলতা কী? সীমাবদ্ধ ক্ষেত্রের ওপরে? আরও সাধারণ, কল একটি ম্যাট্রিক্স সম্পূর্ণভাবে -regular যদি সর্বাধিক মাপ এর সমস্ত …

19 cc.complexity-theory  reference-request  linear-algebra  matrices 

নিম্নলিখিত মডেলটি বিবেচনা করুন: একটি এন-বিট স্ট্রিং r = আর 1 ... আর এন এলোমেলোভাবে অভিন্নভাবে নির্বাচিত হয়। এরপরে, প্রতিটি সূচি i∈ {1, ..., n independent একটি স্বতন্ত্র সম্ভাবনা 1/2 সহ একটি সেট এ স্থাপন করা হয়। অবশেষে, একটি বিপক্ষ, প্রতিটি i∈A জন্য আলাদাভাবে উল্টানো দ করার অনুমতি দেওয়া হয়, …

19 cc.complexity-theory  randomized-algorithms  derandomization  extractors 

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

19 computability  pl.programming-languages  functional-programming 

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

19 ds.algorithms  graph-theory  optimization 

গ্রাফগুলির এমন কোনও শ্রেণির উদাহরণ রয়েছে যার জন্য ভার্টেক্স বর্ণের সমস্যাটি পিতে রয়েছে তবে স্বতন্ত্র সেটটি কি এনপি সম্পূর্ণ?

19 cc.complexity-theory  graph-theory  complexity-classes 

কেউ কি আমাকে নিম্নলিখিত সমস্যার সাথে সহায়তা করতে পারে? আমি কিছু মান (mod ) সন্ধান করতে চাই যেখানে (উদাহরণস্বরূপ K = 6 ) রয়েছে, কে ^ 2 মানের একটি তালিকা দেওয়া হয়েছে পার্থক্যের সাথে সামঞ্জস্য করুন a_i-b_j N pmod N (উদাহরণস্বরূপ এন = 251 ), কংক্রিটের সাথে সম্পর্কিত সম্পর্কটি না …

19 ds.algorithms  linear-algebra  nt.number-theory  cryptographic-attack  comp-number-theory 

আমি লিনিয়ার সমীকরণ মডুলো কে সমাধান করার জটিলতায় আগ্রহী , নির্বিচারে কে (এবং প্রধান শক্তিগুলির মধ্যে বিশেষ আগ্রহের সাথে), বিশেষত: সমস্যা। N অজানা মডুলো কে-তে এম লিনিয়ার সমীকরণের প্রদত্ত সিস্টেমের জন্য , কোনও সমাধান রয়েছে কি?mmmnnnkkk তাদের কাগজ বিমূর্ত সালে গঠন ও logspace-MOD এর ক্লাস গুরুত্ব শ্রেণীর উপর মডুলাস ট …

19 cc.complexity-theory  dc.parallel-comp  linear-algebra  nt.number-theory 

মনে করুন আমাদের একটি অপ্রচলিত ওয়েট গ্রাফ G=(V,E,w)G=(V,E,w)G = (V, E, w) (অ-নেতিবাচক ওজন সহ)। আসুন আমরা ধরে নিই যে GGG এর সমস্ত সংক্ষিপ্ততম পাথ অনন্য। মনে করুন আমাদের কাছে এই পাথ (নিখরচায় প্রান্তের ক্রম) রয়েছে, তবে নিজেই জানেন না । আমরা কি এমন কোনও উত্পাদন করতে পারি যা বহুগুণে …

19 graph-theory  co.combinatorics  graph-algorithms  metrics 

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

19 fl.formal-languages  computability  automata-theory  turing-machines  ho.history-overview 

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

19 ds.algorithms  reference-request  graph-algorithms 

পটভূমি: চাও জু কিছু সময় আগে নিম্নলিখিত প্রশ্নটি পোস্ট করেছিলেন: " এমন কোনও জ্ঞানের তুলনা বাছাই করা অ্যালগরিদম রয়েছে যেগুলি নেটওয়ার্ক বাছাইয়ের ক্ষেত্রে হ্রাস করে না, যেমন প্রতিটি উপাদানকে বারের সাথে তুলনা করা হয় ?ও ( লগএন )O(log⁡n)O(\log n) " দেখে মনে হচ্ছে আমরা কিছুটা সমস্যার সাথে আটকে আছি; ২০০৯ …

19 ds.algorithms  sorting  sorting-network 

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

19 co.combinatorics  fl.formal-languages  automata-theory  regular-language  dfa 

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

19 cc.complexity-theory  reference-request  survey  ce.computational-finance  algorithmic-lens 

কে একটি অ্যারেক্টিভ এবং প্রান্তযুক্ত একটি অদম্য নিরীক্ষিত গ্রাফ হতে দিন । আকারের একটি ডেটা স্ট্রাকচার তৈরি করা সম্ভব যাতে এটি O (n) সময়ে " এবং মধ্যে দূরত্ব" ফর্মের প্রশ্নের উত্তর দিতে পারে ?GGGnnnmmmGGGm⋅polylog(n)m⋅polylog(n)m \cdot \mathrm{polylog}(n)uuuvvv সমস্যাটি সমাধান করা খুব প্রাথমিক বলে মনে হচ্ছে।

19 graph-theory  graph-algorithms  ds.data-structures