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

অনেক জটিলতার ক্লাসে "সম্পূর্ণ" সমস্যা রয়েছে। সময়ে সমাধান করা যায় এমন জটিলতার শ্রেণির জন্য কি সম্পূর্ণ সমস্যা বিদ্যমান ?O(1)O(1)O(1) একটি জটিলতা হ'ল এই শ্রেণিটি গণনার মডেলের উপর নির্ভর করে; সময়ে গণনার এক যুক্তিসঙ্গত মডেলটিতে একটি সমস্যা সমাধানযোগ্য হতে পারে তবে অন্যটি নয়, প্রদত্ত যে "যুক্তিসঙ্গত" এর অর্থ সাধারণত একটি টুরিং …

9 complexity-theory  time-complexity  constant-time 

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

9 lambda-calculus  functional-programming 

কেন (যদি তাই হয়) পৃথক দুটি ভাষার মধ্যে পার্থক্য আনছে ?##\# বলতে দাও: L={ws:|w|=|s|w,s∈{0,1}∗,w≠s}L={ws:|w|=|s|w,s∈{0,1}∗,w≠s}L=\{ws : |w|=|s|\, w,s\in \{0,1\}^{*}, w \neq s \} L#={w#s:|w|=|s|w,s∈{0,1}∗,w≠s}L#={w#s:|w|=|s|w,s∈{0,1}∗,w≠s}L_{\#}=\{w\#s : |w|=|s|\, w,s\in \{0,1\}^{*}, w \neq s \} এখানে একটি প্রমাণ এবং একটি ব্যাকরণ রয়েছে যা কে হিসাবে উপস্থাপন করেLLLCFLCFLCFL এবং নীচে আমি জন্য একটি প্রমাণ যুক্ত …

9 formal-languages  context-free  pumping-lemma 

ইন Spanner, TrueTime & ক্যাপ উপপাদ্য , এরিক ব্রিউয়ার্স লিখেছেন: স্প্যানারের সম্পর্কে একটি সূক্ষ্ম বিষয় হ'ল এটি লকগুলি থেকে সিরিয়ালাইজিবিলিটি পায়, তবে এটি ট্রুটাইম [ জোর যুক্ত করা ] থেকে বহিরাগত ধারাবাহিকতা ( লিনিয়ারাইজিবিলিটির অনুরূপ ) পায় । বাহ্যিক ধারাবাহিকতার সংজ্ঞা কী এবং এটি লিনিয়ারাইজিবিলিটি থেকে কীভাবে আলাদা ?

9 distributed-systems 

দেত্তয়া আছে: খুব ভাবপূর্ণ টাইপ সিস্টেমের সাথে একটি ল্যাঙ্গুয়েজ (যেমন ইদ্রিস ) বৈদেশিক ফাংশন ইন্টারফেসগুলি মত পালাবার মেকানিজম unsafePerformIO থাকতে পারে /। প্রুফ অ্যাসিস্ট্যান্ট রয়েছে যা কোনও ভাষায় লিখিত কোনও প্রোগ্রামের কিছু বৈশিষ্ট্য প্রমাণ করার জন্য ব্যবহার করা যেতে পারে যার মধ্যে এমন বৈশিষ্ট্যগুলি প্রকাশ করতে সক্ষম টাইপ সিস্টেম নেই। …

9 type-theory  proof-assistants  curry-howard 

বুলিয়ান ম্যাট্রিক্স একটি দেওয়া , টি এন্ট্রিগুলি সমুদ্রকে প্রতিনিধিত্ব করবে এবং টি প্রবেশদ্বারগুলি ভূমির প্রতিনিধিত্ব করবে। দ্বীপটিকে উল্লম্ব বা অনুভূমিকভাবে সংজ্ঞায়িত করুন (তবে ত্রিভুজ নয়) সংলগ্ন টি এন্ট্রি।n × মিএন×মিn \times mএক্সএক্স\mathrm X000111111 মূল প্রশ্নটি ছিল একটি প্রদত্ত ম্যাট্রিক্সে দ্বীপের সংখ্যা গণনা করা। লেখক একটি পুনরাবৃত্ত সমাধান ( মেমরি) বর্ণনা …

9 algorithms  matrices  counting  streaming-algorithm 

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

9 reference-request  logic  parallel-computing 

নিম্নলিখিত প্রসঙ্গমুক্ত ব্যাকরণ একটি "ঝাঁকুনি অন্য" ধরণের অস্পষ্টতা উপস্থাপন করে (কল্পনা করুন যে স্ট্যান্ড এবং দাঁড়ায় এবং অন্য কোনও ধরণের নির্দেশনা বা ব্লককে বোঝায়): example উদাহরণস্বরূপ, কে বা as হিসাবে পার্স করা যায় এই ব্যাকরণের জন্য এটি সবচেয়ে সহজ / সংক্ষিপ্ত अस्पष्ट শব্দ)।aaaif expr thenbbbelsecccS→aSbS|aS|cS→aSbS|aS|c \begin{aligned} S &\rightarrow aSbS \;|\; …

9 context-free  formal-grammars  parsers  ambiguity 

একটি উপপাদ্য রয়েছে যা বলে যে: থাকার একটি নির্দিষ্ট রাষ্ট্র যন্ত্রমানব দেওয়া , রাজ্য যদি একটি স্ট্রিং বিদ্যমান যার দৈর্ঘ্য সন্তুষ্ট তারপরে দ্বারা গৃহীত ভাষা অসীম।এনএনnWWwn ≤ | ডাব্লু | ≤ 2 এন - 1এন≤|W|≤2এন-1n \leq |w| \leq 2n-1 আমি বাধা বুঝেছি , তবে কেন বাধা আমি বুঝতে পারি না …

9 automata  finite-automata 

আমি টাইপ থিওরিতে ইউনিভার্সে এই সুপরিচিত কাগজটি পড়ছি । প্রথমে আমি Setωআগদার মতোই কিছু প্রত্যাশা করেছিলাম তবে দেখা গেছে যে এটি আরও সাধারণ কিছু। এটি মনে হয় মহাবিশ্বের নির্মাণকে একটি সরল ইন্ডাকটিভ-রিকার্সিভ টাইপ থেকে বাইন্ডারের কাছে অনুরূপ (অনুরূপ)ΠΠ\Pi এবং ΣΣ\Sigma)। আমি যে প্রধান প্রশ্নটি জিজ্ঞাসা করতে চাই তা হ'ল এর …

9 lambda-calculus  type-theory 

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

9 operating-systems  os-kernel  filesystems 

আমি নিম্নলিখিতগুলির জন্য একটি প্রমাণ নিয়ে আসার চেষ্টা করছি: কোন ভাষায় জন্য , অস্তিত্ব আছে একটি ভাষা যেমন যে কিন্তু বি ।AAABবিBA≤TBএকজন≤টিবিA \le_{\mathrm{T}} B≰TA≰টিএকজন\nleq_{\mathrm{T}} A আমি কে কথা ভাবছিলাম, তবে আমি বুঝতে পেরেছি যে সমস্ত ভাষাগুলি নয় , সুতরাং না। কি অন্যান্য পছন্দ আমি যে আমাকে একটা টি এম যার …

9 computability  reductions  undecidability 

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

9 formal-languages  context-free  formal-grammars 

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

9 lambda-calculus  combinatory-logic 

এই সমস্যা মোকাবেলায় আমি প্রথমে এটি পর্যবেক্ষণ করেছি ϕ (পিই11 পিই22⋯ পিইটট) = (ই1+ 1 ) (ই2+ 1 ) ⋯ (ইট+ 1 )φ(পি1ই1 পি2ই2⋯ পিটইট)=(ই1+ +1)(ই2+ +1)⋯(ইট+ +1)\phi(p_1^{e_1} \space p_2^{e_2} \cdots \space p_k^{e_k}) = (e_1 + 1)(e_2 + 1)\cdots(e_k +1) কোথায় (অগত্যা মৌলিক নয়) এর ভাজক সংখ্যা । যদি ক্ষুদ্রতম …

9 number-theory  primes