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

Có vấn đề đồ thị tự nhiên , vẫn còn ngay cả khi nó bị giới hạn trong bất kỳ lớp biểu đồ có thể nhận biết theo thời gian đa thức nào không? Để tránh các trường hợp suy biến, chúng ta chỉ xem xét các lớp biểu đồ …

8 cc.complexity-theory  graph-theory  graph-algorithms  np-complete  graph-classes 

Thuật toán nhanh nhất được biết đến bao thanh toán đa thức với biến và tổng độ gì? Ở đây, n đang phát triển và d là cố định. Hầu hết các công việc dường như xem xét trường hợp khi d đang phát triển và n là cố định. …

8 cc.complexity-theory  algebra  factoring 

Hãy xem xét vấn đề sau: Đầu vào: (G1, G2) trong đó G1 và G2 là đồ thị vô hướng Câu hỏi: Kích thước của bộ G1 độc lập tối đa ít nhất có lớn bằng kích thước của bộ G2 độc lập tối đa không? Đây có vẻ là …

8 cc.complexity-theory 

Một mã xác thực thông điệp (MAC) được xác định bởi một bộ ba của các thuật toán hiệu quả , đáp ứng như sau (định nghĩa được lấy từ mục 4.3 của cuốn sách Katz-LINDELL ) :(Gen,MAC,Verif)(Gen,MAC,Verif)(\mathsf{Gen}, \mathsf{MAC}, \mathsf{Verif}) Trên đầu vào , thuật toán G e n tạo …

8 cr.crypto-security 

Một cách để chứng minh NP coNP là chỉ ra rằng với mọi hệ thống chứng minh mệnh đề f có thể tính toán được trong thời gian đa thức, tồn tại một họ các tautology trong đó f yêu cầu độ dài chứng minh siêu đa thức (ghi lại …

8 cc.complexity-theory  proof-complexity 

Có ai nghĩ về khả năng của một ngôn ngữ lập trình và một trình biên dịch, sao cho trình biên dịch có thể tự động thực hiện phân tích tiệm cận trong trường hợp xấu nhất? Trường hợp sử dụng mà tôi có trong đầu là một ngôn ngữ …

8 reference-request  pl.programming-languages  time-complexity  compilers  program-analysis 

Tôi đang cố gắng phân vùng đồ thị hình tam giác thành các sơ đồ con được kết nối với một số đảm bảo về số lượng các cạnh của phân vùng. Dưới đây là ví dụ về biểu đồ tam giác đã được phân chia thành 4 "cụm": Điều …

8 graph-theory  graph-algorithms  planar-graphs  partition-problem  delaunay-triangulation 

Tôi đang tìm kiếm một tài liệu tham khảo về 'giảm' Turing giảm xuống nhiều giảm một. Tôi có một tuyên bố về hình thức sau đây (các tuyên bố đủ tương tự cũng sẽ thỏa mãn tôi): Định lý. Nếu , thì .A ≤ 2 f m B t …

8 cc.complexity-theory  reference-request  complexity-classes 

(Tôi đã đăng câu hỏi này trên CS mười ngày trước, không có câu trả lời kể từ đó - vì vậy tôi đăng nó ở đây.) Bất kỳ công thức CNF nào cũng có thể được chuyển đổi trong thời gian đa thức thành công thức 3-CNF bằng cách …

8 cc.complexity-theory  complexity-classes  sat 

Cho một đồ thị , số cạnh tối thiểu của mà chúng ta cần xóa để làm cho tam giác đồ thị là gì? Đối với con mắt chưa được huấn luyện của tôi, đây dường như là một vấn đề khó khăn.GGGGGG Là vấn đề này được biết là …

8 cc.complexity-theory  graph-algorithms  np-hardness 

Lưu ý: Tôi đã đăng một câu hỏi tương tự liên quan đến đồ thị vô hướng . Được Một sơ đồ GGG không có nhiều cạnh hoặc vòng lặp Một nút nguồn Sss Một nút mục tiêu ttt Độ dài đường dẫn tối đa tôill Tôi đang tìm G'G′G' …

8 graph-algorithms 

Tôi quan tâm đến cách người ta chứng minh rằng một câu tương đối hóa. Tất nhiên, việc chứng minh rằng một câu không tương đối hóa là đơn giản, như đã thấy trong kết quả của Baker-Gill-Solovay; nhưng làm thế nào để chứng minh rằng một câu không tương …

8 cc.complexity-theory  reference-request  relativization 

Đặt HHH là một sơ đồ con khoảng thời gian cảm ứng tối đa của đồ thị G=(V,E)G=(V,E)G=(V,E) . Nếu n=|V|n=|V|n=|V|Thì số nhỏ nhất là V(H)V(H)V(H)bao nhiêu? Số lượng nhiều nhất là 3n/43n/43n/4 xem xét một tập hợp 444 lỗ khác nhau. Nó có thể nhỏ hơn không?

8 reference-request  extremal-combinatorics  interval-graphs 

Trong khi duyệt các bài đăng cũ của CStheory.se , tôi đã xem qua một bài đăng blog hấp dẫn về vấn đề tử vong ma trận . Trừ khi tôi giải thích sai vấn đề, nó nói rằng đã đưa ra một tập hợp hữu hạn 3 x 3 …

8 cc.complexity-theory  matrix-product 

Giả sử tôi có biến ngẫu nhiên một bit và gọi là số tự nhiên. Tôi muốn một chuỗi các biến ngẫu nhiên stX∈ { 0 , 1 }X∈{0,1}X \in \{0,1\}nnn0 = X0, X1, Lọ , Xn= X0= =X0,X1,Giáo dục,Xn= =X0 = X_0, X_1, \ldots, X_n = X H( X …

8 it.information-theory  shannon-entropy