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

Giả sử tôi có một đồ thị với những (không rõ) bộ matchings hoàn hảo của . Giả sử tập hợp này không trống, thì việc lấy mẫu thống nhất ngẫu nhiên từ nào? Điều gì sẽ xảy ra nếu tôi ổn với một phân phối gần với thống nhất, …

13 algorithms  complexity-theory  matching  sampling 

Tôi là người mới, nhưng rất quan tâm đến lĩnh vực điện toán và lý thuyết phức tạp, và tôi muốn làm rõ sự hiểu biết của mình về cách giải quyết các vấn đề và mức độ mạnh của các vấn đề liên quan đến máy được sử dụng …

13 complexity-theory  computability  terminology  turing-machines  complexity-classes 

Bruinier và Ono đã tìm thấy một công thức đại số cho hàm phân vùng , được báo cáo rộng rãi là một bước đột phá. Tôi không thể hiểu bài báo, nhưng nó có bất kỳ hậu quả thuật toán nào cho việc tính toán nhanh chức năng phân …

13 algorithms  complexity-theory  number-theory 

Đây là bài viết đầu tiên của tôi sau khi trở thành người dùng thụ động một thời gian. Tôi muốn hỏi một số câu hỏi nếu tôi có thể. Tôi không phải là nhà toán học nhưng câu hỏi của tôi liên quan đến lĩnh vực toán học / …

13 complexity-theory  p-vs-np 

Tôi đã hỏi một câu hỏi tương tự trên cstheory.SE . Theo câu trả lời này trên Stackoverflow có một thuật toán trên một ngôn ngữ lập trình chức năng thuần túy phi lười biếng có phức tạp, trong khi cùng một thuật toán trong lập trình bắt buộc là …

13 complexity-theory  lambda-calculus  functional-programming  turing-completeness 

Hãy xem xét phiên bản sau của vấn đề Clique trong đó đầu vào có kích thước và chúng tôi được yêu cầu tìm một cụm có kích thước . Hạn chế là quy trình quyết định không thể thay đổi biểu đồ đầu vào thành bất kỳ biểu diễn …

13 complexity-theory  time-complexity 

Các bài viết Thư Vấn đề (PCP) là undecidable. Các phiên bản bị chặn của PCP là -complete và phiên bản đánh dấu của PCP (lời của một trong hai danh sách được yêu cầu khác nhau về chữ cái đầu tiên) là trong P S P Một C E …

13 complexity-theory  computability  reference-request 

Bài toán 3 phân vùng hỏi liệu một bộ số nguyên có thể được phân chia thành bộ ba số nguyên sao cho mỗi bộ tổng hợp với một số nguyên cho trước . Bài toán Phân vùng cân bằng hỏi liệu số nguyên có thể được phân chia thành …

13 complexity-theory  reductions  np-complete 

Vấn đề SAT nổi tiếng được định nghĩa ở đây để tham khảo. Vấn đề NHÂN ĐÔI-SAT được định nghĩa là DOUBLE-SAT={⟨ϕ⟩∣ϕ has at least two satisfying assignments}DOUBLE-SAT={⟨ϕ⟩∣ϕ has at least two satisfying assignments}\qquad \mathsf{DOUBLE\text{-}SAT} = \{\langle\phi\rangle \mid \phi \text{ has at least two satisfying assignments}\} Làm thế nào để …

13 complexity-theory  np-complete  satisfiability 

Khi báo cáo độ phức tạp thuật toán của một thuật toán, người ta giả định các tính toán cơ bản được thực hiện trên một số máy trừu tượng (ví dụ RAM) gần bằng một CPU hiện đại. Các mô hình như vậy cho phép chúng tôi báo cáo …

13 complexity-theory  computer-architecture  power-consumption  machine-models 

Từ những gì tôi đọc được trong preliminary version of a chapter of the book “Lectures on Scheduling” edited by R.H. M¨ohring, C.N. Potts, A.S. Schulz, G.J. Woeginger, L.A. Wolsey, to appear around 2011 A.D. Đây là định nghĩa PTAS : Lược đồ xấp xỉ thời gian đa thức ( …

13 algorithms  complexity-theory  terminology  complexity-classes  approximation 

Độ phức tạp của và gì? Họ ở P à? Họ có khó NP không?MIN-2-XOR-SATMIN-2-XOR-SAT\text{MIN-2-XOR-SAT}MAX-2-XOR-SATMAX-2-XOR-SAT\text{MAX-2-XOR-SAT} Để chính thức hóa điều này chính xác hơn, hãy để Φ ( x ) = ∧nTôiCTôi,Φ(x)= =∧TôinCTôi,\Phi\left(\mathbf x\right)={\huge\wedge}_{i}^{n}C_i, trong đó và mỗi mệnh đề có dạng hoặc .x =( x1, Lọ , xm)x= =(x1,Giáo …

13 complexity-theory  optimization  np-hard  satisfiability 

Tôi đã đọc về NPC và mối quan hệ của nó với PSPACE và tôi muốn biết liệu các vấn đề NPC có thể được giải quyết một cách xác định bằng thuật toán với yêu cầu không gian đa thức tồi tệ nhất hay không, nhưng có khả năng …

12 complexity-theory  np-complete  np 

Tôi đang cố gắng xây dựng một danh sách các thuật toán / vấn đề "đặc biệt hữu ích", như trong việc giải quyết các vấn đề "có vẻ rất" theo cấp số nhân, nhưng có một số thuật toán đặc biệt thông minh cuối cùng giải quyết chúng. Ví …

12 complexity-theory  polynomial-time  efficiency 

Hoặc: Chúng ta có cần Rupert để nhận quà không? Đặt vấn đề sang một bên, ông già Noel phải đối mặt với vấn đề sau (nhiều, nhiều lần): Với một chiếc túi với capacity¹ CCC và một bộ quà {p1,…,pn}{p1,…,pn}\{p_1, \dots, p_n\} , mỗi kích thước , ông muốn …

12 algorithms  complexity-theory  optimization  packing