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

Vì không có câu trả lời nào được đưa ra, một lá cờ đã được đặt để yêu cầu câu hỏi này được chuyển đổi thành wiki cộng đồng. Các ý kiến ​​của Aaron Sterling, Sasho Nikolov và Vor đã được tổng hợp thành nghị quyết sau, mở cho thảo …

9 quantum-computing  program-verification  sample-complexity 

Ngay cả khi đó không phải là một điểm quan trọng, tôi không thấy bất kỳ tài liệu nào xung quanh câu hỏi này. Có kết quả tương đối? Sẽ không hoàn toàn đơn giản để chứng minh sự bao gồm nghiêm ngặt bằng cách điều chỉnh định lý phân …

9 cc.complexity-theory  complexity-classes 

Cập nhật: Có vẻ như vấn đề này đã được nghiên cứu và giải quyết gần đây, xem bài viết wiki này: http://en.wikipedia.org/wiki/Tree_walking_automaton Và cả khảo sát này: http://www.mimuw.edu.pl/~bojan / con / twasurvey.pdf Giả sử thay vì tập hợp các từ thông thường, {0,1} *, các từ của chúng tôi …

9 cc.complexity-theory  automata-theory  space-bounded  dfa 

Trong một số lĩnh vực nghiên cứu trong CS, chúng tôi đã nhận được một số kết quả rất thú vị. Bây giờ chúng tôi đang suy nghĩ về việc xuất bản chúng. Trong nhóm chúng tôi, triết lý là xuất bản những thứ nhỏ nhặt trong các tài liệu …

9 soft-question  research-practice  writing  paper-review  conferences 

Kể từ thứ sáu, đã đến lúc trả lời câu hỏi CW. Tôi đang tìm kiếm các heuristic có sử dụng rộng rãi trong các vấn đề tối ưu hóa. Để giới hạn phạm vi đối với các heuristic 'thân thiện với lý thuyết' hơn, đây là các quy tắc …

9 ds.algorithms  reference-request  optimization  heuristics 

Một trong những vấn đề chính trong liệt kê biểu đồ là xác định "hình dạng" của biểu đồ, ví dụ: lớp đẳng cấu của bất kỳ biểu đồ cụ thể nào. Tôi nhận thức đầy đủ rằng mọi đồ thị có thể được biểu diễn dưới dạng ma trận …

9 graph-theory  co.combinatorics  algebra 

Dường như trong các ngôn ngữ truy vấn phổ biến cho cơ sở dữ liệu quan hệ, có thể tạo các truy vấn sẽ cần nhiều tài nguyên để trả lời. Trong thực tế, quản trị viên cơ sở dữ liệu quản lý điều này bằng cách giới hạn số …

9 cc.complexity-theory  pl.programming-languages  db.databases  finite-model-theory 

Chúng tôi có một tập hợp, , danh sách các phần tử từ tập N = { 1 , 2 , 3 , . . . , n } . Mỗi phần tử từ N xuất hiện trong một danh sách duy nhất trong . Tôi đang tìm kiếm một …

9 ds.algorithms  graph-algorithms  ds.data-structures 

Tôi có một biểu đồ chỉ bao gồm các biểu đồ sao. Biểu đồ sao bao gồm một nút trung tâm có các cạnh với mọi nút khác trong đó. Hãy H 1 , H 2 , ... , H n có đồ thị sao khác nhau của các kích …

9 graph-theory  co.combinatorics  puzzles 

Đây là một vấn đề đã được tôi làm phiền trong một thời gian. Giả sử một chuỗi là một chuỗi 1 và 0 và chuỗi ký tự đại diện là một chuỗi 1, 0 và? S. Tất cả các chuỗi và chuỗi ký tự đại diện có cùng độ …

9 ds.algorithms  ds.data-structures  approximation-algorithms  string-matching  string-search 

Hãy xem xét một không gian Hilbert . Cơ sở sản phẩm không thể mở rộng (UPB) là một tập hợp các vectơ sản phẩm sao cho:H= H1⊗ ⋯ ⊗ HnH= =H1⊗⋯⊗HnH = H_1 \otimes \dots \otimes H_n| vTôi⟩ = | v1Tôi⟩ ⊗ ⋯ ⊗ | vnTôi⟩|vTôi⟩= =|vTôi1⟩⊗⋯⊗|vTôin⟩\vert v_i \rangle …

9 quantum-computing  linear-algebra  quantum-information 

Tôi tự hỏi nếu vấn đề sau đây có một tên, hoặc bất kỳ kết quả liên quan đến nó. Đặt là đồ thị có trọng số trong đó w ( u , v ) biểu thị trọng số của cạnh giữa u và v và với tất cả u …

9 reference-request  graph-theory  approximation-algorithms  terminology  approximation-hardness 

Tôi đã bị thúc đẩy bởi vụ nổ phi thường trong Phân tích được làm mịn và bị tấn công bởi một khẳng định trong bài báo Phân tích về làm mịn của lập trình . Điều này nói rằng Lập trình tuyến tính Integer nằm trong Smoothed P nếu …

9 cc.complexity-theory  smoothed-analysis 

Câu hỏi này nảy sinh trong bối cảnh của mật mã học, nhưng dưới đây tôi sẽ trình bày nó dưới dạng lý thuyết phức tạp, vì mọi người ở đây đã quen thuộc hơn với cái sau. Câu hỏi này liên quan đến các vấn đề trong NP nhưng …

9 cc.complexity-theory  cr.crypto-security  np  advice-and-nonuniformity  average-case-complexity 

Trong độ phức tạp của cây quyết định của hàm boolean, một phương thức ràng buộc thấp hơn rất rõ là tìm một đa thức (gần đúng) đại diện cho hàm. Paturi đã đưa ra một đặc tính cho các hàm boolean đối xứng (một phần và toàn bộ) theo …

9 cc.complexity-theory  quantum-computing  lower-bounds  boolean-functions  query-complexity