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

Đồ thị đẳng cấu ( ) là ứng cử viên tốt cho bài toán inter Ngay. vấn đề liên quan đến tồn tại trừ khi . Tôi đang tìm kiếm vấn đề tự nhiên khó trong việc giảm Karp (Một vấn đề đồ thị sao cho ).GIGIGINPNPNPNPNPNPP=NPP=NPP=NPGIGIGIXXXGI&lt;mpXGI&lt;pmXGI <_p^m X Có …

15 cc.complexity-theory  graph-theory  graph-isomorphism  np-intermediate 

Đã có một công việc tuyệt vời được thực hiện trên Vĩnh viễn diễn ra trong hai thập kỷ qua. Tôi đã tự hỏi một thời gian về khả năng thuật toán Smooth P cho Ma trận vĩnh viễn không ma trận. Tất nhiên có thuật toán JSV nổi tiếng …

15 cc.complexity-theory  complexity-classes 

Có các nghiên cứu về các thuật toán gần đúng cho các bài toán NP hoàn chỉnh trong thời gian Đa thức và các thuật toán chính xác trong thời gian theo cấp số nhân. Có nghiên cứu nào về các thuật toán gần đúng cho các bài toán hoàn …

15 approximation-algorithms  approximation-hardness 

Điều này được viết trong mục wiki của Thi hành tượng trưng , nhưng tôi không thể tìm thấy bất kỳ tài liệu tham khảo nào cho nó. Bất cứ ai có thể chỉ cho tôi một con trỏ? Cảm ơn bạn.

15 reference-request  lo.logic  program-analysis 

Tôi cho là đầu vào một DAG của n đỉnh trong đó mỗi đỉnh x được dán nhãn bổ sung với một số S ( x ) ⊆ { 1 , ... , n } .GGGnnnxxxS(x)⊆{1,…,n}S(x)⊆{1,…,n}S(x) \subseteq \{1, \ldots, n\} Một loại cấu trúc liên kết của là một mệnh …

15 sorting  directed-acyclic-graph  partial-order  matching  order-theory 

Các nỗ lực xác minh trình biên dịch thường đi xuống để chứng minh trình biên dịch hoàn toàn trừu tượng: rằng nó bảo tồn và phản ánh các tương đương (theo ngữ cảnh). Thay vì cung cấp bằng chứng trừu tượng hóa đầy đủ, một số công việc xác …

15 pl.programming-languages  ct.category-theory  semantics  denotational-semantics  program-verification 

Tôi đã hy vọng rằng ai đó có thể giải thích cho tôi tại sao chính xác vấn đề sản phẩm tập hợp con là NP-hard trong khi vấn đề tổng tập hợp con là NP-hard yếu. Tập hợp con Sum: Với và , không có tồn tại một tập …

15 cc.complexity-theory  np-hardness  reductions  subset-sum 

Được biết, việc giảm thiểu kích thước của biểu thức chính quy là hoàn thành PSPACE ngay cả khi chúng ta có DFA làm thông số kỹ thuật của ngôn ngữ . Kết quả là gì nếu ngôn ngữ là hữu hạn? Người ta có thể xem xét vấn đề …

15 cc.complexity-theory  reference-request  fl.formal-languages  regular-expressions  dfa 

Nếu bạn nhìn vào các tổ hợp đệ quy trong phép tính lambda chưa được xử lý, chẳng hạn như tổ hợp Y hoặc tổ hợp omega: Rõ ràng là tất cả các tổ hợp này kết thúc sao chép một biến ở đâu đó trong định nghĩa của chúng.ωY= …

15 lo.logic  pl.programming-languages  linear-logic 

Lý lịch Bộ nhớ ngoài, hoặc mô hình DAM, xác định chi phí của thuật toán bằng số lượng I / O mà nó thực hiện (về cơ bản, số lượng bộ nhớ cache bị mất). Các thời gian chạy này thường được đưa ra về , kích thước của …

15 ds.algorithms  ds.data-structures  cache-oblivious 

Câu hỏi này là về logic mệnh đề và tất cả các lần xuất hiện của "độ phân giải" nên được đọc là "độ phân giải mệnh đề". Câu hỏi này là một cái gì đó cực kỳ cơ bản nhưng nó đã làm phiền tôi trong một thời gian. …

15 lo.logic  terminology  proof-complexity  proof-theory  resolution 

Chỉnh sửa: Vì tôi chưa nhận được bất kỳ phản hồi / nhận xét nào trong một tuần, tôi muốn nói thêm rằng tôi rất vui khi nghe bất cứ điều gì về vấn đề này. Tôi không làm việc trong khu vực, vì vậy ngay cả khi đó là …

15 reference-request  machine-learning  lg.learning 

Đối với các hệ thống không có loại phụ thuộc, như hệ thống loại Hindley-Milner, các loại tương ứng với các công thức của logic trực giác. Ở đó chúng ta biết rằng các mô hình của nó là đại số Heyting và đặc biệt, để từ chối một công …

15 lo.logic  dependent-type  model-theory  calculus-of-constructions 

Hãy xem xét một vị trí hữu hạn trên mục và là một vị từ đơn điệu không xác định trên (nghĩa là với mọi , , nếu và thì ) . Tôi có thể đánh giá bằng cách cung cấp một nút và tìm hiểu xem có giữ hay …

15 ds.algorithms  lg.learning  partial-order  search-problem  order-theory 

Tôi thường quan tâm đến phương pháp cưỡng bức được sử dụng bởi Baker-Gill-Solovay và Cohen. Tôi đang tìm kiếm nhiều nguồn mà tôi có thể có được trong tay về kỹ thuật hoặc việc sử dụng nó. Có ai có đề nghị?

15 cc.complexity-theory  set-theory