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

Trong khi lý luận một chút về câu hỏi này , tôi đã cố gắng để xác định tất cả những lý do khác nhau mà một đồ thị có thể thất bại là có lẽ thật. Đây là 2 lý do duy nhất mà tôi có thể xác định …

21 graph-theory  co.combinatorics  graph-colouring  clique 

Có thể kiểm tra bằng thuật toán nếu một số tính toán là số nguyên hay số nguyên? Nói cách khác, một thư viện có thể thực hiện các số tính toán để cung cấp các hàm isIntegerhay isRationalkhông? Tôi đoán rằng điều đó là không thể, và điều này …

18 computability  computing-over-reals  lambda-calculus  graph-theory  co.combinatorics  cc.complexity-theory  reference-request  graph-theory  proofs  np-complete  cc.complexity-theory  machine-learning  boolean-functions  combinatory-logic  boolean-formulas  reference-request  approximation-algorithms  optimization  cc.complexity-theory  co.combinatorics  permutations  cc.complexity-theory  cc.complexity-theory  ai.artificial-intel  p-vs-np  relativization  co.combinatorics  permutations  ds.algorithms  algebra  automata-theory  dfa  lo.logic  temporal-logic  linear-temporal-logic  circuit-complexity  lower-bounds  permanent  arithmetic-circuits  determinant  dc.parallel-comp  asymptotics  ds.algorithms  graph-theory  planar-graphs  physics  max-flow  max-flow-min-cut  fl.formal-languages  automata-theory  finite-model-theory  dfa  language-design  soft-question  machine-learning  linear-algebra  db.databases  arithmetic-circuits  ds.algorithms  machine-learning  ds.data-structures  tree  soft-question  security  project-topic  approximation-algorithms  linear-programming  primal-dual  reference-request  graph-theory  graph-algorithms  cr.crypto-security  quantum-computing  gr.group-theory  graph-theory  time-complexity  lower-bounds  matrices  sorting  asymptotics  approximation-algorithms  linear-algebra  matrices  max-cut  graph-theory  graph-algorithms  time-complexity  circuit-complexity  regular-language  graph-algorithms  approximation-algorithms  set-cover  clique  graph-theory  graph-algorithms  approximation-algorithms  clustering  partition-problem  time-complexity  turing-machines  term-rewriting-systems  cc.complexity-theory  time-complexity  nondeterminism 

Hãy 0≤p≤10≤p≤10\le p\le 1 và xem xét các vấn đề quyết định Bè lũ p Input: số nguyên s , đồ thị G với t đỉnh và cạnh Câu hỏi: không chứa một bè lũ trên ít nhất đỉnh?pp_p sssGGGttts⌈p(t2)⌉⌈p(t2)⌉\lceil p\binom{t}{2} \rceil GGGsss Một thể hiện của CLIQUE chứa tỷ …

17 cc.complexity-theory  np  parameterized-complexity  clique 

Ở dạng đơn giản: Máy tự động hữu hạn hai chiều có thể nhận ra đồ thị vvv -vertex có chứa tam giác với trạng thái o(v3)o(v3)o(v^3) không? Chi tiết Điều đáng quan tâm ở đây là các đồ thị vvv -vertex được mã hóa bằng một chuỗi các cạnh, …

15 cc.complexity-theory  ds.algorithms  graph-algorithms  clique 

Các kkk vấn đề -cycle là như sau: Sơ thẩm: Một đồ thị vô hướng GGG có nnn đỉnh và tối đa cạnh.(n2)(n2)n \choose 2 Câu hỏi: Có tồn tại một mô-tơ (thích hợp) trong không?kkkGGG Bối cảnh: Đối với bất kỳ k cố định nào kkk, chúng ta có …

15 graph-theory  graph-algorithms  clique  polynomial-time  fixed-parameter-tractable 

Câu hỏi này được thúc đẩy bởi một câu hỏi MathOverflow của Peng Zhang . Valiant đã chỉ ra rằng việc đếm các nhóm tối đa trong một biểu đồ chung là # P-đầy đủ, nhưng điều gì sẽ xảy ra nếu chúng ta hạn chế các biểu đồ không …

13 cc.complexity-theory  counting-complexity  partial-order  clique 

Vấn đề phân vùng 3-bè lũ là vấn đề xác định xem các đỉnh của đồ thị, nói , có thể được phân chia thành 3 bè phái. Vấn đề này là NP-hard bằng cách giảm đơn giản từ vấn đề 3 màu. Không khó để thấy rằng câu trả …

11 cc.complexity-theory  graph-theory  np-hardness  clique 

Tôi quan tâm đến việc giảm -Clique thành SAT mà không làm cho ví dụ lớn hơn nhiều.kkk Clique nằm trong NP nên có thể giảm xuống SAT bằng không gian logarit. Việc giảm bớt sách giáo khoa đơn giản của Garey / Johnson sẽ làm tăng thể tích lên …

10 cc.complexity-theory  sat  reductions  clique 

Cho một họ có tối đa tập con của . Việc đóng cửa công đoàn là một gia đình bộ có chứa tất cả các thiết lập có thể được xây dựng bằng cách tham gia công đoàn trong tổng số 1 hoặc nhiều bộ trong . Bởichúng ta biểu …

10 co.combinatorics  graph-algorithms  clique  independence 

Tôi đang tìm kiếm toàn bộ kết quả của cụm sao Mặt trăng và Moser năm 1969 Trên Cliques trong Đồ thị (tồn tại các biểu đồ với một số lượng cực đại theo cấp số mũ theo ). Paywall của trường đại học của tôi không có quyền truy …

10 reference-request  graph-theory  co.combinatorics  clique 

Tôi đang đọc một bài báo cũ của MC Golumbic về đồ thị EPT (giao điểm cạnh của các đường trong cây). Trong bài báo cho thấy số lượng bản sao tối đa của một thể hiện đồ thị EPT là đa thức. Nó kết luận rằng nếu một nhà …

9 ds.algorithms  graph-algorithms  clique 

Vấn đề kinh điển: Cho một số được cho. Các vấn đề -clique là như sau.kkkkkk Cho đồ thị , có tồn tại tập con của đỉnh sao cho hai đỉnh của liền kề nhau không?GGGSSSkkkSSS Vấn đề siêu dữ liệu: Cho số và được cho. Vấn đề -hyperclique như …

9 cc.complexity-theory  graph-theory  matrices  clique  fixed-parameter-tractable 

Giả sử chúng ta có một đa lớp (sau này, một đa đồ thị). Một clique edge là một tập hợp các cạnh mà tất cả các cặp giao nhau (có ít nhất một đỉnh chung). Sau đó, bất kỳ cl-edge trong một đa lớp luôn rơi vào một trong …

8 ds.algorithms  graph-theory  hypergraphs  graph-algorithms  clique 

Tôi đã đọc một bài báo của một nhà hóa học toán học. Ông đề xuất một số chỉ số để đo độ phức tạp của các phân tử. Từ đây trở đi, thay vì các phân tử, hãy nghĩ các đồ thị được kết nối vô hướng: một đỉnh …

8 cc.complexity-theory  ds.algorithms  graph-algorithms  clique