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

আসুন n বিটগুলির একটি সেটের উপর একটি শ্রেণির ক্রিয়া সংজ্ঞায়িত করি । দুটি বিতরণ পি , কিউ ঠিক করুন যা একে অপরের থেকে "যুক্তিসঙ্গতভাবে" পৃথক (যদি আপনি চান তবে তাদের বৈকল্পিক দূরত্ব কমপক্ষে ϵ , বা অনুরূপ কিছু)।nnp,qp, qϵ\epsilon এখন প্রতিটি ফাংশন চ এই ক্লাসে একটি সংগ্রহ দ্বারা সংজ্ঞায়িত করা …

10 lg.learning 

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

10 reference-request  pl.programming-languages  compilers  program-analysis 

ক্লাস বিপিএনসি ( এবং এর সংমিশ্রণ ) সীমিত ত্রুটির সম্ভাবনা এবং একটি এলোমেলো উত্স অ্যাক্সেস সহ লগ গভীরতার সমান্তরাল অ্যালগরিদম হতে দিন (আমি নিশ্চিত নই যে এর আলাদা নাম আছে কিনা)। অ্যালগরিদম প্রারম্ভকালে স্থির বিটগুলির একটি এলোমেলো প্রবাহে সমস্ত প্রক্রিয়াগুলির এলোমেলো অ্যাক্সেস ব্যতীত ডিবিপিএনসি শ্রেণিটি একইভাবে সংজ্ঞায়িত করুন।বি পি পিবিপিপি\mathsf{BPP}এন …

10 cc.complexity-theory  complexity-classes  dc.parallel-comp  randomness  pseudorandomness 

নিচের প্রশ্নগুলোর বেলম্যান-ফোর্ড এর optimality সঙ্গে সম্পর্কযুক্ত - টি সবচেয়ে কম পথ গতিশীল প্রোগ্রামিং আলগোরিদিম (দেখুন এই পোস্টে একটি সংযোগ জন্য)। এছাড়াও, একটি ইতিবাচক উত্তর সূচিত করা হবে যে একটি একঘেয়েমি ন্যূনতম আকার nondeterministic শাখাবিন্যাস প্রোগ্রাম জন্য STCONN সমস্যা Θ ( এন 3 ) । ssstttΘ(n3)Θ(n3)\Theta(n^3) যাক একটি DAG (নির্দেশ …

10 graph-theory  circuit-complexity  lower-bounds 

আমার প্রশ্ন হ'ল গভীরতার 3 টি বুলিয়ান সার্কিটগুলি গেটগুলির সাথে "এবং" এবং "এক্সওর" নির্ধারকটির জন্য কেন ith উপরে গাণিতিক সার্কিটের জন্য একই নিম্ন সীমানাকে বোঝায় না ?ZZ\mathbb{Z} নিম্নলিখিত যুক্তিটিতে কী ভুল: একটি গাণিতিক সার্কিট গণনা নির্ণায়ক হতে হবে তারপর সমস্ত ভেরিয়েবল মড 2 গ্রহণের মাধ্যমে আমরা বুলিয়ান সার্কিট গণনা নির্ণায়ক …

10 cc.complexity-theory  circuit-complexity  arithmetic-circuits 

প্রসঙ্গ : Kavvadias এবং Sideri দেখা গেছে ইনভার্স 3-স্যাট সমস্যা coNP সম্পূর্ণ হলে: প্রদত্ত φϕ\phi উপর মডেলের একটি সেট এনnn ভেরিয়েবল, একটি 3-CNF সূত্র যেমন যে φϕ\phi মডেলের তার সঠিক সেট হয়? একটি তাৎক্ষণিক প্রার্থী সূত্র দেখা দেয় দুটো কারণে যা সব 3-ক্লজ-এ সমস্ত মডেলের সন্তুষ্ট এর একত্রে হয় φϕ\phi …

10 cc.complexity-theory  lo.logic  complexity-classes  computability  sat 

একটি পরিবার প্রদত্ত সর্বাধিক এর এর সাব-সেট নির্বাচন । ইউনিয়ন ক্লোজার হ'ল একটি সেট পরিবার যা প্রতিটি সেট থাকে যা or এ 1 বা আরও বেশি সংখ্যক ইউনিয়ন নিয়ে নির্মিত হতে পারে । দ্বারাআমরা সেটগুলির সংখ্যা বোঝাই । এন { 1 , 2 , … , n } এফ সি …

10 co.combinatorics  graph-algorithms  clique  independence 

BPPBPP\mathsf{BPP} এবংদুটি প্রাথমিক সম্ভাব্য জটিলতা ক্লাস।ZPPZPP\mathsf{ZPP} BPPBPP\mathsf{BPP} -সময়ের টিউরিং অ্যালগরিদম দ্বারা নির্ধারিত ভাষার শ্রেণি যেখানে কোনও ভুল উত্তর অ্যালগরিদমের সম্ভাবনা সীমাবদ্ধ থাকে, অর্থাৎ ত্রুটির সম্ভাবনা সর্বাধিক (উভয়ই হ্যাঁ এবং কোনও উদাহরণ নয়)।1313\frac{1}{3} অন্যদিকে, অ্যালগরিদমগুলি সেই সম্ভাব্য অ্যালগরিদম হিসাবে দেখা যেতে পারে যা কখনই কোনও ভুল উত্তর দেয় না, যখনই তারা …

10 cc.complexity-theory  complexity-classes  randomness  randomized-algorithms 

আমি বুলিয়ান সূত্র ভারসাম্য সমস্যার জটিলতা সম্পর্কে উল্লেখ খুঁজছি । নির্দিষ্টভাবে, এটি কি জানা ছিল যে বুলিয়ান সূত্রগুলি এ ভারসাম্যপূর্ণ হতে পারে ?AC0AC0\mathsf{AC^0} বুলিয়ান সূত্রে ভারসাম্য বজায় রাখার সহজ প্রমাণ কি ?AC0AC0\mathsf{AC^0} "সরল" দ্বারা আমি নীচে উল্লিখিত একটির চেয়ে সহজ প্রমাণ হিসাবে বোঝাচ্ছি, বিশেষত আমি এমন একটি প্রমাণ খুঁজছি যা …

10 cc.complexity-theory  ds.algorithms  reference-request  lo.logic  boolean-formulas 

প্রোগ্রামিং ল্যাঙ্গুয়েজ শব্দার্থবিজ্ঞানে, প্রায়শই শোনা যায় যে লোকেরা অর্থ এবং বর্ণের কথা বলে । তারা এক হিসাবে না বলে মনে হচ্ছে। পার্থক্য কি? পূর্ববর্তীটি অপারেশনাল শব্দার্থকগুলির সাথে যুক্ত হয়, যখন পরবর্তীটি ডেনোটেশনাল শব্দার্থবিদ্যার সাথে থাকে? ধন্যবাদ।

10 pl.programming-languages  semantics  denotational-semantics  operational-semantics 

আমি জানি গাউসিয়ান এলিমিনেশন গাণিতিক অপারেশনগুলি নেবে তবে আমি নিশ্চিত নই যে আরও ভাল অ্যালগরিদম জানা আছে কিনা।ও ( এন)3)হে(এন3)O(n^3)

10 ds.algorithms  linear-algebra  matrices 

বেশিরভাগ সম্ভাব্য প্রুফ সিস্টেমগুলিতে (উদাহরণস্বরূপ, পিসিপি উপপাদ্য), ত্রুটি-সম্ভাবনাগুলি সাধারণত মিথ্যা-ধনাত্মক দিকগুলির সংজ্ঞায়িত করা হয়, যেমন একটি সাধারণ সংজ্ঞাটি দেখতে পারে: যদি x ∈ Lx∈Lx \in L তবে যাচাইকারী সর্বদা গ্রহণ করে তবে এতে অন্য ক্ষেত্রে প্রত্যাখার সম্ভাবনা কমপক্ষে 1/2। অন্যদিকে ত্রুটি ঘটতে দিতে সমস্যা আছে কি? এর অর্থ হল যাচাইকারী …

10 cc.complexity-theory  pcp  interactive-proofs 

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

10 reference-request  machine-learning  lg.learning  survey  books 

যাক একটি সেট হতে এন পয়েন্ট আর ঘ । যে কোনও টি ≥ 1 এর জন্য , টি- স্প্যানার হ'ল ইউক্লিডিয়ান পরিমাপের অধীনে একটি অনির্দেশিত গ্রাফ জি = ( পি , ই ) , যেমন কোনও দুটি বিন্দুর জন্য v , u , G , d ( v , u …

10 cg.comp-geom 

আমি এবং সম্পর্কিত কোনও বিবৃতি খুঁজে ; পয়েন্টার প্রশংসা করা হবে।MAএমএকজন\mathsf{MA}NPRPএনপিআরপি\mathsf{NP}^\mathsf{RP} আমি বিশ্বাস করি তারা সমান: MA⊆NPRPএমএকজন⊆এনপিআরপি\mathsf{MA} \subseteq \mathsf{NP}^\mathsf{RP} : মেশিন মার্লিনের স্ট্রিং অনুমান করে এবং ওরাকল আর্থারের মতো স্ট্রিংটি যাচাই করে।NPএনপি\mathsf{NP}RPআরপি\mathsf{RP} NPRP⊆MAএনপিআরপি⊆এমএকজন\mathsf{NP}^\mathsf{RP} \subseteq \mathsf{MA} : মেরলিন সমস্ত কল সহ calls মেশিনের গ্রহণযোগ্য গণনা এবং সেই সাথে এই কলগুলির ফলাফলগুলি …

10 cc.complexity-theory  oracles