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

G=(V,E)G=(V,E)G=(V,E)minS⊂V e(S,Sc)min(|S|,|Sc|),minS⊂V e(S,Sc)min(|S|,|Sc|),\min_{S \subset V} ~\frac{e(S,S^c)}{\min(|S|,|S^c|)},e(S,Sc)e(S,Sc)e(S,S^c)SSSScScS^c আরও দৃ concrete়তার সাথে মনে করুন আমি জানি ব্যাস কমপক্ষে (বা সর্বাধিক) । এটি আমাকে চালনা সম্পর্কে কী বলে, যদি কিছু থাকে? এবং, বিপরীতভাবে, মনে করুন আমি জানি যে চালনটি সর্বাধিক (বা কমপক্ষে) । এটি ব্যাস সম্পর্কে আমাকে কী বলে, যদি কিছু থাকে?DDDαα\alpha

14 graph-theory  co.combinatorics  expanders 

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

14 computability  universal-computation 

নিম্নলিখিত সমস্যা সম্পর্কে কিছু জানা আছে? এটা কি আদৌ বোঝায়? এটাকে কি বলে? এটি কি তুচ্ছভাবে অন্য কিছু সমস্যার সমতুল্য? সময়-জটিলতা কী? কোনও নির্দেশিত (সাধারণ / পরিকল্পনাকারী / সীমানা-ডিগ্রি / ইত্যাদি) গ্রাফ জি = (ভি, ই) দেওয়া, E 'এর সর্বাধিক উপসেট সন্ধান করুন, যেমন জি' = (ভি, ই-ই ') সংযুক্ত …

14 ds.algorithms  graph-theory 

আমি ডেটা ফ্লো এবং কন্ট্রোল ফ্লো গ্রাফগুলির অপ্টিমাইজেশনে আগ্রহী এবং বিশেষত আরও কম্পিউটারিয় জটিল। তবে পীফোল অপটিমাইজেশনের ক্ষেত্রে সর্বশেষ আবিষ্কারগুলি সম্পর্কে জানতে আগ্রহী হবে।

14 optimization  compilers 

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

14 cc.complexity-theory  sorting 

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

14 ds.algorithms  linear-programming  software  implementation  simplex 

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

14 cg.comp-geom  planar-graphs 

G কে একটি এন-নোডের পুনঃনির্দেশিত গ্রাফ হতে দিন, এবং টি কে টার্মিনাল বলা ভি (জি) এর নোড সাবসেট হতে দিন । (জি, টি) এর একটি দূরত্ব সংরক্ষণকারী হ'ল সম্পত্তিটিকে সন্তুষ্টকারী একটি গ্রাফ এইচ ঘএইচ( u , v ) = dজি( ইউ , ভি )ঘএইচ(তোমার দর্শন লগ করা,বনাম)=ঘজি(তোমার দর্শন লগ করা,বনাম)d_H(u,v) …

14 ds.algorithms  reference-request  graph-algorithms  planar-graphs 

নিম্নলিখিত প্রাকৃতিক প্রশ্নটি বিবেচনা করুন: একটি সীমাবদ্ধ ভাষা দেওয়া , ক্ষুদ্রতম প্রসঙ্গমুক্ত ব্যাকরণটি এল তৈরি করে কী?LLLLLL আমরা ভাষার ক্রম নির্দিষ্ট করে প্রশ্ন আরো আকর্ষণীয় করে তুলতে পারে , উদাহরণস্বরূপ এল এন সব একাধিক বিন্যাসন সেট { 1 , ... , এন } : intuitively, জন্য একটি CFG এল এন …

14 reference-request  fl.formal-languages  lower-bounds  grammars  context-free 

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

14 ds.algorithms  sorting 

ফলাফলগুলি কি জানা যায় যে "খুব ভাল-থেকে-সত্য" ডেটা কাঠামোর অস্তিত্বকে বাতিল করে দেয়? উদাহরণস্বরূপ: এক যোগ করতে পারেন এবং জে ণ আমি এন কার্যকারিতা একটি আদেশ রক্ষণাবেক্ষণ ডাটা স্ট্রাকচার থেকে (দেখুন Dietz এবং Sleator STOC '87 ) এবং এখনও প্রাপ্ত হে ( 1 ) সময় অপারেশন?এসp l i tএসপিঠআমিটিSplitজেo i …

14 ds.data-structures  big-list  lower-bounds  time-complexity 

কিছু ভাষা বিবেচনা করুন LLL এমন যে: L∈DTIME(O(f(n)))∩DSPACE(O(g(n)))L∈DTIME(O(f(n)))∩DSPACE(O(g(n)))L \in DTIME(O(f(n))) \cap DSPACE(O(g(n))) এবং তাই যে L∉DTIME(o(f(n)))∪DSPACE(o(g(n)))L∉DTIME(o(f(n)))∪DSPACE(o(g(n)))L \not\in DTIME(o(f(n))) \cup DSPACE(o(g(n))) অন্য কথায়, দ্রুততম মেশিন নির্ণয় সময় এবং সবচেয়ে স্থান দক্ষ মেশিন নির্ণয় স্থান ব্যবহার করার সময়।MMMLLLO(f(n))O(f(n))O(f(n))M′M′M'LLLO(g(n))O(g(n))O(g(n)) এম এর স্পেস দক্ষতা বা এম এর সময় দক্ষতা সম্পর্কে কী বলা যেতে পারে? …

14 cc.complexity-theory  ds.algorithms  open-problem  space-time-tradeoff 

প্রদত্ত গ্রাফ এর শীর্ষবিন্দুগুলির সংখ্যা গণনার # পি-সম্পূর্ণ সমস্যাটি বিবেচনা করুন ।G=(V,E)G=(V,E)G = (V, E) আমি জানতে চাই যে কোনও ফলাফলের কিছু পরামিতি (উদাহরণস্বরূপ, ।) সাথে এই জাতীয় সমস্যাটির কঠোরতা কীভাবে পরিবর্তিত হয় তা দেখায় কিনা তা জানতে চাই ।GGGd=|E||V|d=|E||V|d = \frac{|E|}{|V|} আমার সংবেদনটি হ'ল স্পার্স থাকাকালীন এবং যখন ঘন …

14 cc.complexity-theory  graph-theory  counting-complexity  time-complexity 

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

14 machine-models 

আমি নিখুঁত কার্যকরী উপায়ে একটি ডিবিএমএস লেখার ধারণাটি অন্বেষণ করছি। সূচকের জন্য ব্যবহৃত traditionalতিহ্যবাহী ডেটা স্ট্রাকচার হ'ল বি-ট্রি। আমি বি-ট্রি এর কিছু খাঁটি কার্যকরী সমতুল্য জানতে চাই যা ডিস্ক অ্যাক্সেস হ্রাস করতে অনুকূলিত হবে। ধন্যবাদ।

14 ds.data-structures  functional-programming  db.databases