Khoa học máy tính lý thuyết

1

Xem xét nhiệm vụ tính toán sau: Chúng tôi muốn lấy mẫu công thức 3-SAT gồm biến (một biến thể: biến mệnh đề) liên quan đến phân phối xác suất thống nhất, dựa trên công thức là thỏa đáng:n mnnnnnnmmm Câu 1: Điều này có thể đạt được hiệu quả …

23 cc.complexity-theory quantum-computing sample-complexity

4

Các lý do thuyết phục để tin gì?

Các lý do thuyết phục để tin gì? L là lớp các thuật toán không gian log với các con trỏ tới đầu vào.L ≠ PL≠PL\neq P Giả sử L = P trong lúc này. Thuật toán không gian log cho một vấn đề hoàn chỉnh P trông như thế …

23 cc.complexity-theory complexity-classes

1

Các ngôn ngữ được công nhận bởi các DFA kích thước đa thức

Đối với một bảng chữ cái hữu hạn cố định ΣΣ\Sigma , một ngôn ngữ chính thức LLL trên ΣΣ\Sigma là bình thường nếu có tồn tại một automaton hữu hạn xác định (DFA) trên ΣΣ\Sigma mà chấp nhận chính xác LLL . Tôi quan tâm đến các ngôn ngữ …

23 reference-request fl.formal-languages automata-theory online-algorithms dfa

2

Định lý xấp xỉ phổ quát - Mạng lưới thần kinh

Tôi đã đăng bài này sớm hơn trên MSE, nhưng có ý kiến cho rằng đây có thể là một nơi tốt hơn để hỏi. Định lý xấp xỉ phổ quát nói rằng "mạng chuyển tiếp thức ăn đa lớp tiêu chuẩn với một lớp ẩn duy nhất, chứa số …

23 approximation-algorithms ne.neural-evol na.numerical-analysis

4

Khi nào (hoặc nên) CS lý thuyết quan tâm đến bằng chứng trực giác?

Từ những gì tôi hiểu (rất ít, vì vậy xin vui lòng sửa cho tôi biết tôi sai ở đâu!), Lý thuyết về ngôn ngữ lập trình thường liên quan đến các bằng chứng "trực giác". Theo cách hiểu của riêng tôi, cách tiếp cận đòi hỏi chúng ta phải …

23 lo.logic soft-question pl.programming-languages constructive-mathematics

5

Các thuật toán xấp xỉ cho Tập độc lập tối đa trên các lớp biểu đồ đặc biệt

Chúng tôi biết rằng Bộ độc lập tối đa (MIS) khó có thể xấp xỉ trong một hệ số cho mọi trừ khi P = NP. Một số lớp biểu đồ đặc biệt mà thuật toán xấp xỉ tốt hơn được biết đến là gì? ε > 0n1−ϵn1−ϵn^{1-\epsilon}ϵ>0ϵ>0\epsilon > 0 …

23 ds.algorithms graph-theory graph-algorithms approximation-algorithms

1

Làm thế nào lớn là phương sai của treewidth của một đồ thị ngẫu nhiên trong G (n, p)?

Tôi đang cố gắng tìm xem mức độ gần gũi của và E [ t w ( G ) ] , khi G ∈ G ( n , p = c / n ) và c > 1 là một hằng số không phụ thuộc vào n (vì vậy E …

23 graph-theory co.combinatorics treewidth random-graphs

5

Sắp xếp chỗ ngồi tốt cho chuỗi bữa ăn và bàn cỡ k cho một nhóm người

Cho một tập hợp gồm những người tôi muốn ngồi cho họ một chuỗi các bữa ăn tại các bàn có kích thước k . (Tất nhiên, có đủ bàn để ngồi tất cả | S | cho mỗi bữa ăn.) Tôi muốn sắp xếp việc này sao cho không …

23 graph-theory co.combinatorics

2

Ở mức độ nào một thuật toán có thể dự đoán độ phức tạp thời gian của một chương trình đầu vào tùy ý?

Các vấn đề ngăn chặn khẳng định rằng nó là không thể để viết một chương trình mà có thể xác định nếu một tạm dừng chương trình, cho tất cả các chương trình đầu vào càng tốt . Tuy nhiên, tôi chắc chắn có thể viết một chương trình …

23 computability time-complexity formal-methods se.software-engineering

4

Các vấn đề lớn chưa được giải quyết trong các hệ thống phân tán?

Lấy cảm hứng từ câu hỏi này , các vấn đề chính và các giải pháp hiện tại cần cải thiện trong lĩnh vực hệ thống phân tán (lý thuyết) là gì. Một cái gì đó như giao thức thành viên, thống nhất dữ liệu?

23 big-list dc.distributed-comp

2

Tự nhiên để giảm màu k

Rõ ràng có sự giảm từ CLIQUE sang k-Color vì cả hai đều là NP-Complete. Trên thực tế, tôi có thể xây dựng một cái bằng cách kết hợp giảm từ CLIQUE xuống 3-SAT với mức giảm từ 3-SAT xuống k-Color. Điều tôi băn khoăn là liệu có sự giảm …

23 cc.complexity-theory graph-theory np-hardness reductions

2

Hệ thống chứng minh tổng bình phương

Gần đây tôi đã thấy một số bài viết về arxiv đề cập đến một hệ thống bằng chứng được gọi là tổng bình phương. Ai đó có thể giải thích một bằng chứng tổng bình phương là gì và tại sao các bằng chứng đó là quan trọng / …

23 cc.complexity-theory lo.logic algebraic-complexity proof-complexity sum-of-squares

6

Kỹ thuật nâng cao để xác định giới hạn phức tạp thấp hơn

Một số bạn có thể đã theo dõi câu hỏi này , đã bị đóng cửa do không phải là cấp độ nghiên cứu. Vì vậy, tôi đang trích ra một phần của câu hỏi ở cấp độ nghiên cứu. Ngoài các kỹ thuật "đơn giản hơn", chẳng hạn như …

23 cc.complexity-theory reference-request fl.formal-languages time-complexity reductions

1

Yêu cầu delta giữa thủ tục tố tụng và phiên bản tạp chí

Gần đây tôi nhận được các bài báo của mình bị từ chối từ các tạp chí (ví dụ, TALG) trên cơ sở không có sự khác biệt đáng kể giữa phiên bản tạp chí và thủ tục tố tụng (ví dụ, SODA). Những lý do chính để tôi gửi …

23 soft-question research-practice conferences journals

2

Có một hệ thống phân cấp biểu cảm cho các hệ thống loại?

Lấy cảm hứng từ các hệ thống phân cấp mở rộng trong lý thuyết phức tạp, tôi tự hỏi liệu các hệ thống phân cấp như vậy cũng có mặt cho các hệ thống loại. Tuy nhiên, hai ví dụ tôi tìm thấy cho đến nay đều giống như danh …

23 pl.programming-languages type-theory