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

3

Sự phức tạp của việc quyết định liệu một ma trận là hoàn toàn thường xuyên

Một ma trận được gọi là hoàn toàn đều đặn nếu tất cả các ma trận vuông của nó có thứ hạng đầy đủ. Ma trận như vậy đã được sử dụng để xây dựng các siêu tập trung. Sự phức tạp của việc quyết định liệu một ma trận …

19 cc.complexity-theory reference-request linear-algebra matrices

4

Tại sao vấn đề đồng thuận rất quan trọng trong điện toán phân tán?

Trong điện toán phân tán, vấn đề đồng thuận dường như là một trong những chủ đề trọng tâm đã thu hút nghiên cứu chuyên sâu. Cụ thể, bài báo "Không thể đồng thuận phân tán với quy trình một lỗi" đã nhận được giải thưởng giấy ảnh hưởng PODC …

19 reference-request big-picture dc.distributed-comp

2

Tính toán hằng số Cheeger: khả thi cho các lớp nào?

Tính hằng số Cheeger của đồ thị , còn được gọi là hằng số đẳng tích (vì về cơ bản nó là tỷ lệ diện tích / thể tích tối thiểu), được gọi là hoàn thành NP. Nói chung là gần đúng. Tôi quan tâm để tìm hiểu nếu các …

19 ds.algorithms reference-request graph-algorithms

4

Độ phức tạp tính toán trong tài chính định lượng

Dự đoán thị trường chứng khoán là khó! TCS có thể làm cho tình cảm này chính thức hơn? Gần đây tôi đã bắt đầu suy nghĩ một chút về tài chính, và đang tự hỏi làm thế nào kiến thức về TCS có thể giúp đỡ. Các quỹ phòng …

19 cc.complexity-theory reference-request survey ce.computational-finance algorithmic-lens

11

Mô hình đồ thị ngẫu nhiên, cho các mạng máy tính thực

Tôi quan tâm đến các mô hình đồ thị ngẫu nhiên tương tự như đồ thị của các mạng máy tính thực. Tôi không chắc chắn nếu mô hình nghiên cứu tốt ( n đỉnh, mỗi cạnh có thể được chọn với xác suất p ) có tốt cho việc …

19 reference-request graph-theory co.combinatorics

3

Những thuật toán được biết đến để tính toán nội suy Craig?

Có bất kỳ khảo sát về các thuật toán cho nội suy điện toán? Điều gì về các bài viết trên chỉ một thuật toán? Trường hợp tôi đang ở quan tâm nhất là và , cộng với ràng buộc là các interpolant là càng nhỏ càng tốt. (Tôi biết …

19 reference-request lo.logic proof-complexity feasible-interpolation

2

Những phỏng đoán lâu dài sau đó được chứng minh một cách tầm thường bằng một hàm ý

Tôi muốn biết nếu đã có những phỏng đoán từ lâu đã không được chứng minh trong TCS, mà sau đó đã được chứng minh bằng một hàm ý từ một định lý khác, điều đó có thể dễ dàng chứng minh hơn.

18 reference-request soft-question big-list

2

Các vấn đề với giải pháp hiệu quả ngoại trừ một phần nhỏ đầu vào

Vấn đề tạm dừng cho các máy Turing có lẽ là tập hợp không thể giải quyết được. Tuy nhiên, chúng tôi chứng minh rằng có một thuật toán quyết định gần như tất cả các trường hợp của nó. Do đó, vấn đề tạm dừng là một trong những …

18 cc.complexity-theory reference-request computability undecidability

7

Sách / Ghi chú bài giảng về độ phức tạp tham số

Tôi muốn tìm hiểu về Độ phức tạp tham số (cả về mặt thuật toán và mặt độ cứng). Những cuốn sách / ghi chú bài giảng tôi có thể đọc về chủ đề này?

18 reference-request parameterized-complexity fixed-parameter-tractable

5

Có thể kiểm tra xem một số tính toán là số nguyên hay số nguyên không?

Có thể kiểm tra bằng thuật toán nếu một số tính toán là số nguyên hay số nguyên? Nói cách khác, một thư viện có thể thực hiện các số tính toán để cung cấp các hàm isIntegerhay isRationalkhông? Tôi đoán rằng điều đó là không thể, và điều này …

18 computability computing-over-reals lambda-calculus graph-theory co.combinatorics cc.complexity-theory reference-request graph-theory proofs np-complete cc.complexity-theory machine-learning boolean-functions combinatory-logic boolean-formulas reference-request approximation-algorithms optimization cc.complexity-theory co.combinatorics permutations cc.complexity-theory cc.complexity-theory ai.artificial-intel p-vs-np relativization co.combinatorics permutations ds.algorithms algebra automata-theory dfa lo.logic temporal-logic linear-temporal-logic circuit-complexity lower-bounds permanent arithmetic-circuits determinant dc.parallel-comp asymptotics ds.algorithms graph-theory planar-graphs physics max-flow max-flow-min-cut fl.formal-languages automata-theory finite-model-theory dfa language-design soft-question machine-learning linear-algebra db.databases arithmetic-circuits ds.algorithms machine-learning ds.data-structures tree soft-question security project-topic approximation-algorithms linear-programming primal-dual reference-request graph-theory graph-algorithms cr.crypto-security quantum-computing gr.group-theory graph-theory time-complexity lower-bounds matrices sorting asymptotics approximation-algorithms linear-algebra matrices max-cut graph-theory graph-algorithms time-complexity circuit-complexity regular-language graph-algorithms approximation-algorithms set-cover clique graph-theory graph-algorithms approximation-algorithms clustering partition-problem time-complexity turing-machines term-rewriting-systems cc.complexity-theory time-complexity nondeterminism

3

Modulo xác định m

Các thuật toán hiệu quả đã biết để tính toán một định thức của ma trận nguyên với các hệ số tính theo , vòng dư lượng modulo m . Số m có thể không phải là số nguyên tố nhưng là tổng hợp (vì vậy việc tính toán được …

18 ds.algorithms reference-request linear-algebra comp-number-theory

2

Tái tạo một cây từ các truy vấn phân cách

Giả sử là một cây có độ không đổi có cấu trúc mà chúng ta không biết. Vấn đề là xuất cây bằng cách hỏi các truy vấn có dạng: "Nút nằm trên đường dẫn từ nút đến nút không?". Giả sử rằng mỗi truy vấn có thể được trả …

18 ds.algorithms reference-request graph-algorithms oracles query-complexity

3

Tại sao nghiên cứu siêu tính toán đã chết?

Tôi thấy rất nhiều nghiên cứu về siêu tính toán trong những năm 1990, nhưng trong những năm gần đây dường như có rất ít công việc về chủ đề này. Có đúng là nghiên cứu trong lĩnh vực này đã chết? Nếu vậy, những lý do cho nó là …

18 reference-request computability hypercomputation

2

Công dụng của XORification

XORification là kỹ thuật để làm cho hàm Boolean hoặc công thức khó hơn bằng cách thay thế mọi biến bằng XOR của biến khác biệt . k ≥ 2 x 1 ⊕ ... ⊕ x kxxxk ≥ 2k≥2k\geq 2x1⊕ ... ⊕ xkx1⊕…⊕xkx_1 \oplus \ldots \oplus x_k Tôi nhận thức …

18 cc.complexity-theory reference-request boolean-functions proof-complexity

6

Các thuật toán SAT không dựa trên DPLL

Có thuật toán nào để giải SAT không dựa trên DPLL không? Hoặc tất cả các thuật toán được sử dụng bởi người giải SAT đều dựa trên DPLL?

18 ds.algorithms reference-request sat

Câu hỏi được gắn thẻ «reference-request»