Запитання з тегом «counting»

Моя мама проходить курс онлайн для того, щоб бути бібліотекою свого роду, в цьому курсі вони охоплюють булеві пошуки, щоб вони могли ефективно шукати бази даних, однак у неї з'явилося запитання, яке звучить приблизно так: Пошук "x АБО" призведе до 105 000 звернень, тоді як пошук лише x призведе до …

29 sets  counting 

Вікіпедія, а також інші джерела, які я знайшов, перелічують voidтип C як тип одиниці, а не порожній. Я вважаю це заплутаним, як мені здається, що voidкраще відповідає визначенню типу порожній / нижній. voidНаскільки я можу сказати, цінності не населяються . Функція з типом повернення void вказує, що функція нічого не …

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 є в P. Однак, здається, досить цікаво, що підрахунок кількості рішень для заданої формули 2-SAT, тобто # 2-SAT є # P-важким. Тобто у нас є приклад проблеми, вирішити яку легко, але підрахувати важко. Але розглянемо довільну NP-повну проблему (скажімо, 3-COL). Чи можемо ми відразу сказати щось про …

14 complexity-theory  counting 

Нехай - деяка проблема підрахунку, яка, як відомо, є # P -комплект .ΠΠ\PiППP Чи означає це, що є A P X- твердим (тобто PTAS для проблеми не існує, якщо P = N P )?ΠΠ\PiА ПХАПХAPXП= NПП=NПP=NP

11 complexity-theory  complexity-classes  approximation  counting 

З огляду на n × mн×мn \times m Булева матриця ХХ\mathrm X, дозволяє 000 записи представляють море і 111записи представляють землю. Визначте острів як вертикальний або горизонтальний (але не по діагоналі) сусідній111 записи. Первісне питання полягав у підрахунку кількості островів у даній матриці. Автор описав рекурсивне рішення (О (нм.) )О(нм)\mathcal{O}(nm) …

9 algorithms  matrices  counting  streaming-algorithm