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

Đặt là một đồ thị vô hướng. Một phép phân tách V thành các tập con tách rời V i được gọi là phép phân tách Hamilton của G nếu sơ đồ con được tạo bởi mỗi tập V i là một đồ thị Hamilton hoặc bao gồm một cạnh …

10 cc.complexity-theory  ds.algorithms  graph-theory  np-hardness  hamiltonian-paths 

Set được đưa ra. Đối với mỗi phần tử e i , chúng ta có trọng số w i > 0 và chi phí c i > 0 . Mục tiêu là tìm các tập con M kích thước k tối đa hóa hàm mục tiêu sau: Σ e i …

10 np-hardness  optimization 

Một ngôn ngữ nằm trong lớp iff có hai ngôn ngữ và sao choLLLL 1 ∈ N P L 2 ∈ c o N P L = L 1 ∩ L 2DPDPDPL1∈NPL1∈NPL1 \in NPL2∈coNPL2∈coNPL2 \in coNPL=L1∩L2L=L1∩L2L = L1 \cap L2 Một vấn đề -complete chính quy là SAT-UNSAT: đưa ra …

10 cc.complexity-theory  np-hardness  complexity-classes  sat 

Hiroimono là một câu đố -complete phổ biến . Tôi quan tâm đến sự phức tạp tính toán của một câu đố liên quan.NPNPNP Vấn đề là: Input : Cho một tập hợp các điểm trên trên một x n lưới vuông và số nguyên knnnnnnkkk Câu hỏi : Có …

10 cc.complexity-theory  np-hardness  puzzles  integer-lattice 

Giả sửP≠ NPP≠NPP \neq NP Hãy sử dụng ký hiệu sau cho phép tetration (nghĩa là ).Tôimộtimột{}^iaTôia = amột⋅⋅⋅mộttôi lầnia=aa⋅⋅⋅a⏟i lần{}^ia = \underbrace{a^{a^{\cdot^{\cdot^{\cdot^{a}}}}}}_{i \mbox{ times}} | x | là kích thước của thể hiện x. Đặt L là ngôn ngữ,L |f( i ) ≤ | x | < g( tôi …

10 cc.complexity-theory  np-hardness  complexity-classes 

Một hệ thống sao là một gia đình n tập con của n-yếu tố thiết lập . Một hệ thống sao là đồ họa nếu có một số đồ thị mà là gia đình trong những khu phố đỉnh trong . Đó là -complete để quyết định xem một hệ …

10 cc.complexity-theory  np-hardness 

Ví dụ về các biến thể -complete bị ràng buộc của các tập hợp không thể giải quyết được:NPNPNP Vấn đề giới hạn giới hạn = { | Máy NTM dừng lại và chấp nhận trong vòng bước}M x t( M, x , 1t)(M,x,1t)(M, x, 1^t)MMMxxxttt Ốp lát giới hạn …

10 cc.complexity-theory  np-hardness 

Báo cáo vấn đề : Đặt MMM là một máy tự động đẩy xuống (có khả năng không xác định) và để MộtMột\cal A là bảng chữ cái đầu vào của nó. Có một từ w ∈ A*w∈Một*w \in \cal A^* st | w | ≤k|w|≤k|w| \leq k được chấp …

10 cc.complexity-theory  np-hardness  fl.formal-languages  automata-theory 

Các giới hạn trên không triệu chứng được biết đến nhiều nhất về kích thước của bằng chứng kiểm tra xác suất là gì? Lý tưởng nhất, tôi đang tìm kiếm một cuộc khảo sát đương đại về câu hỏi rộng này, nhưng nếu không có, tôi đặc biệt quan …

9 cc.complexity-theory  reference-request  np-hardness  pcp 

Có một bài báo hay từ năm 1991 chứa ba sơ đồ về các họ đồ thị khác nhau cho thấy những gì đã biết về độ cứng của việc xác định chỉ số màu cho chúng. Có bất kỳ tin tức kể từ đó về những điều này? Tôi …

9 graph-theory  np-hardness  graph-colouring 

Cho một đồ thị có hướng cố định (sơ đồ) , bài toán quyết định D -COLORING hỏi xem một sơ đồ đầu vào G có đồng cấu với D không . (Phép đồng hình của G đến D là ánh xạ f của V ( G ) đến V …

9 reference-request  graph-theory  np-hardness  csp  homomorphism 

Bài toán chuẩn 1 trong 3 SAT (hoặc XSAT hoặc X3SAT) là: Trường hợp : một công thức CNF với mỗi mệnh đề chứa đúng 3 chữ Câu hỏi : có một phép gán thỏa mãn chính xác 1 chữ cho mỗi mệnh đề có đúng không? Vấn đề là …

9 cc.complexity-theory  np-hardness  sat 

Tôi tự hỏi nếu vấn đề sau đây là NP-hard. Đầu vào: một biểu đồ đơn giản và tô màu của các cạnh ( không xác minh bất kỳ thuộc tính cụ thể nào).f : E → { 1 , 2 , 3 } fG = ( V, E)G=(V,E)G = …

9 graph-theory  np-hardness 

Tôi quan tâm đến một biến thể của đối sánh trọng lượng tối đa trong biểu đồ, mà tôi gọi là "Kết hợp công bằng tối đa". Giả sử rằng đồ thị có đầy đủ (ví dụ: ), có số chẵn các đỉnh, và trọng lượng được đưa ra bởi …

9 ds.algorithms  graph-algorithms  np-hardness  matching  bipartite-graphs 

Giả sử rằng tôi có bộ với các phần tử được lấy từ r có thể. Mỗi bộ có kích thước n ( n < r ), trong đó các bộ có thể chồng lên nhau. Tôi muốn xác định xem hai vấn đề sau có hoàn chỉnh NP hay …

9 graph-theory  np-hardness