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

যাক এর -terms অনুসরণ হিসাবে সংজ্ঞায়িত করা:s i zইগুলিআমিz- রইsizeλλ\lambda s i ze ( x ) = 1গুলিআমিz- রই(এক্স)=1size(x) = 1 , s i ze ( λ x । t ) = s i ze ( টি ) + 1গুলিআমিz- রই(λএক্স।টি)=গুলিআমিz- রই(টি)+ +1size(λx.t) = size(t) + 1 , s i …

12 lo.logic  computability  pl.programming-languages  lambda-calculus 

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

12 cc.complexity-theory  complexity-classes  big-list 

এমএজে কম্পিউটিংয়ের জন্য circuit over ওভার সার্কিটের সর্বনিম্ন বৃক্ষ প্রস্থ কত ?{∧,∨,¬}{∧,∨,¬}\{\wedge,\vee,\neg\} এখানে এমএজে in আউটপুট 1 যদি এর ইনপুটগুলির কমপক্ষে অর্ধেক ইনপুট হয় ।1:{0,1}n→{0,1}:{0,1}n→{0,1}:\{0,1\}^n \rightarrow \{0,1\}111 আমি কেবল সার্কিটের আকার সম্পর্কে (বহুত্ববাদী হওয়া উচিত) যত্ন নিয়েছি এবং কোনও ইনপুট কেবল একবার পড়তে হবে যদিও কোনও ইনপুট গেটের ফ্যান-আউট নির্বিচারে …

12 reference-request  complexity-classes  circuit-complexity  treewidth 

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

12 type-systems  compilers  dependent-type 

আমরা কীভাবে স্বতঃস্ফূর্ত ঘন ঘন র‌্যান্ডম ভেরিয়েবলের যোগফলের তীব্র ঘনত্বের ফলাফল প্রমাণ করতে পারি, যাক স্বতন্ত্র র্যান্ডম ভেরিয়েবল যেমন পি আর ( এক্স আই < এক্স ) = 1 - ই - এক্স / be i হতে পারে । যাক জেড = Σ এক্স আমি । আমরা কি ফর্মের সীমানা …

12 pr.probability  randomness  chernoff-bound 

নির্ধারণ প্রত্যেক বর্গ করে একটি (multitape) দ্বারা গ্রহণ করা যেতে পারে হিসাবে টাইম মেশিন টুরিং চ ( এন ) + + 1 । (" + 1 " কেবল স্বীকৃতি সহজ করার জন্য এবং বিভ্রান্তি এড়াতে)) লক্ষ্য করুন যে চ ( এন ) + 1 এর আশেপাশে কোনও ও ( ⋅ …

12 cc.complexity-theory  time-complexity  turing-machines  time-hierarchy 

একটি সার্কিট বিবেচনা করুন যা এ ইনপুট সংখ্যা হিসাবে গ্রহণ করে এবং এতে সর্বাধিক ( x , y ) , নূন্যতম ( x , y ) , 1 - x এবং x + y এর সমন্বিত গেট রয়েছে[0,1][0,1][0,1]max(x,y)max(x,y)\max(x, y)min(x,y)min(x,y)\min(x, y)1−x1−x1 - x । সার্কিটের আউটপুট তখন[0,1]এও একটি সংখ্যা।x + y2x+y2\frac{x+y}{2}[ …

12 arithmetic-circuits 

ইটিএইচ সূত্রে উল্লেখ করা হয়েছে যে স্যাটকে স্যুপ এক্সপোনশিয়াল সময়ে সবচেয়ে খারাপ ক্ষেত্রে সমাধান করা যায় না। গড় ক্ষেত্রে কী হবে? এনপি-তে কী এমন প্রাকৃতিক সমস্যা রয়েছে যেগুলি গড় ক্ষেত্রে তাত্পর্যপূর্ণভাবে কঠিন বলে অনুমান করা হয়? ইনপুটগুলিতে অভিন্ন বিতরণ সহ গড় চলমান সময়কে গড় গড় হিসাবে বিবেচনা করুন।

12 cc.complexity-theory  np  average-case-complexity 

আমরা থেকে জানি উদাঃ Koutis-মিলার-পেং (Spielman & তেং কাজের উপর ভিত্তি করে), যে আমরা খুব দ্রুত রৈখিক সিস্টেম সমাধান করতে পারে ম্যাট্রিক্স জন্য অ-নেতিবাচক প্রান্ত ওজন সঙ্গে কিছু বিক্ষিপ্ত গ্রাফ এর জন্য গ্রাফ Laplacian ম্যাট্রিক্স হয় ।Ax=bAx=bA x = bAAA এখন (প্রথম প্রশ্ন) এই গ্রাফের মধ্যে ল্যাপলাসিয়ান ম্যাট্রিকেস এটিকে কোভারিয়েন্স …

12 ds.algorithms  graph-theory  linear-algebra  pr.probability  spectral-graph-theory 

আমরা জানি যে যদি তবে পুরো পিএইচটি ধসে যায়। বহুবর্ষীয় শ্রেণিবিন্যাস আংশিকভাবে ভেঙে গেলে কী হবে? (বা কীভাবে বোঝবেন যে পিএইচ একটি নির্দিষ্ট পয়েন্টের উপরে এবং নীচে থেকে পড়ে যাবে?)P=NPP=NPP=NP সংক্ষিপ্ত কথায়, এবং পরিণতি কী হবে ?NP=coNPNP=coNPNP=coNPP≠NPP≠NPP\ne NP

12 cc.complexity-theory  complexity-classes  conditional-results  polynomial-hierarchy 

আমি ইতিমধ্যে সিটিএল কিন্তু না LTL এবং ভাইস বিপরীতভাবে সূত্রের উদাহরণ পড়া, কিন্তু আমি কষ্ট LTL সূত্র এবং একটি মানসিক উপলব্ধিকে হত্তন হচ্ছে সত্যিই কি, অন্তরে, পার্থক্য আছে।

12 lo.logic  model-checking  temporal-logic 

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

12 fl.formal-languages 

\newcommand{\symp}{\Bumpeq} একটি সেট এক্স এর মধ্যে একটি সম্পর্ক একটি এবং প্রতিসম সম্পর্ক। একত্রিত স্থান হ'ল একজোড়া (এক্স, \ সিম্প_এক্স) , এবং একটি মরফিজম f: X \ থেকে Y এর সুসংগত স্থানগুলির মধ্যে একটি সম্পর্ক f \ সাবটেক এক্স X বার Y এর মতো যা সকলের জন্য (x, y) f f …

12 pl.programming-languages  ct.category-theory  domain-theory  linear-logic 

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

12 cc.complexity-theory  complexity-classes  np-hardness  p-vs-np 

এটি সুপরিচিত যে এর পরিপূরকটি প্রসঙ্গমুক্ত{ww∣w∈Σ∗}{ww∣w∈Σ∗}\{ ww \mid w\in \Sigma^*\} । কিন্তু কি সম্পূরক সম্পর্কে {www∣w∈Σ∗}{www∣w∈Σ∗}\{ www \mid w\in \Sigma^*\} ?

12 fl.formal-languages  context-free