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

আমি দেওয়া শুরু প্রান্তবিন্দু থেকে একটি নির্দেশ গ্রাফে সহজ পাথ সংখ্যা approximating জন্য কিছু ভাল বহুপদী সময় আলগোরিদিম আছে বলা হয়েছে দেওয়া শেষ প্রান্তবিন্দু টি । কেউ কি এই বিষয়ে ভাল রেফারেন্স সম্পর্কে জানেন?গুলিগুলিsটিটিt পটভূমি: একটি সাধারণ গ্রাফে পাথের সঠিক সংখ্যা গণনা করা হয় # পি-সম্পূর্ণ তবে সমস্যার জন্য বহুপদী …

17 ds.algorithms  reference-request  graph-algorithms  approximation-algorithms  counting-complexity 

এটি সুপরিচিত যে আপনি যদি এন বলগুলিতে এন বল ফেলে দেন তবে সর্বাধিক লোড হওয়া বিনের মধ্যে বলের সম্ভাবনা রয়েছে। সাধারণভাবে, কেউ বিনে বল সম্পর্কে জিজ্ঞাসা করতে পারেন । র‌্যাব এবং স্টেজার র‌্যানডম ১৯৯৯-এর একটি কাগজ এটিকে কিছু বিশদভাবে আবিষ্কার করেছে, দেখায় যে বাড়ার সাথে সাথে এর প্রত্যাশিত মানের থেকে …

17 reference-request  pr.probability 

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

17 cc.complexity-theory  big-picture  structural-complexity 

হাইপার কমপুটেশন গণনার এমন মডেলগুলিকে বোঝায় যা টুরিং মেশিনগুলি ব্যবহার করে অনুকরণ করা সম্ভব নয়। (হাইপার কম্পিউটারগুলি অগত্যা শারীরিকভাবে উপলব্ধিযোগ্য নয়!) কিছু হাইপার কম্পিউটারের এমন একটি সংস্থার অ্যাক্সেস রয়েছে যা স্ট্যান্ডার্ড ট্যুরিং মেশিনগুলির হ্যালটিং সমস্যা সমাধান করতে পারে। এটিকে একটি "পরাশক্তি" বলুন: একটি মহাশক্তি সহ একটি হাইপার কম্পিউটার কোনও স্ট্যান্ডার্ড …

17 computability  hypercomputation 

"অনন্য গেমস অনুমান" এবং "পিসিপি উপপাদ্য" এর মধ্যে সম্পর্ক কী তা কীভাবে দেখাতে পারে? "অনন্য গেমসের অনুমান" "পিসিপি উপপাদ্য" এর আরও শক্তিশালী রূপটি কীভাবে ব্যাখ্যা করা যায়?

17 cc.complexity-theory  pcp  unique-games-conjecture 

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

17 ds.algorithms  reference-request  graph-algorithms  parameterized-complexity 

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

17 soft-question  advice-request  career 

অটোমাতা তত্ত্ব (সসীম অটোমেটা, পুশডাউন অটোমেটা, ...) এবং জটিলতায় "অস্পষ্টতা" ধারণা রয়েছে is যদি সেখানে একটি শব্দ একটি যন্ত্রমানব দ্ব্যর্থক অন্তত দুটি স্বতন্ত্র গ্রহণ রান। একটি মেশিন ট -ambiguous প্রত্যেক শব্দ যদি W মেশিন সেখানে সর্বাধিক দ্বারা গৃহীত ট স্বতন্ত্র রান গ্রহণ করতে W ।wwwkkkwwwkkkwww এই ধারণাটি প্রসঙ্গমুক্ত ব্যাকরণগুলির তুলনায় …

17 lo.logic  automata-theory  regular-language  nondeterminism  finite-model-theory 

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

17 lo.logic  model-checking  linear-temporal-logic 

আমি বুঝতে পারি যে টুরিং সম্পূর্ণতার জন্য আনবাউন্ডেড মেমরি এবং আনবাউন্ডেড সময় প্রয়োজন। তবে এই পরিষেবাদিতে সীমাবদ্ধ পরিমাণে পরমাণু রয়েছে memory উদাহরণস্বরূপ, যদিও অযৌক্তিক হলেও নির্দিষ্ট কিছু সংখ্যার চেয়ে বেশি সংখ্যা সংরক্ষণের কোনও উপায় নেই এমনকি মহাবিশ্বের সমস্ত পরমাণু এই উদ্দেশ্যে ব্যবহার করা হলেও।ππ\pi তারপরে মহাবিশ্বের সীমাবদ্ধতার ভিত্তিতে একটি বাস্তবায়িত …

17 computability  upper-bounds 

যেমনটি সুপরিচিত পলিটি পলি-সাইজের ধ্রুবক-গভীরতার সার্কিটগুলিতে করা যায় না এবং বাস্তবে কনস্ট-ডিপ্ট সার্কিটগুলির জন্য এক্সপ সংখ্যার গেটের প্রয়োজন হয়। কোয়ান্টাম সার্কিট সম্পর্কে কী? ক) ধীরে ধীরে গভীরতা এবং বহু ফটকগুলির বহুসংখ্যক কোয়ান্টাম সার্কিট দিয়ে প্যারিটি করা যেতে পারে? খ) আমার প্রশ্নটি কি তাৎপর্যপূর্ণ?

17 cc.complexity-theory  quantum-computing  circuit-complexity 

একটি নির্দেশিত অ্যাসাইক্লিক গ্রাফ দেওয়া, , নিম্নলিখিত ক্রিয়াকলাপগুলি দক্ষতার সাথে সমর্থন করা সম্ভব?G(V,E)G(V,E)G(V,E) : নির্ধারণ করে যদি সেখানে একটি পথ জি নোড থেকে একটি নোডের খisConnected(G,a,b)isConnected(G,a,b)isConnected(G,a,b)GGGaaabbb :গ্রাফের জি থেকে a থেকে b পর্যন্ত একটি প্রান্ত যুক্ত করেl আমি এন কে ( জি , এ , খ )ঠআমিএনট(জি,একটি,খ)link(G,a,b)একটিএকটিaখখbজিজিG থেকে প্রান্ত অপসারণ …

17 ds.algorithms  graph-algorithms  directed-acyclic-graph  online-algorithms 

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

17 ds.data-structures  lower-bounds 

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

17 cc.complexity-theory  co.combinatorics  functional-programming  ct.category-theory 

যেহেতু শব্দটি অতিরিক্ত বোঝা, প্রথমে একটি সংক্ষিপ্ত সংজ্ঞা। একটি পোসেট হ'ল একটি সেট যা আংশিক অর্ডার- সমাপ্ত । দুটি উপাদান দেওয়া , আমরা (জয়েন) কে তাদের সর্বনিম্ন উপরের বাউন্ড হিসাবে হিসাবে সংজ্ঞায়িত করতে পারি এবং একইভাবে (মিলন) (জয়েন )কে সর্বনিম্ন নিম্ন সীমা হিসাবে সংজ্ঞায়িত করতে পারি ।XXX≤≤\lea,b∈Xa,b∈Xa,b \in Xx∨yx∨yx \vee …

17 reference-request  co.combinatorics  metrics  lattice  order-theory