Khoa học máy tính lý thuyết graph-isomorphism

1

Có một loại kết quả khuếch đại khoảng cách cho vấn đề đẳng cấu đồ thị?

Giả sử và G 2 là hai đồ thị vô hướng trên đỉnh thiết lập { 1 , ... , n } . Các đồ thị là đẳng cấu khi và chỉ khi có một hoán vị Π mà G 1 = Π ( G 2 ) , hay chính …

53 cc.complexity-theory graph-isomorphism pcp

3

Hậu quả của thuật toán thời gian đa thức cho bài toán đẳng cấu đồ thị

Các vấn đề phép đẳng cấu đồ thị (GI) được cho là ứng viên tốt nhất được biết đến cho một NP-trung gian vấn đề. Các thuật toán tốt nhất được biết đến là thuật toán phân theo cấp số nhân với thời gian chạy . Được biết, GI không …

40 cc.complexity-theory ds.algorithms graph-theory graph-isomorphism

3

Kỹ thuật cho thấy vấn đề là ở độ cứng

Đưa ra một vấn đề mới trong có độ phức tạp thực sự nằm ở đâu đó giữa và hoàn thành NP, có hai phương pháp mà tôi biết có thể được sử dụng để chứng minh rằng việc giải quyết vấn đề này là khó khăn:PN PNP\mathsf{NP}PP\mathsf{P} Cho thấy …

36 cc.complexity-theory np-hardness graph-isomorphism np-intermediate

1

Đồ thị đẳng cấu có thể được quyết định với thuyết không giới hạn căn bậc hai?

Không giới hạn ràng buộc liên kết một hàm với một lớp ngôn ngữ C được chấp nhận bởi các máy Turing xác định giới hạn tài nguyên, để tạo thành một lớp g - C mới . Lớp này bao gồm những ngôn ngữ được chấp nhận bởi một …

30 cc.complexity-theory graph-theory graph-isomorphism nondeterminism

3

chứng chỉ coNP cho biểu đồ đẳng cấu

Dễ dàng thấy rằng đẳng cấu đồ thị (GI) nằm trong NP. Đây là một vấn đề mở lớn cho dù GI có trong coNP hay không. Có bất kỳ ứng cử viên tiềm năng nào của các thuộc tính của đồ thị có thể được sử dụng làm chứng …

29 cc.complexity-theory graph-isomorphism

1

Từ chối bằng chứng: Đánh giá nghiệp dư của các bài báo CoRR đầy tham vọng

Tôi đoán rằng tôi đã đọc quá nhiều bài báo CoRR đầy tham vọng . Vấn đề là những bài báo đó không được xem xét ngang hàng, nhưng thường nghe có vẻ thú vị và vượt qua kiểm tra tính hợp lý cơ bản. Hoặc có thể họ không, …

24 soft-question graph-isomorphism paper-review ppad

3

Đồ thị đẳng cấu và các nhóm con ẩn

Tôi đang cố gắng hiểu mối quan hệ giữa đẳng cấu đồ thị và vấn đề nhóm con ẩn. Có một tài liệu tham khảo tốt cho việc này?

23 cc.complexity-theory reference-request quantum-computing graph-isomorphism

1

Tình trạng của kết quả đẳng cấu đồ thị của Babai là gì?

Đã hơn một năm kể từ khi rút lại và điều chỉnh vào tháng 1 năm 2017. Có tin tức gì không? Nếu không điều này là bình thường để xác nhận mất nhiều thời gian? Tôi hy vọng nó sẽ nhận được nhiều sự chú ý. Có ai lưu …

23 cc.complexity-theory graph-isomorphism proofs

4

Bằng chứng nào cho thấy rằng đẳng cấu đồ thị không có trong

Được thúc đẩy bởi nhận xét của Fortnow về bài đăng của tôi, Bằng chứng là vấn đề Đồng phân đồ thị không phải là -completeNPNPNP G I và bởi thực tế là một ứng cử viên chính cho vấn đề -inter liền (không phải -complete cũng như trong ), …

23 cc.complexity-theory graph-isomorphism

1

Độ cứng được biết đến hiện tại của đồ thị đẳng cấu là gì?

Lấy cảm hứng từ câu hỏi là bao thanh toán được gọi là P-hard , tôi tự hỏi trạng thái kiến thức tương tự hiện nay là gì về độ cứng của đẳng cấu đồ thị. Tôi chắc chắn rằng hiện tại không biết GI có ở P không, nhưng: …

21 cc.complexity-theory complexity-classes graph-isomorphism

2

Đồ họa nhỏ xíu

Trong khi suy nghĩ về sự phức tạp của kiểm tra đẳng cấu của đồ thị bất đối xứng (xem câu hỏi liên quan của tôi về cstheory), một câu hỏi bổ sung xuất hiện trong đầu tôi. Giả sử rằng chúng ta có một máy Turing thời gian đa …

19 graph-isomorphism

4

Các vấn đề mở liên quan đến đẳng cấu đồ thị

Hiện tại tôi đang làm khảo sát tài liệu về vấn đề đồ thị đẳng cấu (GI). Tôi muốn biết một số câu hỏi mở liên quan đến sau đây Các tham số biểu đồ cho khả năng lưu thông số cố định của GI là một vấn đề mở. …

18 graph-isomorphism fixed-parameter-tractable

2

Sự phức tạp của vấn đề giao lộ coset

Cho nhóm đối xứng và hai nhóm con và , có giữ không?SnSnS_nG,H≤SnG,H≤SnG, H\leq S_nπ∈Snπ∈Sn\pi\in S_nGπ∩H=∅Gπ∩H=∅G\pi\cap H=\emptyset Theo như tôi biết, vấn đề này được gọi là vấn đề giao nhau. Tôi đang tự hỏi những gì phức tạp? Cụ thể, vấn đề này được biết là trong coAM? Hơn …

17 cc.complexity-theory graph-isomorphism gr.group-theory

2

Vấn đề đẳng cấu đồ thị

Tôi đang làm một số tài liệu đánh giá về vấn đề đẳng cấu đồ thị. Hầu hết các bài báo mà tôi đang đọc đều được viết bởi EM Luks và Laszlo Babai. Các bài viết này sử dụng kiến thức cấp cao về lý thuyết nhóm và lý …

17 cc.complexity-theory graph-isomorphism

2

Giới thiệu nhẹ nhàng về đẳng cấu đồ thị cho đồ thị hóa trị giới hạn

Tôi đọc về lớp học của đồ thị mà phép đẳng cấu đồ thị ( ) là P . Một trong những trường hợp như vậy là đồ thị hóa trị giới hạn (tối đa trên mức độ của mỗi đỉnh) như được giải thích ở đây . Nhưng tôi …

17 ds.algorithms reference-request graph-theory graph-isomorphism

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