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

Tôi muốn biết nếu đã có bất kỳ công việc liên quan đến mã pháp lý phức tạp. Cụ thể, giả sử chúng ta có vấn đề quyết định "Đưa ra cuốn sách luật này và tập hợp các tình huống cụ thể này, bị cáo có phạm tội không?" …

64 complexity-theory  np-complete  decision-problem 

Có các vấn đề NP-đầy đủ đã được chứng minh thuật toán thời gian phụ? Tôi đang yêu cầu các trường hợp đầu vào chung, tôi không nói về các trường hợp đặc biệt có thể kéo được ở đây. Theo cấp số nhân, tôi có nghĩa là một thứ …

51 complexity-theory  np-complete  np 

Vấn đề Knapsack được giải quyết dễ dàng bằng lập trình động. Lập trình động chạy trong thời gian đa thức; đó là lý do tại sao chúng ta làm điều đó, phải không? Tôi đã đọc nó thực sự là một vấn đề hoàn chỉnh NP, tuy nhiên, điều …

51 complexity-theory  np-complete  dynamic-programming 

Tôi đã đọc mục Wikipedia về " Danh sách các vấn đề hoàn thành NP " và thấy rằng các trò chơi như super mario, pokemon, tetris hay candy crush saga đều hoàn chỉnh. Làm thế nào tôi có thể tưởng tượng tính đầy đủ của một trò chơi? Câu …

50 complexity-theory  np-complete  computer-games 

Giả sử rằng tôi là một lập trình viên và tôi có một vấn đề hoàn chỉnh NP mà tôi cần phải giải quyết nó. Những phương pháp có sẵn để đối phó với các vấn đề NPC? Có một cuộc khảo sát hoặc một cái gì đó tương tự …

43 algorithms  reference-request  np-complete  efficiency  reference-question 

Có bất kỳ vấn đề nào được biết đến trong (và không phải trong ) không hoàn thành không? Sự hiểu biết của tôi là không có vấn đề hiện được biết đến trong trường hợp này, nhưng nó đã không được loại trừ như là một khả năng. NPNP\mathsf{NP}PP\mathsf{P}NPNP\mathsf{NP} …

34 complexity-theory  np-complete  p-vs-np 

Vì vậy, vấn đề quyết định TSP (vấn đề nhân viên bán hàng du lịch) là NP hoàn tất . Nhưng tôi không hiểu làm thế nào tôi có thể xác minh rằng một giải pháp nhất định cho TSP trên thực tế là tối ưu trong thời gian đa …

31 complexity-theory  np-complete  traveling-salesman 

Wikipedia cũng như các nguồn khác mà tôi đã tìm thấy voidloại C là một loại đơn vị trái ngược với loại trống. Tôi thấy điều này khó hiểu vì dường như với tôi voidphù hợp hơn với định nghĩa về loại trống / đáy. Không có giá trị cư …

28 type-theory  c  logic  modal-logic  coq  equality  coinduction  artificial-intelligence  computer-architecture  compilers  asymptotics  formal-languages  asymptotics  landau-notation  asymptotics  turing-machines  optimization  decision-problem  rice-theorem  algorithms  arithmetic  floating-point  automata  finite-automata  data-structures  search-trees  balanced-search-trees  complexity-theory  asymptotics  amortized-analysis  complexity-theory  graphs  np-complete  reductions  np-hard  algorithms  string-metrics  computability  artificial-intelligence  halting-problem  turing-machines  computation-models  graph-theory  terminology  complexity-theory  decision-problem  polynomial-time  algorithms  algorithm-analysis  optimization  runtime-analysis  loops  turing-machines  computation-models  recurrence-relation  master-theorem  complexity-theory  asymptotics  parallel-computing  landau-notation  terminology  optimization  decision-problem  complexity-theory  polynomial-time  counting  coding-theory  permutations  encoding-scheme  error-correcting-codes  machine-learning  natural-language-processing  algorithms  graphs  social-networks  network-analysis  relational-algebra  constraint-satisfaction  polymorphisms  algorithms  graphs  trees 

Tôi có một bộ các cặp. Mỗi cặp có dạng (x, y) sao cho x, y thuộc các số nguyên từ phạm vi [0,n). Vì vậy, nếu n là 4, thì tôi có các cặp sau: (0,1) (0,2) (0,3) (1,2) (1,3) (2,3) Tôi đã có các cặp. Bây giờ, tôi …

28 algorithms  graphics  data-structures  computational-geometry  operating-systems  process-scheduling  algorithms  sorting  database-theory  relational-algebra  finite-model-theory  logic  automata  linear-temporal-logic  buchi-automata  complexity-theory  np-complete  decision-problem  machine-learning  algorithms  pattern-recognition  logic  formal-languages  formal-grammars  context-free 

Tôi đang tham gia một khóa học phức tạp và tôi gặp rắc rối với việc giảm bớt giữa các vấn đề NPC. Làm thế nào tôi có thể tìm thấy giảm giữa các vấn đề? Có một mẹo chung mà tôi có thể sử dụng? Làm thế nào tôi …

27 complexity-theory  np-complete  proof-techniques  reductions 

Nhiều người đã chứng minh rằng trong tất cả các bằng chứng về tính tương thích của mà tôi đã đọc (tôi có thể nhớ), việc chứng minh rằng có một vấn đề nằm ở và cho thấy đó là -có phần ... khó. Những vấn đề là gì mà …

27 complexity-theory  np-complete  np 

Như đã thấy trong dải XKCD gần đây và bài đăng blog gần đây nàytừ Peter Norvig (và một câu chuyện Slashdot có phần sau), "regex golf" (có thể được gọi là vấn đề tách biểu thức chính quy) là câu đố xác định biểu thức chính quy ngắn nhất …

27 complexity-theory  np-complete  regular-expressions 

Câu hỏi này được lấy cảm hứng từ một bình luận trên StackOverflow . Ngoài việc biết các vấn đề NP-đầy đủ của cuốn sách Garey Johnson, và nhiều vấn đề khác; Có một quy tắc nào để biết liệu một vấn đề có giống NP-hoàn chỉnh không? Tôi không …

26 complexity-theory  np-complete  intuition 

Báo cáo vấn đề không chính thức: Đưa ra một chuỗi, ví dụ , chúng tôi muốn tô màu một số chữ cái màu đỏ và một số chữ cái màu xanh (và một số không hoàn toàn), sao cho chỉ đọc các chữ cái màu đỏ từ trái sang …

26 algorithms  complexity-theory  np-complete  strings  subsequences 

Tôi quan tâm đến câu hỏi làm thế nào tốt nhất để dạy NP-đầy đủ cho các chuyên ngành khoa học máy tính. Cụ thể, chúng ta nên dạy nó bằng cách sử dụng giảm Karp hay sử dụng giảm Turing? Tôi cảm thấy rằng các khái niệm về tính …

25 complexity-theory  np-complete  reductions  education  didactics