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

Trong vấn đề tập hợp con Sum có thể một số những con số cho có giống nhau không? Ví dụ: chúng ta có thể có [ 1 , 1 , 1 , 2 , 3 , 4 ] và mục tiêu là 5 ? Tôi có thể giả sử …

9 complexity-theory  terminology 

Tôi biết một số int có độ phức tạp Kolmogorov cao hơn hoặc thấp hơn. Ví dụ, số 5.41126806512có độ phức tạp rất thấp vì nó có thể được biểu thị bằng 17/pi. Tôi cũng nhận thức được rằng, mặc dù KC thay đổi tùy thuộc vào ngôn ngữ biểu …

9 complexity-theory  kolmogorov-complexity 

Tôi đang cố gắng để hiểu vấn đề này từ Thuật toán. bởi S. Dasgupta, CH Papadimitriou, và UV Vazirani, chương8 , PG281. Bài toán 8.19 Một con diều là một đồ thị trên một số đỉnh chẵn2n2n2n, trong đó nnn của các đỉnh tạo thành một cụm và phần …

9 complexity-theory  np-complete  reductions 

Vì vậy, là viết tắt của các vấn đề trong đó chúng tôi có các nhân chứng có thể kiểm chứng nhỏ đối với các trường hợp và cho các nhân chứng có thể kiểm chứng nhỏ đối với các trường hợp . Cái này hoạt động thế nàoNPNPNPYESYESYEScoNPcoNPcoNPNONONO PNPPNPP^{NP} …

8 complexity-theory  np 

Tôi đã đọc bài báo này trong đó các tác giả giải thích Định lý 1, trong đó nêu rõ "Đối tượng có thể tiếp cận" (như được định nghĩa trong bài viết) là NP-đầy đủ. Tuy nhiên, họ chứng minh việc giảm chỉ theo một hướng, tức là từ …

8 complexity-theory  np-complete  np-hard  satisfiability 

Tôi thấy ở mọi nơi rằng phương trình đệ quy cho độ phức tạp của Strassen alg là: Điều này không quá rõ ràng với tôi. Tham số được cho là kích thước của đầu vào, nhưng có vẻ như đây là một chiều của ma trận trong khi kích …

8 algorithms  complexity-theory  divide-and-conquer  matrix 

Tôi chắc chắn phải có điều gì đó sai với lý do sau bởi vì nếu không, rất nhiều nghiên cứu P so với NP sẽ bị giới hạn nhưng tôi không thể xác định lỗi của mình: Đối với bất kỳ cố định số nguyên xác định B k …

8 complexity-theory  np-complete  logic  p-vs-np 

Đặt và là như sau:L1L1L_1L2L2L_2 L1={r:∃x,y∈Z such that x2+y2=r}L1={r:∃x,y∈Z such that x2+y2=r}L_1=\{r:\exists x,y \in \mathbb{Z} \text{ such that } x^2+y^2=r\} L2={(N,M):M&lt;N,∃1&lt;d≤M such that d|N}L2={(N,M):M&lt;N,∃1&lt;d≤M such that d|N}L_2=\{(N,M): M<N, \exists 1<d\leq M \text{ such that d|N} \} Yêu cầu L1≤PL2L1≤PL2L_1 \leq_P L_2 Phác thảo Nếu tôi muốn biết liệu r∈L1r∈L1r\in L_1 …

8 complexity-theory  time-complexity  np  decision-problem 

Một cách tiếp cận phổ biến để quyết định xem hai biểu đồ đã cho có phải là đẳng cấu hay không là tính toán cái gọi là nhãn chính tắc (cách khác, biểu đồ chính tắc) của mỗi biểu đồ và kiểm tra xem chúng có khớp hay không. …

8 complexity-theory  graph-isomorphism 

Tôi chưa quen với lý thuyết phức tạp và muốn biết lý thuyết phức tạp cấu trúc là gì? các nhà lý thuyết cố gắng giải quyết vấn đề gì trong lĩnh vực này và tương lai của nó là gì? Từ wikipedia: Lý thuyết phức tạp cấu trúc hay …

8 complexity-theory  reference-request 

Đây là nhiệm vụ từ cuộc thi CNTT của Đức ("Bundeswettbewerb Informatik"), nhưng vì thời hạn đã qua, nên việc đặt câu hỏi này không phải là gian lận. Cho một đồ thị có trọng số đỉnh, hướng và các giá trị c v , tìm một tập hợp con …

8 complexity-theory  reductions  np-hard 

Trong vài năm qua, tôi đã chế tạo một máy tính cơ học được cung cấp bởi các viên bi và tạo ra một trò chơi từ đó. Nó tương tự như Digi-Comp II cũ, ngoại trừ hai điểm khác biệt chính: Các bộ phận được định vị lại trên …

8 complexity-theory  turing-machines  computer-architecture  computation-models 

Sau lớp Lý thuyết tính toán của tôi hôm nay, câu hỏi này xuất hiện trong đầu tôi: Nếu một vấn đề có thể được giải quyết bằng một máy tự động hữu hạn, thì vấn đề này thuộc về P. Tôi nghĩ đó là sự thật, vì automata nhận …

8 complexity-theory  automata  finite-automata  polynomial-time 

Gần đây tôi đã nghĩ ra bằng chứng sau đây rằng L = P ngụ ý P = NP. Giả sử L = P. Đặt A là một vấn đề trong NP. Theo định nghĩa của trình xác minh NP, mỗi giải pháp dương cho A có một nhân chứng …

8 complexity-theory  p-vs-np 

Đây là điều tôi không thể tìm thấy - nhưng tôi luôn thấy thú vị rằng bổ đề bơm chỉ là một bổ đề (đặc biệt là vì nó có cùng tên với các ngôn ngữ thông thường, ngôn ngữ không ngữ cảnh, v.v ...) Nó là một bổ đề …

8 complexity-theory  regular-languages  finite-automata