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

Giả thuyết Riemann hơn 1 thế kỷ có ý nghĩa sâu sắc trong toán học và một kiến ​​thức lớn về lý thuyết toán học hiện được chứng minh có điều kiện trên nó và nhiều biến thể. Gần đây tôi đã bắt gặp một tài liệu tham khảo về …

10 cc.complexity-theory  algebraic-complexity  arithmetic-circuits 

Câu hỏi của tôi là về các thuật toán lượng tử cho các tính toán QED (điện động lượng tử) liên quan đến các hằng số cấu trúc tinh. Các tính toán như vậy (như đã giải thích với tôi) tính toán cho chuỗi giống như Taylor trong đó là …

10 cc.complexity-theory  quantum-computing  physics 

Sử dụng mô hình RAM / BSS thực, chúng ta có lớp NP R , (trong đó BSS là mô hình Blum-Shub-Smale của một máy tính có hoạt động trên thực tế). Chúng tôi có NP R hoàn thành vấn đề. Vì vậy, câu hỏi là có một sự tương …

10 cc.complexity-theory  computing-over-reals 

Giả sử chúng ta có hàm boolean từ . Rõ ràng là một đa thức p ( x ) đa biến thực sao cho f ( x ) = p ( x ) trên x ∈ { 0 , 1 } n có thể là đa tuyến. Một số lớp …

10 boolean-functions 

Có bất kỳ vấn đề nào có thể giải quyết được trong thời gian đa thức chỉ khi P! = NP và mặt khác có thể giải quyết được trong thời gian (nói) không?O(2n)O(2n)O(2^n) Một ví dụ đơn giản sẽ là: Nếu P! = NP, hãy tính toán kiểm tra …

10 cc.complexity-theory  reference-request 

Crossposted từ MO . (cạnh) đồ thị đẳng hình màu là GI bảo toàn màu sắc (của các cạnh nếu nó có màu cạnh). Có một số cách giảm bằng cách sử dụng các phép biến đổi / tiện ích của (cạnh) có màu GI thành GI. Đối với GI …

10 graph-theory  graph-isomorphism  automorphism 

Tôi quan tâm đến vấn đề sau. Chúng tôi được cung cấp dưới dạng "hoán vị mục tiêu" , cũng như danh sách các chỉ số . Sau đó, bắt đầu với danh sách (nghĩa là hoán vị danh tính), tại mỗi thời điểm bước chúng ta trao đổi phần …

10 np-hardness  counting-complexity  permutations  sorting-network  disjoint-paths 

Trong các chủ đề nâng cao về các loại và ngôn ngữ lập trình, nó đã được đề cập, trong chương về các hệ thống kiểu cấu trúc phụ, một phép tính lambda "được chế tạo cẩn thận" với một tổ hợp đệ quy cho các danh sách chỉ có …

10 cc.complexity-theory  type-theory  lambda-calculus 

Chúng ta hãy gọi một ngôn ngữ NP được chứng nhận thưa thớt khi và chỉ khi:L∈L∈L \in Có tồn tại một đa thức như vậy mà cho tất cả các đầu vào x ∈ Σ * kích thước n , nếu x ∈ L sau đó tập U x …

10 cc.complexity-theory  complexity-classes 

Định nghĩa tiêu chuẩn của Planar 3-SAT là gì? Tôi đã thấy một số định nghĩa khác nhau. Bài báo gốc đã định nghĩa nó là gì và chứng minh nó là NP-Complete?

10 cc.complexity-theory  reference-request  np-hardness  sat  planar-graphs 

Với hai polyhedra và Q , P và Q là là equidecomposable nếu có bộ hữu hạn của polyhedra P 1 , ... , P n và Q 1 , ... , Q n mà P i và Q i là đồng dư cho tất cả i , P = …

10 ds.algorithms  computational-geometry  polygon 

Tôi cố gắng để tìm thấy một bản phân phối qua vectơ ngẫu nhiên, nói , trên cầu đơn vị chiều (nơi ) giảm thiểu tuân theo ràng buộc .nnnx1,…,xnx1,Giáo dục,xnx_1,\ldots, x_nkkkn>kn>kn > kmaxi≠jVar(xTixj)tối đaTôi≠jVmộtr(xTôiTxj)\max_{i\neq j} \mathrm{Var}(x_i^T x_j)E[xTixj]=0E[xTôiTxj]= =0\mathbb{E}[x_i^Tx_j]=0 Tôi đã thử một số bản phân phối và hầu hết …

10 reference-request  randomized-algorithms 

Tôi vấp phải một vấn đề mở do David Eppstein đặt ra và tôi quan tâm đến tình trạng phức tạp của nó. Ông phỏng đoán rằng đó là NP-đầy đủ. Dữ liệu vào: theo n ma trận 0 và 1, chuỗi n 2 0 và 1nnnnnnn2n2n^2 Câu hỏi: Có …

10 cc.complexity-theory  graph-theory 

Có bất kỳ lớp đồ thị đẹp mà cây-width là trên bên bao bọc bởi một hàm của số phe nhóm ω ( G ) , tức là t w ( G ) ≤ f ( ω ( G ) ) ?tw(G)tw(G)tw(G)ω(G)ω(G)\omega(G)tw(G)≤f(ω(G))tw(G)≤f(ω(G))tw(G)\leq f(\omega(G)) Ví dụ, một thực tế cổ điển …

10 graph-theory  treewidth 

Tôi quan tâm đến các thuật toán cho các nhóm hữu hạn như được triển khai trong gói GAP. Dường như tất cả các thuật toán đã biết trong lĩnh vực này xử lý các nhóm hoán vị / nhóm ma trận; hai cái cơ bản là Schreier-Sims [1970] và …

10 permutations  gr.group-theory