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

3

Bây giờ có một quan sát nổi tiếng rằng nhiều cấu trúc đồ họa phát sinh trong các thiết lập tự nhiên có xu hướng tuân theo các thuộc tính không có tỷ lệ, chẳng hạn như luật công suất phân phối độ. Có ví dụ nào hay về đồ …

8 graph-theory ni.networking-internet

3

Tìm góc gần nhất của khối trong

Làm thế nào người ta có thể tìm thấy các góc của khối đơn vị trong gần một điểm trong khối? Sử dụng số liệu L1, sao cho trong 4d | - 0000 | = , | - 0001 | = ( ở bên phải), v.v.d+ 1d+1d+1RdRd\mathbb{R}^dxxxxxxΣ xTôi∑xi\sum {x_i}xxxx3+ x2+ …

8 ds.algorithms approximation-algorithms heuristics

1

Sự phức tạp của game giải đố Net

Net (còn gọi là Freenet, hoặc như NetWalk) là một trò chơi câu đố chơi trên một lưới với các đối tượng sau đây:n×nn×nn \times n Có máy tính ; mỗi máy tính chiếm một ô và có một cáp liên kết;mmm mỗi máy tính phải được kết nối với …

8 cc.complexity-theory reference-request np-hardness puzzles

2

Hệ thống IO dựa trên tiếp tục?

Gần đây, tôi đã chơi xung quanh với những hồi tưởng , chủ yếu là từ bài báo kinh điển của Abramsky Retracing Một số con đường trong Đại số quá trình . Chúng khá lắt léo (về cơ bản là các giải pháp cho phương trình miền ) và …

8 reference-request pl.programming-languages functional-programming

1

Động lực để phát triển các thuật toán Simplex đường dẫn ngắn nhất

Tôi đang đọc các thuật toán Simplex đường dẫn ngắn nhất hiệu quả của Donald Goldfarb, Jianxiu Hao và Shen-Roan Kai, những người đã xem xét "chuyên môn hóa thuật toán đơn giản nguyên thủy cho vấn đề tìm một cây đường dẫn ngắn nhất từ một nút nhất định …

8 ds.algorithms linear-programming shortest-path simplex

1

Đại số (hoặc số) bất biến của các lớp phức tạp

Tôi hy vọng câu hỏi này không quá ngây thơ cho trang web này. Trong toán học (cấu trúc liên kết, hình học, đại số) người ta thường phân biệt giữa hai đối tượng bằng cách đưa ra một bất biến đại số hoặc số, và chứng minh hai đối …

8 cc.complexity-theory complexity-classes algebra

1

Giới hạn về giá trị riêng nhỏ hơn của ma trận kề của đồ thị

Có bất kỳ giới hạn đã biết (không tầm thường) nào (kết hợp trong tự nhiên, dựa trên các tính chất tính toán đa thời gian của đồ thị) trên giá trị thứ ba, nhỏ nhất của ma trận kề (không trọng số) không? Ví dụ: chúng ta biết rằng …

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

1

So sánh các số nguyên tố

Giả sử chúng ta có hai số được nhân tố thành các số nguyên tố của chúng, được biểu diễn dưới dạng danh sách (p, d), trong đó tất cả p là số nguyên tố và d là lũy thừa của p. Có cách nào để so sánh hai số …

8 ds.algorithms nt.number-theory

1

Xóa / co rút nhanh trong nhúng tổ hợp

Tôi tự hỏi nếu có một thuật toán tuyến tính để thực hiện xóa hoặc thu hẹp một cạnh trong một tổ hợp nhúng , giả sử, đồ thị phẳng? Vì trong quá trình nhúng tổ hợp, chúng ta phải duy trì các đỉnh của G và G * cùng …

8 ds.algorithms graph-theory graph-algorithms planar-graphs embeddings

1

Họ Sperner tối đa hóa các tập hợp con của một phân vùng

Hãy AAA là một tập hợp các kích thước kkk và BBB là một tập hợp các kích thước ℓℓ\ell , cho cố định kkk và ℓℓ\ell , và như vậy mà A∩B=∅A∩B=∅A\cap B=\emptyset . Gia đình (hoặc a) Sperner FF\mathcal{F} trên A∪BA∪BA\cup B gì mà FB={C∩B : C∈F}FB={C∩B : …

8 reference-request co.combinatorics

1

Sử dụng đo lường của Savitch

Trong bài viết năm 1969 của Savitch, "Mối quan hệ giữa độ phức tạp băng không xác định và xác định", ông nói rằng "tất cả các hàm lưu trữ phổ biến L (n)> = lg n đều có thể đo lường được. Đặc biệt, mọi đa thức trong n …

8 cc.complexity-theory pspace space-complexity

2

Lưới nhỏ trong sơ đồ

Thor Johnson, et al, trong bài báo của họ: Chiều rộng cây có hướng , đã đưa ra một định nghĩa cho lưới định hướng , và họ phỏng đoán:JkJkJ_k ( 5.1 )(5.1)(5.1) Với mỗi số nguyên tồn tại một số nguyên sao cho mọi sơ đồ có độ rộng …

8 reference-request graph-theory co.combinatorics graph-minor

1

Tối đa hóa chức năng mô đun con của hai bộ với các ràng buộc kích thước khác nhau

Tôi có hai miền hoàn toàn khác biệt (táo và cam) và tôi có một hàm lấy một tập hợp các đối tượng từ miền đầu tiên và một tập hợp các đối tượng từ miền thứ hai và trả về một số thực.fff có các thuộc tính thú vị …

8 ds.algorithms optimization submodularity

1

câu hỏi về giấy ZK đồng thời của Mitchhakaran & Sahai

Bằng chứng không có kiến thức đồng thời với độ phức tạp tròn logarit Số trang là từ chính tờ giấy chứ không phải pdf. Từ trang 3, "Một hệ thống chứng minh tương tác được cho là hộp đen (tính toán) không biết nếu có một cỗ máy thời …

8 cr.crypto-security concurrency zero-knowledge

1

Sự phức tạp của việc sắp xếp

Không khó để chỉ ra rằng việc sắp xếp một mảng các số là khó đối với . Nếu đầu vào là một mảng 1s và 0 thì thực chất đó là hàm C o u n t (đã cho n bit, xuất số 1s trong nhị phân) vì C …

8 cc.complexity-theory circuit-complexity sorting