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

Đây là một phần mở rộng của vấn đề thư ký cổ điển . Trong trò chơi tuyển dụng bạn có một bộ các ứng viên , và trật tự về cách tay nghề mỗi công nhân là.C= { c1, ... , cN}C={c1,…,cN}\mathcal C=\{c_1,\ldots,c_N\} Wlog, chúng tôi giả sử rằng …

9 ds.algorithms  gt.game-theory 

Đặt là đa thức biến đổi được đưa ra dưới dạng mạch số học có kích thước poly và đặt là số nguyên tố.n ( n ) p = 2 Ω ( n )fffnnn(n)(n)(n)p=2Ω(n)p=2Ω(n)p = 2^{\Omega(n)} Bạn có thể kiểm tra xem có bằng không trên , với thời gian …

9 polynomials  arithmetic-circuits 

Các thuật toán đẳng cấu đồ thị vô hướng nhanh nhất được biết đến là gì?

9 cc.complexity-theory  reference-request  graph-algorithms  graph-isomorphism 

Những gì được biết về sự phức tạp của việc giải một hệ phương trình tuyến tính trên một số trường hữu hạn? Tôi biết rằng tồn tại thuật toán (Gauss) tính toán một giải pháp và đối với các hệ thống thưa thớt, thậm chí còn có các thuật …

9 cc.complexity-theory  linear-equations 

Đặt là một hàm mà chúng ta gọi là hàm tương tự . Ví dụ về chức năng tương tự là khoảng cách cosine, l 2 định mức, khoảng cách Hamming, độ tương tự Jaccard, v.v.d:{0,1}k×{0,1}k→Rd:{0,1}k×{0,1}k→Rd:\{0,1\}^k\times \{0,1\}^k \to \mathbb{R}l2l2l_2 Xem xét vectơ nhị phân có độ dài k : → …

9 ds.algorithms  graph-algorithms  clustering 

Đặt f∈Q[x1,x2,…,xn]f∈Q[x1,x2,…,xn]f\in\mathbb{Q}[x_{1},x_{2},\ldots,x_{n}] là một đa thức được cho bởi một mạch số học CCC có kích thước sss . Cho CCC là đầu vào, có thuật toán xác định để kiểm tra xem tất cả các yếu tố không thể giảm của fff trong Q[x1,x2,…,xn]Q[x1,x2,…,xn]\mathbb{Q}[x_{1},x_{2},\ldots,x_{n}] có phải là dạng tuyến …

9 ds.algorithms  algebraic-complexity  arithmetic-circuits 

Kết quả tốt nhất cho số lượng cổng trong một mạch nhân hai số nguyên n bit là gì? Phương thức rõ ràng tạo ra cổng . Có tốt hơn phương pháp tiếp cận với θ ( n log n log log n ) và θ ( n log n …

9 cc.complexity-theory  circuit-complexity 

Tôi xin lỗi, đây là một câu hỏi "mềm". Lý thuyết thông tin không có khái niệm về độ phức tạp tính toán. Ví dụ: một thể hiện của SAT, hoặc một thể hiện của SAT cộng với một chút biểu thị sự thỏa mãn mang cùng một lượng thông …

9 cc.complexity-theory  it.information-theory  polynomial-time 

Giả sử chúng ta có hàm Boolean và chúng tôi áp dụng hạn chế -random trên . Ngoài ra, giả sử rằng cây quyết định tính toán co lại thành kích thước là kết quả của hạn chế ngẫu nhiên. Điều này có nghĩa là có tổng ảnh hưởng rất …

9 cc.complexity-theory  co.combinatorics  circuit-complexity  boolean-functions 

Phép đồng hình từ đồ thị sang đồ thị là ánh xạ từ đến sao cho nếu và liền kề trong thì và liền kề trong . Một phép biến hình của đồ thị là sự đồng hình từ đến chính nó; nó là điểm không cố định nếu không …

9 cc.complexity-theory  graph-algorithms  counting-complexity  graph-isomorphism  homomorphism 

Tôi muốn chia một tập hợp các điểm thành hai tập con có kích thước bằng nhau sao cho tổng bình phương trong cụm được thu nhỏ. Chúng ta có thể giả sử rằng các điểm nằm trong không gian Euclidian hai chiều. Tôi hy vọng một cái gì đó …

9 ds.algorithms  approximation-algorithms  clustering 

Hầu hết các hệ thống gõ phụ thuộc có một điều kiện tích cực nghiêm ngặt cho các loại quy nạp. Có ai biết một ví dụ mà vi phạm điều kiện dẫn đến sự không nhất quán trong hệ thống không?

9 lo.logic  type-theory  dependent-type 

Tỷ lệ CFG mơ hồ trên tất cả các CFG là gì? Vì cả hai bộ đều vô hạn, tỷ lệ này không được xác định rõ. Nhưng những gì về mật độ tiệm cận : limn↦∞# ambiguous CFG of size<n# CFG of size<nlimn↦∞# ambiguous CFG of size<n# CFG of …

9 fl.formal-languages  grammars  context-free 

Hãy xem xét vấn đề # P-đầy đủ cổ điển # 3SAT, nghĩa là, để đếm số lượng định giá để tạo ra 3CNF với biến thỏa đáng. Tôi quan tâm đến tính gần đúng phụ gia . Rõ ràng, có một thuật toán tầm thường để đạt được 2 …

9 approximation-algorithms  sat  counting-complexity  approximation-hardness 

Một số nguồn tốt nhất (sách và giấy tờ) để thúc đẩy và tìm hiểu sự phức tạp trong giao tiếp của chính nó và liên quan đến mối quan hệ của nó với lý thuyết phức tạp tính toán là gì?

9 cc.complexity-theory  reference-request  communication-complexity  books