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

Thuật ngữ đảo ngược chương trình có nhiều sắc thái ý nghĩa, nhưng có lẽ đã bắt đầu với tác phẩm năm 1956 của J. McCarthy The Inversion of Function Defined by Turing Machines trong bối cảnh AI. Cho đến nay, nhiều kết nối giữa đảo ngược chương trình và …

10 reference-request  lambda-calculus  typed-lambda-calculus  reversible-computing 

Động lực : Trong khi phát triển các công cụ để tạo phiên bản dữ liệu, cuối cùng chúng tôi đã xem xét các thuật toán để "tìm" hai bộ số nguyên, bằng cách đưa ra một chuỗi các phép biến đổi lấy một bộ số nguyên khác. Chúng tôi …

10 cc.complexity-theory  ds.algorithms  reference-request  string-matching  edit-distance 

Giả sử là một ngôn ngữ được tham số hóa đối với một số bảng chữ cái . Các -slice của là , tập các trường hợp trong có tham số . Lớp phức tạp chứa các ngôn ngữ được tham số hóa sao cho cho mỗi , có thể …

10 cc.complexity-theory  reference-request  parameterized-complexity 

Đặt AAA là ma trận trên trường hữu hạn F2={0,1}F2={0,1}\mathbb{F}_2 = \{0,1\} và xxx , yyy là vectơ của không gian Fn2F2n\mathbb{F}_2^n . Tôi quan tâm đến độ phức tạp tính toán của việc quyết định xem có tồn tại t∈Nt∈Nt \in \mathbb{N} sao cho Atx=yAtx=yA^t x = y , …

10 cc.complexity-theory  reference-request  linear-algebra 

Tôi có thể tìm thấy phần giới thiệu về automata xác suất ở đâu và những gì họ nhận ra (một số chức năng từ từ đến )? Có một thuật ngữ tiêu chuẩn cho các chức năng như vậy được nhận dạng bởi automata xác suất, tương tự như …

10 reference-request  fl.formal-languages  probabilistic-automata 

Các bộ chuyển đổi được xem xét ở đây là những Wikipedia gọi là bộ chuyển đổi trạng thái hữu hạn . Hành vi của một bộ chuyển đổi , nghĩa là, mối quan hệ mà nó tính toán, được viết : một từ là một đầu ra cho iff …

10 ds.algorithms  reference-request  automata-theory  regular-language  dfa 

Hãy xem xét vấn đề sau: Cho một ma trận chúng tôi muốn tối ưu hóa số lượng bổ sung trong thuật toán nhân cho tính toán v ↦ M v .MMMv ↦ Mvv↦Mvv \mapsto Mv Tôi thấy vấn đề này thú vị vì mối quan hệ của nó với …

10 cc.complexity-theory  reference-request  circuit-complexity  matrices  arithmetic-circuits 

Đó là một thực tế khá nổi tiếng rằng xuất phát mâu thuẫn từ sự bất bình đẳng (ví dụ: ) trong lý thuyết loại Martin-Loef đòi hỏi phải có vũ trụ.( 0 = 1 ) → ⊥(0=1)→⊥(0=1) \to \bot Bằng chứng cũng khá đơn giản - trong trường hợp …

10 reference-request  lo.logic  pl.programming-languages  type-theory  dependent-type 

Độ phức tạp chứng minh là một lĩnh vực cơ bản nhất của lý thuyết phức tạp tính toán. Một mục đích cuối cùng của lĩnh vực này là chứng minh , nghĩa là, bất kỳ người hoạt ngôn nào cũng không thể đưa ra bằng chứng về sự không …

10 cc.complexity-theory  reference-request  graph-theory  np  proof-complexity 

Trong bài viết năm 1969 " Về độ phức tạp tính toán của các thuật toán " của Hartmanis và Stearns, các tác giả phỏng đoán rằng nếu một Turing Machine thời gian thực tính toán số thực , ví dụ, cơ sở 10, thì r là số hữu tỷ …

10 cc.complexity-theory  reference-request  examples 

Bối cảnh: Xử lý giao dịch đã là một chủ đề nghiên cứu truyền thống trong lý thuyết cơ sở dữ liệu. Ngày nay các giao dịch phân tán được phổ biến bởi các hệ thống lưu trữ phân tán quy mô lớn thường liên quan đến phân vùng dữ …

10 reference-request  big-list  dc.distributed-comp  db.databases 

Có bất kỳ vấn đề nào có thể giải quyết được trong thời gian đa thức chỉ khi P! = NP và mặt khác có thể giải quyết được trong thời gian (nói) không?O(2n)O(2n)O(2^n) Một ví dụ đơn giản sẽ là: Nếu P! = NP, hãy tính toán kiểm tra …

10 cc.complexity-theory  reference-request 

Định nghĩa tiêu chuẩn của Planar 3-SAT là gì? Tôi đã thấy một số định nghĩa khác nhau. Bài báo gốc đã định nghĩa nó là gì và chứng minh nó là NP-Complete?

10 cc.complexity-theory  reference-request  np-hardness  sat  planar-graphs 

Tôi cố gắng để tìm thấy một bản phân phối qua vectơ ngẫu nhiên, nói , trên cầu đơn vị chiều (nơi ) giảm thiểu tuân theo ràng buộc .nnnx1,…,xnx1,Giáo dục,xnx_1,\ldots, x_nkkkn>kn>kn > kmaxi≠jVar(xTixj)tối đaTôi≠jVmộtr(xTôiTxj)\max_{i\neq j} \mathrm{Var}(x_i^T x_j)E[xTixj]=0E[xTôiTxj]= =0\mathbb{E}[x_i^Tx_j]=0 Tôi đã thử một số bản phân phối và hầu hết …

10 reference-request  randomized-algorithms 

Trong Chương 13 "Đối tượng nguyên tử" của cuốn sách "Thuật toán phân tán" của Nancy Lynch, tính tuyến tính (còn được gọi là nguyên tử) được chứng minh là một đặc tính an toàn. Điều đó có nghĩa là, thuộc tính theo dõi tương ứng của nó là không …

10 reference-request  fl.formal-languages  dc.distributed-comp  concurrency