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

আমার কাছে একটি সীমাবদ্ধ সেট , একটি ফাংশন এবং মোট অর্ডার &lt; এস তে । আমি এস তে স্বতন্ত্র চক্রের সংখ্যাটি খুঁজতে চাই ।এসSSচ: এস। এসf:S→Sf:S\to S&lt;&lt;<এসSSএসSS একটি প্রদত্ত উপাদান জন্য s ∈ Ss∈Ss\in S আমি চক্রের পুনরাবৃত্তি অ্যাপ্লিকেশন দৈর্ঘ্য এটি ফ্লয়েড এর এলগরিদম (অথবা ব্রেন্ট এর, ইত্যাদি) ব্যবহার করতে …

9 graph-theory  graph-algorithms 

আমি ভাবছি যে চতুষ্কোণ ফর্মগুলির সমষ্টিগুলির নিয়মিত অধ্যয়ন আছে, চতুষ্কোণ রূপগুলির অনুরূপ, যা বাস্তবে ইগেনভ্যালু পচনতে প্রতিবিম্বিত হয় (এর বিশাল ব্যবহারিক নিদর্শন রয়েছে)। প্রশ্নের গুরুত্ব সম্পর্কিত বেশ কয়েকটি উদাহরণ। প্রধান উপাদান বিশ্লেষণ (পিসিএ) । পয়েন্ট একটি সেট দেওয়াxi∈Rn,i=1..kxi∈Rn,i=1..kx_i \in \mathbb{R^n}, i=1..k অক্ষের সেটটি সন্ধান করুন u1u1u_1, ... umumu_m, ম্যাট্রিক্স হিসাবে …

9 ds.algorithms  polynomials  semidefinite-programming 

মার্কিন যুক্তরাষ্ট্রে সিএস পোস্টডক্টোরাল গবেষকদের জন্য প্রতি বছর গড় প্রকাশনা (সম্মেলনের কার্যক্রম সহ) কত? এই সংখ্যাটি অনুসন্ধান বা অনুমান করার উপায়গুলি কী কী?

9 soft-question  advice-request  research-practice  career 

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

9 type-theory  lambda-calculus  type-inference  dependent-type 

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

9 co.combinatorics 

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

9 ds.algorithms  reference-request  cache-oblivious 

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

9 graph-algorithms  ds.data-structures  tree  graph-isomorphism  string-search 

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

9 fl.formal-languages  parsing 

যেহেতু আমি ইদানীং λ-ক্যালকুলাসের ভিত্তিটি শিখিয়েছি, আমি কমন লিস্পে একটি সাধারণ calc-ক্যালকুলাস মূল্যায়নকারী প্রয়োগ করেছি। আমি যখন Y fac 3স্বাভাবিক অর্ডার হ্রাসের স্বাভাবিক ফর্মটি জিজ্ঞাসা করি তখন এটি 619 পদক্ষেপ নেয় যা কিছুটা মনে হয়েছিল। অবশ্যই, প্রতিবার যখন আমি কাগজে অনুরূপ হ্রাস পেয়েছি, আমি কখনই টাইপড λ-ক্যালকুলাস ব্যবহার করিনি, তবে …

9 lo.logic  lambda-calculus 

আমি শিখরি দিয়ে ইউনিট ডিস্ক গ্রাফের সেটের কার্ডিনালটির উপর আবদ্ধ থাকতে চাই । এটি পরিচিত যে কোনও গ্রাফ এই সেটটির সদস্য কিনা তা যাচাই করা এনপি-হার্ড। এটি পি এনপি ধরে ধরে কার্ডিনালিটির কোনও নিম্নতর সীমানায় নিয়ে যায় ?এনNN≠≠\neq উদাহরণস্বরূপ, ধরুন রেখার দ্বার সহ সমস্ত গ্রাফের একটি ক্রম রয়েছে। এনপি-কঠোরতা কি …

9 cc.complexity-theory  graph-theory 

যাক AAA একটি হতে 3×33×33 \times 3 বা 4×44×44 \times 4 সঙ্গে ম্যাট্রিক্স এন্ট্রি aijaija_{ij} । কেউ কি আমাকে একটি ম্যাট্রিক্স BBB পারেন যাতে per(A)=det(B)per⁡(A)=det(B)\operatorname{per}(A) = \det(B) ? Lest অপেরাটর্নাম {প্রতি} (ক) = \ ডিট (বি) এর পরিচিত সবচেয়ে ছোট স্পষ্ট বি কী ? সুস্পষ্ট উদাহরণ সহ এ সম্পর্কে কোনও …

9 cc.complexity-theory  algebraic-complexity  permanent 

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

9 ds.algorithms  cg.comp-geom  approximation-algorithms 

আমি কোনও পয়েন্টার বা শর্তাদির প্রশংসা করব যা আমাকে সঠিক দিক দিয়ে শুরু করতে পারে। আমাদের প্রতিটি প্রান্ত জন্য নির্দেশিত গ্রাফ এবং দৈর্ঘ্য যা ইতিবাচক হিসাবে ধরে নেওয়া যেতে পারে। একটা বিশেষ শুরু নোড এবং শেষ নোড ।G=(V,E)G=(V,E)G=(V,E)lijlijl_{ij}ijijijsssttt প্রতিটি প্রান্তের , আমরা সংক্ষিপ্ততর পথের দৈর্ঘ্য থেকে পর্যন্ত গণনা করতে চাই …

9 ds.algorithms  reference-request  graph-algorithms 

3 ডি তে একটি জাল সংক্ষিপ্ততর অন্তর্নির্মিত তেত্রহেত্রের সংযুক্ত সংগ্রহ হিসাবে সংজ্ঞায়িত করুন (সুতরাং তেত্রহেদার কেবল কে-ফেসে শেয়ার করুন, )। একটি নির্বিচার গ্রাফ দেওয়া, এটি একটি জাল হিসাবে এম্বেড করা যেতে পারে যদি পরীক্ষা করার জন্য একটি কার্যকর পদ্ধতি আছে?k≤2k≤2k \le 2 এখানে, এম্বেডিং হ'ল গ্রাফের শীর্ষাংশের ম্যাপিং যা এবং …

9 ds.algorithms  graph-theory 

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

9 soft-question  research-practice  writing  paper-review  conferences