প্রশ্ন ট্যাগ «reference-request»

আনুমানিক গ্রাফ বর্ণের ফলাফলের কথা শুনেছি, তবে উত্সটি খুঁজে পাচ্ছি না। ফলাফল হলো: প্রতিটি ধ্রুবক জন্য পর্যাপ্ত পরিমাণে বড় কে উপস্থিত থাকে যে এইচ কে রঙের সাথে কে- রঙিন গ্রাফকে রঙ করা এনপি-হার্ড।জজhটটkটটkএইচ কেজটhk কেউ কি আমাকে প্রাসঙ্গিক কাগজে দেখিয়ে দিতে পারেন?

10 reference-request  approximation-hardness  graph-colouring 

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

10 reference-request  pl.programming-languages  compilers  program-analysis 

আমি বুলিয়ান সূত্র ভারসাম্য সমস্যার জটিলতা সম্পর্কে উল্লেখ খুঁজছি । নির্দিষ্টভাবে, এটি কি জানা ছিল যে বুলিয়ান সূত্রগুলি এ ভারসাম্যপূর্ণ হতে পারে ?AC0AC0\mathsf{AC^0} বুলিয়ান সূত্রে ভারসাম্য বজায় রাখার সহজ প্রমাণ কি ?AC0AC0\mathsf{AC^0} "সরল" দ্বারা আমি নীচে উল্লিখিত একটির চেয়ে সহজ প্রমাণ হিসাবে বোঝাচ্ছি, বিশেষত আমি এমন একটি প্রমাণ খুঁজছি যা …

10 cc.complexity-theory  ds.algorithms  reference-request  lo.logic  boolean-formulas 

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

10 reference-request  machine-learning  lg.learning  survey  books 

চলুন । আমি সহজ গ্রাফ তৈরী করার দরকার জি এর ঘের ছ এমন সব সেট যে ছ ফরম -cycles একটি ডবল প্রান্ত কভার জি (যে, প্রত্যেক প্রান্ত দ্বারা ভাগ করা ঠিক দুই গ্রাম -cycles), এবং যেমন যে কোন দুটি ছেদ জি- সাইকেলগুলি হয় একটি শীর্ষবিন্দু, একটি প্রান্ত বা খালি। উত্পন্ন …

10 ds.algorithms  reference-request  graph-theory  co.combinatorics  pseudorandom-generators 

গ্রাফের জন্য সহজ উপস্থাপনাগুলি সংলগ্ন ম্যাট্রিক্স / তালিকাগুলি ব্যবহার করে যার অর্থ প্রতিটি নোড এবং প্রান্তটি স্পষ্টভাবে প্রতিনিধিত্ব করা হয়। শক্তিশালী নিয়মিততা প্রদর্শনকারী গ্রাফগুলির জন্য অন্তর্নিহিত উপস্থাপনার গুরুত্ব দীর্ঘকাল ধরে স্বীকৃত। উদাহরণস্বরূপ, গ্যাল্পারিন অ্যান্ড উইগডারসন (1983), পাপাদিমিট্রিও এবং ইন্নাকাকিস (গ্রাফের সুসিনেক্ট রিপ্রেজেন্টেটিভসের উপর একটি নোট , 1986) এমন গ্রাফগুলির প্রশ্নটি …

10 ds.algorithms  reference-request  graph-theory  survey  binary-decision-diagrams 

কয়েক বছর আগে, আমি পরবর্তী ক্যালকুলাসের সাম্যের জন্য নীচের বাম-নিয়মটি পেরিয়েছি: s≐t⇝θθ(Γ)⊢θ(C)Γ,s≐t⊢Cs≐t⇝θθ(Γ)⊢θ(C)Γ,s≐t⊢C \frac{s \doteq t \leadsto \theta \qquad \theta(\Gamma) \vdash \theta(C)} {\Gamma, s \doteq t \vdash C} এখানে, নির্ণয় সবচেয়ে সাধারণ unifier \ থেটা জন্য গুলি এবং টন , এবং তারপর উপসংহার substition প্রযোজ্য সি এবং সমস্ত প্রেক্ষাপটে অনুমানের \ …

10 reference-request  lo.logic  pl.programming-languages  proof-theory  sequent-calculus 

জেবিভি পরামর্শ দিয়েছিল আমি কিছু মন্তব্যকে একটি প্রশ্নে পরিণত করেছি, তাই এখানে যায়। আরেকটি প্রশ্ন [1] কিউএম কম্পিউটিংয়ের অ্যাপ্লিকেশন সম্পর্কে জিজ্ঞাসা করে। একটি উত্তর [২] ছিল "দক্ষতার সাথে কোয়ান্টাম মেকানিক্সের অনুকরণ"। স্পষ্টতই এই ধারণাটি পুরো বিষয়টিতে ফেনম্যানের প্রথম লেখার পিছনে রয়েছে; যদিও আমি একটি রেফারেন্স আছে। তাই: প্রশ্ন। কোয়ান্টাম কম্পিউটার …

10 reference-request  quantum-computing  application-of-theory 

কাগজে তথ্য তত্ত্বের দুটি সমস্যা , Erdõs এবং Rényi weighings এক একটি সেট মিথ্যা কয়েন সংখ্যা নির্ধারণের জন্য করতে হবে ন্যূনতম সংখ্যার উপর নিম্ন সীমা দিতে কয়েন।nnn আরও আনুষ্ঠানিকভাবে: মিথ্যা মুদ্রাগুলির ডান মুদ্রার চেয়ে কম ওজন থাকে; সঠিক ও মিথ্যা মুদ্রা উভয়ের মধ্যে ওজন এবং পরিচিত। একটি স্কেল দেওয়া হয় …

10 ds.algorithms  reference-request  co.combinatorics  it.information-theory  randomized-algorithms 

যাক মধ্যে পারস্পরিক পক্ষপাতিত্বহীন ঘাঁটি (MUB) একটি সেট হতে সি এন , অর্থাত্ প্রতিটি বি আমি একটি orthonormal ভিত্তি এবং জন্য বনাম ∈ বি আমি , W ∈ বি ঞ , আমি ≠ ঞ আমরা আছে | ⟨ বনাম | W ⟩ | =বি= { খ1, … , বিট}B={B1,…,Bk}\mathcal{B} = …

10 reference-request  quantum-information 

সময় / মহাকাশ ট্রেড অফের আকারে প্রকাশিত ডাইমেনশনাল পয়েন্টগুলির একটি সেটে অর্ধস্পেসার পরিসীমা গণনা কোয়েরিগুলি সম্পাদনের জন্য বর্তমানের সেরা সীমাবদ্ধ কোনটি ? মাতোসেকের সেমিনাল 1993-এর কাগজ অনুসারে (উপপাদ্য 6.২, দক্ষ হায়ারার্কিকালাল কাটিংয়ের সাথে রেঞ্জ অনুসন্ধান) আমরা সাইজের ডেটা স্ট্রাকচার ব্যবহার করে জন্য হাফ স্পেসগুলির ছেদকৃত প্রশ্নের জন্য পরিসীমা গণনা করতে …

10 reference-request  ds.data-structures  cg.comp-geom 

কে (ইতিবাচক) ওজনযুক্ত প্রান্তযুক্ত একটি গ্রাফ হতে দিন । আমি নোড / সাইট একটি সেটের জন্য ভোরোনাই চিত্রটি সংজ্ঞায়িত করতে চাই , নোড with এর সাথে সংযুক্ত করতে সাবগ্রাফ এর সমস্ত নোডের সাথে প্রেরণে অন্য কোনও নোডের তুলনায় নিকটতম , চাপের ওজনের যোগফলের সাহায্যে একটি পাথের দৈর্ঘ্য পরিমাপ করা। হয় …

10 reference-request  graph-theory  cg.comp-geom 

আমি ভিসি-ডাইমেনশনের পিছনে তত্ত্বের সাথে বেশ পরিচিত, তবে আমি এখন পরিসংখ্যান শেখার তত্ত্বের সাম্প্রতিক (গত 10 বছর) অগ্রগতির দিকে তাকিয়ে রয়েছি: (স্থানীয়) র্যাডম্যাচার গড়, মাসার্টের স্নাতক শ্রেণীর লেমমা, কাভারিং নাম্বার, চেইনিং, ডডলির উপপাদ্য, সিউডোডাইমেনশন, ফ্যাট শেটারিং ডাইমেনশন, প্যাকিং নম্বর, র‌্যাডম্যাচার কম্পোজিশন এবং সম্ভবত অন্যান্য ফলাফল / সরঞ্জাম যা আমি অবগত …

10 reference-request  machine-learning  lg.learning  books  vc-dimension 

অপরিহার্য ভাষাগুলির জন্য টাইপ সিস্টেমগুলি সম্পর্কিত গবেষণামূলক গবেষণাপত্রগুলির অনুসন্ধানে আমি কেবলমাত্র পরিবর্তিত রেফারেন্স সহ একটি ভাষার সমাধান পাই তবে প্রকৃত অপরিহার্য নিয়ন্ত্রণ কাঠামো যেমন যৌগিক অপারেটর, লুপ বা শর্তসাপেক্ষ ছাড়া without সুতরাং এটি স্পষ্ট নয় যে কীভাবে একটি আধ্যাত্মিক ভাষা যেমন http://rust-lang.org হিসাবে আংশিক ধরণের অনুমিতি প্রয়োগ করা যেতে পারে। …

10 reference-request  pl.programming-languages  type-theory  type-inference  imperative-programming 

ডয়েচের অ্যালগরিদম হল একটি সুপরিচিত কোয়ান্টাম কম্পিউটিং সাথে কেবল একটি মূল্যায়ন । যদি আমরা + সিডট দিয়ে + প্রতিস্থাপন করি তবে সমস্যাটি অন্যরকম হয়ে গেছে বলে মনে হচ্ছে। আমার প্রশ্ন হয়: সেখানে মান কম্পিউটিং কোয়ান্টাম এলগরিদম বিদ্যমান চ (0) \ cdot চ (1) (অথবা যদি আপনি পছন্দ) মাত্র এক মূল্যায়ন …

10 reference-request  quantum-computing