«counting» 태그된 질문

어머니는 일종의 사서가되기 위해 온라인 과정을 밟고 있습니다.이 과정에서 부울 검색을 다루므로 데이터베이스를 효율적으로 검색 할 수 있지만 다음과 같은 소리가납니다. "x OR y"를 검색하면 105 000 개의 적중이 발생하지만 x 만 검색하면 80 000 개의 적중이 발생하고 y 만 검색하면 35,000 개의 적중이 발생합니다. 결합 된 개별 검색이 115 …

29 sets  counting 

Wikipedia와 내가 찾은 다른 소스 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-hard라는 것은 매우 흥미로운 것 같습니다. 즉, 우리는 결정이 쉽지만 계산이 어려운 문제의 예를 가지고 있습니다. 그러나 임의의 NP- 완전 문제 (예 : 3-COL)를 고려하십시오. 계수 변수의 경도에 대해 즉시 말할 …

14 complexity-theory  counting 

를 # -Complete로 알려진 계산 문제라고 하자 .PΠΠ\Pi피PP 가 hard 라는 것을 의미합니까 (즉 가 아니면 문제에 대한 PTAS 가 없음 )?A P X P = N PΠΠ\PiP엑스APXAPX피= N피P=NPP=NP

11 complexity-theory  complexity-classes  approximation  counting 

주어진 매트릭스 부울 ,하자 항목이 바다를 표현하고 항목이 땅을 나타냅니다. 개의 항목에 인접한 섬을 세로 또는 가로 (대각선 아님)로 정의하십시오 .n×mn×mn \times mXX\mathrm X000111111 원래 질문 은 주어진 행렬에서 섬의 ​​수를 세는 것이 었습니다. 저자는 재귀 솔루션 ( 메모리)을 설명했습니다.O(nm)O(nm)\mathcal{O}(nm) 그러나 또는 또는 섬을 동적으로 계산하는 스트리밍 (왼쪽에서 오른쪽으로, 다음 …

9 algorithms  matrices  counting  streaming-algorithm