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

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

11 ds.algorithms  approximation-algorithms  machine-learning 

আমি একটি সাধারণ কৌশল খুঁজছি যা আমাকে প্রমাণ করতে সহায়তা করতে পারে যে বুচি অটোমাতা এলটিএল-এর চেয়ে বেশি ভাববাদী মডেল নয়, তবে নির্দিষ্ট সূত্রটি এলটিএলে প্রকাশ / প্রকাশ করা যায় না। উদাহরণস্বরূপ, " কমপক্ষে এমনকি পজিশনে দেখা দেয়" নিম্নলিখিত বুচি অটোমেটা দ্বারা বর্ণনা করা যেতে পারে: ( q 0 , …

11 lo.logic  automata-theory 

সম্পাদনা (তারা বি দ্বারা): আমি এখনও তার একটি প্রমাণের একটি রেফারেন্সে আগ্রহী , কারণ আমার নিজের কাগজের জন্য আমাকে এটি প্রমাণ করতে হয়েছিল। আমি এই কাগজে প্রদর্শিত থিয়েরেম 4 এর প্রমাণ খুঁজছি: লিউ এবং ওয়েনার দ্বারা প্রসঙ্গমুক্ত ভাষাগুলির ছেদগুলির একটি অসীম শ্রেণিবিন্যাস। উপপাদ্য 4: একটি -dimensional অ্যাফিন নানাবিধ অ্যাফিন manifolds …

11 reference-request  fl.formal-languages  linear-algebra  context-free-languages  lattice 

কোয়ান্টাম গেটস একটি সীমাবদ্ধ সেট দেওয়া , এটি কি সিদ্ধান্ত নেওয়া যায় (গণনা তাত্ত্বিক অর্থে) জি সর্বজনীন গেট সেট কিনা ? একদিকে, "প্রায় সমস্ত" গেট সেটগুলি সর্বজনীন, অন্যদিকে, অ-সর্বজনীন গেট সেটগুলি এখনও ভালভাবে বোঝা যায় না (বিশেষত, অবশ্যই, প্রতিটি অ-সর্বজনীন গেট সেটটি ক্লাসিকভাবে সিমুলেটেবল কিনা তা জানা যায় না), সুতরাং …

11 quantum-computing 

কলিং পার্থক্য কি পরিবর্তে একটি বীজগণিত একটি ক্যালকুলাস -calculus? আমি এই প্রশ্ন উত্থাপন কারণ আমি কোথাও লাইন পড়া " (iirc, ডানা স্কট আরোপিত) -calculus একটি ক্যালকুলাস কিন্তু একটি বীজগণিত নয়।" আসলকথা কি? ধন্যবাদ।λλλ\lambdaλλ\lambda

11 soft-question  lambda-calculus 

আমি যেমন বুঝতে পেরেছি, কম্পিউটারে বিজ্ঞানের তথ্য প্রকারগুলি রাসেলের প্যারাডক্সের মতো জিনিসের কারণে সেট তত্ত্বের উপর ভিত্তি করে তৈরি হয় না, তবে বাস্তব বিশ্বের প্রোগ্রামিং ভাষাগুলিতে আমরা যেমন "সেট থাকে না যা সেট" এর মতো জটিল ডেটা প্রকাশ করতে পারি না, আমরা কি পারি? বলুন যে অনুশীলনে টাইপ করা হয় …

11 type-theory  set-theory  type-systems 

নিম্নলিখিত অনুশীলনগুলি আমি পর্যবেক্ষণ করা শিক্ষার্থীদের হাতে তুলে দেওয়া হয়েছে: বিমানে পয়েন্ট দেওয়া , একটি অ্যালগরিদম তৈরি করুন যা পয়েন্টগুলির একটি জোড়া খুঁজে পায় যা সমস্ত জোড় পয়েন্টের মধ্যে দূরত্ব সর্বনিম্ন। অ্যালগরিদমটি সময় চলতে হবে o ( n 2 ) ।nnno(n2)o(n2)o(n^2) একটি (অপেক্ষাকৃত) সহজ বিভাজন এবং বিজয়ী অ্যালগরিদম রয়েছে যা …

11 ds.data-structures  cg.comp-geom 

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

11 soft-question  career 

যাক পূর্ণসংখ্যার একটি ক্রম হতে যেখানে প্রতিটি একটি ঞ ∈ { 1 , 2 , ... , এন } । জন্য আমি ∈ { 1 , 2 , ... , এন } যাক মি আমি = | { j : a j = i } | । ট ম ফ্রিকোয়েন্সি …

11 ds.algorithms  reference-request  communication-complexity  data-streams 

ধরা যাক আমাদের উপাদান সহ একটি সেমিগ্রুপ রয়েছে । আমাদের লক্ষ্য পণ্য গণনা করা ।(S,∘)(S,∘)(S,\circ)S={s1,s2,…,sn}S={s1,s2,…,sn}S=\lbrace s_1,s_2,\dots,s_n\rbracesi∘si+1∘⋯∘sjsi∘si+1∘⋯∘sjs_i\circ s_{i+1}\circ \cdots\circ s_j অ্যালন এবং শাইবার তাদের কাগজে "অন লাইন পণ্য প্রশ্নের উত্তর দেওয়ার জন্য সর্বোত্তম প্রক্রিয়াকরণ" প্রমাণ করেছেন যে কেবলমাত্র ব্যবহার করে আমরা সর্বাধিক পদক্ষেপে (যেখানে বিপরীত আকরম্যান ফাংশন) এমন প্রতিটি প্রশ্নের উত্তর …

11 cc.complexity-theory  graph-theory  ds.data-structures 

ইন বিতরণ সংস্করণ নিয়ন্ত্রণ ব্যবস্থা (যেমন একটি Mercurial এবং গীত ) দক্ষতার নির্দেশ তুলনা acyclic গ্রাফ (DAGs) একটি প্রয়োজন নেই। আমি একজন মার্চুরিয়াল বিকাশকারী এবং আমরা দুটি তদন্তের সময় এবং নেটওয়ার্ক-জটিলতার বিষয়ে আলোচনা করার মত তাত্ত্বিক কাজের বিষয়ে শুনে আগ্রহী। প্রশ্নে থাকা ডিএজিগুলি রেকর্ডকৃত সংশোধনীগুলি দ্বারা গঠিত হয়। সংশোধনগুলি হ্যাশ …

11 cc.complexity-theory  dc.distributed-comp  directed-acyclic-graph 

প্রান্ত সহ একটি ওয়েট অনিরীক্ষিত গ্রাফ দেওয়া , আমি যে কোনও উল্লম্ব জোড়ের মধ্যবর্তী স্থানে প্রায় 2 এর চেয়ে কম দূরত্ব গণনা করতে চাই। অবশ্যই, আমি subquadratic স্পেস এবং sublinear ক্যোয়ারী সময় ব্যবহার করতে চাই।মি = ও ( এন)2)m=o(n2)m = o(n^2) আমি জুইকের ফলাফল সম্পর্কে অবহিত যা ম্যাট্রিক্সের গুণকে ব্যবহার …

11 ds.algorithms  graph-algorithms 

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

11 cc.complexity-theory  complexity-classes  counting-complexity  pspace 

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

11 reference-request  cg.comp-geom 

এই প্রশ্নের একটি সঙ্গে সম্পর্কযুক্ত সাম্প্রতিক প্রশ্ন দ্বারা Janoma । পটভূমি বাধ্যতা প্রোগ্রামিং, একটি নিয়মিত বিশ্বব্যাপী বাধ্যতা ccc একটি ডোমেইন উপর DDD একজোড়া হয় (s,M)(s,M)(s, M) সঙ্গে sss ভেরিয়েবল একটি tuple (স্কোপ) এবং MMM একটি DFA তে ডোমেইন উপর DDD । একটি কাজ θθ\theta থেকে গুলিss সন্তুষ্ট গcc যদি এমMM …

11 co.combinatorics  fl.formal-languages  automata-theory  regular-language