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

Gần đây tôi đã phát hiện ra một bậc hai ràng buộc về mức độ phức tạp của một vấn đề trong mô hình cây quyết định và tôi tự hỏi liệu kết quả này có thể được khái quát hóa một phần cho mô hình máy truy cập ngẫu …

15 cc.complexity-theory  lower-bounds 

Câu hỏi của tôi là một câu hỏi chung: Làm thế nào để tôi bắt đầu suy nghĩ về Thiết kế và Độ phức tạp của Thuật toán? Tôi sẽ tham gia một khóa học sau đại học về thiết kế thuật toán. Tôi đã đăng ký nó sớm hơn …

15 cc.complexity-theory  ds.algorithms  soft-question  advice-request  research-practice 

Tôi quan tâm đến việc tạo ra các số giả ngẫu nhiên cho mật mã. Bên cạnh Chương 5 của Menezes / Oorschot / Vanstone ; Chương 8 của Stinson ; và Chương 3 của Goldreich , tôi có thể tìm thêm ở đâu nữa? Tôi quan tâm đến các …

15 cc.complexity-theory  reference-request  pseudorandomness 

Đặt và y hai số nhị phân có n bit và z = x ⋅ y số nhị phân (độ dài 2 n ) của tích của x và y . Chúng tôi muốn để tính nhất siginifcant chút z 2 n - 1 trong những sản phẩm z = …

15 cc.complexity-theory  binary-decision-diagrams 

Câu hỏi này có thể được hỏi hoặc trong khuôn khổ độ phức tạp của mạch Boolean, hoặc trong khuôn khổ của lý thuyết phức tạp đại số, hoặc có thể trong nhiều cài đặt khác. Thật dễ dàng để hiển thị, bằng cách đếm các đối số, tồn tại …

15 cc.complexity-theory  circuit-complexity  algebraic-complexity 

Màu 3 cạnh của đồ thị hình khối là -complete. Định lý bốn màu tương đương với "Mọi đồ thị không có mặt phẳng bậc ba đều có thể tô màu 3 cạnh".NPNPNP Sự phức tạp của màu 3 cạnh của đồ thị phẳng khối là gì? Ngoài ra, Người …

15 cc.complexity-theory  graph-theory  np-hardness  graph-colouring 

Đó là -hard để tìm một xấp xỉ hệ số gần đúng của chu kỳ dài nhất trong các đồ thị Hamilton khối. Đồ thị hình khối Hamilton có ít nhất hai chu kỳ Hamilton.NPNPNP Giới hạn trên và giới hạn dưới được biết đến nhiều nhất về số chu …

15 cc.complexity-theory  counting-complexity 

Trong bài viết Bằng chứng tự nhiên của Razborov-Rudich , trang 6, trong phần họ thảo luận rằng có "bằng chứng mạnh mẽ chống lại các mô hình mạch đơn điệu " và cách chúng phù hợp với hình ảnh, có những câu sau: Ở đây, vấn đề không phải …

15 cc.complexity-theory  circuit-complexity  randomness  natural-proofs  boolean-functions 

Savitch đã đưa ra một thuật toán xác định để giải quyết kết nối st bằng cách sử dụng không gian , ngụ ý N L ⊆ D S P A C E ( log 2 n ) . Thuật toán của Savitch chạy trong thời gian 2 O ( …

15 cc.complexity-theory  space-bounded 

Trong một bài thuyết trình năm 2006 có tiêu đề EXPANDER GRAPHS - CÓ BẤT K MY MYSTERIES nào không? , Nati Linial đặt ra vấn đề mở sau đây: Vấn đề tính toán -hard nào trên biểu đồ vẫn còn khó khăn khi bị hạn chế đối với biểu …

15 cc.complexity-theory  np-hardness  expanders 

Bằng chứng tự nhiên là một rào cản đối với việc chứng minh các giới hạn thấp hơn về độ phức tạp mạch của các hàm boolean. Họ không trực tiếp ngụ ý bất kỳ rào cản như vậy trong việc chứng minh các giới hạn thấp hơn về độ …

15 cc.complexity-theory  circuit-complexity  barriers  natural-proofs 

Đây là phần tiếp theo của câu hỏi này và có liên quan đến câu hỏi này của Shiva Kinali. Dường như các bằng chứng trong các bài báo này ( Allender , Caussinus-McKenzie-Therien-Vollmer , Koiran-Perifel ) sử dụng các định lý phân cấp. Tôi muốn biết liệu các bằng …

15 cc.complexity-theory  lower-bounds  relativization  permanent 

Xin lỗi trước nếu câu hỏi này quá đơn giản. Về cơ bản, điều tôi muốn biết là nếu có bất kỳ hàm f(x)f(x)f(x) có các thuộc tính sau: Lấy là khi tên miền và tên miền được giới hạn ở chuỗi -bit. Sau đófn(x)fn(x)f_n(x)f(x)f(x)f(x)nnn fn(x)fn(x)f_n(x) là tiêm fn(x)fn(x)f_n(x) là …

15 cc.complexity-theory 

Tôi luôn bị thu hút bởi việc thiếu bằng chứng số từ toán học thực nghiệm cho hoặc chống lại câu hỏi P vs NP. Mặc dù Giả thuyết Riemann có một số bằng chứng hỗ trợ từ xác minh bằng số, tôi không biết về bằng chứng tương tự …

15 cc.complexity-theory  soft-question  big-picture  experimental 

Một lớp cấu trúc di truyền (ví dụ như đồ thị) là một lớp được đóng dưới các cấu trúc cảm ứng, hoặc tương đương, được đóng lại dưới sự loại bỏ đỉnh. Các lớp biểu đồ loại trừ trẻ vị thành niên có các thuộc tính đẹp không phụ …

15 cc.complexity-theory  graph-theory  relational-structures