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

আমার একটি সমস্যা রয়েছে যা এনএক্সপি এনপি-তে রয়েছে এবং এক্সফোনেনশিয়াল সময় এবং কেবলমাত্র একটি বিকল্প (অস্তিত্বের অবস্থায় শুরু করে) বিকল্প টিএম ব্যবহার করে সমাধান করা যেতে পারে।NPNP^{\text{NP}} এনএক্সপি এনপি সম্পর্কে কিছু জানা আছে ? এটি এনএক্সপি বা অন্য কোনও শ্রেণির সমান? জেনেরিকটি ছাড়া কোনও সম্পূর্ণ সমস্যা আছে (একটি এনএক্সপি এনপি …

11 cc.complexity-theory  reference-request  complexity-classes  nexp 

এই প্রশ্নটি স্ট্যাকওভারফ্লোতে জিজ্ঞাসা করা একটি প্রশ্ন দ্বারা অনুপ্রাণিত হয়েছিল । ধরুন আপনাকে এন নোডগুলিতে একটি মূলযুক্ত গাছ (যেমন একটি শিকড় রয়েছে এবং নোডের বাচ্চা রয়েছে ইত্যাদি) ( 1 , 2 , … , এন লেবেলযুক্ত )।TTTnnn1,2,…,n1,2,…,n1, 2, \dots, n প্রতিটি প্রান্তবিন্দু : একটি অ নেতিবাচক পূর্ণসংখ্যা ওজন যুক্ত হয়েছে …

11 cc.complexity-theory  reference-request  np-hardness  tree  application-of-theory 

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

11 cc.complexity-theory  reference-request  lower-bounds  communication-complexity  norms 

যাক bitstring / ট্যাগ জোড়া উপর একটি বিতরণ হতে দিন বুলিয়ান মূল্যবান ফাংশন একটি সংগ্রহ হতে । প্রতিটি ফাংশনের জন্য , এবং আসুন: ওপটি (সি, ডি) = \ মিনি_ {চ \ সি} \ মাত্রই ভুল করে (চ, ডি) বলুন একটি অ্যালগরিদম যে একজন agnostically শেখে সি এর বেশী কোনো বন্টন, …

11 reference-request  machine-learning  lg.learning 

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

11 cc.complexity-theory  reference-request  circuit-complexity  machine-models  ar.hardware-architecture 

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

11 reference-request  lo.logic  type-theory  lambda-calculus  polymorphism 

কোনও গ্রাফে একটি স্বতন্ত্র সেট হ'ল একটি ভার্টেক্স সাবসেট যা প্ররোচিত সাবগ্রাফ হিসাবে কোনও প্রান্তকে ধারণ করে না। গ্রাফের বৃহত্তম বৃহত্তম সেটগুলি আবিষ্কার করার সমস্যাটি একটি মৌলিক অ্যালগরিদমিক প্রশ্ন এবং এটির মধ্যে একটি শক্ত। আসুন কোনও গ্রাফের বৃহত্তম এইচ-মুক্ত সেট (আকারের) সন্ধানের আরও সাধারণ প্রশ্নটি বিবেচনা করুন, যেখানে এইচ-মুক্তের অর্থ …

11 ds.algorithms  reference-request  graph-theory  np-hardness  co.combinatorics 

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

11 reference-request  markov-chains  queueing-theory  model-checking 

বোঝাতে দ্বারা ন্যূনতম আউট ডিগ্রী , এবং \ Delta ^ - (জি) ইন-ডিগ্রী ন্যূনতম।জি δ - ( জি )δ+ +( ছ )δ+ +(জি)\delta^+(G)জিজিGδ-( ছ )δ-(জি)\delta^-(G) একটি সম্পর্কিত প্রশ্নে , আমি হ্যামিলটোনীয় চক্রের উপর ডাইরাকের উপপাদ্যটির গৌইলা-হুরি সম্প্রসারণের কথা উল্লেখ করেছি , যা প্রস্তাব দেয় যে যদি δ+ +( ছ ) …

11 reference-request  graph-theory 

গ্রস অ্যান্ড টকার বাই টপোলজিকাল গ্রাফ থিওরি বই অনুসারে, কোনও পৃষ্ঠে গ্রাফের সেলুলার এম্বেডিং দেওয়া হয়েছে ('পৃষ্ঠ দ্বারা') আমি এখানে কিছু হ্যান্ডলস সহ একটি গোলক বোঝাচ্ছি , এবং নীচে গোলকের সাথে ঠিক দিয়ে বোঝায় হ্যান্ডলস), মূল গ্রাফের মুখগুলি শিকড় হিসাবে এমবেড করে এবং দ্বি দ্বিঘাতের মূল সংজ্ঞাটি মূল গ্রাফের সাথে …

11 ds.algorithms  reference-request  graph-theory  cg.comp-geom  topological-graph-theory 

কোনও ডিজাইনাইজেশন থেকে কোনও রেখাংশের slাল পুনরুদ্ধার করার জন্য কোনও কাজ হয়েছে? নিখুঁত নির্ভুলতার সাথে কেউ এটি করতে পারে না, অবশ্যই; যেটি চায় তা হ'ল ডিজিটাইজড লাইন থেকে সম্ভাব্য opালু ব্যবস্থার অন্তর অন্তর্ভুক্ত করার একটি পদ্ধতি। (আমি যে ডিজিটালাইজড লাইনের ব্যবহার করছি তা হ'ল রোজেনফিল্ডের: জোড়ার সেট যেখানে আমি পূর্ণসংখ্যার …

11 reference-request  cg.comp-geom  cv.computer-vision  image-processing 

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

11 ds.algorithms  reference-request  approximation-algorithms  optimization 

আমি ভাবছি যদি কেউ আমাকে ইনডাকটিভ ডেটা ধরণের কঠোর ইতিবাচকতা দৃ strong় স্বাভাবিককরণের গ্যারান্টি দেয় তার পিছনে অন্তর্দৃষ্টি দিতে পারে কিনা। স্পষ্টতই, আমি দেখতে পাচ্ছি যে নেতিবাচক ঘটনাগুলি কীভাবে বিবর্তনের দিকে পরিচালিত করে, অর্থাত্ সংজ্ঞা দিয়ে: data X where Intro : (X->X) -> X আমরা একটি বিচ্ছিন্ন ফাংশন লিখতে পারি। …

10 reference-request  pl.programming-languages  type-theory  type-systems  dependent-type 

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

10 reference-request  pl.programming-languages  type-theory  dependent-type  typed-lambda-calculus 

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

10 reference-request  lambda-calculus  typed-lambda-calculus  reversible-computing