Câu hỏi được gắn thẻ «counting»

Mẹ tôi đang tham gia một số khóa học trực tuyến để trở thành một thủ thư về các loại, trong khóa học này họ bao gồm các tìm kiếm boolean, vì vậy họ có thể tìm kiếm cơ sở dữ liệu một cách hiệu quả, tuy nhiên, bà có …

29 sets  counting 

Wikipedia cũng như các nguồn khác mà tôi đã tìm thấy voidloại C là một loại đơn vị trái ngược với loại trống. Tôi thấy điều này khó hiểu vì dường như với tôi voidphù hợp hơn với định nghĩa về loại trống / đáy. Không có giá trị cư …

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 

Người ta biết rằng 2-SAT nằm trong P. Tuy nhiên, có vẻ khá thú vị khi đếm số lượng giải pháp cho một công thức 2-SAT nhất định, tức là # 2-SAT là # P-hard. Đó là, chúng tôi có một ví dụ về một vấn đề mà quyết định …

14 complexity-theory  counting 

Đặt là một số vấn đề đếm được biết là # -Complete .ΠΠ\PiPPP Có phải nó ngụ ý rằng là -hard (tức là không có PTAS cho vấn đề tồn tại trừ khi )?ΠΠ\PiAPXAPXAPXP=NPP=NPP=NP

11 complexity-theory  complexity-classes  approximation  counting 

Cho ma trận Boolean X , hãy để 0 mục đại diện cho biển và 1 mục đại diện cho đất liền. Xác định một hòn đảo theo chiều dọc hoặc chiều ngang (nhưng không theo đường chéo) liền kề 1 mục.n × mn×mn \times mXX\mathrm X000111111 Câu hỏi ban …

9 algorithms  matrices  counting  streaming-algorithm 

Đặt là một NFA tuần hoàn.MMM Vì là chu kỳ, là hữu hạn.MMML(M)L(M)L(M) Chúng ta có thể tính toántrong thời gian đa thức?|L(M)||L(M)||L(M)| Nếu không, chúng ta có thể ước chừng nó? Lưu ý rằng số lượng từ không giống với số lượng đường dẫn chấp nhận trong , có …

8 formal-languages  automata  finite-automata  nondeterminism  counting 

Tôi đang làm việc trên các định hướng theo chu kỳ của đồ thị vô hướng và có các câu hỏi sau: Cho đồ thị đơn giản vô hướng được kết nối , làm thế nào để tìm tất cả các hướng xoay vòng có thể có của G ?GGGGGG …

8 algorithms  graph-theory  counting 

Có chuỗi SSScó độ dài , việc tìm số lượng các chuỗi con khác nhau có thể được thực hiện trong thời gian tuyến tính bằng cách sử dụng mảng LCP. Thay vì yêu cầu số đếm duy nhất trong toàn bộ chuỗi , truy vấn có chứa chỉ mục …

7 algorithms  strings  counting  subsequences 

Tôi đã đọc về đếm mô hình, hay còn gọi là vấn đề #SAT. Các ứng dụng thực tế, nếu có, của vấn đề này là gì, và chính xác làm thế nào để chúng giảm bớt nó? Tôi đã không thể tìm thấy bất kỳ, mặc dù điều đó …

7 complexity-theory  applied-theory  counting 

Đặt là một vấn đề đếm được tham số hóa , trong đó tham số là chi phí giải pháp, ví dụ: đếm số lượng đỉnh đỉnh -ized trong đồ thị, được tham số hóa bởi .ΠΠ\Pikkkkkk Giả sử rằng là [1] (ví dụ, một vấn đề đã biết sẽ …

7 complexity-theory  approximation  counting  parameterized-complexity 

Tôi có một vấn đề có thể được xem theo hai cách khác nhau: Tính một tích phân chiều, bối cảnh số. Lĩnh vực hội nhập là một chiều hyper-cube của bên L .nnnnnnLLL Đếm (chỉ đếm) gốc của nnn chiều (không phải đa thức). Chỉ cần giải quyết một …

7 algorithms  numerical-analysis  counting