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

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

13 lo.logic  lambda-calculus 

(শক্তিশালী) স্থির-পরামিতি ট্র্যাকটেবিলিটির সংজ্ঞা অনুসারে, সময়সীমাটি ফর্মের একটি অভিব্যক্তি । পি ( | x | ) , যেখানে ইনপুট উদাহরণটি ( x , কে ) প্যারামিটার কে সহ রয়েছে , পি একটি বহুপদী, এবং f একটি গণনীয় ফাংশন।f(k).p(|x|),f(k).p(|x|),f(k).p(|x|),(x,k)(x,k)(x,k)kkkpppfff হ্রাসের ধারণাটি একইভাবে সীমাবদ্ধ থাকাকালীন, অন্যান্য শ্রেণীর ফাংশনগুলির সাথে জন্য কম্পিউটারের প্রয়োজনীয়তা …

13 cc.complexity-theory  reference-request  fixed-parameter-tractable 

একটি বর্গক্ষেত্র যাক n×nn×nn\times n বাস্তব ম্যাট্রিক্স AA{\bf A} এবং দুই ভেক্টর xx{\bf x} এবং bb{\bf b} দৈর্ঘ্য nnn , যেমন যে স্ট্যান্ডার্ড গাউসিয়ান নির্মূলের মাধ্যমে এক্সেরAx=b.Ax=b.{\bf A}{\bf x}={\bf b}. জন্য সমাধান করা প্রায় O ( n 3 ) এর সামগ্রিক জটিলতা লাভ করে । যাইহোক, এমন কেস রয়েছে যেখানে …

13 cc.complexity-theory  linear-algebra  matrices 

চং, হান এবং Lam দেখিয়েছেন যে undirected St-সংযোগ মধ্যে EREW pram উপর সমাধান করা যেতে পারে সঙ্গে সময় হে ( মি + + N ) প্রসেসর।O(logn)O(logn)O({\log}n)O(m+n)O(m+n)O(m+n) নির্দেশিত পরিকল্পনাকারী গ্রাফগুলিতে সেন্ট-সংযোগের জন্য সর্বাধিক পরিচিত সমান্তরাল অ্যালগরিদম কী ? অনুগ্রহ করে চলমান সময়, নির্বাহী / র্যান্ডমাইজড অ্যালগরিদম এবং ব্যবহৃত PRAM মডেলটি উল্লেখ …

13 ds.algorithms  graph-theory  dc.parallel-comp 

এই সালে কাগজ কেম্পে-Kleinberg-Tardos দ্বারা, লেখক একটি অর্থগৃধ্নু submodular ফাংশন উপর ভিত্তি করে নির্ধারণ করতে আলগোরিদিম উত্থাপন করা গ্রাফ সবচেয়ে প্রভাবশালী নোড, সামাজিক নেটওয়ার্কগুলিতে অ্যাপ্লিকেশনের সাথে।kkk মূলত অ্যালগরিদম নিম্নলিখিত হিসাবে যায়: S=empty setS=empty setS = {\rm empty~set} সর্বাধিক পৃথক প্রভাব সহ নোডটি চয়ন করুন, একে কল করুন ; এস = …

13 ds.algorithms  graph-theory  dc.distributed-comp  social-sciences  heuristics 

ইউক্লিডিয়ান জ্যামিতি ব্যবহার করার সময় এনপি-সম্পূর্ণ হলেও এমন কিছু সমস্যা রয়েছে যা কিছু ইউক্লিডিয়ান জ্যামিতির জন্য বহু-কালীন সময়ে সংজ্ঞায়িত এবং সমাধানযোগ্য হয়?

13 reference-request  cg.comp-geom 

প্যারিটি-এল, এল নামে পরিচিত , একটি অ-নিরস্তাত্মক টিউরিং মেশিন দ্বারা স্বীকৃত ভাষাগুলির সেট যা কেবলমাত্র একটি এমনকি সংখ্যার বা "স্বীকৃতি" পাথের বিজোড় সংখ্যার মধ্যে পার্থক্য করতে পারে। সাম্প্রতিক সম্পর্কিত একটি প্রশ্ন নীল ডি বৌদ্রাপ জিজ্ঞাসা করেছিলেন।⊕⊕\oplus আমার প্রশ্নটি নিম্নলিখিত: আমরা কি জানি যে এনএল এল? নাকি এই দুটি শ্রেণি অনুপম …

13 cc.complexity-theory  counting-complexity 

অ্যালন ও স্পেন্সার রচিত প্রব্যাবিলিস্টিক মেথড বইয়ের প্রথম অধ্যায়টিতে নিম্নলিখিত সমস্যার কথা উল্লেখ করা হয়েছে: একটি গ্রাফ , এর প্রান্ত সংযোগটি কমপক্ষে n / 2 হয় কিনা তা স্থির করুন ।GGGn/2n/2n/2 লেখক একটি অস্তিত্ব উল্লেখ অ্যালগরিদম Matula দ্বারা এবং তা উন্নত হে ( ঢ 8 / 3 লগ এন ) …

13 ds.algorithms  open-problem  graph-algorithms 

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

13 ds.algorithms  reference-request  optimization  heuristics 

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

13 cc.complexity-theory  counting-complexity  partial-order  clique 

জনপ্রিয় ডিফল্ট অ্যালগরিদম লেফেল-জিভের শীর্ষে হাফম্যান কোডিং ব্যবহার করে। সাধারণভাবে, যদি আমাদের কাছে ডেটাগুলির একটি এলোমেলো উত্স থাকে (= 1 বিট এন্ট্রপি / বিট), হাফম্যান সহ কোনও এনকোডিং এটি গড়ে কমপ্রেস করতে পারে না। যদি লেম্পেল-জিভ "নিখুঁত" (এটি বেশিরভাগ উত্সের কাছে পৌঁছায়, দৈর্ঘ্য অনন্তের দিকে চলে যায়), তবে হাফম্যানের সাথে …

13 ds.algorithms  it.information-theory  coding-theory  encoding 

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

13 ds.algorithms  reference-request  graph-algorithms  implementation 

দাবি অস্বীকার : আমি টাইপ তত্ত্ব সম্পর্কে যত্নশীল থাকাকালীন আমি নিজেকে টাইপ তত্ত্বের বিশেষজ্ঞ হিসাবে বিবেচনা করি না। সহজভাবে টাইপ করা ল্যাম্বদা ক্যালকুলাসে শূন্য টাইপের কোনও নির্মাণকারী এবং একটি অনন্য নির্মূলকারী নেই: Γ⊢M:0Γ⊢initial(M):AΓ⊢M:0Γ⊢initial(M):A\frac{\Gamma \vdash M \colon 0}{\Gamma \vdash initial (M) \colon A} ডেনোটেশনাল দৃষ্টিকোণ থেকে, সমীকরণ initial(M1)=initial(M2)initial(M1)=initial(M2)initial (M_1) = initial(M_2) …

13 pl.programming-languages  type-theory  lambda-calculus  semantics 

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

13 ds.algorithms  reference-request  factoring 

প্রসঙ্গ। আমি গোটেসম্যান-নিল উপপাদ্য , পাওলি স্ট্যাবিলাইজার গ্রুপগুলি ব্যবহার করে, তবে ডি- ডাইমেনশনাল কোয়াডিটের ক্ষেত্রে - যেখানে ডি এর একাধিক মৌলিক উপাদান থাকতে পারে এমন বিষয়ে লিখছি । (আমি এটি জোর দিয়েছি কারণ "উচ্চ মাত্রা" এ স্ট্যাবিলাইজার আনুষ্ঠানিকতার উপর প্রচুর সাহিত্যে ডি প্রাইম বা ডি একটি প্রধান শক্তিগুলির ক্ষেত্রে জড়িত …

13 reference-request  quantum-computing