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

Trong giấy bởi Kempe-Kleinberg-Tardos, Authors đề xuất một giải thuật tham lam dựa trên chức năng submodular để xác định nhất nút có ảnh hưởng trong một đồ thị, với các ứng dụng mạng xã hội.kkk Về cơ bản thuật toán diễn ra như sau: S= e m p t …

13 ds.algorithms  graph-theory  dc.distributed-comp  social-sciences  heuristics 

Có bất kỳ vấn đề nào là NP-đầy đủ khi sử dụng hình học Euclide nhưng được xác định rõ và có thể giải quyết được trong thời gian đa thức đối với một số hình học không phải là euclide?

13 reference-request  cg.comp-geom 

Chong, Han và Lam đã chỉ ra rằng kết nối st không mong muốn có thể được giải quyết trên EREW PRAM trong thời gian với bộ xử lý .O ( log n )Ôi(đăng nhậpn)O({\log}n)O ( m + n )Ôi(m+n)O(m+n) Thuật toán song song được biết đến nhiều nhất cho …

13 ds.algorithms  graph-theory  dc.parallel-comp 

Chương 1 của cuốn sách Phương pháp xác suất, của Alon và Spencer đề cập đến vấn đề sau: Đưa ra biểu đồ , quyết định xem kết nối cạnh của nó có ít nhất là hay không.GGGn/2n/2n/2 Tác giả đã đề cập đến sự tồn tại của thuật toán …

13 ds.algorithms  open-problem  graph-algorithms 

Parity-L, còn được gọi là L, là tập hợp các ngôn ngữ được công nhận bởi một máy Turing không xác định, chỉ có thể phân biệt giữa một số chẵn hoặc số lẻ của các đường dẫn "chấp nhận". Một câu hỏi liên quan gần đây đã được Niel …

13 cc.complexity-theory  counting-complexity 

Chi nhánh và ràng buộc là một heuristic hiệu quả cho các vấn đề tìm kiếm và Wikipedia liệt kê một số vấn đề khó khăn trong đó chi nhánh và liên kết đã được sử dụng. Tuy nhiên, tôi không thể tìm thấy tài liệu tham khảo để đề …

13 ds.algorithms  reference-request  optimization  heuristics 

Câu hỏi này được thúc đẩy bởi một câu hỏi MathOverflow của Peng Zhang . Valiant đã chỉ ra rằng việc đếm các nhóm tối đa trong một biểu đồ chung là # P-đầy đủ, nhưng điều gì sẽ xảy ra nếu chúng ta hạn chế các biểu đồ không …

13 cc.complexity-theory  counting-complexity  partial-order  clique 

Thuật toán DEFLATE phổ biến sử dụng mã hóa Huffman trên đầu trang Lempel-Ziv. Nói chung, nếu chúng ta có một nguồn dữ liệu ngẫu nhiên (= 1 bit entropy / bit), thì không có mã hóa, kể cả Huffman, có khả năng nén nó trung bình. Nếu Lempel-Ziv là …

13 ds.algorithms  it.information-theory  coding-theory  encoding 

Tôi đang tìm kiếm một triển khai của một thuật toán để tính toán độ rộng đường dẫn của đồ thị. Người ta biết rằng tính toán độ rộng đường dẫn tương đương với tính toán số tìm kiếm nút, số tách đỉnh hoặc độ dày khoảng của biểu đồ. …

13 ds.algorithms  reference-request  graph-algorithms  implementation 

Trong " Lời khuyên cho sinh viên mới tốt nghiệp " của Manuel Blum : LEONID LEVIN tin rằng tôi làm điều đó bất cứ câu trả lời nào cho P = NP? vấn đề, nó sẽ không giống như bất cứ điều gì bạn nghĩ nó nên được. Và …

13 ds.algorithms  reference-request  factoring 

Tuyên bố miễn trừ trách nhiệm : trong khi tôi quan tâm đến lý thuyết loại, tôi không coi mình là một chuyên gia về lý thuyết loại. Trong phép tính lambda được gõ đơn giản, kiểu số 0 không có hàm tạo và hàm khử duy nhất: Γ⊢M:0Γ⊢initial(M):AΓ⊢M:0Γ⊢initial(M):A\frac{\Gamma \vdash …

13 pl.programming-languages  type-theory  lambda-calculus  semantics 

Bối cảnh. Tôi viết về các chủ đề như định lý Gottesman-Knill , sử dụng các nhóm ổn định Pauli, nhưng trong trường hợp của d qudits chiều - nơi d có thể có nhiều hơn một yếu tố quan trọng. (Tôi nhấn mạnh điều này vì đại đa số …

13 reference-request  quantum-computing 

Hãy xem xét vấn đề sau - Với tối đa phẳng đồ thị và , tìm đồ thị với số lượng tối đa của các cạnh như rằng có một đồ thị con (không nhất thiết gây ra) trong cả hai và đó là đẳng cấu với .G 2 G …

13 ds.algorithms  graph-algorithms  planar-graphs 

Bối cảnh Câu hỏi này được thúc đẩy bởi một trò chơi bảng gọi là 'Dracula'. Trong trò chơi này có một ma cà rồng và bốn thợ săn, mục đích của những người thợ săn là bắt ma cà rồng. Trò chơi diễn ra ở châu Âu. Trò chơi …

13 graph-theory  co.combinatorics  board-games  combinatorial-game-theory 

Tôi đang bắt đầu nghiên cứu khả năng dựa vào bộ giải SAT để giải quyết vấn đề tối ưu hóa mà tôi quan tâm và hiện đang tìm kiếm một cuộc khảo sát có các ví dụ về các phép biến đổi "thông minh" thành các biến thể của …

13 ds.algorithms  reference-request  sat  optimization