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

Hãy xem xét vấn đề sau đây, Cho một tập hợp số dương trong đó là hằng số, chúng tôi muốn phân chia tập hợp thành tập con có kích thước sao cho tích của tổng của mỗi tập hợp con được tối đa hóa.n = k mn= =kmn = …

12 cc.complexity-theory  np-hardness  application-of-theory  polynomial-time 

Câu hỏi này tương tự như các vấn đề NP-hard trên cây : Có một số lượng lớn các vấn đề hoàn thành NP có thể dễ dàng xử lý trên các sơ đồ . Có bất kỳ vấn đề đã biết nào vẫn còn NP-đầy đủ khi bị hạn …

12 cc.complexity-theory  np-hardness  graph-algorithms 

Lại một vấn đề phân vùng cạnh có độ phức tạp mà tôi tò mò, được thúc đẩy bởi một câu hỏi trước đây của tôi . Đầu vào: đồ thị khối G=(V,E)G=(V,E)G=(V,E) Câu hỏi: là có một phân vùng của vào E 1 , E 2 , ... , …

12 cc.complexity-theory  graph-theory  np-hardness  co.combinatorics 

Chiều rộng của cây đo mức độ gần của đồ thị với cây. Một số vấn đề NP-hard có thể dễ dàng xử lý trên biểu đồ với chiều rộng của cây. Nếu một vấn đề vẫn còn NP-cứng trên cây thì chiều rộng cây không thể cứu chúng ta. …

12 np-hardness  directed-acyclic-graph 

Câu hỏi sau đây sử dụng các ý tưởng từ mật mã được áp dụng cho lý thuyết phức tạp. Điều đó nói rằng, đó là một câu hỏi lý thuyết hoàn toàn phức tạp và không có kiến ​​thức về tiền điện tử nào được yêu cầu để trả …

12 cc.complexity-theory  complexity-classes  np-hardness  p-vs-np 

Fix một nhóm hữu hạn . Tôi quan tâm đến vấn đề quyết định sau: đầu vào là một số phần tử của G với thứ tự một phần trên chúng, và câu hỏi là liệu có sự hoán vị của các phần tử thỏa mãn thứ tự hay không …

11 np-hardness  sorting  gr.group-theory  partial-order  order-theory 

Tôi đã suy nghĩ về ngôn ngữ này thuộc lớp nào: là đồ thị, là số tự nhiên và là số màu củaL={⟨G,k⟩∣GL={⟨G,k⟩∣GL =\{ \langle G,k \rangle \mid G kkkkkkG}G}G\} Tôi nghĩ về là (1) "không có màu của màu k-1" và (2) "có màu của màu ". Bây giờ, …

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

Trước hết, sự hiểu biết của tôi về định lý không hoàn chỉnh của Gôdel (và logic chính thức nói chung) là rất ngây thơ, cũng là kiến ​​thức của tôi về khoa học máy tính lý thuyết (có nghĩa là chỉ có một khóa học sau đại học trong …

11 np-hardness  proofs  p-vs-np 

Vấn đề này đã được nghiên cứu trước đây? Cho một số liệu đồ thị vô hướng G (độ dài cạnh thỏa mãn bất đẳng thức tam giác), tìm một tập hợp các đỉnh sao cho MST (G [S]) được tối đa hóa, trong đó MST (G [S]) là cây …

11 ds.algorithms  graph-algorithms  np-hardness  approximation-algorithms 

Tôi đang tìm kiếm các vấn đề NP-hard mạnh để giảm. Cho đến nay tôi đã tìm thấy những vấn đề sau: Vấn đề 3 phân vùng vấn đề đóng gói Kết hợp số 3 chiều TSP Bất kỳ vấn đề NP-hoàn chỉnh nào mà không có dữ liệu số, …

11 np-hardness  big-list  hamiltonian-paths 

Có với các tính chất sau không:L∈NPL∈NPL\in {\bf NP} Được biết, có nghĩa P = N P .L∈PL∈PL\in {\bf P}P=NPP=NP{\bf P}={\bf NP} Không có (được gọi) thời gian đa thức Turing giảm (hoặc một số khác N P vấn đề -complete) để L .SATSATSATNPNP{\bf NP}LLL Nói cách khác, nếu thuật …

11 cc.complexity-theory  np-hardness  reductions 

Điều này tương tự với SAT, ngoại trừ việc chúng ta biết phép gán của từng biến, nhưng không biết phép gán của bất kỳ toán tử boolean nào. Trong trường hợp đó, việc tìm sự gán của mỗi toán tử để biểu thức ước lượng cho một giá trị …

11 cc.complexity-theory  np-hardness 

Vấn đề phân vùng 3-bè lũ là vấn đề xác định xem các đỉnh của đồ thị, nói , có thể được phân chia thành 3 bè phái. Vấn đề này là NP-hard bằng cách giảm đơn giản từ vấn đề 3 màu. Không khó để thấy rằng câu trả …

11 cc.complexity-theory  graph-theory  np-hardness  clique 

Nurikabe là một câu đố điền vào lưới dựa trên ràng buộc, tương tự như Minesweeper / Nonograms; các số được đặt trên một lưới chứa đầy các giá trị bật / tắt cho mỗi ô, với mỗi số chỉ ra một vùng được kết nối với các ô có …

11 cc.complexity-theory  np-hardness  puzzles 

Câu hỏi này được thúc đẩy bởi một câu hỏi được hỏi trên stackoverflow . Giả sử bạn được cung cấp một cây gốc (nghĩa là có một gốc và các nút có con, v.v.) trên n nút (có nhãn 1 , 2 , Cuộc , n ).TTTnnn1 , 2 …

11 cc.complexity-theory  reference-request  np-hardness  tree  application-of-theory