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

একটি প্ল্যানার unweighted গ্রাফ, এবং প্রান্তবিন্দু জোড়া একটি সংগ্রহ দেওয়া ( ট ≥ 2 একটি ধ্রুবক হয়), খুঁজুন ট প্রান্তবিন্দু-টুকরো করা (উৎস ব্যতীত) থেকে পাথ গুলি করার টি আমি যেমন দীর্ঘতম দৈর্ঘ্যের দৈর্ঘ্য হ্রাস করা হয়।(s,t1),…,(s,tk)(s,t1),…,(s,tk)(s,t_1),\dots,(s,t_k)k≥2k≥2k\ge2kkkssstitit_i প্রশ্ন: সমস্যার জন্য বহু-কালীন অ্যালগরিদম আছে কি? কিছু সম্পর্কিত ফলাফল: যদি স্থির না করা …

10 ds.algorithms  graph-algorithms 

আমি ভিসি-ডাইমেনশনের পিছনে তত্ত্বের সাথে বেশ পরিচিত, তবে আমি এখন পরিসংখ্যান শেখার তত্ত্বের সাম্প্রতিক (গত 10 বছর) অগ্রগতির দিকে তাকিয়ে রয়েছি: (স্থানীয়) র্যাডম্যাচার গড়, মাসার্টের স্নাতক শ্রেণীর লেমমা, কাভারিং নাম্বার, চেইনিং, ডডলির উপপাদ্য, সিউডোডাইমেনশন, ফ্যাট শেটারিং ডাইমেনশন, প্যাকিং নম্বর, র‌্যাডম্যাচার কম্পোজিশন এবং সম্ভবত অন্যান্য ফলাফল / সরঞ্জাম যা আমি অবগত …

10 reference-request  machine-learning  lg.learning  books  vc-dimension 

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

10 ds.algorithms  graph-theory  graph-algorithms 

সংজ্ঞা আসুন এবং , r এবং g কে ধনাত্মক পূর্ণসংখ্যার ( g> 2r + 1 সহ ) হতে দিন।ঘ দ ছ ছ > 2 R + + 1ϵ > 0ϵ>0\epsilon > 0ঘddRrrছggছ> 2 আর + 1g>2r+1g > 2r+1 যাক জি = ( ভ, ই)G=(V,E)G = (V,E) একটি সহজ হও, ঘdd …

10 graph-theory  co.combinatorics  dc.distributed-comp 

ধরুন আমার কাছে একটি সাধারণ বহুভুজ এবং একটি পূর্ণসংখ্যা k আছে । ক্ষুদ্রতম ব্যাসার্ধ r সন্ধানের জন্য কয়েকটি বিদ্যমান পন্থা কী কী যে আমি এস ব্যাসার্ধের কে বৃত্তের সাথে এসটি cover েকে রাখতে পারি? কীভাবে আর সংশোধন করা হয়েছে, এবং আমি কে কমিয়ে আনতে চাই ?SSSkkkrrrSSSkkkrrrrrrkkk

10 cg.comp-geom  planar-graphs  set-cover 

অপরিহার্য ভাষাগুলির জন্য টাইপ সিস্টেমগুলি সম্পর্কিত গবেষণামূলক গবেষণাপত্রগুলির অনুসন্ধানে আমি কেবলমাত্র পরিবর্তিত রেফারেন্স সহ একটি ভাষার সমাধান পাই তবে প্রকৃত অপরিহার্য নিয়ন্ত্রণ কাঠামো যেমন যৌগিক অপারেটর, লুপ বা শর্তসাপেক্ষ ছাড়া without সুতরাং এটি স্পষ্ট নয় যে কীভাবে একটি আধ্যাত্মিক ভাষা যেমন http://rust-lang.org হিসাবে আংশিক ধরণের অনুমিতি প্রয়োগ করা যেতে পারে। …

10 reference-request  pl.programming-languages  type-theory  type-inference  imperative-programming 

আমার কাজের সময় আমি নিম্নলিখিত সমস্যাটি নিয়ে এসেছি: আমি নীচের বৈশিষ্ট্য সহ যে কোনও এন> 3 এর জন্য একটি -ম্যাট্রিক্স , অনুসন্ধান করার চেষ্টা করছি :n×nn×nn \times n এম এন > 3(0,1)(0,1)(0,1)MMMn>3n>3n > 3 এম এর নির্ধারক সমানMMM । কোন খালি নয় এমন সাব-সেট নির্বাচন জন্য I,J⊆{1,2,3}I,J⊆{1,2,3}I,J\subseteq\{1,2,3\} সঙ্গে |I|=|J||I|=|J||I| = …

10 graph-theory  co.combinatorics  linear-algebra  matrices  boolean-matrix 

সীমাবদ্ধ ডিগ্রি গ্রাফগুলিতে আনুমানিক ভগ্নাংশ ক্রোম্যাটিক সংখ্যাটি কি এপিএক্স-হার্ড?

10 cc.complexity-theory  graph-theory  approximation-hardness  graph-colouring  bounded-degree 

ডয়েচের অ্যালগরিদম হল একটি সুপরিচিত কোয়ান্টাম কম্পিউটিং সাথে কেবল একটি মূল্যায়ন । যদি আমরা + সিডট দিয়ে + প্রতিস্থাপন করি তবে সমস্যাটি অন্যরকম হয়ে গেছে বলে মনে হচ্ছে। আমার প্রশ্ন হয়: সেখানে মান কম্পিউটিং কোয়ান্টাম এলগরিদম বিদ্যমান চ (0) \ cdot চ (1) (অথবা যদি আপনি পছন্দ) মাত্র এক মূল্যায়ন …

10 reference-request  quantum-computing 

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

10 cc.complexity-theory  reductions  physics  formal-modeling 

একটি 3D কার্টেসিয়ান স্পেসে পয়েন্টের একটি সেট দেওয়া, আমি একটি অ্যালগরিদম সন্ধান করছি যা এই পয়েন্টগুলিকে সাজিয়ে তুলবে, যেমন দুটি টানা দুই পয়েন্টের মধ্যে ন্যূনতম ইউক্লিডিয়ান দূরত্ব সর্বাধিক করা যায়। এটিও উপকারী হবে যদি অ্যালগরিদমে ধারাবাহিক পয়েন্টগুলির মধ্যে উচ্চতর ইউক্লিডিয়ান দূরত্বের দিকে ঝোঁক থাকে।

10 graph-algorithms  cg.comp-geom  optimization 

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

10 soft-question  advice-request  research-practice 

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

10 ds.algorithms  reference-request  graph-theory  graph-algorithms 

প্রসঙ্গ: আমরা কেবল ডিজিট্রাফ বিবেচনা করি। সাইক্লিকে একটি চক্র সহ গ্রাফের ভাষা হতে দিন; এটি একটি এনএল-সম্পূর্ণ সমস্যা। কমপক্ষে একটি প্রান্ত সহ গ্রাফের ভাষা হ্যাশডে যাক। তারপর জাভাস্ক্রিপ্টে গার্বেজ, CYCLE∪HASEDGECYCLE∪HASEDGE\text{CYCLE} \cup \text{HASEDGE} আর এন এল-কঠিন, যখন CYCLE∪HASEDGE¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯CYCLE∪HASEDGE¯\text{CYCLE} \cup \overline{\text{HASEDGE}} থাকার বিষয়টি মতেই তাই। আসল সমস্যা: আমি ভাবছি যে ভাষাটি CYCLE∪{(V,E):(∃u,v,x,y)[E(u,v)∧E(x,y)∧¬E(u,y)∧¬E(x,v)]}CYCLE∪{(V,E):(∃u,v,x,y)[E(u,v)∧E(x,y)∧¬E(u,y)∧¬E(x,v)]}\text{CYCLE} …

10 cc.complexity-theory  graph-theory  descriptive-complexity 

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

10 reference-request  soft-question  dc.parallel-comp  survey