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

[1] সালে মিচেল ওয়ান্ড প্রদর্শিত যে বিশুদ্ধ ল্যামডা ক্যালকুলাস করার fexprs যোগ প্রাসঙ্গিক সমানতা তত্ত্ব trivializes, যার অর্থ দুটি পদ বিষয়গতভাবে সমতুল্য iff তারা হয় -congruent। যখন সংশ্লিষ্ট কাজ অন্বেষণ, তিনি গেলেন "আমাদের ফলাফলের আলবার্ট মেয়ার এর একটি পুরোনো পর্যবেক্ষণ [2] যে প্রসারিত করে এবং রেন্ডার প্রাসঙ্গিক সমানতা তুচ্ছ"। তবে …

13 pl.programming-languages  lisp  scheme 

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

13 computability  pl.programming-languages  machine-models  ar.hardware-architecture 

আমার কাছে মনে হয় যে মেশিন লার্নিং / ডেটা মাইনিং বিশেষজ্ঞরা পি এবং এনপি-র সাথে পরিচিত, তবে খুব বেশি সূক্ষ্ম জটিলতার কিছু ক্লাস (উদাহরণস্বরূপ এনসি, বিপিপি, বা আইপি) এবং কার্যকরভাবে ডেটা বিশ্লেষণের জন্য তাদের প্রভাব সম্পর্কে খুব কমই কথা বলেন। কাজ করে কি কোনও জরিপ আছে?

13 cc.complexity-theory  reference-request  machine-learning 

ডিস্ট্রিবিউশন সম্পত্তি পি এর বিতরণ পরীক্ষার অ্যালগরিদমকে (যা সমস্ত ডিস্ট্রিবিউশনের [কিছু কিছু উপসেট [n] এর উপরে) কিছু ডিস্ট্রিবিউশন ডি অনুসারে নমুনাগুলির অ্যাক্সেসের অনুমতি দেয় এবং ডি বা বা (whp) সিদ্ধান্ত নিতে হয় ( সাধারণত এখানে দূরত্ব হয়)। জটিলতার সবচেয়ে সাধারণ পরিমাপ হ'ল অ্যালগরিদম দ্বারা ব্যবহৃত নমুনার সংখ্যা।D∈PD∈PD\in Pd(D,P)>ϵd(D,P)>ϵd(D,P)>\epsilondddℓ1ℓ1\ell_1 এখন, স্ট্যান্ডার্ড …

13 cc.complexity-theory  machine-learning  query-complexity  property-testing 

নির্ধারকটির জন্য ক্ষুদ্রতম পরিচিত সূত্রে লোককাহিনী অনুসারে আকার (বা তার কাগজে রন রাজের কাছে স্থায়ী এবং নির্ধারকগুলির জন্য বহু-লিনিয়ার সূত্রগুলি সুপার-পলিনোমিয়াল আকারের রয়েছে )।nO(logn)nO(log⁡n)n^{\mathcal O(\log n)} আপনি কি এই জন্য কোন রেফারেন্স আছে? বিশেষত, এই সূত্রটি কী?

13 cc.complexity-theory  reference-request  algebraic-complexity  determinant 

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

13 quantum-computing 

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

13 cc.complexity-theory  time-complexity  algebraic-complexity  gr.group-theory  determinant 

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

13 ds.algorithms  co.combinatorics  algebraic-complexity  matrix-product 

এলোমেলো সীমাবদ্ধতা এবং স্যুইচিং উপর ভিত্তি করে বেশ কয়েকটি সুপরিচিত সার্কিট আকার নিম্ন-সীমাবদ্ধ ফলাফল রয়েছে ।AC0AC0\mathsf{AC^0} সার্কিটের জন্য ( জন্য নিম্ন-সীমাবদ্ধ প্রমাণগুলির অনুরূপ) একটি আকারকে নিম্ন-সীমাবদ্ধ করার জন্য আমরা কী একটি স্যুইচিং লেমমা ফলাফল বিকাশ করতে পারি ?TC0TC0\mathsf{TC^0}AC0AC0\mathsf{AC^0} বা approach নিম্ন-সীমা প্রমাণ করার জন্য এই পদ্ধতির ব্যবহারে কোন অন্তর্নিহিত বাধা …

13 cc.complexity-theory  circuit-complexity  lower-bounds  boolean-functions 

অ্যালান টুরিংয়ের 100 তম জন্মদিন উদযাপন করতে, আমি তার জীবন সম্পর্কিত একটি ডকুমেন্টারি দেখতে চাই। তবে বেছে নিতে বেশ কয়েকটি ডকুমেন্টারি রয়েছে। অ্যালান টুরিং সম্পর্কিত কোন ডকুমেন্টারি আপনার প্রিয়? দয়া করে প্রতিটি উত্তরের জন্য একটি ডকুমেন্টারি অন্তর্ভুক্ত করুন।

13 reference-request  soft-question  big-list  ho.history-overview 

ppp≤d≤d\le dbias(p)≜|Prx∈{0,1}n(p(x)=0)−Prx∈{0,1}n(p(x)=1)|>ϵbias(p)≜|Prx∈{0,1}n(p(x)=0)−Prx∈{0,1}n(p(x)=1)|>ϵbias(p) \triangleq |\Pr_{x\in\{0,1\}^n}(p(x)=0)-\Pr_{x\in\{0,1\}^n}(p(x)=1)| \gt \epsilon * যখন আমি ডিগ্রি ≤d≤d\le d এবং এন ভেরিয়েবলের সাথে এলোমেলো বহুবর্ষ লিখছি তখন আপনি সম্ভাব্যতা ১/২ নিয়ে মোট মোট ডিগ্রি \ লে ডি এর প্রতিটি মনোমালিক্যের কথা ভাবতে পারেন ≤d≤d\le d। শুধুমাত্র প্রাসঙ্গিক বিষয় জানি শোয়ার্জ-Zippel একটি বৈকল্পিক যে রাজ্যের যে যদি বহুপদী …

13 randomness  pr.probability  algebra  polynomials 

আমি আমার শিক্ষার্থীদের , লেবেলযুক্ত পয়েন্টের সংকলনের সাথে সামঞ্জস্যপূর্ণ ত্রিভুজ খুঁজে পাওয়ার সমস্যাটি নির্ধারণ করেছি । (একটি ত্রিভুজ হল সামঞ্জস্যপূর্ণ লেবেল নমুনা সঙ্গে যদি ধনাত্মক এবং ঋণাত্মক পয়েন্ট কেউই সব উপস্থিত রয়েছে; ধৃষ্টতা দ্বারা, নমুনা স্বীকার অন্তত 1 সামঞ্জস্যপূর্ণ ত্রিভুজ)।আর 2 ± 1 টি টিমিmmআর2R2\mathbb{R}^2। 1±1\pm1টিTTTTT তারা (বা আমি) সবচেয়ে …

13 cg.comp-geom  machine-learning  lg.learning  convex-geometry 

যে কেউ নিম্নলিখিত কিছু শর্তাদি সন্তুষ্ট করে এমন কিছু সুপরিচিত সমস্যা তালিকাবদ্ধ করতে পারে: 1. has a generalization problem that is known to be NP-complete 2. has not been proved to be NP-complete nor has a known polynomial time solution.

13 cc.complexity-theory  np-hardness 

শিফ্ট-হ্রাস পার্সিং কৌশল এবং সীমিত ধারাবাহিকতার মধ্যে কি কেউ সম্পর্কের আনুষ্ঠানিকতা করেছেন? যখন একটি নীচে আপ পার্সার (যেমন, এল আর পারজার) নির্মাণের, আমরা একটি ব্যাকরণ গ্রহণ করা এবং তারপর সেট হিসাবে পার্স রাজ্যের প্রতিনিধিত্ব আইটেম : ফর্মের বৃদ্ধি প্রযোজনার , যেখানে α এবং β টার্মিনাল এবং nonterminals ক্রমের হয়। মার্কার …

13 pl.programming-languages  parsing 

একটি সেট-ফাংশন হ'ল মনোোটোন সাবমোডুলার যদি সমস্ত এ , বি , ফ ( এ ) + চ ( বি ) ≥ ফ ( এ ∪ বি ) + এফ ( এ ∩ বি ) হয় ।চffক , খA,BA,Bচ( ক ) + চ( খ ) ≥ চ( A ∪ B ) …

13 ds.algorithms  approximation-algorithms  submodularity