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

হ্রাসের জন্য আমি দৃP়ভাবে এনপি-হার্ড সমস্যাগুলি খুঁজছি । এখন পর্যন্ত আমি নিম্নলিখিত সমস্যাগুলি পেয়েছি: 3-বিভাজন সমস্যা বিন-প্যাকিং সমস্যা সংখ্যার ত্রি-মাত্রিক মিল টিএসপি সংখ্যাগত তথ্য ছাড়াই কোনও এনপি-সম্পূর্ণ সমস্যা, যেমন, সন্তুষ্টি, হ্যামিলটোনিয়ান সাইকেল, 3-রঙিনযোগ্যতা। কেউ কি শক্তিশালী এনপি-হার্ড সমস্যার একটি তালিকা জানেন? যদি তা না হয় তবে এখানে একটি তৈরি করি। …

11 np-hardness  big-list  hamiltonian-paths 

নিম্নলিখিত বৈশিষ্ট্য সহ কোনও :এল ∈ এন পিL∈NPL\in {\bf NP} এটা যে পরিচিত হয় বোঝা ।পি = এন পিএল ∈ পিL∈PL\in {\bf P}পি = এন পিP=NP{\bf P}={\bf NP} কোন (পরিচিত) বহুপদী সময় টুরিং হ্রাস হয় (অথবা অন্য কোনো থেকে -complete সমস্যা) ।এন পি এল এলএসএ টিSATSATএন পিNP{\bf NP}এলLL অন্য কথায়, …

11 cc.complexity-theory  np-hardness  reductions 

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

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

জেনাস সমস্যার আনুমানিকতা সম্পর্কে বর্তমানে কী জানা যায়? প্রাথমিক অনুসন্ধান আমাকে জানিয়েছে যে পর্যাপ্ত ঘন গ্রাফগুলির জন্য একটি ধ্রুবক ফ্যাক্টর অনুমানের পরিমাণ নগণ্য এবং একটি ps অ্যাপপ্রক্সিমেশন অ্যালগরিদম বাতিল করা হয়েছে। এই তথ্যটি কি আপ-টু-ডেট আছে, বা এর চেয়ে আরও ভাল সীমাটি জানা যায়?nϵnϵn^\epsilon

11 cc.complexity-theory  approximation-hardness  topological-graph-theory 

আমি কম্পিউটার বিজ্ঞানে সূর্যমুখী সিস্টেম এবং এর প্রয়োগগুলিতে আকর্ষণীয়। প্রদত্ত ইউনিভার্স এবং একটি সংগ্রহ সেট করে একটি বলা হয় K-সূর্যমুখী সিস্টেম যদি সবার জন্য । এবং কে মূল হিসাবে এবং কে পাপড়ি বলা হয়। UUUkkkAiAiA_iAi∩Aj=YAi∩Aj=YA_i \cap A_j = Y i≠ji≠ji \neq jYYYAi−YAi−YA_i - Y সেটের একটি পরিবারকে বলা হয় ইউনিফর্ম, …

11 co.combinatorics  set-theory 

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

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

এটি একটি নিষ্পাপ প্রশ্ন হতে পারে, তবে এখানে যায়। (সম্পাদনা করুন - এটি উত্সাহ পাচ্ছে না, তবে কেউ প্রতিক্রিয়াও দেয় নি; সম্ভবত প্রশ্নটি আরও কঠিন, অস্পষ্ট বা আমার ধারণা থেকে অস্পষ্ট?) গুডেলের প্রথম অসম্পূর্ণতা উপপাদ্যটি থামানো সমস্যার অনিশ্চয়তার এক প্রমাণ হিসাবে প্রমাণিত হতে পারে (উদাহরণস্বরূপ সিপ্সার চ। 6; স্কট অ্যারনসনের …

11 lo.logic  computability  church-turing-thesis 

আসুন আমরা রঙটি কিছুটা শিথিল করি, এটি হ'ল আমরা সংখ্যক সংলগ্ন প্রান্তকে একই রঙ নির্ধারিত করি। একটি একরঙা উপাদান subgraph ছেদচিহ্ন যে একই রং গ্রহণ সেট দ্বারা প্রবর্তিত একটি সংযুক্ত উপাদান বলে সংজ্ঞায়িত করা হয়, এবং প্রশ্ন জিজ্ঞাসা করতে হয় ন্যূনতম সংখ্যা রঙের একটি গ্রাফ বৃহত্তম একরঙা উপাদান আকার যেমন …

11 cc.complexity-theory  graph-theory  graph-colouring  planar-graphs 

আমি জানি কিছু নেতিবাচক ঘটনাগুলি কীভাবে অবশ্যই খারাপ হতে পারে: data False data Bad a = C (Bad a -> a) selfApp :: Bad a -> a selfApp (x@(C x')) = x' x yc :: (a -> a) -> a yc f = selfApp $ C (\x -> f (selfApp …

11 lo.logic  type-theory  soundness 

এটি ব্যাপকভাবে বিশ্বাস করা হয় যে কয়েকটি গণ্য সমস্যা যেমন গ্রাফ আইসোমর্ফিজম এনপি-সম্পূর্ণ হতে পারে না কারণ এটি কম্পিউটারের জন্য কঠোর (এনপি-হার্ড) পর্যাপ্ত কাঠামো বা রিডানডেন্সি অর্জন করতে পারে না। আমি গণনাগত সমস্যা এবং অপ্রয়োজনীয় ব্যবস্থাগুলির কাঠামোর জন্য বিভিন্ন প্রথাগত ধারণাগুলিতে আগ্রহী। গণনাগত সমস্যার জন্য এই জাতীয় প্রথাগত ধারণা সম্পর্কে …

11 cc.complexity-theory  graph-isomorphism 

সার্কিট গভীরতার জন্য কি ধরণের শ্রেণিবিন্যাসের উপপাদ্য রয়েছে? বিবৃতি পছন্দ যদি এবং তবে ।g(n)∈o(f(n))g(n)∈o(f(n))g(n) \in o(f(n))f(n)∈nO(1)f(n)∈nO(1)f(n) \in n^{O(1)}SizeDepth(nO(1),g(n))⊊SizeDepth(nO(1),f(n))SizeDepth(nO(1),g(n))⊊SizeDepth(nO(1),f(n))\mathsf{SizeDepth}(n^{O(1)}, g(n)) \subsetneq \mathsf{SizeDepth}(n^{O(1)}, f(n))

11 cc.complexity-theory  circuit-complexity  hierarchy-theorems  circuit-depth 

কর্সেলের উপপাদ্যটি বলেছে যে মনাদিক দ্বিতীয়-ক্রমের যুক্তিতে সুনির্দিষ্ট প্রতিটি গ্রাফের সম্পত্তি সীমানা গাছের চওড়ার গ্রাফগুলিতে রৈখিক সময়ে সিদ্ধান্ত নেওয়া যেতে পারে । এটি সর্বাধিক সুপরিচিত অ্যালগরিদমিক মেটা-উপপাদ্য। কারসেলের উপপাদ্য দ্বারা অনুপ্রাণিত হয়ে আমি নিম্নলিখিত অনুমানটি করেছি: অনুমান : আসুন কোনো MSO চিহ্নিত সম্পত্তি হও। প্ল্যানার গ্রাফগুলিতে যদি বহুবর্ষীয় সময়ে দ্রবণযোগ্য …

11 graph-theory  lo.logic  treewidth  planar-graphs  graph-minor 

প্রোগ্রামিং ল্যাঙ্গুয়েজ থিওরিতে অ্যাবস্ট্রাক্ট বীজগণিতের কোনও অ্যাপ্লিকেশন রয়েছে? ভাষা নকশা এবং সংকলক বাস্তবায়নে কার্যকর হতে পারে এমন কিছু কি আছে?

11 pl.programming-languages 

একজন একটি এর -coloring মি × এন গ্রিডটkkm × nm×nm \times n একটি ফাংশন । একটি ভাঙা আয়তক্ষেত্র মধ্যে সি একটি tuple হয় ( আমি , আমি ' , ঞ , ঞ ' ) পরিতৃপ্ত সি ( আমি , ঞ ) = সি ( আমি ' , ঞ ) = …

11 co.combinatorics 

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

11 ds.algorithms  graph-theory  graph-algorithms