Khoa học máy tính lý thuyết cc.complexity-theory

1

Một ngôn ngữ nằm trong nếu tồn tại máy Turing logspace quyết định ngôn ngữ với số lượng lời khuyên đa thức.L/polyL/polyL/poly Xem tại đây để biết thêm: https://en.wikipedia.org/wiki/L/poly Câu hỏi Hậu quả của gì?P⊆L/polyP⊆L/polyP \subseteq L/poly

14 cc.complexity-theory circuit-complexity polynomial-time advice-and-nonuniformity logspace

1

Mạch nhỏ cho vấn đề đánh giá mạch

Đặt là hàm ánh xạ mạch -gate trên n bit và chuỗi n -bit x đến C (x) . Giả sử rằng các mạch được mã hóa dưới dạng một chuỗi các bài tập k: = g (i, j) trong đó i, j, k là các nhãn dây. sCnnxC(x)k:=g(i,j)i,j,kC i …

14 cc.complexity-theory circuit-complexity circuit-families

2

Bằng chứng sử dụng trợ lý trong nghiên cứu lý thuyết phức tạp?

Xem xét các chủ đề được đề cập tại một hội nghị như STOC, có bất kỳ nhà nghiên cứu thuật toán hoặc độ phức tạp nào tích cực sử dụng COQ hoặc Isabelle không? Nếu vậy, làm thế nào họ sử dụng nó trong nghiên cứu của họ? Tôi …

14 cc.complexity-theory approximation-algorithms soft-question proof-assistants

2

Thêm khớp với đường dẫn Hamilton để giảm khoảng cách tối đa giữa các cặp đỉnh đã cho

Sự phức tạp của vấn đề sau đây là gì? Đầu vào : K nHHH một đường dẫn Hamilton trongKnKnK_n R⊆[n]2R⊆[n]2R \subseteq [n]^2 một tập hợp con của các cặp đỉnh một số nguyên dươngkkk Truy vấn : có phù hợp sao cho mọi , ? (trong đó )( v …

14 cc.complexity-theory graph-theory graph-algorithms np-hardness np-complete

1

Số lượng các phép toán số học tối thiểu để tính toán định thức

Đã có được bất kỳ công việc vào việc tìm kiếm số lượng tối thiểu của phép tính số học tiểu học cần thiết để tính toán các yếu tố quyết định của một nnn bởi nnn ma trận cho nhỏ và cố định nnn ? Ví dụ: n=5n=5n=5 .

14 cc.complexity-theory linear-algebra determinant

3

Tăng tốc độ không xác định của tính toán xác định

Có thể không tính toán tăng tốc tính toán xác định? Nếu có, bao nhiêu? Bằng cách tăng tốc tính toán xác định bằng thuyết không điều kiện, ý tôi là kết quả của mẫu: D T i m e (f( n ) ) ⊆ N T i m e …

14 cc.complexity-theory nondeterminism speed-up alternation tradeoff

1

Độ phức tạp mạch số học đơn sắc của đa thức đối xứng sơ cấp?

Các -thứ tiểu đối xứng đa thức là tổng của tất cả sản phẩm của biến rõ rệt. Tôi quan tâm đến độ phức tạp của số học đơn điệu (+, \ lần) của đa thức này. Một thuật toán lập trình động đơn giản (cũng như Hình 1 bên …

14 cc.complexity-theory circuit-complexity lower-bounds arithmetic-circuits dynamic-programming

2

Thường xuyên so với TC0

Theo sở thú phức tạp , và chúng tôi biết rằng không thể đếm được vì vậy . Tuy nhiên, nó không nói nếu \ mathsf {Reg} \ subseteq \ mathsf {TC ^ 0} hay không. Vì chúng tôi không biết \ mathsf {NC ^ 1} \ not \ subseteq …

14 cc.complexity-theory fl.formal-languages automata-theory circuit-complexity regular-language

2

Siêu thời gian nhiều lần của ngôn ngữ hoàn chỉnh NP với vô số chuỗi bị loại trừ khỏi nó

Đối với bất kỳ ngôn ngữ NP hoàn toàn tùy ý, luôn luôn có một siêu thời gian thay thế bổ sung của nó cũng là vô hạn? Một phiên bản tầm thường không quy định superset có bổ sung vô hạn đã được yêu cầu tại /cs//q/50123/42961 Đối với …

14 cc.complexity-theory np-complete structural-complexity

3

Các vấn đề không cần thiết có thể giải quyết trong thời gian liên tục?

Thời gian không đổi là mức độ thấp tuyệt đối của độ phức tạp thời gian. Người ta có thể tự hỏi: có bất cứ điều gì không cần thiết có thể được tính toán trong thời gian liên tục? Nếu chúng ta dính vào mô hình máy Turing, thì …

14 cc.complexity-theory ds.algorithms time-complexity

2

Kiểm tra sự tương đương của hai polytopes

Hãy xem xét một vectơ của các biến và một tập các ràng buộc tuyến tính được chỉ định bởi .x⃗ x→\vec{x}Ax⃗ ≤bAx→≤bA\vec{x}\leq b Hơn nữa, hãy xem xét hai đa giác P1P2= ={(f1(x⃗ ) , ⋯,fm(x⃗ ) ) | Mộtx⃗ ≤ b}= { (g1(x⃗ ) , ⋯ ,gm(x⃗ ) …

14 cc.complexity-theory linear-algebra linear-programming polytope

2

Chúng ta cần bao nhiêu phủ định để tính các hàm đơn điệu?

Razborov đã chứng minh rằng chức năng khớp đơn điệu không có trong mP . Nhưng chúng ta có thể tính toán kết hợp bằng cách sử dụng một mạch kích thước đa thức với một vài phủ định không? Có một P / poly mạch với phủ nhận rằng …

14 cc.complexity-theory circuit-complexity lower-bounds matching monotone

1

Làm thế nào tốn kém có thể phá hủy tất cả các con đường dài trong DAG?

Chúng tôi xem xét các DAG (đồ thị chu kỳ có hướng) với một nút nguồn sss và một nút mục tiêu ttt ; các cạnh song song nối cùng một cặp đỉnh được cho phép. Một kkk - cut là một tập hợp các cạnh mà việc loại bỏ …

14 cc.complexity-theory graph-theory circuit-complexity directed-acyclic-graph

2

Trên #P và đếm các vấn đề tìm kiếm

Tôi đã đọc bài viết trên wikipedia về vấn đề tám nữ hoàng. Nó được tuyên bố rằng, không có công thức được biết đến cho số lượng chính xác của các giải pháp. Sau một số tìm kiếm, tôi tìm thấy một bài báo có tên "Về độ khó …

14 cc.complexity-theory counting-complexity search-problem

1

Một khóa học để học đại số phức tạp

Tôi muốn tìm hiểu về các thuật toán đại số và thoery phức tạp. Đặc biệt, tôi quan tâm đến thuế TNCN. Có một bộ ghi chú bài giảng, sách, bài báo và khảo sát cho những sinh viên đã đọc sách giáo khoa tiêu chuẩn về lý thuyết như …

14 cc.complexity-theory reference-request algebraic-complexity arithmetic-circuits

Câu hỏi được gắn thẻ «cc.complexity-theory»