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

যেহেতু 2 এনপি-সম্পূর্ণ সমস্যাগুলি একে অপরের কাছে সংজ্ঞা হ্রাসযোগ্য, তাই ব্ল্যাক-বাক্স ব্যবহার করে একে অপরের সমাধানের মাধ্যমে তাদের মধ্যে একটির সমাধান পাওয়া যায়, কেন তাদের অনুরূপ অনুপাতের অনুপাত নেই (তাদের অপ্টিমাইজেশান অংশগুলির উল্লেখ করে) )? আমি অনুমান করি যে কিছু ধ্রুবক বা এমনকি বহুবর্ষীয় প্রবাহটি বোঝা যেতে পারে তবে আমাদের …

11 cc.complexity-theory  approximation-algorithms  reductions 

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

11 cc.complexity-theory  derandomization  pr.probability  measure-theory 

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

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

আমি যদি প্রশ্নটি জিজ্ঞাসা করার জায়গাতে ভুল করে থাকি তবে দুঃখিত (সম্ভবত আমার স্ট্যাকওভারফ্লো.com/mathoverflow.net এ যাওয়া উচিত?)। আমি ভাবছি যদি সেখানে একটি প্রমাণ যে, যখন ইউক্লিডিয় অ্যালগরিদম বাড়ানো মূল্যায়নের Bézout এর কোফিসিয়েন্টস (যে হয় গুলি এবং টন পরিচয় যেমন + + BT = GCD ( একটি , খ )) কিছু …

11 ds.algorithms  nt.number-theory 

প্যারামিট্রাইজড জটিলতায় লোকেরা ডব্লু [টি] -রুদ্ধি প্রমাণের জন্য স্থির-পরামিতি-ট্র্যাকটেবল (এফপিটি) হ্রাস ব্যবহার করে। তাত্ত্বিকভাবে একটি এফপিটি-হ্রাস কোনও বহু-কাল-হ্রাস নয়, যেহেতু এটি প্যারামিটারে দ্রুতগতিতে চলতে পারে। তবে বাস্তবে আমি যে সমস্ত এফপিটি-হ্রাস দেখেছি তা হ'ল পি-টাইম হ্রাস, যার অর্থ ডাব্লু [টি] - দৃs়তার প্রমাণ প্রায় সবসময় এনপি-সম্পূর্ণতার প্রমাণকে বোঝায়। আমি ভাবছি …

11 cc.complexity-theory  np-hardness  reductions  parameterized-complexity 

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

11 cc.complexity-theory  pcp 

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

11 cc.complexity-theory  approximation-hardness 

অনুমান করুন যে এনপি = সহ-এনপি এবং বহুপদী একটি 3-সিএনএফ উদাহরণ জন্য অসন্তুষ্টির প্রমাণের দৈর্ঘ্যকে সীমাবদ্ধ করে । তাহলে দৈর্ঘ্যের এর জন্য অসন্তুষ্টির কোনও প্রমাণ কী রূপ নিতে পারে তার কোনও ফলাফল রয়েছে ? উদাহরণস্বরূপ, এই জাতীয় প্রমাণের জন্য কি উদাহরণস্বরূপ, অসীম কাঠামোর উপর দ্বিতীয়-আদেশের যুক্তির সম্পূর্ণ শক্তি ব্যবহার করতে …

11 cc.complexity-theory  lo.logic  np  proof-complexity 

সোজা লাইনের সিমুলেটবিলিটির অর্থের জন্য কোনও শরীর কী কোনও ভাল রেফারেন্স জানে? আমি বর্তমানে কানেট্টির ইউনিভার্সাল কমপোসিবিলিটি (ইউসি) কাঠামোর গভীরে রয়েছি তবে সোজা-রেখার সিমুলেটবিলিটির অর্থের জন্য আমি কোনও ভাল রেফারেন্স পাই না। কোন সাহায্য প্রশংসা করা হয়।

11 cr.crypto-security 

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

11 lg.learning  clustering 

মানব বুদ্ধি অ্যালগরিদমকে ছাপিয়ে যেতে পারে কিনা তা নির্ধারণের জন্য কোনও গবেষণা হয়েছে (উদাহরণস্বরূপ, ফ্রি লাঞ্চের উপপাদ্য মানব বুদ্ধির ক্ষেত্রে প্রযোজ্য কিনা তা পরীক্ষা করে)? একই লাইনের পাশাপাশি, কেউ কি কোনও বুদ্ধিমানের অনন্য, সুপ্রা-গণনামূলক বৈশিষ্ট্যের সুবিধা গ্রহণের জন্য প্রযুক্তিগত পদ্ধতি তৈরি করেছে?

11 ds.algorithms  big-picture  ai.artificial-intel 

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

11 lg.learning 

এবং দেওয়া, এর 'বিট (বা কোনও ছোট বেসের অঙ্ক) পাওয়া সম্ভব এর সময় / স্থানের ক্ষেত্রে , যেখানে এবং বহুবচনীয় কাজ থাকে ?এনএনNএমএমMএমএমMএন!এন!N!ও ( পি ( এল এন ( এন) , এল এন ( এম) ) )হে(পি(ঠএন(এন),ঠএন(এম)))O( p( ln(N), ln(M) ) )p ( x , y))পি(এক্স,Y)p(x, y)এক্সএক্সxYYy অর্থাত দেওয়া , …

11 ds.algorithms  nt.number-theory 

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

11 ds.algorithms  graph-algorithms 

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

11 reference-request  machine-learning  lg.learning