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

Bổ đề Johnson-Lindenstrauss nói đại khái rằng với bất kỳ tập hợp của điểm trong , tồn tại một bản đồ trong đó sao cho tất cả : Người ta biết rằng các tuyên bố tương tự là không thể đối với số liệu , nhưng liệu có biết cách …

11 ds.algorithms  approximation-algorithms  cg.comp-geom  metrics  embeddings 

Với bất kỳ đồ thị vô hướng đơn giản G nào, sẽ không cần thiết để xác định xem G có tự động hóa không (không nhận dạng) không. Nhưng kết quả trên giới hạn trên / dưới của vấn đề quyết định này là gì?

11 cc.complexity-theory  graph-isomorphism  automorphism 

Tôi mới bắt đầu (độc lập) tìm hiểu về tính toán lượng tử nói chung từ cuốn sách Nielsen-Chuang. Tôi muốn hỏi liệu có ai có thể thử tìm thời gian để giúp tôi với những gì đang xảy ra với định đề đo lường của cơ học lượng tử …

11 quantum-computing  quantum-information 

Trong đồ thị có hướng, , , nếu là DAG (đồ thị theo chu kỳ có hướng), được gọi là tập cung tròn phản hồi. F ⊂ E G ∖ F FG = ( V, E)G=(V,E)G=(V,E)F⊂ EF⊂EF\subset EG ∖ FG∖FG\setminus FFFF Nếu mỗi cạnh được liên kết với trọng số …

11 ds.data-structures  graph-theory  np-hardness  approximation-algorithms 

Dưới đây là hai biến thể về định nghĩa của NP. Họ (gần như chắc chắn) định nghĩa các lớp phức tạp riêng biệt, nhưng câu hỏi của tôi là: có những ví dụ tự nhiên về các vấn đề phù hợp với các lớp này không? (Ngưỡng của tôi …

11 cc.complexity-theory  complexity-classes  np 

Tôi đặc biệt quan tâm đến việc sử dụng chúng trong các ứng dụng kiểm tra mô hình. Tôi có các mạng hàng đợi mở, đóng và hỗn hợp với các nhóm khách hàng khác nhau của Baskett et al. Bất kỳ đề nghị khác để đọc tài liệu? Cảm …

11 reference-request  markov-chains  queueing-theory  model-checking 

Khi tôi nghĩ về phần mềm không an toàn, tôi nghĩ rằng nó "quá hữu ích" và có thể bị kẻ tấn công lạm dụng. Vì vậy, trong một ý nghĩa bảo mật phần mềm là quá trình làm cho phần mềm ít hữu ích hơn. Trong Khoa học máy …

11 cr.crypto-security  big-picture 

Trong bài viết của Stephen Cook về vấn đề P vs NP, [1] ông nói như sau [2]: Luận án khả thi: Một vấn đề tự nhiên có thuật toán khả thi nếu nó có thuật toán thời gian đa thức. Câu hỏi của tôi là, chính xác thì anh …

11 time-complexity  p-vs-np  complexity  fixed-parameter-tractable 

Hai nhóm ( G , ⋅ )(G,⋅)(G,\cdot) và ( H, × )(H,×)(H, \times) được cho là đẳng cấu khi và chỉ khi tồn tại một đồng cấu từ GGG đến HHH mà là song ánh. Vấn đề đẳng cấu nhóm như sau: đưa ra hai nhóm, kiểm tra xem chúng …

11 ds.algorithms  gr.group-theory 

Trong lý thuyết phức tạp, định nghĩa về độ phức tạp của thời gian và không gian đều tham chiếu một máy Turing phổ dụng: resp. số lượng các bước trước khi tạm dừng và số lượng ô trên băng đã chạm vào. Với luận điểm Church-Turing, có thể định …

11 time-complexity  lambda-calculus 

Đặt là một lời tiên tri chung theo nghĩa của thể loại Cohen / Baire. Đặt R là một tiên tri ngẫu nhiên.GGGRRR Có các lớp phức tạp A và B với hay cách khác xung quanh, Một G ≠ B GAG=BGandAR≠BRAG=BGandAR≠BR\mathrm{A}^G=\mathrm{B}^G\quad\text{and}\quad\mathrm{A}^R\ne \mathrm{B}^RAG≠BGandAR=BR?AG≠BGandAR=BR?\mathrm{A}^G\ne\mathrm{B}^G\quad\text{and}\quad\mathrm{A}^R= \mathrm{B}^R\text{?} Câu hỏi được lấy cảm hứng …

11 cc.complexity-theory  complexity-classes 

Người ta biết rằng đối với một lớp khái niệm CC\mathcal{C} có kích thước VC , nó có đủ các ví dụ được gắn nhãn học . Tôi không rõ liệu thuật toán học PAC (sử dụng nhiều mẫu này) là đúng hay không đúng? Trong sách giáo khoa của …

11 machine-learning  boolean-functions  lg.learning  vc-dimension  pac-learning 

Tôi quan tâm đến các thuộc tính kết hợp của các mạng xã hội dưới dạng biểu đồ. Mọi người đã xem xét những thứ như phân bố độ, hệ số phân cụm và khả năng nén của các biểu đồ này. Một câu hỏi cơ bản là: Những đồ …

11 graph-theory  application-of-theory  expanders 

Có phải lý thuyết loại Martin-Löf về cơ bản là tính toán dự đoán của các công trình quy nạp mà không có tính bắt buộc ?P r o pProp\mathtt{Prop} Nếu chúng liên quan chặt chẽ nhưng có nhiều khác biệt hơn là , thì những khác biệt đó là …

11 type-theory  calculus-of-constructions 

Tôi đã tự hỏi danh sách các vấn đề tính toán tự nhiên hiện tại là gì mà không có lợi thế phức tạp nào được biết đến trong việc sử dụng máy tính lượng tử. Để bắt đầu, tôi nghĩ tính toán khoảng cách chỉnh sửa là một trong …

11 ds.algorithms  quantum-computing  big-list