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

Trong Lý thuyết tính toán của Michael Sipser ở trang 270, ông viết: P = lớp ngôn ngữ mà tư cách thành viên có thể được quyết định nhanh chóng. NP = lớp ngôn ngữ mà thành viên có thể được xác minh nhanh chóng. Sự khác biệt giữa "quyết …

16 complexity-theory  terminology  decision-problem 

Tôi có ấn tượng rằng đối với mọi vấn đề hoàn thành NP, với vô số kích cỡ đầu vào , số lượng trường hợp có trên tất cả các đầu vào có thể có kích thước , (ít nhất là) theo cấp số nhân theo .nnnnnnnnn Điều này có …

15 complexity-theory  np-complete  np-intermediate 

Đã có nghiên cứu nào về độ phức tạp chứng minh của độ phân giải đối với bài toán P = NP chưa? Nếu không, do thiếu sự tiến bộ của vấn đề, sẽ không hợp lý khi phỏng đoán rằng bất kỳ bằng chứng nào giải quyết vấn đề …

15 complexity-theory  np 

Chúng tôi có lưới . Chúng tôi có một bộ sưu tập các hình chữ nhật trên lưới này, mỗi hình chữ nhật có thể được biểu diễn như một -by- nhị phân ma trận . Chúng tôi muốn phủ lưới với những hình chữ nhật đó.N 1 N 2 …

15 complexity-theory  np-complete  set-cover 

Tôi đã đọc một câu hỏi tại Stack Overflow hỏi liệu NP -hard có liệt kê tất cả các chu kỳ đơn giản trong biểu đồ có chứa một nút cụ thể không và tôi nhận ra rằng tôi không thể nghĩ ra bất kỳ lớp phức tạp nào phù …

15 complexity-theory  reference-request  complexity-classes  enumeration 

Một số ví dụ về các vấn đề quyết định khó khăn có thể được giải quyết trong thời gian đa thức là gì? Tôi đang tìm kiếm các vấn đề mà thuật toán tối ưu là "chậm" hoặc các vấn đề mà thuật toán được biết đến nhanh nhất …

15 algorithms  complexity-theory  reference-request 

Một Hidoku là một n×nn×nn \times n lưới với một số nguyên điền sẵn từ 1 đến n2n2n^2 . Mục tiêu là tìm một đường dẫn các số nguyên liên tiếp (từ 1 đến n2n2n^2 ) trong lưới. Cụ thể hơn, mỗi tế bào của lưới điện phải chứa một …

15 complexity-theory  reductions  np-hard 

Rõ ràng, nếu , tất cả các ngôn ngữ trong ngoại trừ và sẽ là -complete.P=NPP=NP{\sf P}={\sf NP}PP{\sf P}∅∅\emptysetΣ∗Σ∗\Sigma^*NPNP{\sf NP} Tại sao hai ngôn ngữ nói riêng? Chúng ta không thể giảm bất kỳ ngôn ngữ nào khác trong cho họ bằng cách xuất chúng khi chấp nhận hay không …

15 complexity-theory  np-complete  reductions 

Giả sử A có thể rút gọn đến B, tức là, . Do đó, máy Turing chấp nhận Một có quyền truy cập vào một oracle cho B . Hãy để cho Turing máy chấp nhận Một là M Một và nhà tiên tri cho B là O B . …

15 complexity-theory  np-complete  reductions  complexity-classes 

Vấn đề Clique là một vấn đề -complete nổi tiếng trong đó kích thước của cụm được yêu cầu là một phần của đầu vào. Tuy nhiên, bài toán k-clique có thuật toán thời gian đa thức tầm thường ( khi không đổi). Tôi quan tâm đến giới hạn trên …

15 complexity-theory  graph-theory 

Có thể nói rằng hầu hết các ngôn ngữ được tạo ra để mô tả các vấn đề hàng ngày là nhạy cảm theo ngữ cảnh. Mặt khác, có thể và không khó để tìm thấy một số ngôn ngữ không đệ quy hoặc thậm chí không đệ quy. Giữa …

15 formal-languages  complexity-theory  formal-grammars 

Thuật toán thời gian giả đa thức là thuật toán có thời gian chạy đa thức trên giá trị đầu vào (độ lớn) nhưng thời gian chạy theo hàm mũ trên kích thước đầu vào (số bit). Ví dụ, kiểm tra xem một số có phải là số nguyên tố …

15 complexity-theory  algorithm-analysis  time-complexity  polynomial-time  pseudo-polynomial 

Người ta biết rằng 2-SAT nằm trong P. Tuy nhiên, có vẻ khá thú vị khi đếm số lượng giải pháp cho một công thức 2-SAT nhất định, tức là # 2-SAT là # P-hard. Đó là, chúng tôi có một ví dụ về một vấn đề mà quyết định …

14 complexity-theory  counting 

Vì vậy, Sudoku thường là , nhưng câu hỏi này mở rộng đến câu đố với là tốt. Có nhiều quy tắc khấu trừ thời gian đa thức có thể đạt được tiến bộ trong việc tìm ra giải pháp cho câu đố Sudoku. Nhưng sau đó đôi khi đoán …

14 complexity-theory  sudoku 

Tôi chắc chắn ai đó đã nghĩ về điều này trước đây hoặc ngay lập tức bác bỏ nó, nhưng tại sao lý thuyết phân đôi của Schaefer cùng với định lý của Mahaney về các tập thưa thớt không ngụ ý P = NP? Đây là lý do của …

14 complexity-theory  np-complete  satisfiability  p-vs-np