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

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

12 type-theory  functional-programming  constructive-mathematics 

একটি ফাংশন বিবেচনা একটি বুলিয়ান বর্তনী দ্বারা নির্ণিত সঙ্গে আকারের ইনপুট ভিত্তিতে উপর ( গেটের জন্য অগণিত 2 সহ )সি এন এস ( এন ) = পি ও এল ওয়াই ( এন ) { এক্স ও আর , এ এন ডি , এন ও টি } এক্স ও আর , …

12 circuit-complexity  circuits 

আমি একটি "শীর্ষ -২০" বিশ্ববিদ্যালয়ের তৃতীয় বর্ষের স্নাতক শিক্ষার্থী যিনি সূক্ষ্ম দানাযুক্ত জটিলতায় (3-এসইএম, ওভি এবং প্রচলিত জনপ্রিয় দৃ hard়তা অনুমানের সাথে প্রচুর খেলায়) কাজ করে। আমি গত এক বছর ধরে মোটামুটি উত্পাদনশীল এবং আমার কাছে 3 টি স্বীকৃত কাগজপত্র এবং দুটি জমা দেওয়া কাগজপত্র রয়েছে। এই সমস্ত বলার জন্য …

12 soft-question 

কল্পনা করুন আমরা দুটি আকার পয়েন্ট সেট এক্স , ওয়াই ⊂ আর এন । পরীক্ষার জটিলতা কী (সময়) কেবলমাত্র ঘূর্ণন দ্বারা পৃথক হয়? : সেখানে আবর্তনের ম্যাট্রিক্স রয়েছে হে হে টি = হে টি ও = আমি যেমন এক্স = হে ওয়াই ?mmmX,Y⊂RnX,Y⊂RnX,Y\subset \mathbb{R}^nOOT=OTO=IOOT=OTO=IOO^T=O^TO=IX=OYX=OYX=OY এখানে প্রকৃত মূল্যবোধের প্রতিনিধিত্ব করার একটি …

12 cc.complexity-theory  complexity-classes  graph-isomorphism  computational-geometry  high-dimensional-geometry 

গবেষকরা দেখিয়েছেন যে মুছা বিটটি শক্তি গ্রহণ করতে হবে, এখন গণনা সংক্রান্ত জটিলতা দিয়ে অ্যালগরিদমের শক্তির গড় খরচ সম্পর্কে কোনও গবেষণা হয়েছে ? আমার অনুমান, গণনার জটিলতা এফ ( এন ) শক্তির গড় ব্যয়ের সাথে সম্পর্কিত, আশা করি আমি এখানে কিছু উত্তর পেতে পারি।F(n)F(n)F(n)F(n)F(n)F(n)

12 cc.complexity-theory  reference-request  it.information-theory  quantum-information  statistical-physics 

সাম্প্রতিক উদ্ভাবনের সালে https://arxiv.org/abs/1801.00776 , এটা যে দাবি করা হয় বাস্তব সংখ্যার সময় সাজানো যাবে হে ( ঢ √nnn এবং লিনিয়ার স্পেস। কাগজটি যুক্তিসঙ্গত বলে মনে হচ্ছে, যদিও আমি অ্যালগরিদমগুলি বাছাইয়ে বিশেষজ্ঞ নই।O(nlogn−−−−√),O(nlog⁡n),O(n \sqrt{\log n}), যদি সঠিক হয় তবে এটি তাত্পর্যপূর্ণ হবে, আমি বিশ্বাস করি, অন্তত তাত্ত্বিকভাবে। মূল যুক্তির উপস্থাপনাটি …

12 cc.complexity-theory  ds.algorithms  sorting 

ধরুন আপনি দুই দেওয়া হয় নির্ণায়ক অটোমাটা যা ভাষায় চিনতে নিচে ধাক্কা এবং নির্ধারণ আছে কিনা একটি নিয়মিত ভাষা এবং ইচ্ছা যে এই ধরনের এবং । মূলত, একটি ডিএফএ রয়েছে কিনা তা নির্ধারণ করা চ্যালেঞ্জটি হ'ল যে কোনও ভাষাতে যে দুটি শব্দ এসেছে সেটিকে দুটি ভাষার মধ্যে কোনটি এসেছে তা …

12 automata-theory 

আমি খুব নির্দিষ্ট হতে চাই। কেউ কি আপত্তি বা নীচের প্রস্তাবের প্রমাণ সম্পর্কে জানেন: ∃ পি ∈ জেড [ এক্স ] , এন , কে , সি∈ N ,∃p∈Z[x],n,k,C∈N,\exists p \in \mathbb{Z}[x], n, k, C \in \mathbb{N}, ∀G,H∈STRUC[Σgraph](min(|G|,|H|)=n,G≄H),∀G,H∈STRUC[Σgraph](min(|G|,|H|)=n,G≄H),\forall G, H \in STRUC[\Sigma_{graph}] (min(|G|, |H|) = n, G \not\simeq H), ∃φ∈L(Σgraph),∃φ∈L(Σgraph),\exists …

12 graph-theory  graph-isomorphism  formulas  first-order-logic 

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

12 reference-request 

ক্লোপ, ভ্যান ওস্ট্রোম এবং ডি ভ্রিজারের ল্যাম্বডা ক্যালকুলাসে নিদর্শন সহ একটি কাগজ রয়েছে। http://www.sciencedirect.com/science/article/pii/S0304397508000571 কিছু অর্থে, একটি প্যাটার্নটি ভেরিয়েবলের একটি গাছ - যদিও আমি কেবল এটিকে ভেরিয়েবলের নেস্টেড টুপল হিসাবে ভাবছি, উদাহরণস্বরূপ, ((x, y), z), (t, s))। কাগজে তারা দেখিয়েছেন যে যদি নিদর্শনগুলি রৈখিক হয়, এমন কোনও অর্থে যে কোনও …

12 type-theory  lambda-calculus  typed-lambda-calculus  extensionality 

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

12 computability  lower-bounds  turing-machines  communication-complexity  oracles 

ডি ওয়ার্ক এট ইত্যাদি দ্বারা বস্টিং এবং ডিফারেনশিয়াল প্রাইভেসির পরিশিষ্ট খ-এ , লেখকরা প্রমাণ ছাড়াই নীচের ফলাফলটি বর্ণনা করেছেন এবং এটিকে আজুমার বৈষম্য হিসাবে উল্লেখ করেছেন: যাক C1,…,CkC1,…,CkC_1, \dots, C_k রিয়েল-মূল্যবান হতে র্যান্ডম ভেরিয়েবল যেমন যে প্রত্যেক জন্য i∈[k]i∈[k]i \in [k] , Pr[|Ci|≤α]=1Pr[|Ci|≤α]=1\Pr[|C_i| \leq \alpha] = 1 প্রতি , আমাদের …

12 pr.probability 

সময়ের শ্রেণিবিন্যাসের উপপাদ্যটিতে বলা হয়েছে যে ট্যুরিং মেশিনগুলি আরও বেশি সময় (পর্যাপ্ত) সময় পেলে আরও সমস্যার সমাধান করতে পারে। স্থানটি যদি অ্যাসিপোটোটিকভাবে সীমাবদ্ধ থাকে তবে এটি কোনওভাবে ধারণ করে? কেমন করে DTISP(g(n),O(s(n)))DTISP(g(n),O(s(n)))\textrm{DTISP}(g(n), O(s(n))) সঙ্গে সম্পর্কযুক্ত DTISP(f(n),O(s(n)))DTISP(f(n),O(s(n)))\textrm{DTISP}(f(n), O(s(n))) যদি fgfg\frac{f}{g} যথেষ্ট দ্রুত বৃদ্ধি পায়? আমি বিশেষত s(n)=ns(n)=ns(n) = n , g(n)=n3g(n)=n3g(n) …

12 cc.complexity-theory  complexity-classes  turing-machines  space-bounded  time-hierarchy 

ঘনত্ব একটি ভাষার একটি ফাংশন হিসাবে সংজ্ঞায়িত করা ধরুন এবং কিছু সসীম বর্ণমালা টিরও বেশি ভাষাতে হয়, অনেক কিছু এক logspace করার হ্রাস , আর নয় । কার্যাবলী হয় polynomially সম্পর্কিত যদি polynomials হয় এবং যেমন যে সব জন্য , এবংডি এক্স : এন → এন ডি এক্স ( এন …

12 cc.complexity-theory  reductions  structural-complexity 

ওলা সোভেনসনের এই বক্তৃতার নোটগুলিতে: http://theory.epfl.ch/osven/courses/Approx13/Notes/lecture4-5.pdf- এ বলা হয়েছে যে ইউক্লিডিয়ান টিএসপি এনপিতে রয়েছে কিনা তা আমরা জানি না: কারণটি হ'ল আমরা কীভাবে দক্ষতার সাথে বর্গমূলগুলি গণনা করতে জানি না। অন্যদিকে পাপাদিমিট্রিউয়ের এই কাগজটি রয়েছে: http ://www.sज्ञानdirect.com/sज्ञान/article/pii/0304397577900123 এটি এনপি-সম্পূর্ণ, যার অর্থ এটি এনপি-তে রয়েছে। যদিও তিনি কাগজে এটি প্রমাণ করেননি, …

12 np  tsp  computing-over-reals