Khoa học máy tính lý thuyết

Khi đọc bài báo " Một lý thuyết áp dụng cho FPH ", bạn có thể bắt gặp đoạn văn sau: Xem xét các lý thuyết đặc trưng cho các lớp phức tạp tính toán, có ba cách tiếp cận khác nhau: trong một, các chức năng có thể được …

15 cc.complexity-theory  reference-request  complexity-classes  lo.logic  proof-complexity 

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 

Khi cố gắng đưa ra thuật toán sắp xếp của riêng tôi, tôi đang tìm kiếm điểm chuẩn tối ưu để tôi có thể so sánh nó. Đối với một thứ tự chưa được sắp xếp của các phần tử A và một thứ tự B được sắp xếp , …

15 ds.algorithms  co.combinatorics  sorting 

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 

Một phần mở rộng cổ điển của bài toán luồng cực đại là bài toán "dòng chảy tối đa theo thời gian": bạn được cung cấp một sơ đồ, hai nút được phân biệt là nguồn và phần chìm, trong đó mỗi cung có hai tham số, công suất trên …

15 ds.algorithms  graph-algorithms  network-modeling  max-flow-min-cut 

Đặ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 

Giả sử chúng ta muốn tìm hoặc max x ∏ i j ∈ E f(xi,xj)ΣxΠtôi j ∈ Ef( xTôi, xj)ΣxΠTôij∈Ef(xTôi,xj)\sum_x \prod_{ij \in E} f(x_i,x_j)tối đaxΠtôi j ∈ Ef( xTôi, xj)tối đaxΠTôij∈Ef(xTôi,xj)\max_x \prod_{ij \in E} f(x_i,x_j) Trong đó max hoặc sum được lấy trên tất cả các nhãn của , sản …

15 ds.algorithms  graph-theory  graph-algorithms  approximation-algorithms  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 

Các Walsh-Hadamard transform (WHT) là một sự tổng quát của biến đổi Fourier, và là một sự biến đổi trực giao trên một vector của các số thực hoặc phức tạp của chiều . Phép biến đổi này rất phổ biến trong điện toán lượng tử, nhưng gần đây nó …

15 ds.algorithms  linear-algebra 

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