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

Giới thiệu và ký hiệu: Đây là một phiên bản mới và đơn giản của thuật toán của tôi dường như chấm dứt (theo thí nghiệm của tôi), và bây giờ tôi muốn chứng minh điều đó. Đặt ký hiệu tham chiếu đến điểm dữ liệu p chiều (vectơ). Tôi …

10 algorithms  complexity-theory  algorithm-analysis  optimization 

Hãy xem xét vấn đề sau có thể hiện đầu vào là đồ thị đơn giản và số nguyên tự nhiên k .GGGkkk Có tập hợp sao cho G - S là lưỡng cực và | S | ≤ k ?S⊆V(G)S⊆V(G)S \subseteq V(G)G−SG−SG - S|S|≤k|S|≤k|S| \leq k Tôi muốn chỉ …

10 complexity-theory  np-complete  reductions 

Tôi tham gia khóa học về độ phức tạp tính toán. Vấn đề của tôi là tôi không hiểu phương pháp tương đối hóa . Tôi đã cố gắng tìm một chút trực giác trong nhiều sách giáo khoa, thật không may, cho đến nay không có thành công. Tôi …

10 complexity-theory  np-complete  complexity-classes  relativization  np 

Tôi đang tìm kiếm một chuyên ngành về Khoa học máy tính lý thuyết; đặc biệt, tôi quan tâm đến lý thuyết phức tạp và lý thuyết tự động xác suất. Khi tôi tốt nghiệp một năm, những khóa học nâng cao về toán học (như lý thuyết Galois hay …

10 complexity-theory  automata  education 

Độ phức tạp của điện toán gì?nn2,n ∈ Nnn2,n∈Nn^{n^2},\;n \in \mathbb{N}

10 complexity-theory  integers  number-theory 

Câu hỏi là bài tập 1.9 từ cuốn sách Tính phức tạp tính toán của Arora-Barak - Cách tiếp cận hiện đại : Xác định máy RAM Turing là máy Turing có bộ nhớ truy cập ngẫu nhiên. Chúng tôi chính thức hóa điều này như sau: Máy có một …

10 complexity-theory  turing-machines  machine-models  simulation 

Tôi đang cố gắng thực hiện một bài tập (lấy từ cuốn sách Thuật toán - của S. Dasgupta, CH Papadimitriou, và UV Vazirani , Chap 8, vấn đề 8.6a), và tôi đang diễn giải những gì nó nói: Cho rằng 3SAT vẫn hoàn thành NP ngay cả khi bị …

10 complexity-theory  satisfiability  3-sat 

Công thức thay thế Tôi đã đưa ra một công thức thay thế cho vấn đề dưới đây. Công thức thay thế thực sự là một trường hợp đặc biệt của vấn đề dưới đây và sử dụng các biểu đồ lưỡng cực để mô tả vấn đề. Tuy nhiên, …

10 complexity-theory  graphs  graph-theory  np-complete 

Tôi có một vấn đề trong tâm trí của tôi, tôi nghĩ đó là một vấn đề NPC nhưng tôi không biết làm thế nào để chứng minh nó. Đây là vấn đề: Có k đảo trong một hồ rất lớn, và có n pontoons hình quạt. Những con pontoons …

10 complexity-theory  np-complete  np-hard 

Tôi đang nghiên cứu cho lý thuyết tính toán cuối cùng của mình và tôi đang vật lộn với cách trả lời đúng đắn liệu tuyên bố này có đúng không. Theo định nghĩa của chúng ta có thể xây dựng câu lệnh sau,≤m≤m\leq_m w∈A⟺f(w)∈B→w∉A⟺f(w)∉Bw∈A⟺f(w)∈B→w∉A⟺f(w)∉Bw \in A \iff f(w) \in …

10 complexity-theory  computability  reductions 

Cuốn sách của tôi nói điều này Nếu một vấn đề quyết định B nằm trong P và A giảm xuống B, thì vấn đề quyết định A nằm ở P. Một vấn đề quyết định B là NP hoàn thành nếu B ở NP và với mọi vấn đề …

10 complexity-theory  np-complete  decision-problem 

Định nghĩa của P là một ngôn ngữ có thể được quyết định bởi thuật toán thời gian đa thức. Định nghĩa của P / poly có thể được hiểu là một ngôn ngữ có thể được quyết định bởi một mạch có kích thước đa thức (xem http://pages.cs.wisc.edu/~jyc/02-810notes/lecture09.pdf ). …

10 complexity-theory  time-complexity  circuits 

Trên thực tế tôi thấy rằng tập hợp các Ngôn ngữ nhạy cảm theo ngữ cảnh, ( ngôn ngữ được chấp nhận) không được thảo luận rộng rãi như (ngôn ngữ thông thường) hoặc (ngôn ngữ không ngữ cảnh). Và cũng là vấn đề mở không nổi tiếng như vấn …

10 complexity-theory  np-complete  space-complexity  context-sensitive 

Wikipedia cho biết liên kết theo thứ hạng mà không nén đường dẫn tạo ra độ phức tạp thời gian được khấu hao của và cả liên kết theo nén và xếp hạng đường dẫn tạo ra độ phức tạp thời gian được khấu hao của (trong đó là nghịch …

10 complexity-theory  time-complexity  union-find 

Sách giáo khoa của tôi nói: "Chúng tôi xác định hàm như sau: f ( 1 ) = 2 và f ( i + 1 ) = 2 f ( i ) 1.2 . Lưu ý rằng với n , chúng ta có thể dễ dàng tìm thấy trong O …

10 complexity-theory  algorithm-analysis  nondeterminism