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

Tôi đã tìm thấy một bài báo có tiêu đề " Bao số nguyên và tính toán logarit rời rạc thông qua xấp xỉ diophantine " của CP Schnorr từ năm 1993. Có vẻ như một phương pháp xác suất với thời gian chạy đa thức dự kiến ​​(và không …

8 ds.algorithms  approximation-algorithms  integer-programming 

Tôi đã đọc một bài báo của một nhà hóa học toán học. Ông đề xuất một số chỉ số để đo độ phức tạp của các phân tử. Từ đây trở đi, thay vì các phân tử, hãy nghĩ các đồ thị được kết nối vô hướng: một đỉnh …

8 cc.complexity-theory  ds.algorithms  graph-algorithms  clique 

Vấn đề mệnh đề độc lập tối đa được tham số hóa: Đầu vào: Công thức r-CNFSAT F có n biến và m mệnh đề, k Ques: Có tồn tại ít nhất k mệnh đề sao cho chúng độc lập lẫn nhau tức là không có biến nào xảy ra …

8 cc.complexity-theory  parameterized-complexity  fixed-parameter-tractable 

Vấn đề # MONOTONE-2SAT được biết là # P-Complete. Điều này có nghĩa là #SAT có thể được giảm xuống. Câu hỏi của tôi là: đưa ra một ví dụ #SAT , đó là phép biến đổi chuyển đổi F thành ví dụ # MONOTONE-2SAT tương ứng của nó F …

8 cc.complexity-theory  ds.algorithms  complexity-classes  sat 

Tôi đã bắt đầu xem xét các cấu trúc tần suất và các thiết kế kết hợp (động lực có thể: để giới hạn trên một số cấu trúc trong tự lắp ráp tổng quát), và bài viết Wikipedia đưa ra tuyên bố thú vị nhưng chưa giải thích được: …

8 reference-request 

Được biết, nếu thì . Ngoài ra, người ta biết rằng . Dường như PCP không thể cho chúng tôi biết những vấn đề tự nhiên nào không có trong . Tôi tự hỏi nếu có thể sử dụng đặc tính của PCP để tách khỏi .C o N P …

8 cc.complexity-theory  pcp  proof-complexity 

Giả sử bạn có nam và nữ. Mỗi người có thuộc tính. Mỗi người chỉ ra một tập các thuộc tính mà một ứng cử viên có thể nên có. Một kết hợp là một tập hợp các cặp. Mỗi cặp ràng buộc một nam với một nữ. Sự hài …

8 cc.complexity-theory  np-hardness  matching 

Tôi muốn phần nào giỏi tìm kiếm chuỗi và khớp mẫu, bạn có thể chỉ cho tôi một số tài nguyên trực tuyến tốt không? Vấn đề tập thể dục sẽ là tuyệt vời. Cảm ơn.

8 ds.algorithms  string-search 

Có ai biết về bất kỳ hình thức đại số (hoặc liên quan) nào nắm bắt thông tin vị trí hạt mịn? Tôi quen thuộc với môi trường xung quanh và máy in lớn, rõ ràng có mô hình vị trí, nhưng còn những nỗ lực mô hình hóa thông …

8 concurrency  process-algebra  formal-modeling 

Giả sử f:R×R→Rf:R×R→Rf:\mathbf{R}\times \mathbf{R} \to \mathbf{R} là một số hàm liên tục x1…xnx1…xnx_1 \ldots x_n là một tập hợp các giá trị thực, và chúng tôi muốn tính toán argmina∑if(a,xi)argmina∑if(a,xi)\text{argmin}_a \sum_i f(a,x_i) đến độ chính xác theo quy định Có một số kết quả về khó khăn của vấn đề …

8 approximation-algorithms  machine-learning  st.statistics 

Thời gian gần đây đã có một tuyên bố bằng chứng cho thấy P≠ NPP≠NPP \ne NP . Không lâu sau khi xuất bản, đã có một số vấn đề với bằng chứng này. Vậy ... bằng chứng có đúng hay không? (Vui lòng chỉ trả lời câu hỏi này …

8 np-hardness  cc.complexity-theory 

Các sơ đồ quyết định nhị phân được đặt hàng giảm (ROBDD) là một cấu trúc dữ liệu hiệu quả để biểu diễn các hàm boolean của nhiều biến . Tôi muốn để có được một trực giác cho cách hiệu quả họ đang có.f(x1,x2,...,xn)f(x1,x2,...,xn)f(x_1,x_2,...,x_n) Ví dụ, để nén dữ …

8 ds.data-structures  binary-decision-diagrams 

Một vấn đề lập trình cụ thể mà tôi đã gặp gần đây đã làm giảm việc tìm các đường hamiltonian trong một lưới hình chữ nhật trông giống như, A 0 0 0 0 0 0 0 0 0 C D Một số phương pháp phỏng đoán hiệu quả …

8 ds.algorithms  hamiltonian-paths 

Có một số thuật toán ngoài đó có thể trả về một số giá trị chỉ ra mức độ ngẫu nhiên? Tôi tin rằng nó được gọi là Entropy dữ liệu . Gần đây tôi đã đọc bài viết này: http://facemony.rhodes.edu/wetzel/random/mainbody.html Cách tiếp cận phân tích tiền xu của anh …

8 randomness 

Ví dụ: một cách để xem kết hợp trọng lượng tối đa là mỗi đỉnh có một tiện ích bằng với trọng số của cạnh mà nó khớp với và bằng không.f v = w ( e v )vvvfv=w(ev)fv=w(ev)f_v= w(e_v) theo đó, một kết hợp trọng lượng tối đa sau …

8 ds.algorithms  graph-theory