«counting» etiketlenmiş sorular

Annem bir tür kütüphaneci olmak için çevrimiçi bir kurs alıyor, bu kursta boolean aramaları kapsıyorlar, böylece veritabanlarını verimli bir şekilde arayabiliyorlar, ancak bunun gibi bir şey soran bir soru var: "X OR y" araması 105 000 sonuçla sonuçlanırken, yalnızca x araması 80 000 sonuçla sonuçlanır ve yalnızca y araması 35 …

29 sets  counting 

Vikipedi ile birlikte bulduğum diğer kaynaklar voidgibi boş bir türe karşılık C tipi tipini birim tipi olarak buldum . Bu kafa karıştırıcı buluyorum ki voidboş / alt tip tanımına daha iyi uyuyor. voidSöyleyebileceğim kadarıyla hiçbir değer yok . Geri dönüş tipi boşluğu olan bir işlev, işlevin hiçbir şey döndürmediğini ve …

28 type-theory  c  logic  modal-logic  coq  equality  coinduction  artificial-intelligence  computer-architecture  compilers  asymptotics  formal-languages  asymptotics  landau-notation  asymptotics  turing-machines  optimization  decision-problem  rice-theorem  algorithms  arithmetic  floating-point  automata  finite-automata  data-structures  search-trees  balanced-search-trees  complexity-theory  asymptotics  amortized-analysis  complexity-theory  graphs  np-complete  reductions  np-hard  algorithms  string-metrics  computability  artificial-intelligence  halting-problem  turing-machines  computation-models  graph-theory  terminology  complexity-theory  decision-problem  polynomial-time  algorithms  algorithm-analysis  optimization  runtime-analysis  loops  turing-machines  computation-models  recurrence-relation  master-theorem  complexity-theory  asymptotics  parallel-computing  landau-notation  terminology  optimization  decision-problem  complexity-theory  polynomial-time  counting  coding-theory  permutations  encoding-scheme  error-correcting-codes  machine-learning  natural-language-processing  algorithms  graphs  social-networks  network-analysis  relational-algebra  constraint-satisfaction  polymorphisms  algorithms  graphs  trees 

2-SAT'ın P'de olduğu iyi bilinmektedir. Bununla birlikte, verilen bir 2-SAT formülüne çözüm sayısını saymanın, yani # 2-SAT'ın # P-sert olması oldukça ilginç görünmektedir. Yani, kararının kolay olduğu, ancak saymanın zor olduğu bir sorun örneğimiz var. Ancak keyfi bir NP-tam problemi düşünün (3-COL deyin). Sayma varyantının sertliği hakkında hemen bir şey …

14 complexity-theory  counting 

# Complete olarak bilinen bazı sayma problemleri olsun .ΠΠ\PiPPP Bu anlamına mı geliyor?ΠΠ\Pi olan -SertAPXAPXAPX (yani PTAS sorun mevcut için sürece )?P=NPP=NPP=NP

11 complexity-theory  complexity-classes  approximation  counting 

Boolean matrisi verildiğinde , girişler denizi, girişler araziyi temsil etsin . Bir adayı bitişik giriş olarak dikey veya yatay (ancak çapraz değil) olarak tanımlayın .n×mn×mn \times mXX\mathrm X000111111 Asıl soru , belirli bir matristeki ada sayısını saymaktı. Yazar özyinelemeli bir çözüm ( bellek) tanımladı .O(nm)O(nm)\mathcal{O}(nm) Ancak başarısız bir şekilde veya …

9 algorithms  matrices  counting  streaming-algorithm