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

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

25 pl.programming-languages  terminology  term-rewriting-systems 

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

25 lo.logic  type-theory  proof-theory 

সাথে হড়কাতে হড়কাতে চলা লিংক ধাঁধা, আমি হতাশ হয়েছেন: আমি একজন আছে যে অনুমান বর্গক্ষেত্র কোষের গ্রিড, এবং আমি অবিশেষে সব সম্ভব সহজ চক্র মধ্যে র্যান্ডম এ গ্রিড প্রান্ত সহজ চক্র খুঁজে পেতে চান।n × nn×nn\times n এটি করার একটি উপায় হ'ল একটি মার্কোভ চেইন ব্যবহার করুন যার রাজ্যগুলি বর্গাকার …

25 ds.algorithms  randomness  markov-chains  integer-lattice 

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

25 cc.complexity-theory  cr.crypto-security  big-picture  one-way-function 

প্রশ্ন: এসি 0 তে একটি সুস্পষ্ট ফাংশনটির জন্য নিম্নতম সুনির্দিষ্ট সূত্রের আকারটি কম কী ? একটি Ω ( n 2 )Ω(n2)\Omega(n^2) নিম্ন সীমা সহ একটি সুস্পষ্ট ফাংশন আছে ? পটভূমি: বেশিরভাগ নিম্ন সীমাগুলির মতো, সূত্রের আকারের নিম্ন সীমাগুলি এড়ানো শক্ত। আমি আদর্শ ইউনিভার্সাল গেট সেট {এবং, বা না, over এর …

25 cc.complexity-theory  lower-bounds  circuit-complexity  formulas 

নিম্নোক্ত সমস্যার জন্য পরিচিত একটি ডিস্ট্রিমেন্টিক পলিনোমিয়াল-টাইম অ্যালগরিদম: ইনপুট: একটি প্রাকৃতিক সংখ্যা (বাইনারি এনকোডিংয়ে)nnn আউটপুট: একটি মৌলিক সংখ্যা ।p>np>np > n (লিওনার্ড অ্যাডলম্যানের উন্মুক্ত সমস্যার একটি তালিকা অনুসারে, সমস্যাটি 1995 সালে উন্মুক্ত ছিল))

25 cc.complexity-theory  open-problem  nt.number-theory  polynomial-time  primes 

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

25 fl.formal-languages  parsing 

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

25 ds.algorithms  graph-theory  graph-algorithms  spectral-graph-theory 

1) স্ট্যাটিক টাইপিং এবং ফর্মাল ব্যাকরণগুলির মধ্যে কী সম্পর্ক? 2) বিশেষত, কোনও লিনিয়ার বাউন্ডেড অটোমেটনের পক্ষে, একটি সি ++ বা এসএমএল প্রোগ্রামটি ভাল টাইপ করা হয়েছে কিনা তা পরীক্ষা করা সম্ভব হবে? নেস্টেড স্ট্যাক অটোমেটন? 3) আনুষ্ঠানিক ব্যাকরণ শর্তে স্থিতিশীল টাইপিং বিধি প্রকাশ করার প্রাকৃতিক উপায় আছে কি?

25 automata-theory  fl.formal-languages  pl.programming-languages  type-theory  type-inference 

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

25 cc.complexity-theory  circuit-complexity 

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

25 graph-theory  soft-question  ho.history-overview  expanders 

আমি এই পড়া ছিল । এটা বলে ... আপনি খাঁটি গণিতের মতো তহবিলের জন্য অনাহারে নিজেকে পাবেন না। (আপনি এখনও তহবিলের জন্য নিজেকে সর্বদা অনাহারে দেখতে পাবেন)) ... খাঁটি গণিতবিদদের কেন তহবিলের প্রয়োজন? (ওহু এর গণিত প্রবাহের প্রশ্ন) তাত্ত্বিক গবেষণা করছেন এমন কাউকে কেন তহবিলের প্রয়োজন হবে? আমি মনে করি …

25 soft-question  career 

এটি কি কোনও রেফারেন্স রয়েছে?

25 cc.complexity-theory  reference-request  np-hardness  factoring 

নিম্নলিখিত সমস্যার জটিলতা অধ্যয়ন করা হয়েছে? ইনপুট : একটি ঘনক (বা নিয়মিত) গ্রাফ , একটি প্রাকৃতিক উপরের আবদ্ধজি = ( ভি , ই ) টি333জি = ( ভ, ই)G=(V,E)G=(V,E)টিtt প্রশ্ন : সেখানে একটি পার্টিশন মধ্যে আকার অংশগুলি ধরনের (nonnecessarily সংযুক্ত) সংশ্লিষ্ট subgraphs নির্দেশে এর সমষ্টি সর্বাধিক যে ?| E | …

25 graph-theory  np-hardness  co.combinatorics 

একটি ম্যাট্রিক্স একটি চিহ্ন পদে থেকে + 1 টি, -1 এন্ট্রি অন্তত ক্রম (reals বেশি) একটি ম্যাট্রিক্স বি যা (অর্থাত, হিসাবে একই চিহ্ন প্যাটার্ন রয়েছে হল সবার জন্য )। যোগাযোগ জটিলতা এবং শেখার তত্ত্বের ক্ষেত্রে এই ধারণাটি গুরুত্বপূর্ণ।AijBij>0AijBij>0A_{ij}B_{ij}>0i,ji,ji,j আমার প্রশ্নটি হ'ল: এমন কোনও পরিচিত (সুব এক্সফোনশিয়াল টাইম) অ্যালগরিদম যা ম্যাট্রিক্সের …

25 lg.learning  open-problem  communication-complexity  matrices