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

সম্ভাব্যতা তত্ত্বের একটি ক্লাসিক সমস্যা হ'ল আরও সুনির্দিষ্ট ইভেন্টের ক্ষেত্রে কোনও ঘটনার সম্ভাবনা প্রকাশ করা। সহজতম ক্ষেত্রে, কেউ । আসুন ইভেন্টের জন্য লিখি ।P[A∪B]=P[A]+P[B]−P[A∩B]P[A∪B]=P[A]+P[B]−P[A∩B]P[A \cup B] = P[A] + P[B] - P[A \cap B]ABABABA∩BA∩BA \cap B চূড়ান্তভাবে অনেক ইভেন্টের স্বাধীনতা না বেঁধে দেওয়ার কিছু উপায় রয়েছে । Bonferroni ঊর্ধ্বসীমা দিলেন …

20 reference-request  pr.probability 

ধরুন আমরা একটি সমস্যা একটি রিয়েল-মূল্যবান প্যারামিটার পি যা "সহজ" দ্বারা স্থিতিমাপ আছে সমাধানের জন্য যখন এবং "কঠিন" যখন জন্য কিছু মান , ।p=p0p=p0p=p_0p=p1p=p1p=p_1p0p0p_0p1p1p_1 একটি উদাহরণ গ্রাফগুলিতে স্পিন কনফিগারেশন গণনা। ওজনযুক্ত সঠিক রং, স্বতন্ত্র সেটগুলি গণনা করা হয়, যথাক্রমে হার্ড, পটস এবং আইজিং মডেলগুলির পার্টিশন ফাংশনগুলির সাথে সামঞ্জস্যপূর্ণ, যা "উচ্চ …

20 cc.complexity-theory  counting-complexity  approximation-hardness  phase-transition 

আমি পৃষ্ঠা র‌্যাঙ্কটি কল্পনা করতে जंग ( http://jung.sourceforge.net/ ) ব্যবহার করছিলাম এবং এটি 100 নোডের বাইরে স্কেল করা কিছুটা ধীর এবং কঠিন বলে মনে হয়েছিল। আমি ভাবছিলাম যে লোকেরা নেটওয়ার্ক / সামাজিক নেটওয়ার্ক বিশ্লেষণ এবং ভিজ্যুয়ালাইজেশনের জন্য অন্যান্য সরঞ্জামগুলি কী ব্যবহার করে।

20 graph-theory  big-list  cg.comp-geom  software  graph-drawing 

গ্রিনলাভ, হুভার এবং রুজো (পিএস) (পিডিএফ) দ্বারা "পি সমস্যাগুলির সম্পূর্ণ সম্পূর্ণ জন্য" পত্রিকায় পি-তে এমন সমস্যাগুলির একটি তালিকা রয়েছে যা এনসিতে নেই এবং পি-সম্পূর্ণ বলেও পরিচিত নয় not । (এই তালিকাটি করপ এবং রামচন্দ্রন দ্বারা পরিচালিত দুর্দান্ত জরিপে সমস্ত উন্মুক্ত সমস্যা সংযোজন করে )) মুক্ত সমস্যা তালিকাটি 89 পৃষ্ঠায় শুরু …

20 cc.complexity-theory  open-problem  circuit-complexity 

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

20 cc.complexity-theory  lower-bounds  tensor-rank 

কোয়ান্টাম কম্পিউটিংয়ের সাম্প্রতিক কিছু থ্রেড ( এখানে , এখানে , এবং এখানে ) পড়া, আমাকে কিছু ধরণের নাম সংরক্ষণকারী মেশিনের শক্তি সম্পর্কে একটি আকর্ষণীয় প্রশ্ন মনে করতে বাধ্য করে।ℓপিℓp\ell_p কোয়ান্টাম জটিলতায় জটিলতার তত্ত্বে কাজ করা লোকদের জন্য একটি দুর্দান্ত সূচনা পাঠ্য হ'ল ফোর্তনোর কাগজ যা লিঙ্কটি এখানে জোশুয়া গ্রোচ পোস্ট …

20 cc.complexity-theory  quantum-computing  computability  turing-machines  norms 

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

20 derandomization  quantum-computing 

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

20 ds.algorithms  np-hardness  open-problem  matrices 

আসুন f:{0,1}n→(2−n,1]f:{0,1}n→(2−n,1]f \colon \lbrace 0,1 \rbrace ^ n \to (2^{-n},1] একটি ফাংশন হোক। আমরা গড়ের গড় অনুমান করতে চাই ; যা: ।E [ f ( n ) ] = 2 - n ∑ x ∈ { 0 , 1 } n f ( x )fffE[f(n)]=2−n∑x∈{0,1}nf(x)E[f(n)]=2−n∑x∈{0,1}nf(x)\mathbb{E}[f(n)]=2^{-n}\sum_{x\in \lbrace 0,1 \rbrace ^ n}f(x) …

20 ds.algorithms  randomized-algorithms  black-box 

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

20 cc.complexity-theory  lo.logic 

জটিলতা বর্গ PPAD (কম্পিউটিং যেমন বিভিন্ন ন্যাশ ভারসাম্য) মোট অনুসন্ধান সমস্যার রূপান্তরযোগ্য polytime সেট হিসাবে সংজ্ঞায়িত করা যায় লাইনের শেষে : লাইনের সমাপ্তি : এন ইনপুট বিট এবং এন আউটপুট বিটের সাথে দেওয়া সার্কিট এস এবং পি যেমন পি (0 এন ) = 0 এন ! = এস (0 এন …

20 reference-request  combinatory-logic  graph-theory  ppad 

পাতাগুলি একত্রে অনেক জটিলতার ক্লাসকে সংজ্ঞায়িত করার একটি সুন্দর উপায় way বেশিরভাগ জটিলতা ক্লাসগুলি সাধারণত গণনার মডেল (উদাহরণস্বরূপ, ডিটারমিনিস্টিক / র্যান্ডমাইজড টিএম), এবং একটি সংস্থান সংস্থান (লগ টাইম, পলি স্পেস ইত্যাদি) দ্বারা নির্দিষ্ট করা হয়। তবে পাতার ভাষা গঠনের ক্ষেত্রে গণনার একমাত্র মডেল রয়েছে এবং শ্রেণিটি তার পাতাগুলি প্রদান করে …

20 cc.complexity-theory  complexity-classes 

"সম্পত্তি পরীক্ষার" উপর একটি বৃহত সাহিত্য রয়েছে - একটি ফাংশনে অল্প সংখ্যক ব্ল্যাক বক্সের প্রশ্ন তৈরি করার সমস্যা দুটি ক্ষেত্রে পার্থক্য করার জন্য:f:{0,1}n→Rf:{0,1}n→Rf\colon\{0,1\}^n \to R fff কিছু ক্রিয়াকলাপের সদস্য isCC\mathcal{C} fff হয় -far ক্লাসে যে ফাংশন থেকে ।εε\varepsilonCC\mathcal{C} ফাংশনটির ব্যাপ্তি কখনও কখনও বুলিয়ান হয়: , তবে সর্বদা হয় না।RRRR={0,1}R={0,1}R = …

20 reference-request  lg.learning  metrics  property-testing  black-box 

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

20 cc.complexity-theory  space-bounded  oracles 

একটি অতিরিক্ত শৃঙ্খলা ধনাত্মক পূর্ণসংখ্যার ক্রম (x1,x2,…,xn)(x1,x2,…,xn)(x_1, x_2, \dots, x_n)যেখানে এবং প্রতিটি সূচক , আমাদের কিছু সূচক । দৈর্ঘ্য উপরন্তু শৃঙ্খল হয় ; লক্ষ্য উপরন্তু শৃঙ্খল হয় ।আমি ≥ 2 x i = x জে + এক্স কে 1 ≤ জে , কে < আইx1=1x1=1x_1 = 1i≥2i≥2i\ge 2xi=xj+xkxi=xj+xkx_i = x_j …

20 reference-request  np-hardness