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

Hãy tưởng tượng chúng ta có hai tập hợp kích thước mmm của các điểm X,Y⊂RnX,Y⊂RnX,Y\subset \mathbb{R}^n . Độ phức tạp của thời gian kiểm tra là gì nếu chúng chỉ khác nhau bởi phép quay? : tồn tại ma trận xoay OOT=OTO=IOOT=OTO=IOO^T=O^TO=I sao cho X=OYX=OYX=OY ? Có một vấn …

12 cc.complexity-theory  complexity-classes  graph-isomorphism  computational-geometry  high-dimensional-geometry 

Tôi muốn rất cụ thể. Có ai biết về một sự không chắc chắn hoặc bằng chứng của các đề xuất sau đây: ∃p∈Z[x],n,k,C∈N,∃p∈Z[x],n,k,C∈N,\exists p \in \mathbb{Z}[x], n, k, C \in \mathbb{N}, ∀G,H∈STRUC[Σgraph](min(|G|,|H|)=n,G≄H),∀G,H∈STRUC[Σgraph](min(|G|,|H|)=n,G≄H),\forall G, H \in STRUC[\Sigma_{graph}] (min(|G|, |H|) = n, G \not\simeq H), ∃φ∈L(Σgraph),∃φ∈L(Σgraph),\exists \varphi \in \mathcal{L}(\Sigma_{graph}), |φ|≤p(n)∧qd(φ)≤Clog(n)k∧G⊨φ∧H⊭φ.|φ|≤p(n)∧qd(φ)≤Clog(n)k∧G⊨φ∧H⊭φ.|\varphi| \leq …

12 graph-theory  graph-isomorphism  formulas  first-order-logic 

Trong ví dụ truy cập nổi tiếng về phương pháp đẳng cấu đồ thị thông qua phương pháp Weisfeiler-Lehman (WL), tiện ích sau đây được xây dựng trong bài báo này của Cai, Furer và Immerman. Chúng xây dựng đồ thị được cho bởiXk=(Vk,Ek)Xk=(Vk,Ek)X_k = (V_k, E_k) Vk=Ak∪Bk∪Mk where Ak={ai∣1≤i≤k},Bk={bi∣1≤i≤k}, …

12 graph-theory  graph-algorithms  graph-isomorphism  algebraic-complexity 

Đã có một số nỗ lực để tấn công vấn đề đẳng cấu đồ thị bằng cách sử dụng bước đi ngẫu nhiên lượng tử của các boson lõi cứng (đối xứng nhưng không chiếm hai lần). Sức mạnh đối xứng của ma trận kề, có vẻ đầy hứa hẹn, …

12 cc.complexity-theory  graph-theory  graph-algorithms  graph-isomorphism 

Những vấn đề khác ngôn ngữ khác với đẳng cấu đồ thị là trong ? Bạn có thể cho một số tài liệu tham khảo?NP∩ c o A MNP∩coMộtMNP\cap coAM Cập nhật: Tôi quên đề cập rằng tôi quan tâm đến các ngôn ngữ không được biết đến trong .c …

12 cc.complexity-theory  reference-request  complexity-classes  graph-isomorphism 

Là vấn đề đẳng cấu nửa hữu hạn nghịch đảo hữu hạn GI-hoàn thành ? Ở đây các nửa nhóm nghịch đảo hữu hạn được giả sử được đưa ra bởi các bảng nhân của chúng.

11 cc.complexity-theory  graph-isomorphism 

Tôi quan tâm nghiên cứu các vấn đề hoàn chỉnh của đồ thị đẳng cấu (GI). Trong bài báo "Các vấn đề tương đương đa thức đối với sự đồng hình đồ thị" của Kellogg S. Booth, (1979), đã chứng minh rằng nhiều vấn đề cơ bản đã hoàn thành …

11 cc.complexity-theory  reference-request  graph-isomorphism 

Một phần của khó khăn trong việc tìm hiểu thêm về vấn đề này là vấn đề khớp đồ thị khác với người anh em nổi tiếng hơn nhiều của nó, vấn đề khớp, nhưng khó phân biệt với nó khi sử dụng các công cụ tìm kiếm. Cho hai …

11 reference-request  graph-theory  graph-isomorphism 

Người ta tin rằng một số vấn đề tính toán như đẳng cấu đồ thị không thể hoàn thành NP vì nó không có đủ cấu trúc hoặc dự phòng để khó tính toán (NP-hard). Tôi quan tâm đến các khái niệm chính thức khác nhau về cấu trúc của …

11 cc.complexity-theory  graph-isomorphism 

Tôi muốn hỏi liệu có một kết quả đã được công bố về điều đó: Chúng tôi thực hiện tất cả các đường dẫn khác nhau có thể có giữa mỗi cặp nút của hai biểu đồ được kết nối thông thường (với độ giả sử và số nút n …

11 graph-theory  co.combinatorics  graph-algorithms  graph-isomorphism 

Với bất kỳ đồ thị vô hướng đơn giản G nào, sẽ không cần thiết để xác định xem G có tự động hóa không (không nhận dạng) không. Nhưng kết quả trên giới hạn trên / dưới của vấn đề quyết định này là gì?

11 cc.complexity-theory  graph-isomorphism  automorphism 

Với đồ thị G1, G2 và G3, chúng tôi muốn thực hiện kiểm tra đẳng cấu F giữa G1 và G2 cũng như G1 và G3. Nếu G2 và G3 rất giống nhau sao cho G3 được hình thành bằng cách xóa một nút và chèn một nút khỏi G2 …

10 graph-theory  graph-algorithms  graph-isomorphism 

Tại http://www.dharwadker.org/tevet/isomorphism/ , có một bài trình bày về thuật toán để xác định xem hai biểu đồ có phải là đẳng cấu không. Đưa ra một số điều chúng ta sẽ nói, những tuyên bố "thú vị" của A Dharwadker, tôi không có xu hướng tin vào điều đó. …

10 graph-isomorphism 

Vấn đề đẳng cấu đồ thị là một trong những vấn đề tồn tại lâu nhất chống lại việc phân loại thành các vấn đề hoặc -complete. Chúng tôi có bằng chứng rằng nó không thể là -complete. Thứ nhất, đồ thị đẳng hình không thể là trừ khi hệ …

10 cc.complexity-theory  graph-isomorphism 

Crossposted từ MO . (cạnh) đồ thị đẳng hình màu là GI bảo toàn màu sắc (của các cạnh nếu nó có màu cạnh). Có một số cách giảm bằng cách sử dụng các phép biến đổi / tiện ích của (cạnh) có màu GI thành GI. Đối với GI …

10 graph-theory  graph-isomorphism  automorphism