Câu hỏi được gắn thẻ «co.combinatorics»

Chúng tôi nói rằng hàm Boolean là một -junta nếu có nhiều nhất biến ảnh hưởng.f:{0,1}n→{0,1}f:{0,1}n→{0,1}f: \{0,1\}^n \to \{0,1\}kkkfffkkk Đặt là -junta. Suy ra các biến của theo . Khắc phục Rõ ràng, tồn tại sao cho chứa ít nhất các biến ảnh hưởng của .f:{0,1}n→{0,1}f:{0,1}n→{0,1}f: \{0,1\}^n \to \{0,1\}2k2k2kfffx1,x2,…,xnx1,x2,…,xnx_1, x_2, …

16 co.combinatorics  boolean-functions  fourier-analysis  property-testing 

Người ta biết rằng và là những vị thành niên bị cấm đối với đồ thị phẳng. Có hàng trăm vị thành niên bị cấm đối với các biểu đồ có thể nhúng trên hình xuyến. Số lượng vị thành niên bị cấm đối với các biểu đồ có thể …

16 graph-theory  co.combinatorics  graph-minor  algebraic-topology 

Chúng tôi được cấp một họ gồm m tập con của {1, ..., n}. Có thể tìm thấy một mức thấp không tầm thường ràng buộc vào sự phức tạp của việc quyết định liệu F có phải là một gia đình Sperner không? Giới hạn dưới tầm thường là …

16 ds.algorithms  co.combinatorics 

Đồ thị không có X là những đồ thị không chứa đồ thị từ X dưới dạng sơ đồ con cảm ứng. Một lỗ là một chu kỳ có ít nhất 4 đỉnh. Một lỗ lẻ là một lỗ có số đỉnh lẻ. Một lỗ chống là sự bổ sung …

16 reference-request  graph-theory  co.combinatorics  graph-classes 

Đây là phần tiếp theo của câu hỏi này trên math.stackexchange. Hãy để chúng tôi nói rằng một tập hợp không rỗng S ⊆ là tự hỗ trợ nếu với mỗi a ∈ S, tồn tại các phần tử riêng biệt b, c ∈ S sao cho a = b …

16 ds.algorithms  co.combinatorics 

Đây là một câu hỏi tiếp theo cho câu hỏi này về đồ thị vô hạn. Câu trả lời và nhận xét cho câu hỏi đó liệt kê các đối tượng và tình huống được mô hình hóa một cách tự nhiên bằng các biểu đồ vô hạn. Nhưng cũng …

15 graph-theory  co.combinatorics  lo.logic 

Một đồ thị được kết nối có thể được phân tách thành các thành phần hai mặt của nó. Đây cây khối điểm cắt là duy nhất. Tương tự như vậy, đồ thị hai mặt có thể được phân tách thành các thành phần ba mặt. Cây SPQR tương ứng …

15 graph-theory  co.combinatorics 

Đồ thị phẳng là -free. Các biểu đồ như vậy có thể được phân tách thành các thành phần ba kết nối, được biết đến là các thành phần phẳng hoặc . K 5K3 , 3K3,3K_{3,3}K5K5K_5 Có một sự phân rã "tốt đẹp" của đồ thị của một chi không? …

15 graph-theory  co.combinatorics  planar-graphs  graph-minor 

Vấn đề bảo trì đơn hàng (hoặc "duy trì trật tự trong danh sách") là để hỗ trợ các hoạt động: singleton: tạo một danh sách với một mục, trả về một con trỏ tới nó insertAfter: đưa ra một con trỏ tới một mục, chèn một mục mới vào …

15 ds.data-structures  soft-question  pl.programming-languages  graph-theory  tree  cc.complexity-theory  pcp  co.combinatorics  cg.comp-geom  pr.probability  vc-dimension  cc.complexity-theory  complexity-classes  relativization  soft-question  advice-request  career  soft-question  research-practice  paper-review  journals  co.combinatorics  cc.complexity-theory  complexity-classes  pr.probability  average-case-complexity  cc.complexity-theory  lo.logic  descriptive-complexity  finite-model-theory  ds.algorithms  cc.complexity-theory  approximation-hardness  csp  pcp  cc.complexity-theory  circuit-complexity 

Khi cố gắng đưa ra thuật toán sắp xếp của riêng tôi, tôi đang tìm kiếm điểm chuẩn tối ưu để tôi có thể so sánh nó. Đối với một thứ tự chưa được sắp xếp của các phần tử A và một thứ tự B được sắp xếp , …

15 ds.algorithms  co.combinatorics  sorting 

Đặt biểu thị tập hợp và C (n, k) biểu thị tập hợp tất cả các phần tử của các phần tử từ mà không lặp lại. Đặt là một -tuple trong . Chúng tôi nói rằng một hoán vị của tập tránh nếu không có k-tuple số nguyên sao …

15 reference-request  co.combinatorics  permutations 

Như trong này câu hỏi, tôi đang quan tâm đến các vs / vấn đề cho nhiệt đới và mạch. Câu hỏi này giảm để hiển thị giới hạn trên cho kích thước đa thức của VC đối với các bán dẫn nhiệt đới (xem Định lý 2 dưới đây). …

14 co.combinatorics  circuit-complexity  algebraic-complexity  arithmetic-circuits  vc-dimension 

Tôi đang đọc phần phụ lục về giới hạn thấp hơn của ACC cho NEXP trong cuốn sách Tính phức tạp tính toán của Arora và Barak . http://www.cs.princeton.edu/theory/uploads/Compbook/accnexp.pdf Một trong những bổ đề quan trọng là sự chuyển đổi từ A CC0MộtCC0ACC^{0} mạch để đa thức đa tuyến so …

14 cc.complexity-theory  co.combinatorics  complexity-classes  circuit-complexity  boolean-functions 

Hãy xem xét không gian chiều và cho là một ràng buộc tuyến tính có dạng , trong đó , và .{ 0 , 1 } n c a 1 x 1 + a 2 x 2 + a 3 x 3 + . . . + Một n - …

14 reference-request  co.combinatorics  optimization  linear-programming  convex-optimization 

Tôi đang thực hiện một số phần hệ thống trong đó yêu cầu một số trợ giúp. Do đó, tôi đóng khung nó như là một vấn đề đồ thị để làm cho nó độc lập với miền. Vấn đề: Chúng ta được đưa ra đồ thị chu kỳ có …

14 ds.algorithms  reference-request  co.combinatorics  graph-algorithms  directed-acyclic-graph