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

Có bất kỳ vấn đề tự nhiên nào trong không (được biết là / được cho là) ​​trong không?NP∩coNPNP∩coNPNP \cap coNPUP∩coUPUP∩coUPUP \cap coUP Rõ ràng cái lớn mà mọi người đều biết trong là phiên bản quyết định của bao thanh toán (n có yếu tố kích thước tối đa …

26 cc.complexity-theory  complexity-classes  np 

Giả sử chúng ta thư giãn vấn đề đếm màu phù hợp bằng cách đếm các màu có trọng số như sau: mỗi màu thích hợp sẽ có trọng số 1 và mọi màu không đúng sẽ có trọng số trong đó c là một số không đổi và v …

26 graph-theory  approximation-algorithms  approximation-hardness  counting-complexity  graph-colouring 

Đối với một công thức 3CNF để là số tối đa của các điều khoản thỏa mãn trong bất kỳ chuyển nhượng tới . Được biết, Max-3SAT khó gần đúng (theo P ≠ NP), tức là không có thuật toán đa thời gian có đầu vào là công thức 3CNF …

26 cc.complexity-theory  sat 

Là vấn đề sau NP-cứng? Với một cấu hình ban cho thảo quốc tế , tìm một động thái pháp lý duy nhất.n×nn×nn\times n Vấn đề tương ứng đối với người kiểm tra người Mỹ (còn gọi là bản nháp tiếng Anh) có thể giải quyết được trong thời gian …

26 cc.complexity-theory  np-hardness  open-problem  board-games 

Tôi đang cố gắng xoay quanh những gì khác biệt thực sự giữa Mô hình diễn viên đồng thời và mô hình quy trình liên tục (CSP) của diễn viên. Cho đến nay, điều tốt nhất mà tôi có thể đưa ra là Mô hình Actor cho phép số lượng …

26 concurrency 

Có thể dịch một công thức boolean B thành một tổ hợp tương đương của mệnh đề Horn không? Bài viết trên Wikipedia về HornSAT dường như ngụ ý rằng nó là như vậy, nhưng tôi không thể theo đuổi bất kỳ tài liệu tham khảo nào. Lưu ý rằng …

26 reference-request  lo.logic  sat 

Tôi hiện đang đọc " Lambda- Compus and Combinators " của Hindley và Seldin. Tôi không phải là một chuyên gia, nhưng luôn quan tâm đến tính toán lambda vì liên quan đến lập trình chức năng (bắt đầu với Lisp và SICP, và bây giờ với R và Haskell). …

26 combinatory-logic  functional-programming  lambda-calculus 

Xem xét vấn đề che phủ tập tối thiểu với các hạn chế sau: mỗi bộ chứa tối đa kkk phần tử và mỗi phần tử của vũ trụ xảy ra trong tối đa fff bộ. Ví dụ: trường hợp k=4k=4k = 4 và f=2f=2f = 2 tương đương với …

26 cc.complexity-theory  reference-request  approximation-algorithms  set-cover  np-hardness 

Đối với bất kỳ , tôi nói rằng một chuỗi s của số nguyên trong { 1 , ... , n } là n -complete nếu, mỗi hoán vị p của { 1 , ... , n } , viết như một chuỗi các cặp số nguyên phân biệt p …

25 cc.complexity-theory  co.combinatorics  np-hardness  permutations 

ACSL (Ngôn ngữ đặc tả Ansi C), là một đặc tả cho mã C, được chú thích với các nhận xét đặc biệt, cho phép mã C được xác minh chính thức. Tôi chưa nhìn vào nó, nhưng tôi tưởng tượng rằng các phương thức chính thức được sử dụng …

25 lo.logic  pl.programming-languages  functional-programming  formal-methods  haskell 

Một đặc điểm nổi tiếng của các trường hợp -SAT là tỷ lệ của số mệnh đề so với số lượng biến , nghĩa là thương số . Với mỗi , có một giá trị ngưỡng st \ cho , hầu hết các trường hợp đều thỏa đáng và đối …

25 cc.complexity-theory  sat  random-k-sat  phase-transition 

Theo D. den Hertog, Phương pháp tiếp cận điểm nội bộ đối với lập trình tuyến tính, bậc hai và lồi, 1994 , một chương trình tuyến tính với biến, ràng buộc và độ chính xác có thể giải quyết được trong thời gian . Điều đó đã được cải …

25 cc.complexity-theory  reference-request  linear-programming 

Có ngôn ngữ hoàn chỉnh NP (tốt nhất là tự nhiên) , sao cho với mọi giữ? Nói cách khác, chứa chính xác một nửa của tất cả các trường hợp -bit. n ≥ 1 | L ∩ { 0 , 1 } n | = 2 nL⊆{0,1}∗L⊆{0,1}∗L\subseteq \{0,1\}^*n≥1n≥1n\geq 1 …

25 cc.complexity-theory  np  np-complete 

Tôi cần tính toán trung bình đang chạy: Đầu vào: , k , vectơ ( x 1 , x 2 , Mạnh , x n ) .nnnkkk( x1, x2, Lọ , xn)(x1,x2,…,xn)(x_1, x_2, \dotsc, x_n) Output: vector , nơi y i là trung bình ( x i , x i …

25 ds.algorithms  ds.data-structures  lower-bounds 

Bạn có biết hậu quả thú vị của các phỏng đoán (tiêu chuẩn) trong lý thuyết phức tạp trong các lĩnh vực khác của toán học (tức là ngoài khoa học máy tính lý thuyết) không? Tôi muốn câu trả lời trong đó: phỏng đoán lý thuyết phức tạp là …

25 cc.complexity-theory  conditional-results