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

Vì vậy, vấn đề bao trùm tập hợp là không đáng kể nếu không có bộ ứng cử viên nào giao nhau. Tuy nhiên, nếu kích thước của giao điểm cho bất kỳ cặp ứng cử viên nào nhiều nhất là 1 thì sao? Vấn đề này có khó NP …

11 set-cover 

Lý thuyết loại Martin-Löf sử dụng loại W để xác định cấu trúc quy nạp như số nguyên, danh sách, v.v. Tuy nhiên, tính toán của các cấu trúc quy nạp không sử dụng chúng theo cùng một cách, các loại quy nạp dường như giống như các lược đồ …

11 lo.logic  type-theory 

Đây là một vấn đề với một hương vị tương tự như học tập juntas: Dữ liệu vào: Một hàm f:{0,1}n→{−1,1}f:{0,1}n→{−1,1}f: \{0,1\}^n \rightarrow \{-1,1\} , được biểu thị bằng một lời tiên tri thành viên, tức là một lời tiên tri đã cho xxx , trả về f(x)f(x)f(x) . Mục …

11 machine-learning  lg.learning  boolean-functions  sample-complexity 

Trong các định lý miễn phí! , Wadler nói rằng đặc tính của tham số có thể được thể hiện lại dưới dạng các biến đổi tự nhiên lỏng lẻo và đây sẽ là chủ đề của một bài báo tiếp theo. Anh ấy đang đề cập đến tờ giấy …

11 reference-request  ct.category-theory  parametricity 

Sau khi đọc một câu hỏi liên quan , về các bằng chứng tồn tại phi xây dựng của các thuật toán, tôi đã tự hỏi liệu có phương pháp nào cho thấy sự tồn tại của các máy tính "nhỏ" (nói, thông thái) mà không thực sự xây dựng …

11 cc.complexity-theory  automata-theory  turing-machines 

Theo như tôi biết, định mức nhân tố bị ràng buộc thấp hơn do Linial và Shraibman đưa ra về cơ bản là giới hạn dưới duy nhất được biết đến với độ phức tạp truyền thông lượng tử (hoặc ít nhất là nó bao gồm tất cả những thứ …

11 quantum-information  communication-complexity  norms 

Tôi có câu hỏi liên quan đến các chức năng thuần túy. Theo trang Wikipedia, một trong những điều cần thiết cho một chức năng thuần túy là: Đánh giá kết quả không gây ra bất kỳ tác dụng phụ hoặc đầu ra có thể quan sát được về mặt …

11 functional-programming  semantics 

Là yêu cầu sau đây được biết đến? Yêu cầu : Đối với bất kỳ đồ thị với n đỉnh tồn tại một màu của G như vậy mà mỗi bộ độc lập được tô điểm bởi nhiều nhất là O ( √GGGnnnGGGmàu sắc.Ô ( n--√)O(n)O(\sqrt{n})

11 reference-request  graph-colouring 

Có một cách tài liệu để tính toán các nút thắt? (chu vi được nhúng trong không gian Euclide 3 chiều). Ý tôi là, một kiểu dữ liệu để biểu diễn chúng và một thuật toán để xác định xem hai trường hợp của kiểu dữ liệu có biểu thị …

11 ds.algorithms  computability 

Bạn có biết các vấn đề là W [1] -hard ngay cả đối với các biểu đồ mức độ giới hạn không? Kích thước số liệu khó đối với các biểu đồ có độ lớn nhất là 3, nhưng đó là W [2] -hard. Red-Blue Nonblocker từng là W [1] …

11 reference-request  parameterized-complexity 

Tôi đang tìm kiếm một lớp phức tạp liên quan đến APX vì BPP liên quan đến P. Tôi đã hỏi cùng một câu hỏi ở đây , nhưng có lẽ TCS sẽ là một địa điểm hiệu quả hơn cho câu trả lời. Lý do của câu hỏi là …

11 cc.complexity-theory  approximation-hardness 

Impagliazzo, Paturi và Calabro, Impagliazzo, Paturi đã giới thiệu Giả thuyết theo thời gian lũy thừa (ETH) và Giả thuyết thời gian theo hàm mũ mạnh mẽ (SETH). Một cách thô bạo, SETH nói rằng không có thuật toán nào giải được SAT trong thời gian . 1.99n1.99n1.99^n Tôi đã …

11 cc.complexity-theory  sat  exp-time-algorithms 

Lớp UP được định nghĩa như sau: Lớp các vấn đề quyết định có thể giải quyết được bằng máy NP sao cho Nếu câu trả lời là "có", chính xác một đường dẫn tính toán chấp nhận. Nếu câu trả lời là 'không', tất cả các đường dẫn tính …

11 cc.complexity-theory  complexity-classes 

Vấn đề "Thứ hai " là vấn đề quyết định sự tồn tại của một giải pháp khác khác với một số giải pháp cụ thể cho trường hợp vấn đề.XXX Đối với một số vấn đề -complete, phiên bản giải pháp thứ hai là -complete (quyết định sự tồn …

11 cc.complexity-theory  unique-solution 

Định nghĩa duy nhất về "tính toán" mà tôi biết là nghiên cứu về các giới hạn, đạo hàm, tích phân, v.v. trong phân tích. Theo nghĩa nào thì lambda tính toán (hoặc những thứ như mu tính toán) là một "phép tính"? Làm thế nào nó liên quan đến …

11 terminology  lambda-calculus