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

Trong độ phức tạp tính toán, có một sự khác biệt quan trọng giữa tính toán đơn điệu và tính toán chung và một định lý nổi tiếng của Razborov khẳng định rằng 3-SAT và thậm chí MATCHING không phải là đa thức trong mô hình mạch Boolean đơn điệu. …

27 cc.complexity-theory  quantum-computing  circuit-complexity 

Chỉnh sửa: Tôi chọn câu trả lời có điểm cao nhất vào ngày 06 tháng 12 năm 2012. Đây là một câu hỏi mềm. Khái niệm thuật toán (xác định) có từ thời BC. Điều gì về các thuật toán xác suất? Trong mục wiki này , thuật toán của …

27 ds.algorithms  reference-request  big-list  randomized-algorithms  ho.history-overview 

Độ phức tạp của việc quyết định xem một mạch có bit đầu vào và bit đầu ra có tính toán hoán vị của không? nói cách khác, liệu mọi chuỗi bit trong có phải là đầu ra của mạch cho một số đầu vào không? Có vẻ như một …

27 cc.complexity-theory  circuit-complexity  permutations 

Cho một bởi ma trận nhị phân (các mục nhập là hoặc ), vấn đề là xác định xem có tồn tại hai vectơ nhị phân sao cho (tất cả các hoạt động được thực hiện qua ). Vấn đề này có khó NP không?mmmnnnMMM000111v1≠ v2v1≠v2v_1 \ne v_2Mv1= Mv2Mv1=Mv2Mv_1 = …

27 cc.complexity-theory  np-hardness  linear-algebra 

Tôi quan tâm đến các ví dụ về các vấn đề trong đó một định lý dường như không liên quan gì đến cơ học / thông tin lượng tử (ví dụ: nêu một cái gì đó về các vật thể thuần túy cổ điển) tuy nhiên có thể được …

27 quantum-computing  big-list  proofs 

Tôi đã không quản lý để tìm cấu trúc dữ liệu này, nhưng tôi không phải là một chuyên gia trong lĩnh vực này. Cấu trúc thực hiện một tập hợp, và về cơ bản là một mảng các phần tử có thể so sánh với một bất biến. Bất …

27 ds.data-structures 

Tôi đang tìm mã sửa lỗi thuộc loại sau: mã nhị phân với tốc độ không đổi, có thể giải mã được từ một số phần lỗi không đổi, bởi bộ giải mã có thể thực hiện dưới dạng mạch Boolean có kích thước , trong đó N là chiều …

27 co.combinatorics  it.information-theory  coding-theory 

Tôi là một nhà khoa học máy tính đang tham gia một khóa học về cấu trúc liên kết (một cấu trúc liên kết điểm tập trung nhiều hương vị với lý thuyết liên tục). Tôi đã trở nên quan tâm đến các vấn đề quyết định kiểm tra một …

27 cc.complexity-theory  big-list  topology 

Được biết, với một tập hợp con điểm của (nghĩa là đã cho điểm trong với khoảng cách Euclide), có thể nhúng chúng theo phương diện đo lường trong .ℓ d 2 n R d ℓ ( nnnnℓd2ℓ2d\ell_2^dnnnRdRd{\mathbb R}^dℓ(n2)1ℓ1(n2)\ell^{n\choose 2}_1 Là isometry tính toán trong thời gian đa thức (có …

27 cg.comp-geom  metrics  embeddings 

Tôi gặp một chút khó khăn khi hiểu đầy đủ các bước cuối cùng của thuật toán bao thanh toán của Shor. Cho một NNN chúng ta muốn nhân tố, chúng ta chọn một ngẫu nhiên xxxcó thứ tự rrr . Bước đầu tiên liên quan đến việc thiết lập …

27 quantum-computing 

Nếu là đồ thị không đều d không định hướng và S là tập con của các đỉnh của cardinality ≤ | V | / 2 , gọi phần mở rộng cạnh của S là số lượngG=(V,E)G=(V,E)G=(V,E)dddSSS≤|V|/2≤|V|/2\leq |V|/2SSS ϕ(S):=Edges(S,V−S)d⋅|S|⋅|V−S|ϕ(S):=Edges(S,V−S)d⋅|S|⋅|V−S|\phi(S) := \frac {Edges(S,V-S)}{d\cdot |S|\cdot |V-S|} Trong trường hợp là số cạnh …

27 ds.algorithms  graph-theory  ho.history-overview  expanders  spectral-graph-theory 

Tôi chỉ dạy thuật toán cắt ngẫu nhiên Karger-Stein trong lớp thuật toán sau đại học của tôi. Đây là một viên ngọc thuật toán thực sự , vì vậy tôi không thể dạy nó, nhưng nó luôn khiến tôi thất vọng, vì tôi không biết bất kỳ ứng dụng …

27 ds.algorithms  reference-request  randomized-algorithms  teaching 

Thật ngạc nhiên, tôi đã không thể tìm thấy các bài báo về điều này - có thể đã tìm kiếm các từ khóa sai. Vì vậy, chúng ta đã có một mảng của bất cứ thứ gì, và một hàm trên các chỉ số của nó; là hoán vị.ffffff …

27 ds.algorithms  co.combinatorics  permutations 

Peter Shor đã chỉ ra rằng hai trong số các vấn đề trung gian NP quan trọng nhất, bao thanh toán và vấn đề nhật ký rời rạc, nằm trong BQP. Ngược lại, thuật toán lượng tử được biết đến nhiều nhất cho SAT (tìm kiếm của Grover) chỉ mang …

27 cc.complexity-theory  quantum-computing  np  np-intermediate 

"Khu vực dễ dàng" cho thỏa đáng là gì? Nói cách khác, điều kiện đủ để một số người giải SAT có thể tìm thấy một bài tập thỏa mãn, giả sử nó tồn tại. Một ví dụ là khi mỗi mệnh đề chia sẻ các biến với một số …

27 cc.complexity-theory  sat