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

এই সমস্যাটি সম্পর্কে আরও সন্ধান করার অসুবিধার অংশটি হ'ল গ্রাফের সাথে মিলানোর সমস্যাটি তার বিখ্যাত খালাতো বোন, ম্যাচিংয়ের সমস্যা থেকে পৃথক, তবে অনুসন্ধান ইঞ্জিনগুলি ব্যবহার করার সময় এর থেকে পৃথক হওয়া শক্ত। দুটি গ্রাফ দেওয়া হয়েছে G=(V,E)G=(V,E)G=(V,E) এবং G′=(V′,E′)G′=(V′,E′)G'=(V',E') যেমন যে |V|=|V′||V|=|V′||V| = |V'|, টাস্কের একটি bijection খুঁজে পেতে π:V→V′π:V→V′\pi …

11 reference-request  graph-theory  graph-isomorphism 

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

11 reference-request  cr.crypto-security 

বুলিয়ান ফাংশনটির জটিলতা ব্যবস্থাগুলির অধ্যয়নের একটি খুব আকর্ষণীয় উন্মুক্ত সমস্যা হ'ল তথাকথিত সংবেদনশীলতা বনাম ব্লক সংবেদনশীলতা অনুমান। সংবেদনশীলতা বনাম ব্লক সংবেদনশীলতার বিষয়ে পটভূমির জন্য আপনি এস আ্যারনসনের নিম্নলিখিত ব্লগপোস্টটি http://www.scottaaronson.com/blog/?p=453 এ দেখতে পারেন । আমার জানা মতে করার জন্য, শ্রেষ্ঠ উপরের আবদ্ধ পরিচিত পদ গুলি ( চ ) হয় খ …

11 cc.complexity-theory  reference-request  fourier-analysis 

এই নিখুঁত তথ্য গেমটি গ্রাফগুলিতে খেলে কি জানেন / অধ্যয়ন করেছেন? একটি গ্রাফ , দুটি খেলোয়াড় বিকল্প প্রান্ত বা একটি বিচ্ছিন্ন নোড বাছাই করছে। যদি প্লেয়ার একটি কিনারা নেয় দুটি নোড এবং তাদের ঘটনার প্রান্তের সাথে মুছে ফেলা হয়েছে। খেলোয়াড় যদি একটি বিচ্ছিন্ন নোড ধরে, নোড মুছে ফেলা হয়। সরানো …

11 reference-request  combinatorial-game-theory 

কিছু পটভূমি: আমি লার্নিং উইথ এরিসেস (এলডাব্লুইই) সমস্যাটির জন্য "কম-জ্ঞাত" নিম্ন সীমানা (বা কঠোরতার ফলাফল) এবং এর জেনারালাইজেশনগুলির সাথে ত্রুটিগুলি ওভার রিংগুলি বাছাইয়ের বিষয়ে আগ্রহী। নির্দিষ্ট সংজ্ঞা ইত্যাদির জন্য এখানে রেগেভ দ্বারা একটি দুর্দান্ত সমীক্ষা করা হয়েছে: http://www.cims.nyu.edu/~regev/papers/lwesurvey.pdf স্ট্যান্ডার্ড ধরণের (আর) এলডাব্লুই-স্টাইল অনুমানটি (সম্ভবত, কোয়ান্টাম) হ্রাস দ্বারা (সম্ভবত, আদর্শ) জালাগুলিতে …

11 cc.complexity-theory  reference-request  cr.crypto-security  machine-learning  lg.learning 

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

11 cc.complexity-theory  reference-request  p-vs-np 

সম্পাদনা (তারা বি দ্বারা): আমি এখনও তার একটি প্রমাণের একটি রেফারেন্সে আগ্রহী , কারণ আমার নিজের কাগজের জন্য আমাকে এটি প্রমাণ করতে হয়েছিল। আমি এই কাগজে প্রদর্শিত থিয়েরেম 4 এর প্রমাণ খুঁজছি: লিউ এবং ওয়েনার দ্বারা প্রসঙ্গমুক্ত ভাষাগুলির ছেদগুলির একটি অসীম শ্রেণিবিন্যাস। উপপাদ্য 4: একটি -dimensional অ্যাফিন নানাবিধ অ্যাফিন manifolds …

11 reference-request  fl.formal-languages  linear-algebra  context-free-languages  lattice 

যাক পূর্ণসংখ্যার একটি ক্রম হতে যেখানে প্রতিটি একটি ঞ ∈ { 1 , 2 , ... , এন } । জন্য আমি ∈ { 1 , 2 , ... , এন } যাক মি আমি = | { j : a j = i } | । ট ম ফ্রিকোয়েন্সি …

11 ds.algorithms  reference-request  communication-complexity  data-streams 

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

11 reference-request  cg.comp-geom 

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

11 reference-request  quantum-computing  communication-complexity  quantum-information 

এই অটোমেটনের এল ( এম ) দ্বারা গৃহীত ভাষাটি একটি নির্বিচারবাদী প্রসঙ্গ-মুক্ত ভাষা এবং একটি নির্বিচারে পুশডাউন অটোমেটন এন আউটপুট দেয় যা ঠিকভাবে গ্রহণযোগ্য ভাষা গ্রহণ করে এমন প্রতিশ্রুতি সহ একটি অ্যালগরিদম তৈরি করা সম্ভব যা ইনপুট হিসাবে একটি পুশডাউন অটোমেটন গ্রহণ করে with এম দ্বারা ?এমMMএল ( এম)L(M)L(M)এনNNএমMM সমতুল্য …

11 reference-request  computability  fl.formal-languages  automata-theory 

আমি জানতে চাই যে নিম্নলিখিত সমস্যার ( ) এ সিদ্ধান্ত নেওয়া যেতে পারে :NLNL\mathsf{NL} একটি নির্দেশ গ্রাফ দেওয়া সঙ্গে দুই বিশিষ্ট ছেদচিহ্ন এবং , সেখানে একটি হল অনন্য থেকে পাথ করার মধ্যে জি ?GGGssstttssstttGGG আমি মনে করি এটি সম্ভবত হতে হয় যেহেতু আমরা সিদ্ধান্ত নিতে পারেন উভয় যদি একটি হয় …

11 reference-request  graph-theory 

আমি জানি যে প্রশ্ন "একটি প্রথম ক্রম সূত্র আছে সাধারণভাবে undecidable একটি মডেল আছে"।φφ\phi যে কেউ আমাকে একটি লিঙ্ক বা একটি বই দিতে পারে যা সীমাবদ্ধ মডেলের উত্তর দেয়। যদি আমি একটি প্রথম ক্রম সূত্র আছে , এটা কিনা নির্ধার্য হয় φ একটি নির্দিষ্ট মডেল আছে? আমি যথেষ্ট নিশ্চিত যে …

11 reference-request  lo.logic  computability  finite-model-theory 

শর্তাধীন লজিক হ'ল লজিক যা শর্তের অন্যান্য ধারণার সাথে সঙ্গতিপূর্ণ মডেল অপারেটরগুলির সাথে traditionalতিহ্যগত লজিক্যাল জড়িত সংযোজন (উদাহরণস্বরূপ, কার্যকারণীয় শর্তসাপেক্ষ) " এ কারণগুলি" বি ", বা সম্ভাব্য কন্ডিশনিং" এ | পড়েছে reads খ ", যা" এ প্রদত্ত বিএকজন□। খএকজন◻→বিA\; \square\!\!\!\!\to BএকজনএকজনAক | বিএকজন|বিA|BএকজনএকজনAবিবিB ") । সাধারণত এই লজিকগুলি মডেল-তাত্ত্বিকভাবে অধ্যয়ন …

11 reference-request  lo.logic  pl.programming-languages  type-theory  proof-theory 

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

11 cc.complexity-theory  reference-request  space-bounded  average-case-complexity