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

1

Phân loại phức tạp của lý thuyết danh mục đầu tư trong kinh tế tài chính là gì?

Như tất cả các bạn sẽ biết, đang có sự sụp đổ liên tục từ cuộc khủng hoảng tài chính năm 2008. Tôi đã suy nghĩ về lý thuyết phức tạp phù hợp với tất cả những điều này như thế nào, khi tôi nhận ra tôi không biết các …

9 cc.complexity-theory gt.game-theory ce.computational-finance

1

Có tồn tại CFG kích thước đa thức mô tả ngôn ngữ hữu hạn này?

Có tồn tại hoán vị và kích thước đa thức (trong ) ngữ pháp tự do ngữ cảnh mô tả ngôn ngữ hữu hạn trên bảng chữ cái ?| w | = n { w π 1 ( w ) π 2 ( w ) } { 0 , 1 …

9 fl.formal-languages grammars context-free

2

Vẽ biểu đồ số giới hạn

Định lý Fáry nói rằng một đồ thị phẳng đơn giản có thể được vẽ mà không có giao điểm sao cho mỗi cạnh là một đoạn thẳng. Câu hỏi của tôi là liệu có một định lý tương tự cho các đồ thị của số giao nhau giới hạn …

9 graph-theory co.combinatorics planar-graphs

3

Lợi ích cho các lớp cú pháp và ngữ nghĩa

Đây là một bài viết tách biệt với Kết quả của UP bằng NP , và cũng là một câu hỏi tiếp theo cho các lớp phức tạp ngữ nghĩa và ngữ nghĩa . Trong bài viết trên, chúng tôi đã tìm hiểu về các lớp ngữ nghĩa và cú …

9 cc.complexity-theory complexity-classes big-picture

2

Ngưỡng hoàn toàn hệ thống mật mã tương đồng

Gần đây, Craig Gentry đã xuất bản sơ đồ mã hóa khóa công khai đầu tiên (trên không gian văn bản {0,1}) hoàn toàn đồng hình, nghĩa là người ta có thể đánh giá AND và XOR một cách hiệu quả và gọn gàng trên các bản rõ được mã …

9 cr.crypto-security circuit-complexity homomorphic-encryption

5

Tính toán tự nhiên dựa trên các lực cơ bản

Các ví dụ nổi tiếng về tính toán lấy cảm hứng từ hiện tượng tự nhiên là máy tính lượng tử và máy tính DNA. Những gì được biết về tiềm năng và / hoặc hạn chế của điện toán với luật hoặc lực hấp dẫn của Maxwell? Đó là, …

9 computability machine-models physics natural-computing

4

Tại sao automata giới hạn tuyến tính không phổ biến như các automata khác?

Theo kinh nghiệm của tôi, các ngôn ngữ nhạy cảm theo ngữ cảnh và automata giới hạn tuyến tính thường bị bỏ qua hoặc vượt qua trong các khóa học lý thuyết tính toán, và thậm chí bị loại khỏi một số sách giáo khoa đáng chú ý, mặc dù …

9 computability fl.formal-languages automata-theory

3

Bằng chứng tương tác qua Postselection?

Xác định mô hình tính toán MPostBQP giống hệt với PostBQP ngoại trừ chúng tôi cho phép nhiều phép đo qubit trước khi chọn sau và phép đo cuối cùng. Chúng tôi có thể đưa ra bất kỳ bằng chứng nào cho thấy MPostBQP mạnh hơn PostBQP không? Xác định …

9 cc.complexity-theory complexity-classes quantum-computing interactive-proofs

1

Các thuật toán mạnh mẽ mà quá khó để thực hiện, làm thế nào để chắc chắn rằng chúng đúng?

Tôi đang đề cập đến câu hỏi ở đây: các thuật toán mạnh mẽ quá phức tạp để thực hiện . Nếu một thuật toán mạnh, nhưng quá phức tạp để thực hiện, làm thế nào bạn có thể chắc chắn rằng thuật toán này đúng? Nếu không triển khai, …

9 ds.algorithms implementation

2

Thông tin về k-SAT (Giới thiệu, Giới hạn, Phương pháp, v.v.)

Tôi muốn biết nơi tôi có thể giới thiệu một cách tốt đẹp, nhẹ nhàng về k-SAT (điều này có thể dành cho các nhà toán học có thể không có nền tảng khoa học máy tính tốt). Tôi cũng muốn biết các bài báo có thể khảo sát hoặc …

9 reference-request sat survey

3

Các thuật toán cho tam giác đa giác

Tôi đã gặp khó khăn trong việc tìm kiếm thuật toán hoặc các bài báo được xuất bản về tam giác Tự giao nhau (cũng là đa giác với cấu trúc lỗ). Có ai có thể hướng dẫn tôi tìm giấy / thuật toán được công bố không? PS: ai …

9 ds.algorithms reference-request cg.comp-geom

3

Làm thế nào tôi có thể ngẫu nhiên tạo cây bao trùm chiều cao giới hạn?

Đối với một dự án mà tôi đang thực hiện, tôi nên tạo các cây bao trùm ngẫu nhiên với chiều cao giới hạn. Về cơ bản tôi làm như sau: 1) Tạo cây bao trùm 2) Kiểm tra tính khả thi, nếu khả thi hãy giữ nó. 1) Bắt …

9 ds.algorithms graph-algorithms random-walks

1

Bất kỳ công thức SAT / SMT nào của VRP / VRPTW (TSP, Lập kế hoạch cửa hàng công việc)?

Tôi tự hỏi liệu chúng có phải là bất kỳ cách tiếp cận nào hình thành vấn đề Định tuyến xe cộ với Thời gian-Windows ( VRPTW ) (như một vấn đề quyết định) như là một ví dụ SAT / SMT không? (thay thế: TSP) Ví dụ: "Có giải …

9 ds.algorithms reference-request sat reductions tsp

1

NP-Độ cứng của một trường hợp đặc biệt của vấn đề đóng gói trực giao

Đặt là tập hợp các hình chữ nhật -chiều. Với và , w_d (v) \ in \ mathbb {Q} ^ {+} mô tả độ dài của v trong thứ nguyên d . Các ký hiệu tương tự được sử dụng cho các container C . Các D chiều vuông góc …

9 cc.complexity-theory reference-request np-hardness packing

2

Phần mở rộng của định lý Ramsey: đơn sắc nhưng đa dạng

Theo dõi câu hỏi trước đây của tôi , đã được Hsien-Chih Chang giải quyết, đây là một nỗ lực khác để tìm ra một khái quát hóa phù hợp của định lý Ramsey. (Bạn không cần phải đọc câu hỏi trước đó; bài đăng này là độc lập.) Các …

9 reference-request co.combinatorics ramsey-theory