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

একটি অ-বিবাদী বুলিয়ান সার্কিটে সাধারণ ইনপুটগুলি এর সাথে "অ-নিরস্তক" ইনপুটগুলি y = ( y 1 , … , y মি ) আছে । একটি অ-বিবাদী সার্কিট সি ইনপুট এক্স গ্রহণ করে যদি y এর মতো থাকে তবে সার্কিট আউটপুট 1 অন ( x , y ) থাকে । অনুরূপ পি …

17 cc.complexity-theory  circuit-complexity  nondeterminism 

কোনও সিএনএফ- কে অন্য একটি সিএনএফ- তে রূপান্তর করা সম্ভব কি এমন?CC\mathcal CΨ(C)Ψ(C)\Psi(\mathcal C) Secret ফাংশনটি কিছু গোপন র্যান্ডম প্যারামিটার থেকে বহুবর্ষে গণনা করা যায় ।ΨΨ\Psirrr Ψ(C)Ψ(C)\Psi(\mathcal C) এর সমাধান রয়েছে যদি কেবলমাত্র এর সমাধান থাকে।CC\mathcal C \ PSi (th mathcal C) এর যে কোনও সমাধান x কার্যকরভাবে r ব্যবহার …

17 cc.complexity-theory  cr.crypto-security  one-way-function  cryptojacking 

ধরুন আমরা একটি সসীম সেট আছে LLL মধ্যে ডিস্ক R2R2\mathbb{R}^2 , এবং আমরা ক্ষুদ্রতম ডিস্ক গনা করতে ইচ্ছুক DDD , যার জন্য ⋃L⊆D⋃L⊆D\bigcup L\subseteq D । এই কাজ করতে একটি আদর্শ উপায় Matoušek, Sharir এবং Welzl [1] এর এলগরিদম ব্যবহার ভিত্তি খুঁজে পেতে হয় BBB এর LLL , আর দিন …

17 cg.comp-geom  linear-programming  computational-geometry 

পটভূমি এটা তোলে পরিচিত একটি ওরাকল অস্তিত্ব আছে যে যেমন যে, ।A AAP S P A C E A ≠ P H APSPACEA≠PHAPSPACE^A \neq PH^A এটি এমনকি জানা যায় যে বিচ্ছেদটি একটি এলোমেলো ওরাকেলের সাথে সম্পর্কিত। অনানুষ্ঠানিকভাবে, কেউ এটির অর্থ ব্যাখ্যা করতে পারে যে অনেকগুলি ওরাকল রয়েছে যার জন্য এবং …

17 cc.complexity-theory  oracles  relativization  pspace  structural-complexity 

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

17 lo.logic  computability  ct.category-theory  kolmogorov-complexity 

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

17 context-free  automata-theory  reference-request 

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

17 soft-question  conferences 

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

17 cc.complexity-theory  phase-transition 

ল্যাম্বা ক্যালকুলাসে এই জাতীয় সংযোজক নির্দিষ্ট করার জন্য প্রয়োজনীয় বিমূর্ততা এবং অ্যাপ্লিকেশনগুলির সংখ্যা দ্বারা পরিমাপ করা আমি সর্বনিম্নতম সর্বজনীন সমন্বয়কারী সন্ধান করছি । সর্বজনীন সংযোজকগুলির উদাহরণগুলির মধ্যে রয়েছে: আকার 23: .f.f (fS (KKKI)) কে আকার 18: .f.f (fS (KK)) কে আকার 14: .f.fKSK আকার 12: .f.fS (λxyz.x) আকার 11: .f.fSK …

17 lo.logic  computability  lambda-calculus  universal-computation  combinatory-logic 

প্রতিসম গ্রুপ এবং দুটি উপগোষ্ঠী জি , এইচ ≤ এস এন , এবং π ∈ এস এন দেওয়া , জি π ∩ এইচ = ∅ ধরে?SnSnS_nG,H≤SnG,H≤SnG, H\leq S_nπ∈Snπ∈Sn\pi\in S_nGπ∩H=∅Gπ∩H=∅G\pi\cap H=\emptyset আমি যতদূর জানি সমস্যাটি কোসেট ছেদ সমস্যা হিসাবে পরিচিত। আমি ভাবছি জটিলতা কি? বিশেষত, এই সমস্যাটি কোয়ামে থাকার কথা? তদুপরি, …

17 cc.complexity-theory  graph-isomorphism  gr.group-theory 

কল্পনা করুন, আমরা নির্ভরশীলভাবে টাইপ করা ল্যাম্বদা ক্যালকুলাসকে চার্চের সংখ্যা হিসাবে প্রাকৃতিক সংখ্যার সংজ্ঞা দিয়েছি। সেগুলি নিম্নলিখিত উপায়ে সংজ্ঞায়িত করা যেতে পারে: SimpleNat = (R : Set) → R → (R → R) → R zero : SimpleNat zero = λ R z _ → z suc : SimpleNat → …

17 type-theory  lambda-calculus  dependent-type 

এটি জানা যায় যে প্যারিটি ফাংশন কম্পিউটিংয়ের সর্বনিম্ন আকারের সার্কিটগুলি হুবহু 3 ( এন - 1 ) সমান । নিম্ন সীমা প্রমাণ গেট বিলোপকরণ পদ্ধতির উপর ভিত্তি করে।U2U2U_23(n−1)3(n−1)3(n-1) সম্প্রতি, আমি লক্ষ্য করেছি যে গেট নির্মূলের পদ্ধতিটি ননডেটারিস্ট্যানিক সার্কিটগুলির জন্যও ভাল কাজ করে এবং আমরা প্যারিটি ফাংশনটি কম্পিউটিং করার জন্য ননডেটারেস্টিক …

17 cc.complexity-theory  reference-request  circuit-complexity 

এই সমস্যাটি বিবেচনা করুন: সসীম সেটগুলির একটি তালিকা দেওয়া হয়েছে, একটি অর্ডারিং যা ন্যূনতম করুন ।| এস 1 | + | s 1 ∪ s 2 | | + | s 1 ∪ s 2 ∪ s 3 | + …s1,s2,s3,…s1,s2,s3,…s_1, s_2, s_3, \ldots|s1|+|s1∪s2|+|s1∪s2∪s3|+…|s1|+|s1∪s2|+|s1∪s2∪s3|+…|s_1| + |s_1 \cup s_2| + |s_1 …

17 cc.complexity-theory  ds.algorithms  optimization 

একটি নির্দেশ acyclic গ্রাফের জন্য , একটি ডাটা স্ট্রাকচার দ্বিঘাত স্থান বা রৈখিক সময় প্রয়োজন ছাড়া যে reachability প্রশ্নের জন্য করতে পারবেন কি? আদর্শভাবে আমি প্রতি ভার্টেক্স এবং লোগারিথমিক সময়⟨ ভী, ই⟩⟨ভী,ই⟩{\langle}V,E{\rangle} যেখানে কেবলমাত্র ও (লগ এন) স্পেস ব্যবহার করে একটি অ্যালগরিদম খুঁজছি যেখানে ।n = | ভী| + | …

17 graph-algorithms 

এই কাগজটি দাবি করেছে যে ব্লুম ফিল্টারগুলিতে ত্রুটি হারের traditionalতিহ্যগত বিশ্লেষণটি ভুল, তারপরে প্রকৃত ত্রুটির হারের দীর্ঘ এবং অদক্ষীয় বিশ্লেষণ সরবরাহ করে। সংযুক্ত কাগজটি ২০১০ সালে প্রকাশিত হয়েছিল, তবুও আমি দেখেছি যে ব্লুম ফিল্টারগুলির theতিহ্যগত বিশ্লেষণটি বিভিন্ন অ্যালগরিদম এবং ডেটা স্ট্রাকচার কোর্সে শেখানো অব্যাহত রয়েছে। ব্লুম ফিল্টারগুলির traditionalতিহ্যগত বিশ্লেষণটি কি …

17 ds.data-structures