Khoa học máy tính reductions

1

Giảm giữa các vấn đề không thể giải quyết

Tôi xin lỗi nếu câu hỏi này có một số câu trả lời tầm thường mà tôi đang thiếu. Bất cứ khi nào tôi nghiên cứu một số vấn đề đã được chứng minh là không thể giải quyết được, tôi nhận thấy rằng bằng chứng dựa trên việc giảm …

11 computability reductions undecidability

2

Là HORN-SAT trong LIN, nếu vậy tại sao đó không phải là dấu hiệu cho thấy P = LIN?

Sở thú phức tạp định nghĩa là lớp các vấn đề quyết định có thể giải quyết được bằng máy Turing xác định trong thời gian tuyến tính.L tôiNLINLIN L tôiN⊆ PLIN⊆PLIN \subseteq P Vì HORN-SAT có thể giải được bằng (như được chỉ ra trong các thuật toán thời …

11 complexity-theory time-complexity reductions

1

Các lớp phức tạp trông như thế nào, nếu chúng ta sử dụng giảm Turing?

Để suy luận về những thứ như tính đầy đủ của NP, chúng tôi thường sử dụng các mức giảm nhiều người (nghĩa là giảm Karp). Điều này dẫn đến hình ảnh như thế này: (theo phỏng đoán tiêu chuẩn). Tôi chắc rằng tất cả chúng ta đều quen thuộc …

10 complexity-theory reductions complexity-classes

2

Chúng ta có thể xây dựng mức giảm Karp từ mức giảm Cook giữa các vấn đề NP không?

Chúng tôi đã có một số câu hỏi về mối quan hệ của việc giảm Cook và Karp . Rõ ràng là giảm Cook (giảm Turing theo thời gian đa thức) không định nghĩa cùng một khái niệm về tính đầy đủ của NP như giảm Karp (giảm nhiều lần …

10 complexity-theory reference-request np-complete reductions

1

Hiển thị rằng việc xóa đỉnh tối thiểu đối với biểu đồ lưỡng cực là hoàn thành NP

Hãy xem xét vấn đề sau có thể hiện đầu vào là đồ thị đơn giản và số nguyên tự nhiên k .GGGkkk Có tập hợp sao cho G - S là lưỡng cực và | S | ≤ k ?S⊆V(G)S⊆V(G)S \subseteq V(G)G−SG−SG - S|S|≤k|S|≤k|S| \leq k Tôi muốn chỉ …

10 complexity-theory np-complete reductions

2

Nếu A là ánh xạ có thể rút gọn thành B thì phần bù của A là ánh xạ có thể rút gọn thành phần bù của B

Tôi đang nghiên cứu cho lý thuyết tính toán cuối cùng của mình và tôi đang vật lộn với cách trả lời đúng đắn liệu tuyên bố này có đúng không. Theo định nghĩa của chúng ta có thể xây dựng câu lệnh sau,≤m≤m\leq_m w∈A⟺f(w)∈B→w∉A⟺f(w)∉Bw∈A⟺f(w)∈B→w∉A⟺f(w)∉Bw \in A \iff f(w) \in …

10 complexity-theory computability reductions

2

Đối với bất kỳ ngôn ngữ , có sao cho nhưng

Tôi đang cố gắng đưa ra một bằng chứng cho những điều sau đây: Đối với bất kỳ ngôn ngữ AAA , tồn tại một ngôn ngữ BBB mà A≤TBA≤TBA \le_{\mathrm{T}} B nhưng B ≰TA≰TA\nleq_{\mathrm{T}} A . Tôi đã nghĩ đến việc để BBB là ATMATMA_{\mathrm{TM}} , nhưng tôi nhận …

9 computability reductions undecidability

2

Giảm lưu lượng tối đa để phù hợp với bipartite?

Có một sự giảm thiểu nổi tiếng và thanh lịch từ vấn đề khớp lưỡng cực tối đa sang vấn đề luồng cực đại: chúng ta tạo một mạng với một nút nguồn , một nút đầu cuối và một nút cho mỗi mục được khớp, sau đó thêm các …

9 reductions network-flow bipartite-matching

1

Độ cứng và hướng giảm

Hãy để chúng tôi nói rằng chúng tôi biết rằng vấn đề A là khó khăn, sau đó chúng tôi giảm A thành vấn đề B chưa biết để chứng minh B cũng khó khăn. Một ví dụ: chúng ta biết 3 màu là khó. Sau đó, chúng tôi giảm …

9 complexity-theory np-complete reductions

2

Bảng chữ cái vô hạn Turing Machine

Máy Turing có được phép đọc và viết ký hiệu từ bảng chữ cái vô hạn mạnh hơn TM thông thường không (đó là điểm khác biệt duy nhất, máy vẫn có số lượng trạng thái hữu hạn)? Trực giác nói với tôi là không, vì bạn cần vô số …

9 computability turing-machines reductions simulation

1

Biểu cảm của biểu thức chính quy hiện đại

Gần đây tôi đã thảo luận với một người bạn về một trang web đề xuất các thách thức regex, chủ yếu khớp một nhóm từ với một thuộc tính đặc biệt. Anh ta đang tìm kiếm một regex khớp với các chuỗi như ||||||||số lượng số |nguyên tố. Tôi …

9 formal-languages machine-models logic boolean-algebra xor cryptography algorithms machine-learning algorithms paging virtual-memory programming-languages object-oriented algorithms search-algorithms strings binary-search formal-grammars context-free algorithms algorithms correctness-proof greedy-algorithms permutations logic first-order-logic logic-programming algorithms complexity-theory computability programming-languages complexity-theory complexity-classes quantum-computing reductions formal-languages programming-languages semantics operational-semantics small-step-semantics sets first-order-logic computer-networks communication-protocols

1

Bằng chứng NP-đầy đủ từ vấn đề Dasgupta trên Diều

Tôi đang cố gắng để hiểu vấn đề này từ Thuật toán. bởi S. Dasgupta, CH Papadimitriou, và UV Vazirani, chương8 , PG281. Bài toán 8.19 Một con diều là một đồ thị trên một số đỉnh chẵn2n2n2n, trong đó nnn của các đỉnh tạo thành một cụm và phần …

9 complexity-theory np-complete reductions

1

Độ cứng NP của việc tìm một tập hợp con của các đỉnh trong đồ thị có trọng số đỉnh

Đây là nhiệm vụ từ cuộc thi CNTT của Đức ("Bundeswettbewerb Informatik"), nhưng vì thời hạn đã qua, nên việc đặt câu hỏi này không phải là gian lận. Cho một đồ thị có trọng số đỉnh, hướng và các giá trị c v , tìm một tập hợp con …

8 complexity-theory reductions np-hard

1

Những vấn đề quyết định NP không thể tự giảm?

Vì vậy, chúng tôi chỉ học về khả năng tự giảm trong lớp. Giáo sư của tôi và sách giáo khoa của chúng tôi sẽ không cam kết nói rằng tất cả các vấn đề trong NP đều có thể tự giảm, nhưng dường như không có bất kỳ ví …

8 complexity-theory reductions decision-problem np

2

Đồ thị 3 màu có thể tự giảm

Tôi quan tâm đến khả năng tự giảm của vấn đề Biểu đồ 3-Coloralibity. Định nghĩa vấn đề đồ thị 3-Coloralibity. Cho một đồ thị vô hướng có tồn tại cách tô màu cho các nút đỏ, lục và lam để không có các nút lân cận có cùng màu …

8 complexity-theory reductions

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