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

5

Cuốn sách tốt nhất về thực hiện Phương pháp Simplex?

Tôi quan tâm đến việc triển khai SM cho nhiệm vụ LP, tuy nhiên tôi đã nghe về những cạm bẫy có thể xảy ra: Cuốn sách của Cormen nói rằng có thể có dữ liệu đầu vào sẽ khiến việc triển khai ngây thơ hành xử theo thời gian …

14 ds.algorithms linear-programming software implementation simplex

2

Lớp phức tạp tương ứng với sắp xếp

Hai phần của TCS là thuật toán và độ phức tạp. Tôi sẽ nói một cách đơn giản rằng các thuật toán là nghiên cứu về giới hạn trên, cho thấy rằng bạn có thể làm một cái gì đó (với các tài nguyên bị hạn chế) và sự phức …

14 cc.complexity-theory sorting

1

Thuật toán nhanh nhất để tính thứ hạng của ma trận hình chữ nhật là gì?

Cho một ma trận (giả sử m ≥ n ), thuật toán nhanh nhất để tính thứ hạng và cơ sở của các cột là gì?m×nm×nm \times nm≥nm≥nm \ge n Tôi biết rằng nó có thể được giải quyết thông qua giao tuyến matroid tuyến tính, trong đó ngụ ý …

14 ds.algorithms reference-request time-complexity linear-algebra matrices

6

Đồ thị phẳng qua giao điểm của chất béo?

Có một định lý tuyệt đẹp về Koebe (xem ở đây ) nói rằng bất kỳ đồ thị phẳng nào cũng có thể được vẽ dưới dạng đồ thị hôn của đĩa (rất lãng mạn ...). (Đặt nó hơi khác một chút, bất kỳ đồ thị phẳng nào cũng có …

14 cg.comp-geom planar-graphs

2

Sự tồn tại của máy chủ khoảng cách phẳng?

Đặt G là đồ thị vô hướng của nút n và đặt T là tập con nút của V (G) được gọi là terminal . Một bộ bảo vệ khoảng cách của (G, T) là một đồ thị H thỏa mãn tính chất dH(u,v)=dG(u,v)dH(u,v)=dG(u,v)d_H(u,v) = d_G(u,v) cho tất cả các …

14 ds.algorithms reference-request graph-algorithms planar-graphs

1

Giới hạn thấp hơn về kích thước của CFG cho các ngôn ngữ hữu hạn cụ thể

Hãy xem xét câu hỏi tự nhiên sau: Cho một ngôn ngữ hữu hạn , ngữ pháp không ngữ cảnh nhỏ nhất tạo ra gì?LLLLLL Chúng ta có thể làm cho câu hỏi trở nên thú vị hơn bằng cách chỉ định một chuỗi ngôn ngữ , ví dụ là …

14 reference-request fl.formal-languages lower-bounds grammars context-free

2

Thuật toán sắp xếp các cặp số

Tôi đã hỏi câu hỏi này trên stackoverflow , nhưng có lẽ nó phù hợp hơn với trang web này. Vấn đề là: Tôi có N cặp số nguyên không dấu. Tôi cần sắp xếp chúng. Vectơ kết thúc của các cặp nên được sắp xếp không giới hạn theo …

14 ds.algorithms sorting

3

Giới hạn dưới cho cấu trúc dữ liệu

Các kết quả được biết có loại trừ sự tồn tại của cấu trúc dữ liệu "quá tốt không đúng sự thật" không? Ví dụ: người ta có thể thêm chức năng và vào cấu trúc dữ liệu bảo trì đơn hàng (xem Dietz và Sleator STOC '87 ) và …

14 ds.data-structures big-list lower-bounds time-complexity

6

Những gì được biết về hiệu quả của máy tính đáng tin cậy?

Làm thế nào tốt vấn đề sau đây đã được điều tra trong TCS? (Tôi xin lỗi nếu tuyên bố vấn đề nghe có vẻ mơ hồ!) Đưa ra một Mô hình tính toán MC (Máy Turing, Máy tự động di động, Máy Kolmogorov-Uspenskii ... vv) và Mô hình tiếng …

14 machine-models

4

Đếm số lượng đỉnh của đỉnh: khi nào thì khó?

Hãy xem xét bài toán hoàn thành # P về việc đếm số lượng đỉnh của một đồ thị đã cho .G=(V,E)G= =(V,E)G = (V, E) Tôi muốn biết liệu có bất kỳ kết quả nào cho thấy độ cứng của vấn đề đó thay đổi như thế nào với …

14 cc.complexity-theory graph-theory counting-complexity time-complexity

2

Hoàn toàn tương đương về chức năng của B-Tree?

Tôi đang khám phá ý tưởng viết một DBMS theo cách hoàn toàn chức năng. Cấu trúc dữ liệu truyền thống được sử dụng để lập chỉ mục là B-Tree. Tôi muốn biết một số tương đương chức năng hoàn toàn của B-Tree sẽ được tối ưu hóa để giảm …

14 ds.data-structures functional-programming db.databases

2

Sự đánh đổi không-thời gian và thuật toán tốt nhất

Hãy xem xét một số ngôn ngữ sao cho:LLL L ∈ D TTôiME( O ( f( n ) ) ) ∩ D SPACE( Ô (g( n ) ) )L∈DTTôiME(Ôi(f(n)))∩DSPMộtCE(Ôi(g(n)))L \in DTIME(O(f(n))) \cap DSPACE(O(g(n))) và vì vậy mà L ∉ D TTôiME( o ( f( n ) ) ) ∪ D …

14 cc.complexity-theory ds.algorithms open-problem space-time-tradeoff

2

Thuật toán hiệu quả để cập nhật cây phân tích cú pháp

Giả sử tôi có một khối mã lớn mà tôi đã viết và phân tích cú pháp. Giả sử chỉ cần một nhân vật thay đổi; Tôi muốn cập nhật phân tích cú pháp của mình, nhưng vì sửa đổi rất nhỏ so với toàn bộ, tôi muốn biết liệu …

14 fl.formal-languages parsing

2

Cắt bỏ để tính toán với nats hoặc kiểu dữ liệu quy nạp khác?

Có ai hướng tôi đến một bài viết chi tiết một định lý loại bỏ cho logic trực giác mệnh đề, bao gồm một kiểu dữ liệu quy nạp như số tự nhiên (danh sách hoặc cây cũng sẽ tốt) không? Một ví dụ về các loại hệ thống tôi …

14 lo.logic pl.programming-languages sequent-calculus

2

Tổng quát hóa thuật toán Hungary sang đồ thị vô hướng chung?

Thuật toán Hungary là một thuật toán tối ưu hóa tổ hợp, giải quyết vấn đề khớp lưỡng cực trọng lượng tối đa trong thời gian đa thức và dự đoán sự phát triển sau này của phương pháp nhị phân quan trọng . Thuật toán được phát triển và …

14 graph-theory reference-request graph-algorithms linear-programming primal-dual