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

Những giấy tờ về xử lý lỗi trong các hệ thống phân tán mà bạn đề nghị?

10 reference-request  dc.distributed-comp 

Cụ thể, tôi đang yêu cầu các tài nguyên để tìm hiểu về các hệ thống máy học có thể cập nhật các mạng niềm tin tương ứng (hoặc tương đương) trong quá trình hoạt động. Tôi thậm chí đã chạy qua một vài, mặc dù tôi không đánh dấu …

10 reference-request  machine-learning  lg.learning  ai.artificial-intel  online-learning 

Đặt biểu thị chuỗi có độ dài tương ứng với bảng chân lý của bài toán tạm dừng cho các đầu vào có độ dài .HALTnHALTnHALT_n2n2n2^nnnn Nếu chuỗi độ phức tạp Kolmogorov là , thì một trong những chuỗi lời khuyên sẽ được sử dụng vô cùng thường xuyên và …

10 cc.complexity-theory  reference-request  computability  lower-bounds 

Trạng thái kết quả nghệ thuật về độ phức tạp truy vấn của công thức 2-DNF học PAC phù hợp với các truy vấn mẫu và theo phân phối thống nhất là gì? Hoặc bất kỳ ràng buộc không tầm thường trên nó? Bởi vì tôi hoàn toàn không quen …

10 reference-request  lg.learning  boolean-functions 

Khi giới thiệu phân rã mô-đun đồ thị , hầu hết các tác giả sử dụng biểu đồ 11 đỉnh, mà tôi sao chép từ wikipedia. Câu hỏi là ai là (người) thiết kế ban đầu của nó. (Tôi không hỏi ai đã vẽ biểu đồ này cho wikipedia, nhưng …

9 reference-request  graph-theory 

Trong [1], Garey et al. xác định cái mà sau này được gọi là Bài toán tổng gốc vuông trong quá trình tìm ra tính đầy đủ NP của ESPidean TSP. Với số nguyên a1,a2,…,ana1,a2,…,ana_1, a_2, \ldots, a_n và LLL , xác định xem a1−−√+a2−−√+⋯+an−−√<La1+a2+⋯+an<L\sqrt{a_1} + \sqrt{a_2} + \cdots + …

9 reference-request  cg.comp-geom  na.numerical-analysis 

Các giới hạn trên không triệu chứng được biết đến nhiều nhất về kích thước của bằng chứng kiểm tra xác suất là gì? Lý tưởng nhất, tôi đang tìm kiếm một cuộc khảo sát đương đại về câu hỏi rộng này, nhưng nếu không có, tôi đặc biệt quan …

9 cc.complexity-theory  reference-request  np-hardness  pcp 

Trong Một lý thuyết trực giác về các loại: Phần dự đoán của Martin-Löf, người ta đã chứng minh rằng việc kiểm tra kiểu có thể quyết định đối với một từ có thể đánh máy ngay từ đầu, bằng cách chứng minh một định lý chuẩn hóa cho các …

9 reference-request  type-theory  type-inference 

Có khuôn khổ / chủ nghĩa hình thức xác định các mô hình tính toán dựa trên các protein khác với mô hình DNA của Adman hay công trình này của Cherry và Qian không?

9 reference-request  machine-models 

Đối với một ngôn ngữ cố định trên một số bảng chữ cái , chúng ta hãy xem xét vấn đề sau, mà tôi gọi là LALLLMộtMộtALLL -INTERLEAVING : Đầu vào: hai từ u , v ∈ A*bạn,v∈Một*u, v \in A^* Output: cho dù có tồn tại một đan xen …

9 cc.complexity-theory  reference-request  regular-language 

Bài báo SODA 2 trang của Kalai đưa ra thuật toán đơn giản và hiệu quả để khớp mẫu với không quan tâm (ký tự đại diện khớp với một ký tự). Về bản chất, nó dễ như tích chập. Nhưng điều gì xảy ra nếu chúng ta đang tìm …

9 ds.algorithms  reference-request  string-matching 

Hãy L⊆A∗L⊆Một*L \subseteq A^* là một ngôn ngữ, và xác định fL:A∗×A∗→{0,1}fL:A∗×A∗→{0,1}f_L\colon A^* \times A^* \to \{0, 1\} bởi fL(x,y)=1fL(x,y)=1f_L(x, y) = 1 khi và chỉ khi x⋅y∈Lx⋅y∈Lx\cdot y \in L . Tôi đang tìm kiếm một tài liệu tham khảo cho: Dự luật. LLL là iff thường xuyên, độ …

9 reference-request  communication-complexity  regular-language 

Cho một đồ thị có hướng cố định (sơ đồ) , bài toán quyết định D -COLORING hỏi xem một sơ đồ đầu vào G có đồng cấu với D không . (Phép đồng hình của G đến D là ánh xạ f của V ( G ) đến V …

9 reference-request  graph-theory  np-hardness  csp  homomorphism 

Hãy và là hai đồ thị kết nối -regular kích thước . Hãy là tập các hoán vị mà . Nếu thì là tập hợp các tự đẳng của .H r n A P P G P - 1 = H G = H A GGGGHHHrrrnnnMộtMộtAPPPPG P- 1= HPGP-1= =HPGP^{-1}=HG …

9 reference-request  graph-theory  co.combinatorics  graph-isomorphism  gr.group-theory 

Đặt là một đồ thị là sự kết hợp rời rạc của một nhóm và một tập độc lập, tức là G = K n 1 + ¯ K n 2 = K n 1 + I n 2 .GGGG = Kn1+ Kn2¯¯¯¯¯¯¯¯= Kn1+ Tôin2.G= =Kn1+Kn2¯= =Kn1+Tôin2.G = K_{n_1} + …

9 reference-request  graph-theory  graph-classes