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

Tôi đang đọc khảo sát của Trevisan và Lovett về các ứng dụng của tổ hợp phụ gia trong TCS. Phần lớn các ứng dụng này thuộc độ phức tạp tính toán , ví dụ: giới hạn dưới. Tôi tự hỏi nếu tổ hợp phụ gia cũng đã tìm thấy …

12 ds.algorithms  reference-request  co.combinatorics 

Câu hỏi này được thúc đẩy bởi bài đăng này, Bạn có thể xác định tổng của hai hoán vị trong thời gian đa thức? và mối quan tâm của tôi đối với các tính chất tính toán của hoán vị. Chuỗi khác biệt của hoán vị của các số …

12 cc.complexity-theory  co.combinatorics  np-hardness  permutations 

Tôi hiện đang thực hiện một số nghiên cứu về Ngôn ngữ chính thức liên quan đến các lớp ngôn ngữ trên Chính quy nhưng dưới Bối cảnh miễn phí. Tôi đang xem xét những thứ như Máy đa điểm có giới hạn Reversal, Máy đếm đơn ngăn xếp, CFL …

12 reference-request  co.combinatorics  fl.formal-languages  automata-theory  research-practice 

Tôi đang tìm một đồ thị nhỏ GGG có số màu vectơ nhỏ hơn số màu, .χv(G)&lt;χ(G)χv(G)&lt;χ(G)\chi_v(G)<\chi(G) ( có vector số màu nếu có chuyển nhượng , nơi trực giác các vectơ kết hợp với đỉnh láng giềng xa nhau. Yêu cầu là . Ví dụ: với , các đỉnh …

12 ds.algorithms  graph-theory  co.combinatorics  graph-algorithms  graph-colouring 

Bài báo nổi tiếng năm 1983 của H. Lenstra Lập trình số nguyên với một số biến cố định nói rằng các chương trình số nguyên với số lượng biến cố định có thể giải được theo đa thức thời gian theo chiều dài của dữ liệu. Tôi giải thích …

12 co.combinatorics  linear-programming  integer-programming 

Ở đây: http://www.planarity.org/Klein_elementary_graph_theory.pdf (trong chương nhúng) được đưa ra định nghĩa về nhúng tổ hợp của đồ thị phẳng. (với định nghĩa về khuôn mặt, v.v.) Mặc dù có thể dễ dàng sử dụng cho bất kỳ biểu đồ nào, họ định nghĩa biểu đồ phẳng là biểu đồ, theo …

12 graph-theory  co.combinatorics  planar-graphs 

Cuốn sách A = B của Petkovsek, Wilf và Zeilberger mô tả các thuật toán để tính các tổng nhị phân khác nhau. AFAIK, các thuật toán này vẫn đang được cải thiện bởi các tác giả khác nhau. Bạn có biết nơi chúng ta có thể tìm thấy các …

12 ds.algorithms  co.combinatorics  implementation 

Nếu là một đồ thị với mức độ tối đa 3 và là trẻ vị thành niên của , sau đó là trẻ vị thành niên topo của .GGGHHHGGGHHH Wikipedia trích dẫn kết quả này từ "Lý thuyết đồ thị" của Diestel. Nó được liệt kê là Dự luật 1.7.4 …

12 reference-request  graph-theory  co.combinatorics  graph-minor 

Tôi đã hỏi câu hỏi này vài tuần trước tại mathoverflow , nhưng tôi không nhận được câu trả lời. Ở đây, bằng 3D-lưới của sidelength kkk Ý tôi là đồ thị G=(V,E)G=(V,E)G=(V,E) với V={1,…,k}3V={1,…,k}3V= \{1,\ldots,k\}^3 và E={((a,b,c),(x,y,z))∣|a−x|+|b−y|+|c−z|=1}E={((a,b,c),(x,y,z))∣|a−x|+|b−y|+|c−z|=1}E=\{( (a,b,c) ,(x,y,z) ) \mid |a-x|+|b-y|+|c-z|=1 \} , tức là, các nút được …

12 reference-request  graph-theory  co.combinatorics  treewidth  integer-lattice 

Đặt và biểu thị bằng tập hợp tất cả các biểu đồ có thể được nhúng trên một bề mặt của chi k sao cho tất cả các đỉnh nằm ở mặt ngoài . Chẳng hạn, G_0 là tập hợp các biểu đồ ngoài cùng. Treewidth của đồ thị trong …

12 graph-theory  co.combinatorics  parameterized-complexity  graph-classes 

Lại một vấn đề phân vùng cạnh có độ phức tạp mà tôi tò mò, được thúc đẩy bởi một câu hỏi trước đây của tôi . Đầu vào: đồ thị khối G=(V,E)G=(V,E)G=(V,E) Câu hỏi: là có một phân vùng của vào E 1 , E 2 , ... , …

12 cc.complexity-theory  graph-theory  np-hardness  co.combinatorics 

Vấn đề tô màu là, đã, đủ cứng cho hầu hết mọi người . Mặc dù vậy, tôi sẽ phải gặp khó khăn và hỏi một vấn đề về màu siêu âm. Câu hỏi. Những thuật toán hiệu quả nào đang có để tìm ra một màu cạnh tối ưu …

12 co.combinatorics  hypergraphs  graph-colouring 

Đặt là cấu trúc hữu hạn. Liệu đầu tiên lý thuyết trật tự của nó T : = T H ( Một ) có thứ hạng quantifier bị chặn, theo nghĩa rằng có một q ∈ N sao cho với mọi φ ∈ T với q r ( φ ) …

11 co.combinatorics  lo.logic  relational-structures 

Cho một tập hợp các siêu phẳng được xác định bởi các vectơ bình thường , các loại tế bào của nó (hoặc vectơ ký hiệu) đều là các vectơ t ∈ { + , - } m mà tồn tại một vectơ v ∈ R d để ⟨ v …

11 co.combinatorics  cg.comp-geom  computational-geometry  metric-spaces 

Crossposted từ MO . Đặt là một lớp biểu đồ được xác định bởi một số hữu hạn các đồ thị con bị cấm, tất cả đều là chu kỳ (chứa ít nhất một chu kỳ).CCC Có vấn đề đồ thị NP-hard nào có thể được giải quyết trong thời …

11 cc.complexity-theory  graph-theory  graph-algorithms  co.combinatorics