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

Immerman và Szelepcsenyi độc lập đã chứng minh rằng . Sử dụng kỹ thuật đếm quy nạp của họ, Borodin et al đã chứng minh rằng S A C i được đóng dưới sự bổ sung, với i > 0 . Trước định lý của Reingold ( S L = …

20 cc.complexity-theory  space-bounded 

Tôi đã sử dụng Jung ( http://jung.sourceforge.net/ ) để trực quan hóa thứ hạng trang và thấy nó hơi chậm và khó mở rộng ra ngoài 100 nút. Tôi đã tự hỏi những công cụ khác mà mọi người sử dụng để phân tích và hình dung mạng / mạng …

20 graph-theory  big-list  cg.comp-geom  software  graph-drawing 

Trong bài báo "Bản tóm tắt các vấn đề hoàn chỉnh cho P" của Greenlaw, Hoover và Ruzzo (PS) (PDF) , có một danh sách các vấn đề trong P không được biết đến ở NC và cũng không được biết là P-Complete . (Danh sách này bao gồm tất …

20 cc.complexity-theory  open-problem  circuit-complexity 

Hãy là một hàm Chúng ta muốn ước tính trung bình. F , đó là: E [ f ( n ) ] = 2 - n Σ x ∈ { 0 , 1 } n f ( x ) .f:{0,1}n→(2−n,1]f:{0,1}n→(2−n,1]f \colon \lbrace 0,1 \rbrace ^ n \to (2^{-n},1]fffE[f(n)]=2−n∑x∈{0,1}nf(x)E[f(n)]=2−n∑x∈{0,1}nf(x)\mathbb{E}[f(n)]=2^{-n}\sum_{x\in \lbrace 0,1 …

20 ds.algorithms  randomized-algorithms  black-box 

Hầu hết các bài báo hiện được viết một cách hợp tác và các cộng tác viên thường được đặt ở những nơi khác nhau. Tôi đã luôn sử dụng các hệ thống kiểm soát phiên bản cho các tài liệu và mã của mình và cũng thấy việc kiểm …

20 soft-question  research-practice  software  writing 

Ngôn ngữ lá là một cách hay để xác định thống nhất nhiều lớp phức tạp. Hầu hết các lớp phức tạp thường được chỉ định bởi một mô hình tính toán (ví dụ: TM xác định / ngẫu nhiên) và ràng buộc tài nguyên (thời gian đăng nhập, không …

20 cc.complexity-theory  complexity-classes 

Có một tài liệu lớn về "kiểm tra thuộc tính" - vấn đề tạo một số lượng nhỏ các truy vấn hộp đen cho một hàmf: { 0 , 1 }n→ Rf:{0,1}n→Rf\colon\{0,1\}^n \to R để phân biệt giữa hai trường hợp: Cfff là thành viên của một số lớp hàmCC\mathcal{C} …

20 reference-request  lg.learning  metrics  property-testing  black-box 

Giả sử ta có một ma trận n bởi n. Có thể sắp xếp lại các hàng và cột của nó để chúng ta có được một ma trận tam giác trên không? Câu hỏi này được thúc đẩy bởi vấn đề này: Thứ tự tôpô tích cực Vấn đề …

20 ds.algorithms  np-hardness  open-problem  matrices 

Với một số thuật toán ngẫu nhiên, bạn có thể giải mã thuật toán, loại bỏ (với chi phí có thể trong thời gian chạy) việc sử dụng các bit ngẫu nhiên và tối đa hóa một số ràng buộc thấp hơn trên mục tiêu (thường được tính bằng cách …

20 derandomization  quantum-computing 

Lớp PPAD phức tạp (ví dụ: tính toán các cân bằng Nash khác nhau) có thể được định nghĩa là tập hợp các vấn đề tìm kiếm đa thời gian có thể giảm xuống đến KẾT THÚC : KẾT THÚC LINE : Cho các mạch S và P với n …

20 reference-request  combinatory-logic  graph-theory  ppad 

Nói chung, băng truy vấn cho một nhà tiên tri được tính vào độ phức tạp không gian của một TM. Tuy nhiên, có vẻ hợp lý khi cho phép một băng orory chỉ ghi (chẳng hạn như được sử dụng trong giảm bớt không gian L). Là một xây …

20 cc.complexity-theory  space-bounded  oracles 

Đọc một số chủ đề gần đây về điện toán lượng tử ( ở đây , ở đây và ở đây ), khiến tôi nhớ một câu hỏi thú vị về sức mạnh của một loại máy bảo quản -norm.ℓpℓp\ell_p Đối với những người làm việc trong lý thuyết phức …

20 cc.complexity-theory  quantum-computing  computability  turing-machines  norms 

[Lưu ý: Tôi tin rằng câu hỏi này không hề ảnh hưởng đến tính chính xác hay không chính xác của bài viết của Deolalikar.] Trên blog của Scott Aaronson Shtetl Tối ưu hóa , trong cuộc thảo luận về nỗ lực gần đây của Deolalikar trên P vs NP, …

20 cc.complexity-theory  lower-bounds  tensor-rank 

Một chuỗi Ngoài ra là một chuỗi các số nguyên dương (x1,x2,…,xn)(x1,x2,…,xn)(x_1, x_2, \dots, x_n) nơi x1=1x1=1x_1 = 1 và mỗi chỉ số i≥2i≥2i\ge 2 , chúng ta có xi=xj+xkxi=xj+xkx_i = x_j + x_k đối với một số chỉ số . Độ dài của chuỗi bổ sung là ; các …

20 reference-request  np-hardness 

Tính tự giới thiệu của vấn đề P / NP đôi khi được nêu bật như một rào cản đối với độ phân giải của nó, xem, ví dụ, bài viết của Scott Aaronson, P so với NP có độc lập chính thức không? Một trong nhiều nghị quyết có …

20 cc.complexity-theory  lo.logic