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

Chúng tôi được cung cấp ngăn xếp chứa "vật phẩm" có màu khác nhau và một cỗ máy có thể xử lý nhiều vật phẩm cùng màu trong một lần. Ở mỗi bước, chúng ta có thể xóa một mục khỏi đầu mỗi ngăn xếp và đưa nó vào máy …

8 ds.algorithms  reference-request  scheduling 

Như chúng ta đã biết Đồ thị đẳng hình trong NP nhưng nó không được biết là NP-Complete hoặc P-Complete. Tôi đã tự hỏi nếu có bất kỳ vấn đề nào được biết là trong PSPACE nhưng không được biết là PSPACE-Complete và không nằm trong PH?

8 cc.complexity-theory  complexity-classes 

Câu hỏi là liệu có thể mô hình hóa trong logic tuyến tính hai chế độ truy cập vào một tài nguyên. Tôi biết rằng hai chế độ tài nguyên là có thể, tức là: r ⊢!r⊢!r⊢!r \vdash r hoàn toàn khả dụng r chỉ có sẵn một lần r⊢r⊢r …

8 lo.logic  linear-logic 

Tôi đang viết một trình kiểm tra mô hình đồ chơi và tôi đang ở thời điểm thực hiện dịch thuật LTL sang Buchi automata. Vì nhiều lý do rõ ràng, tôi muốn thuật toán đơn giản :) ví dụ tôi muốn mã vẫn cực kỳ rõ ràng và súc …

8 lo.logic  automata-theory  model-checking  program-verification  linear-temporal-logic 

Ý tưởng cơ bản của cảm ứng ngược là bắt đầu với tất cả các vị trí cuối cùng có thể có của một trò chơi trong đó người chơi X thắng. Vì vậy, đối với cờ vua, hãy nhìn vào tất cả các cách mà Trắng có thể chiếu …

8 cc.complexity-theory  graph-algorithms  board-games 

Các tài liệu tham khảo tốt nhất để tự học trong DATALOG là gì? Tôi đặc biệt quan tâm đến sức mạnh biểu cảm, kết quả phức tạp, phương pháp đánh giá, phần mở rộng của DATALOG với phủ định, v.v ... Có cuốn sách hay bài báo nào đề …

8 reference-request  lo.logic  db.databases  logic-programming 

vui lòng bạn có thể cung cấp tài liệu tham khảo hoặc đưa ra ví dụ cụ thể về các vấn đề hoàn chỉnh PSPACE có thể giải quyết được trong thời gian giả đa thức? Ghi chú bổ sung: Định nghĩa về thời gian giả đa thức: http://en.wikipedia.org/wiki/Pseudo-polynomial_time Trả …

8 cc.complexity-theory  complexity-classes 

Tôi đang tìm kiếm công việc trên các hệ thống tương tự các trình tự bậc cao của K. Dosen ("Hệ thống tuần tự cho logic phương thức", JSL 50 ). Công trình duy nhất mà tôi biết là công trình gần đây của Iemhoff và Metcalfe ("Lý thuyết chứng …

8 reference-request  lo.logic  proof-theory 

Tôi hiểu sự nhất quán nghiêm ngặt và tuần tự độc lập khá tốt. Strict C về cơ bản thực thi thứ tự thực tế trong đó các hướng dẫn chạy trên đồng hồ toàn cầu. Tính nhất quán tuần tự về cơ bản thực thi lệnh chỉ trên một …

8 pl.programming-languages  dc.parallel-comp  concurrency 

Câu hỏi đặt ra là: Có phải sơ đồ xấp xỉ đa thời gian cho các bài toán hoàn thành NP có thuật toán thời gian giả đa thức (ví dụ như ba lô chẳng hạn) không?

8 cc.complexity-theory  approximation-algorithms 

Bổ đề sau đây không khó để chứng minh. Bổ đề : Đặt và . Nếu là số nguyên (một số trong số chúng có thể âm) sao cho , thì số nguyên thỏa mãn sao cho | m'_1 | + | m'_2 | + \ dot + | m'_r …

8 reference-request  nt.number-theory 

Kết nối đại số của đồ thị G là giá trị riêng nhỏ thứ hai của ma trận Laplacian của G. Giá trị riêng này lớn hơn 0 khi và chỉ khi G là đồ thị được kết nối. Độ lớn của giá trị này phản ánh mức độ kết …

8 graph-theory  co.combinatorics  spectral-graph-theory 

Lấy cảm hứng từ câu hỏi này , tôi tò mò liệu có một chiến lược rút gọn nào cho các tổ hợp SKI chưa được kiểm tra được biết là bình thường hóa hay vĩnh viễn. Như được mô tả ở đây (Twelfed ở đây ), các quy tắc …

8 pl.programming-languages  combinatory-logic 

Kích thước VC là thước đo độ phức tạp của các lớp hàm được liên kết chặt chẽ với độ phức tạp của mẫu. Kích thước phân tán chất béo là một khái quát phù hợp với các miền được đặt hàng phong phú hơn: tức là . Có một …

8 reference-request  lg.learning  vc-dimension 

Tôi đang xem trang 28 của Lovasz "Các chương trình Semidefinite và tối ưu hóa tổ hợp" và nó đưa ra xấp xỉ số độc lập sau của biểu đồ phụ thuộc vào Z ≻ 0 Z i j = 0 ∀ i j ∈ E ( G ) t …

8 ds.algorithms  graph-theory  semidefinite-programming  independent-set