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

আমি নিম্নলিখিত সমস্যার জন্য রেফারেন্স খুঁজছি: প্রদত্ত পূর্ণসংখ্যা nnn এবং kkk, সমস্ত অ-সমকামী পরিকল্পনাকারী গ্রাফগুলি গণনা করুন nnn শীর্ষে এবং বৃক্ষ প্রস্থ ≤k≤k\leq k। আমি তাত্ত্বিক এবং ব্যবহারিক ফলাফল উভয়ই আগ্রহী, তবে বেশিরভাগ ব্যবহারিক অ্যালগরিদমগুলি যে কোডগুলি সম্ভব এবং যতগুলি সম্ভব মূল্যের জন্য চালানো সম্ভবnnn এবং kkk (মনে k≤5k≤5k \leq …

9 reference-request  graph-theory  graph-algorithms  treewidth 

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

9 reference-request  lo.logic  automated-theorem-proving 

দ্রুততম অচিন্তিত নির্দেশক গ্রাফ আইসোমর্ফিিজম অ্যালগরিদম কী?

9 cc.complexity-theory  reference-request  graph-algorithms  graph-isomorphism 

গণতান্ত্রিক জটিলতার তত্ত্বের সাথে সম্পর্কিত এবং নিজস্ব যোগাযোগের বিষয়টিকে উত্সাহিত এবং শিখতে সেরা উত্সগুলি (বই এবং কাগজপত্রগুলি) কোনটি?

9 cc.complexity-theory  reference-request  communication-complexity  books 

দিন xi∈{−1,0,+1}xi∈{−1,0,+1}x_i \in \{-1,0,+1\} জন্য i∈{1,…,n}i∈{1,…,n}i \in \{1,\ldots,n\}, যে প্রতিশ্রুতি দিয়ে x=∑ni=1xi∈{0,1}x=∑i=1nxi∈{0,1}x = \sum_{i=1}^n{x_i} \in \{0,1\} (যেখানে যোগফল শেষ হয়েছে ZZ\mathbb{Z})। তারপরে কী হবে তা নির্ধারণের জটিলতাx=1x=1x = 1? লক্ষ্য করুন যে তুচ্ছভাবে সমস্যা রয়েছে ∩m≥2AC0[m]∩m≥2AC0[m]\cap_{m \geq 2}{\mathsf{AC}^0[m]} কারণ x≡1modmx≡1modmx \equiv 1\bmod{m}iff । প্রশ্ন: সমস্যাটি কি ? যদি তাই হয়, …

9 reference-request  complexity-classes  circuit-complexity  upper-bounds 

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

9 reference-request  shannon-entropy  succinct 

ন্যাশ ইক্যুইলিবিরিয়া সাধারণভাবে আপত্তিজনক। একটিεϵ\epsilon-ন্যাশ ভারসাম্য কৌশলগুলির একটি সেট যেখানে প্রতিপক্ষের কৌশলগুলি দেওয়া, প্রতিটি খেলোয়াড়ের মধ্যেই প্রাপ্ত হয় εϵ\epsilonসর্বাধিক সম্ভাব্য প্রত্যাশিত পরিশোধের একটি সন্ধান করাεϵ\epsilon-ন্যাশ ভারসাম্য, দেওয়া εϵ\epsilon এবং একটি খেলা, হয় পি পি এ ডিPPAD\mathsf{PPAD}-complete। সংজ্ঞাগুলি দ্বারা কঠোরভাবে যেতে, বিশ্বাস করার কোনও বিশেষ কারণ বলে মনে হয় যে প্রদত্ত …

9 reference-request  gt.game-theory  ppad 

এটি সুপরিচিত যে অনেকগুলি ক্রিপ্টোগ্রাফির জন্য ডিজিটাল স্বাক্ষর, সিউডোর্যান্ডম জেনারেটর, প্রাইভেট-কী এনক্রিপশন ইত্যাদির জন্য ওয়ান-ওয়ে ফাংশনের অস্তিত্ব প্রয়োজনীয় এবং পর্যাপ্ত। আমার প্রশ্ন হ'ল: একমুখী ফাংশনের অস্তিত্বের জটিলতা-তাত্ত্বিক পরিণতিগুলি কী কী ? উদাহরণস্বরূপ, ওডাব্লুএফগুলি এটি বোঝায়NP≠PNP≠P\mathsf{NP}\ne\mathsf{P}, BPP=PBPP=P\mathsf{BPP}=\mathsf{P}, এবং CZK=IPCZK=IP\mathsf{CZK}=\mathsf{IP}। অন্যান্য জ্ঞাত পরিণতি আছে কি? বিশেষত, ওডাব্লুএফএফগুলি কি বোঝায় যে বহুবচনীয় শ্রেণিবিন্যাস …

9 cc.complexity-theory  reference-request  complexity-classes  cr.crypto-security  one-way-function 

লিনিয়ার ডায়োফান্টাইন মূল্যায়ন (প্রাকৃতিক সংখ্যার , সেখানে কি প্রাকৃতিক সংখ্যা এবং যেমন বর্গক্ষেত্রের সংখ্যা রয়েছে ) বহুবর্ষীয় সময়ে দ্রবণীয় হয়?ক , খ , গএকটি,খ,গa, b, cএক্সএক্সxYYya x + b y+ সি = 0একটিএক্স+ +খY+ +গ=0ax + by + c = 0 চতুষ্কোণ ডায়োফান্টাইন মূল্যায়ন ( ) হ'ল এনপি-সম্পূর্ণ ( চতুর্ভুজ …

9 reference-request 

আসুন একটি সীমাবদ্ধ মহাবিশ্ব এর এলিমেন্ট সাবসেটের একটি পরিবার হোক । একটা পরিবার এর এর -element সাব-সেট নির্বাচন , সঙ্গে , একটি হয় - আঘাত-সেট এর প্রত্যেকের জন্য যদি অস্তিত্ব আছে অন্তত এক সেট যেমন যে ।এফFFঘddইউUUএইচHHটkkইউUU1 ≤ কে &lt; ডি1≤k&lt;d1 \le k < d( কে , ডি))(k,d)(k,d)এফFFভী। চV∈FV \in …

9 cc.complexity-theory  reference-request  approximation-hardness  parameterized-complexity 

এই কাগজটি অবশেষে লিনিয়ারাইজেবল শেয়ার্ড অবজেক্টস (পিওডিসি 10) প্রবর্তনের সময় লেখকরা রেফারেন্স ছাড়াই নিম্নলিখিত বিবৃতিটি উপস্থাপন করেছেন: লিনিয়ারাইজিবিলিটি, তবে, যদি কেবলমাত্র conক্যমত্য সমাধান করা যায় তবেই অর্জন করা যায়। এখানে লিনিয়ারাইজিবিলিটি হ'ল শেয়ার্ড অবজেক্টের শক্তিশালী জ্ঞাত ধারাবাহিকতা সম্পত্তি যা কাগজে লাইনারিাইজিবিলিটি: কনকোয়ার্ট অবজেক্টের জন্য একটি নির্ভুলতার শর্ত । নিম্নলিখিত যুক্তিগুলির …

9 reference-request  dc.distributed-comp 

আমি একটি সূত্রের সন্তুষ্টিযোগ্যতার জটিলতা খুঁজছি বা একটি সূত্রের যেখানে হল ফর্মুলার সূত্র: কোথায় মধ্যে ধ্রুবক হয় , এবং ভেরিয়েবল ডোমেইন হয় ।∀Y1, … ,Yএন, ∃এক্স1, … ,এক্সমি, ϕ∀y1,…,yn,∃x1,…,xm,ϕ\forall y_1, \dots,y_n, \exists x_1,\dots,x_m, \phi∃এক্স1, … ,এক্সমি∀Y1, … ,Yএন, ϕ∃x1,…,xm∀y1,…,yn,ϕ \exists x_1,\dots,x_m \forall y_1, \dots,y_n,\phiφϕ\phi। : = ϕ ∧ ϕ | …

9 cc.complexity-theory  reference-request  lo.logic 

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

9 cc.complexity-theory  reference-request  complexity-classes  quantum-computing  quantum-information 

আমরা সেটা জানি । স্যাভিচের উপপাদ্য থেকে, সাবটেক ম্যাথকল , এবং, স্পেস হায়ারার্কি টিওরেম থেকে, ম্যাথ্যাকাল নেখ ম্যাথ্যাকাল । সুতরাং, যেহেতু আমরা জানি না , আমরা জানি না , বা আমরা কি জানি যে ? কেউ কি prove mathcal L ^ 2 \ subteq \ mathcal P প্রমাণ করার চেষ্টা …

9 reference-request  complexity-classes  open-problem  hierarchy-theorems 

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

9 reference-request  pl.programming-languages  type-theory  semantics  compilers