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

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

10 lo.logic  type-systems  homotopy-type-theory 

ফানো-এর বৈষম্যকে বিভিন্ন রূপে বর্ণনা করা যেতে পারে এবং একটি বিশেষভাবে কার্যকর ওডেডেগেভের (একটি সামান্য পরিবর্তন সহ) প্রযোজ্য : যাক একটি এলোপাতাড়ি ভেরিয়েবলের হবে | যেখানে একটি র্যান্ডম প্রক্রিয়া। একটি পদ্ধতি অস্তিত্ব ধরে প্রদত্ত পুনর্গঠন করতে সম্ভাব্যতা সঙ্গে । তারপরে Y = g ( X ) g ( ⋅ ) …

10 it.information-theory  randomized-algorithms 

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

10 fl.formal-languages  computability  machine-models 

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

10 pl.programming-languages  optimization  circuit-complexity  semantics  compilers 

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

10 permutations  gr.group-theory 

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

10 pl.programming-languages  process-algebra 

আমরা জানি যে সহজভাবে টাইপ করা ল্যাম্বদা-শর্তাদির বিটা সমতা স্থিরযোগ্য। এম, এন: σ → τ দেওয়া, এটি কি সমস্ত এক্স: σ, এমএক্স ?≃β≃β≃_β

10 ds.algorithms  pl.programming-languages  type-theory  functional-programming 

বিতরণ অ্যালগরিদমগুলি যা ব্যর্থতাগুলিতে স্থিতিশীল হয় তা হয় হতাশাবোধমূলক বা সম্ভাবনাময়। উদাহরণস্বরূপ theকমত্যের সমস্যাটি নিন। প্যাকোসগুলি যে অর্থে সিদ্ধান্ত গ্রহণ করে তা নির্দশনীয়, এটি সর্বদা কার্যকর হয় । বিপরীতে, এলোমেলো .কমত্য একটি প্রদত্ত সম্ভাবনার সাথে কাজ করে। ডিজিটারিনিস্টিক অ্যালগরিদম ডিজাইন করে ব্যবহার করার সুবিধা কী? যে অনুমানের উপর নির্ধারক অ্যালগরিদম …

10 randomized-algorithms  dc.distributed-comp  fault-tolerance 

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

10 communication-complexity 

একটি নির্দেশিত গ্রাফ দেওয়া, আমরা এটি স্থির করতে চাই যে এটিতে দৈর্ঘ্যের একটি নির্দেশিত চক্র রয়েছে কিনা। YUSTER এবং ZWICK এর 1997 এর এই গবেষণাপত্রে বলা হয়েছে যে সমস্যাটি না এবং এটি কমপ্লিট হিসাবেও পরিচিত নয় ।এন পিPPPNPNPNP নির্দেশিত গ্রাফগুলিতে এমনকি চক্র সমস্যার জটিলতা সমাধান করে এমন কোনও সাম্প্রতিক ফলাফল …

10 cc.complexity-theory  reference-request  graph-theory 

একটি নির্ণায়ক যন্ত্রমানব বলা হয় ট -local জন্য ট > 0 প্রত্যেক যদি W ∈ এক্স ট সেট { δ ( কুই , W ) : কুই ∈ প্রশ্ন } সর্বাধিক ধারণ করে একটি উপাদান Intuitively একটি শব্দ মানে যে W দৈর্ঘ্যের ট একটি রাষ্ট্র বাড়ে, তাহলে এই রাষ্ট্র অনন্য, …

10 fl.formal-languages  automata-theory  synchronization 

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

10 np-hardness  sat  upper-bounds 

আমরা এফএফটি সহ বহু / বহুগুণের জন্য ও কনভলিউশন করতে পারি । যাইহোক, পদ্ধতির সাধারণভাবে রিং খুব সাধারণ হিসাবে মনে হয় না। সর্বাধিক / প্লাস রিংয়ের জন্য নিষ্পাপ সমঝোতার বিষয়ে কোনও অগ্রগতি হয়েছে ?O(nlogn)O(nlog⁡n)O(n\log n)O(n2)O(n2)O(n^2) আমার নোট করা উচিত যে ক্ষুদ্রাকর্ষণটি করে কেউ নরম-ম্যাক্স / প্লাস / প্রোডাক্টে রূপান্তর করতে …

10 algebra  polynomials  fft  convolution 

ন্যানসি লিঞ্চের "ডিস্ট্রিবিউটড অ্যালগরিদম" বইয়ের ১৩ তম অধ্যায় "অ্যাটমিক অবজেক্টস"-এ লিনিয়ারাইজিবিলিটি (যা পারমাণবিকতা নামেও পরিচিত) একটি সুরক্ষার সম্পত্তি হিসাবে প্রমাণিত হয়েছে। এটি বলার অপেক্ষা রাখে না যে এর সাথে সম্পর্কিত ট্রেস সম্পত্তি অমান্য, উপসর্গ-বন্ধ, এবং সীমা-বদ্ধ , অধ্যায় 8.5.3-এ সংজ্ঞায়িত করা হয়েছে। অনানুষ্ঠানিকভাবে, একটি সুরক্ষা সম্পত্তি প্রায়শই বলে দেওয়া হয় …

10 reference-request  fl.formal-languages  dc.distributed-comp  concurrency 

যদি আমরা প্রমাণ করতে পারি যে , এটি কি এন এল = এন পি বোঝায় ?L=PL=পি\mathsf{L}=\mathsf{P}এন এল = এন পিএনএল=এনপি\mathsf{NL}=\mathsf{NP} আমি ভেবেছিলাম এটি কেস, তবে আমি এটি প্রমাণ করতে পারি না (কথোপকথনের জন্যও)।

10 cc.complexity-theory  complexity-classes  nondeterminism