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

Liệu có nghĩa là ?E = N EE X P = N E X PEXP= =NEXP\mathsf{EXP}=\mathsf{NEXP}E = N EE= =NE\mathsf{E}=\mathsf{NE}

10 cc.complexity-theory  conditional-results  nexp  structural-complexity 

Đặt là một đồ thị vô hướng. Một phép phân tách V thành các tập con tách rời V i được gọi là phép phân tách Hamilton của G nếu sơ đồ con được tạo bởi mỗi tập V i là một đồ thị Hamilton hoặc bao gồm một cạnh …

10 cc.complexity-theory  ds.algorithms  graph-theory  np-hardness  hamiltonian-paths 

JBV đề nghị tôi biến một số ý kiến ​​thành một câu hỏi, vì vậy hãy đi. Một câu hỏi khác [1] hỏi về các ứng dụng của máy tính QM. Một câu trả lời [2] là "mô phỏng hiệu quả cơ học lượng tử". Rõ ràng ý tưởng này …

10 reference-request  quantum-computing  application-of-theory 

Tôi đang cố gắng sử dụng cây hậu tố để so sánh chuỗi chuỗi. Tôi đã tìm thấy các triển khai / lý thuyết cho vấn đề chuỗi phụ phổ biến dài nhất bằng cách sử dụng cây hậu tố. Tuy nhiên, điều tôi đang tìm kiếm là một cuộc …

10 ds.algorithms  string-matching 

Trong bài viết Về hai vấn đề của lý thuyết thông tin , Erdõs và Rényi đưa ra giới hạn thấp hơn về số lượng cân tối thiểu người ta phải làm để xác định số lượng tiền giả trong một bộ xu.nnn Chính thức hơn: Các đồng tiền giả …

10 ds.algorithms  reference-request  co.combinatorics  it.information-theory  randomized-algorithms 

Đặt là một tập hợp các Căn cứ không thiên vị lẫn nhau (MUB) trong , tức là mỗi là một cơ sở trực giao và cho chúng ta có . Chúng tôi quan tâm đến việc phân biệt giữa các vectơ tùy ý từ . Là phép đo POVM …

10 reference-request  quantum-information 

Đối với một đồ thị vô hướng và một tập hợp S các đỉnh, các thuật toán tiệm cận nhanh nhất được biết đến với việc tìm kiếm một con đường đơn giản có chứa tất cả các yếu tố của là những gì S . Điều gì xảy ra …

10 ds.algorithms  graph-algorithms  time-complexity 

Giới hạn tốt nhất hiện tại để thực hiện các truy vấn đếm phạm vi nửa không gian trên một tập hợp các điểm -chiều, được thể hiện dưới dạng một sự đánh đổi không gian / thời gian. Theo bài báo bán kết năm 1993 của Matousek (Định lý …

10 reference-request  ds.data-structures  cg.comp-geom 

Set được đưa ra. Đối với mỗi phần tử e i , chúng ta có trọng số w i > 0 và chi phí c i > 0 . Mục tiêu là tìm các tập con M kích thước k tối đa hóa hàm mục tiêu sau: Σ e i …

10 np-hardness  optimization 

Tôi mới đến trang web này và câu hỏi này chắc chắn không phải là cấp độ nghiên cứu - nhưng tốt. Tôi có một chút nền tảng về công nghệ phần mềm và hầu như không có gì ở CSTheory, nhưng tôi thấy nó hấp dẫn. Để làm cho …

10 pl.programming-languages  recursion  recursive 

Nếu OWF tồn tại, thì cam kết bit ràng buộc thống kê là có thể. [1] Được biết rằng nếu OWF tồn tại thì cam kết bit hoàn toàn ràng buộc là có thể? Nếu không, có sự phân tách hộp đen được biết đến giữa chúng không? [1] http://en.wikipedia.org/wiki/Pseudorandom_generator_theorem …

10 cr.crypto-security  one-way-function 

Ma trận Moore tương tự như ma trận Vandermonde nhưng có định nghĩa được sửa đổi một chút. http://en.wikipedia.org/wiki/Moore_matrix Sự phức tạp của tính toán yếu tố quyết định của một nhất định là gì n×nn×nn \times n bậc đầy đủ Moore ma trận modulo một số nguyên nào? Cần …

10 cc.complexity-theory  algebraic-complexity 

Một số người trong chúng ta đã đọc bài báo của Michael Nielsen về cách tiếp cận hình học để sử dụng giới hạn lượng tử thấp hơn (tóm lại, việc xây dựng một số liệu Finsler trên sao cho khoảng cách trắc địa từ I đến một phần tử …

10 quantum-computing 

Giả sử chúng ta xem xét 3-SAT với biến và mệnh đề . Tôi đang nghiên cứu một phương pháp có vẻ mất thời gian / không gian để giải quyết bất kỳ vấn đề SAT nào phù hợp với mô tả này, trong một lỗi có thể được điều …

10 ds.algorithms  sat  upper-bounds 

Cho là đồ thị có các cạnh có trọng số (dương). Tôi muốn xác định sơ đồ Voronoi cho một tập hợp các nút / trang S , để liên kết với một nút v ∈ S biểu đồ con R ( v ) của G được tạo bởi tất …

10 reference-request  graph-theory  cg.comp-geom