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

Hai đồ thị G, H là đẳng cấu nếu có sự gắn lại các đỉnh của G tạo ra H và ngược lại. Bài toán đẳng cấu đồ thị (GI) là để quyết định xem hai số đã cho có phải là đẳng cấu không. Ngoài lợi ích thực tế của nó, Karp được xác định vào năm 1972 là có độ phức tạp chưa biết, là một trong số ít các ứng cử viên tự nhiên còn lại cho một vấn đề trung gian NP, và dẫn đến việc tạo ra lớp phức tạp AM.

Làm thế nào để trích dẫn kết quả đẳng cấu đồ thị mới của Babai?

Mới đây, Babai đã xuất bản một bài báo về STOC 2016 tuyên bố rằng sự đồng hình đồ thị có thể được giải quyết trong thời gian quasipolynomial. Vào đầu năm 2017, Babai đã rút lại yêu cầu quasipolynomial do một số sai lầm nghiêm trọng được tìm thấy …

16 graph-isomorphism

Ví dụ cho thuật toán hiệu quả của Corneil cho biểu đồ đẳng cấu

Trong bài báo Một thuật toán hiệu quả cho sự đồng hình đồ thị của Corneil và Gotlieb, 1970, một phỏng đoán đã được nêu trong đó thuật toán đã nêu dựa vào việc giải GI trong thời gian đa thức. Cụ thể là: rằng các biểu đồ đại diện …

16 graph-isomorphism automorphism

Đồ thị thường xuyên và hoàn thiện GI

Người ta không biết nếu phép đẳng cấu đồ thị (GI) cho đồ thị mạnh mẽ thường xuyên (SRGs) là P . Có gợi ý nào cho thấy nó có thể hoặc không phải là GI -Complete không? Có bất kỳ hậu quả mạnh mẽ trong các trường hợp như …

16 cc.complexity-theory graph-theory graph-algorithms graph-isomorphism structural-complexity

ma trận tương tự

Cho hai ma trận và , bài toán quyết định xem có tồn tại ma trận hoán vị sao cho tương đương với (Biểu đồ đẳng cấu). Nhưng nếu chúng ta thư giãn để chỉ là một ma trận khả nghịch, thì sự phức tạp là gì? Có bất kỳ …

16 ds.algorithms time-complexity linear-algebra matrices graph-isomorphism

Độ cứng NP của một vấn đề phân vùng đồ thị?

Tôi quan tâm đến vấn đề này: Đưa ra một đồ thị vô hướng , Có phân vùng G thành các đồ thị G 1 ( E 1 , V 1 ) và G 2 ( E 2 , V 2 ) sao cho G 1 và G 2 có …

16 cc.complexity-theory graph-theory graph-isomorphism

Mối quan hệ giữa tính đối xứng và tính hấp dẫn tính toán?

Các điểm -Cố vấn đề automorphism miễn phí yêu cầu một đồ thị automorphism mà di chuyển ít nhất nút. Vấn đề là -complete nếu với mọi > 0.k ( n ) N P k ( n ) = n c ckkkk ( n )k(n)k(n)NPNPNPk ( n ) = nck(n)=nck(n)=n^cccc …

16 cc.complexity-theory graph-isomorphism automorphism symmetry

Trường hợp cứng để kiểm tra đẳng cấu đồ thị

Là trường hợp của đồ thị thường xuyên mạnh mẽ là khó nhất cho thử nghiệm GI? trong đó "khó nhất" được sử dụng theo nghĩa "thông thường" hay "trung bình", có thể nói như vậy. Wolfram MathWorld đề cập đến một số "đồ thị cứng bệnh lý". Họ là …

16 ds.algorithms graph-isomorphism

Vấn đề đồ thị GI-hard không được biết đến là -complete

Đồ thị đẳng cấu ( ) là ứng cử viên tốt cho bài toán inter Ngay. vấn đề liên quan đến tồn tại trừ khi . Tôi đang tìm kiếm vấn đề tự nhiên khó trong việc giảm Karp (Một vấn đề đồ thị sao cho ).GIGIGINPNPNPNPNPNPP=NPP=NPP=NPGIGIGIXXXGI<mpXGI<pmXGI <_p^m X Có …

15 cc.complexity-theory graph-theory graph-isomorphism np-intermediate

Đồ thị con không hoàn hảo

Xem xét vấn đề sau: Đưa ra biểu đồ truy vấn và biểu đồ tham chiếu , chúng tôi muốn tìm ánh xạ tiêm truyền f: V \ rightarrow V' để giảm thiểu số lượng các cạnh (v_1, v_2) \ trong E sao cho (f (v_1), f (v_2)) \ notin …

15 cc.complexity-theory ds.algorithms graph-theory approximation-algorithms graph-isomorphism

Độ cứng của máy tính nhãn Weisfeiler-Lehman

Các thuật toán Weisfeiler-Lehman 1-dim (WL) thường được gọi là nhãn kinh điển hay thuật toán tinh màu. Nó hoạt động như sau: Màu ban đầu là đồng nhất, cho tất cả các đỉnh .C0C0C_0C0( v ) = 1C0(v)= =1C_0(v) = 1v ∈ V( G ) ∪ V( H)v∈V(G)∪V(H)v \in …

15 cc.complexity-theory graph-theory graph-isomorphism logspace

Phương pháp tiếp cận GI lấy cảm hứng từ vấn đề nút thắt

Cả hai vấn đề GI và Hôn đều là vấn đề quyết định sự tương đương cấu trúc của các đối tượng toán học. Có bất kỳ kết quả thiết lập kết nối giữa chúng? Các kết nối tốt đẹp của vấn đề nút thắt với vật lý thống kê …

14 cc.complexity-theory reference-request graph-theory graph-isomorphism algebraic-topology

Tạo đồ thị với tự động hóa tầm thường

Tôi đang sửa đổi một số mô hình mật mã. Để thể hiện sự bất cập của nó, tôi đã nghĩ ra một giao thức được xây dựng dựa trên sự đẳng cấu của đồ thị. Thật là "phổ biến" (nhưng vẫn còn gây tranh cãi!) Khi giả sử sự …

14 graph-theory cr.crypto-security automorphism graph-isomorphism randomized-algorithms

Liệu thuật toán

Tôi có một câu hỏi (hy vọng đơn giản, có thể ngớ ngẩn) trên tờ giấy mốc của Babai cho thấy là quasipolynomial.GIGI\mathsf{GI} Babai đã chỉ ra cách tạo chứng chỉ rằng hai đồ thị cho i ∈ { 1 , 2 } là đẳng cấu, theo thời gian quasipolynomial …

13 graph-isomorphism search-problem

Sự phức tạp của các vấn đề liên quan đến hoán vị

Cho một nhóm GGG hoán vị trên [n]={1,⋯,n}[n]={1,⋯,n}[n]=\{1, \cdots, n\} và hai vectơ trong đó là một bảng chữ cái hữu hạn không hoàn toàn phù hợp ở đây, câu hỏi là liệu có tồn tại một số sao cho trong đó có nghĩa là áp dụng hoán vị trên …

13 cc.complexity-theory graph-isomorphism permutations

Kiểm tra sự đẳng cấu của đồ thị bất đối xứng

Trong khi đọc các câu hỏi ví dụ nơi sự độc đáo của giải pháp làm cho nó dễ dàng hơn để tìm thấy , một (? Dễ dàng hơn) câu hỏi mới lóe lên trong óc tôi: thực sự chúng tôi không biết nếu (phép đẳng cấu đồ thị …

13 reference-request graph-isomorphism

Khi sử dụng trang web của chúng tôi, bạn xác nhận rằng bạn đã đọc và hiểu Chính sách cookie và Chính sách bảo mật của chúng tôi.

Licensed under cc by-sa 3.0 with attribution required.