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

1

Sau cuộc thảo luận về giới hạn dưới cho 3SAT [ 1 ], tôi tự hỏi đâu là kết quả ràng buộc chính thấp hơn được coi là sự đánh đổi trong không gian. Tôi đang loại trừ các kết quả, chẳng hạn như định lý của Savitch; một mục …

13 cc.complexity-theory ds.algorithms big-list space-time-tradeoff

2

Danh sách các vấn đề lý thuyết hoặc đại số trong các lớp phức tạp khác nhau

Tôi đang tìm kiếm một danh sách về sự phức tạp đã biết hoặc chưa biết của các vấn đề lý thuyết / đại số số khác nhau. Ví dụ, GCD trong đang mở,NC1NC1NC^1 bao thanh toán trong là mở,PPP cohomology điện toán sheaf là -hard#P#P\#P , Arora và Barak …

12 cc.complexity-theory big-list algebra open-problem

4

Các sự cố không được biết là hoàn thành PSPACE

Vấn đề với các thuộc tính sau là gì: 1) chúng là hạn chế của các vấn đề (có thể được biết đến) đã hoàn tất PSPACE; 2) các phiên bản bị hạn chế nằm trong PSPACE, nhưng đó là một vấn đề mở nếu chúng hoàn thành PSPACE (hoặc …

12 big-list open-problem

6

Phân chia và chinh phục các thuật toán luồng dữ liệu

Những thuật toán hữu ích nào tồn tại hoạt động trên các luồng dữ liệu khổng lồ và kết quả của chúng khá nhỏ và người ta có thể tính kết quả cho một hỗn hợp hai luồng bằng cách nào đó hợp nhất kết quả của chúng? Tôi có …

12 ds.algorithms big-list data-streams

7

Điều kiện đủ cho sự sụp đổ của hệ thống phân cấp đa thức (PH)

Một số khẳng định (không nổi tiếng) là gì nếu đúng, PH phải sụp đổ? Các câu trả lời có chứa một xác nhận cấp cao ngắn với (các) tham chiếu được đánh giá cao. Tôi đã cố gắng tìm kiếm ngược mà không gặp nhiều may mắn.

12 cc.complexity-theory complexity-classes big-list

4

Danh sách các vấn đề NP-hard mạnh với dữ liệu số

Tôi đang tìm kiếm các vấn đề NP-hard mạnh để giảm. Cho đến nay tôi đã tìm thấy những vấn đề sau: Vấn đề 3 phân vùng vấn đề đóng gói Kết hợp số 3 chiều TSP Bất kỳ vấn đề NP-hoàn chỉnh nào mà không có dữ liệu số, …

11 np-hardness big-list hamiltonian-paths

3

Bằng chứng tìm thấy bằng máy tính

Năm 1996, một vấn đề mở từ lâu đã được giải quyết bằng máy tính; cụ thể là đại số Robbins và đại số Boolean là như nhau. Bằng chứng được tìm thấy bởi một người hoạt động định lý tự động. Hơn nữa, bằng chứng đã biết về định …

11 soft-question big-list proofs automated-theorem-proving

2

Triển lãm cho một bảo tàng máy tính

Tất cả các bảo tàng và triển lãm liên quan đến máy tính mà tôi biết dường như chỉ bao gồm lịch sử của máy móc máy tính, nhưng không có gì về các chủ đề của khoa học máy tính. Bạn đang tham gia vào việc tạo ra một …

11 soft-question big-list ho.history-overview

6

Ứng dụng lý thuyết đồ thị trong khoa học máy tính

Tôi là một sinh viên CS. Chúng tôi đã làm lý thuyết đồ thị trong một khóa học. Tôi thấy nó thú vị. Các ứng dụng thực sự của lý thuyết đồ thị trong lĩnh vực khoa học máy tính là gì? Ví dụ, tôi thấy rằng một số khái …

11 graph-theory co.combinatorics big-list application-of-theory

2

Các vấn đề không có lợi thế lượng tử đã biết

Tôi đã tự hỏi danh sách các vấn đề tính toán tự nhiên hiện tại là gì mà không có lợi thế phức tạp nào được biết đến trong việc sử dụng máy tính lượng tử. Để bắt đầu, tôi nghĩ tính toán khoảng cách chỉnh sửa là một trong …

11 ds.algorithms quantum-computing big-list

4

Các thuật toán gần đúng được sử dụng trong các thuật toán chính xác

Các thuật toán gần đúng có thể cung cấp đầu ra lên đến một số yếu tố không đổi. Đây là một chút ít thỏa mãn hơn các thuật toán chính xác. Tuy nhiên, các yếu tố không đổi được bỏ qua trong sự phức tạp thời gian. Vì vậy, …

11 ds.algorithms big-list approximation-algorithms

1

Các vấn đề nghiên cứu chính trong các giao dịch phân phối là gì?

Bối cảnh: Xử lý giao dịch đã là một chủ đề nghiên cứu truyền thống trong lý thuyết cơ sở dữ liệu. Ngày nay các giao dịch phân tán được phổ biến bởi các hệ thống lưu trữ phân tán quy mô lớn thường liên quan đến phân vùng dữ …

10 reference-request big-list dc.distributed-comp db.databases

4

Xây dựng tốt hơn một ngẫu nhiên.

Tôi quan tâm đến các ví dụ về các công trình trong lý thuyết phức tạp tốt hơn các công trình ngẫu nhiên. Một ví dụ duy nhất về việc xây dựng như vậy mà tôi biết là trong lĩnh vực mã sửa lỗi. Mã hình học đại số tốt …

10 reference-request big-list derandomization pr.probability

2

Một số ứng dụng thú vị của đại số đồng âm trong khoa học máy tính lý thuyết là gì?

Tôi là một nhà lý thuyết đồng luân, quan tâm đến khoa học máy tính. Tôi muốn hỏi một số ứng dụng thú vị của đại số đồng âm (loại mô hình, loại vô cực, loại đơn giản, vv) trong khoa học máy tính lý thuyết là gì?

9 big-list algebraic-topology

5

Các ví dụ trong đó kích thước của bảng chữ cái (

Đặt là một bảng chữ cái, tức là một tập hữu hạn không trống. Chuỗi là bất kỳ chuỗi phần tử (ký tự) hữu hạn nào từ . Ví dụ: là bảng chữ cái nhị phân và là một chuỗi cho bảng chữ cái này.ΣΣ\SigmaΣΣ\Sigma{0,1}{0,1} \{0, 1\}011001100110 Thông thường, miễn …

9 big-list encoding examples

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