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

Q & A cho các nhà khoa học và nhà nghiên cứu máy tính lý thuyết trong các lĩnh vực liên quan

1
Liệu có thể hình dung được tất cả rằng mô hình vật lý tiêu chuẩn có thể vượt trội hơn một máy tính lượng tử theo nghĩa nào không?
Mô hình chuẩn của vật lý (mô hình toán học dự đoán boson của Higg), theo như tôi hiểu, là mô hình hoàn chỉnh nhất của chúng ta về vũ trụ. Điều đó có nghĩa là, đó là mô tả tốt nhất về trò chơi toán học được chơi để …
2
Phân vùng một tập hợp các số nguyên thành tập con với tổng tiền quy định
Tôi thấy vấn đề này: Một chuỗi không tăng các số nguyên dương m1,m2,...,mkm1,m2,...,mkm_1,m_2,..., m_k được gọi là n-realizable nếu tập In={1,2,...,n}In={1,2,...,n}I_n=\{1,2,..., n\} có thể được phân chia thành kkk tập hợp lẫn nhau S1,S2,...,SkS1,S2,...,SkS_1,S_2,...,S_k sao cho ∑x∈Six=mi∑x∈Six=mi\sum_{x\in S_i} x = m_i với mỗi1≤i≤k1≤i≤k1\leq i \leq k . trong bài …
1
Là Kolmogorov phức tạp gần đúng?
Đối với độ phức tạp Kolmogorov tạo ra bởi các ngôn ngữ mô tả cơ bản tối ưu, có tồn tại một số nguyên sao cho tất cả các số nguyên dương , tồn tại một chuỗi sao cho?KK\hspace{.02 in}Kcccnnnxxxn&lt;K(x)&lt;n+cn&lt;K(x)&lt;n+c\;\;\; n \: < \: K(x) \: < \: n\hspace{-0.04 in}+\hspace{-0.03 …
2
Độ cứng của việc tạo ra một thể hiện của một vấn đề khó hơn độ phức tạp của vấn đề kết quả
Trong bộ phim, Inception Cobb yêu cầu Ariadne thiết kế một mê cung cần gấp đôi thời gian để thiết kế. Điều này dẫn đến một vấn đề tổng quát trong đó chúng ta có một tình huống trong đó chúng ta bị giới hạn tài nguyên bởi một số …
1
Liệu
Giả sử rằng đối với một vấn đề tối thiểu hóa nhất định chỉ có các giải pháp số nguyên, sẽ quyết định xem giải pháp tối ưu là 5 hay 6. Tức là thuật toán thời gian đa thức có tỷ lệ xấp xỉ tốt hơn 6/5 sẽ ngụ …
1
Chuyển đổi giữa k-SAT và XOR-SAT
Theo XOR Satisfiability Solver Module cho DPLL Integration bởi Tero Laitinen, chúng ta cần CNF khoản để chuyển đổi một đen khoản XOR-SAT nếu chúng ta không muốn tăng số lượng các literals. Vì vậy, tôi hiểu rằng chi phí tính toán để chuyển đổi biểu thức XOR-SAT thành CNF …
Khi sử dụng trang web của chúng tôi, bạn xác nhận rằng bạn đã đọc và hiểu Chính sách cookie và Chính sách bảo mật của chúng tôi.
Licensed under cc by-sa 3.0 with attribution required.