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

Ai đó có thể cung cấp một lời giải thích ngắn gọn về cách tiếp cận GCT của Mulmuley có thể hiểu được bởi những người không phải là chuyên gia? Một lời giải thích phù hợp với trang Wikipedia về chủ đề này (hiện vẫn còn sơ khai). Động …

43 cc.complexity-theory  gct 

Trong một chủ đề khác , Joe Fitzsimons đã hỏi về "giới hạn dưới tốt nhất hiện tại trên 3SAT." Tôi muốn đi theo một cách khác: Giới hạn trên tốt nhất hiện tại trên 3SAT là gì? Nói cách khác, độ phức tạp thời gian của người giải SAT …

43 cc.complexity-theory  ds.algorithms  sat  upper-bounds 

Có những giải thích lý thuyết nào cho sự thành công thực tế của người giải SAT, và ai đó có thể đưa ra một cái nhìn tổng quan "kiểu wikipedia" và giải thích buộc tất cả chúng lại với nhau không? Bằng cách tương tự, phân tích được làm …

43 cc.complexity-theory  ds.algorithms  sat  heuristics 

Tôi hiện đang viết một cuộc khảo sát về các định lý phân cấp trên TCS. Tìm kiếm các tài liệu liên quan tôi nhận thấy rằng hệ thống phân cấp là một khái niệm cơ bản không chỉ trong TCS và toán học, mà trong nhiều ngành khoa học, …

42 cc.complexity-theory  reference-request  big-list  survey 

Có ai biết ứng dụng thú vị của các cơ sở Gröbner cho khoa học máy tính lý thuyết không? Các cơ sở Gröbner được sử dụng để giải các phương trình đa thức đa biến, một bài toán NP-hard nói chung. Tôi đã tự hỏi liệu một số trường …

41 cc.complexity-theory  reference-request  algebra  polynomials 

Các vấn đề phép đẳng cấu đồ thị (GI) được cho là ứng viên tốt nhất được biết đến cho một NP-trung gian vấn đề. Các thuật toán tốt nhất được biết đến là thuật toán phân theo cấp số nhân với thời gian chạy . Được biết, GI không …

40 cc.complexity-theory  ds.algorithms  graph-theory  graph-isomorphism 

Đặt là một nhiệm vụ thuật toán. (Nó có thể là một vấn đề quyết định hoặc một vấn đề tối ưu hóa hoặc bất kỳ nhiệm vụ nào khác.) Chúng ta hãy gọi "về phía đa thức" nếu giả sử rằng là NP-hard được biết là ngụ ý rằng …

40 cc.complexity-theory 

Đây là một câu hỏi về độ phức tạp của mạch. (Định nghĩa ở phía dưới.) Yao và Beigel-Tarui đã chỉ ra rằng mỗi họ mạch có kích thước có một họ mạch tương đương có kích thước ở độ sâu hai , trong đó cổng đầu ra là hàm …

40 cc.complexity-theory  circuit-complexity  upper-bounds 

Lý lịch Việc tính toán trên các số thực phức tạp hơn so với tính toán trên các số tự nhiên, vì các số thực là các đối tượng vô hạn và có rất nhiều số thực, do đó các số thực không thể được biểu diễn một cách trung …

40 cc.complexity-theory  cg.comp-geom  computing-over-reals  computable-analysis 

Người ta thường tin rằng với tất cả , có thể nhân hai ma trận trong . Một số thảo luận ở đây .ϵ > 0ϵ>0\epsilon > 0n × nn×nn \times nÔ ( n2 + ε)O(n2+ϵ)O(n^{2 + \epsilon}) Tôi đã hỏi một số người quen thuộc với nghiên cứu này …

39 cc.complexity-theory  linear-algebra  big-picture  matrices  matrix-product 

Đặt PRIMES (còn gọi là kiểm tra tính nguyên thủy ) là vấn đề: Cho số tự nhiên , n có phải là số nguyên tố không?nnnnnn Đặt FACTORING là vấn đề: Cho các số tự nhiên , m với 1 ≤ m ≤ n , n có hệ số …

39 cc.complexity-theory  lower-bounds  factoring  primes  p-hardness 

Đây là một bài đăng chéo từ math.stackexchange. Hãy FACT biểu thị vấn đề nguyên bao thanh toán: cho tìm số nguyên tố và số nguyên màn∈N,n∈N,n \in \mathbb{N},pi∈N,pi∈N,p_i \in \mathbb{N},ei∈N,ei∈N,e_i \in \mathbb{N},n=∏ki=0peii.n=∏i=0kpiei.n = \prod_{i=0}^{k} p_{i}^{e_i}. Gọi RSA là trường hợp đặc biệt của vấn đề bao thanh toán trong …

39 cc.complexity-theory  reference-request  np-hardness  cr.crypto-security  factoring 

Ryan Williams vừa đăng giới hạn dưới của mình lên ACC , loại vấn đề có mạch độ sâu không đổi với các cổng và cổng không giới hạn VÀ, HOẶC, KHÔNG và MOD_m cho tất cả các m có thể. Có gì đặc biệt về cổng MOD_m? Chúng cho …

39 cc.complexity-theory  circuit-complexity  big-picture  circuit-families 

Tại sao hầu hết mọi người thích sử dụng nhiều mức giảm một để xác định mức độ hoàn thiện NP thay vì, ví dụ, giảm Turing?

39 cc.complexity-theory  np-hardness  reductions 

Đôi khi người ta cho rằng Lý thuyết phức tạp hình học của Ketan Mulmuley là chương trình hợp lý duy nhất để giải quyết các câu hỏi mở của lý thuyết phức tạp như câu hỏi P so với NP. Đã có một số bình luận tích cực từ …

38 cc.complexity-theory  big-picture  algebraic-complexity  p-vs-np  gct