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

Vấn đề: Chúng tôi được cung cấp một bộ gậy có chiều dài nguyên. Tổng số độ dài của chúng là n (n + 1) / 2. Chúng ta có thể phá vỡ chúng để lấy các que có kích thước trong thời gian đa thức không? 1 , 2 …

18 reference-request  complexity-classes  puzzles 

Bài viết này gợi ý rằng có các tổ hợp (đại diện cho các tính toán tượng trưng) không thể được biểu diễn bằng phép tính Lambda (nếu tôi hiểu chính xác mọi thứ):

18 lo.logic  lambda-calculus 

Có ai biết về kết quả hoàn thành NP cho bài toán DOMINATING SET trong các biểu đồ, được giới hạn trong lớp biểu đồ lưỡng cực hai mặt phẳng bậc 3 không? Tôi biết đó là NP-hoàn chỉnh cho lớp đồ thị phẳng bậc 3 tối đa (xem sách …

18 cc.complexity-theory  graph-theory 

Những trường đại học nào có chương trình giảng dạy điện toán lượng tử mạnh, và cung cấp một số loại khóa học / nghiên cứu thông tin / điện toán lượng tử? Mục đích ở đây là thu thập một danh sách hữu ích cho ai đó đang xem …

18 soft-question  quantum-computing  big-list  quantum-information 

Parity-P là tập hợp các ngôn ngữ được công nhận bởi máy Turing không xác định, chỉ có thể phân biệt giữa số chẵn hoặc số lẻ của các đường dẫn "chấp nhận" (chứ không phải là số đường dẫn chấp nhận bằng 0 hoặc không bằng 0). Do đó, …

18 cc.complexity-theory  complexity-classes  np 

Tôi quan tâm đến vấn đề sau: Cho một tập hợp X và các tập con X_1, ..., X_n của X, tìm màu của các phần tử của X với k màu sao cho các phần tử trong mỗi X_i đều có màu khác nhau. Cụ thể hơn, tôi đang …

18 cc.complexity-theory  reference-request  np-hardness  hypergraphs 

Xác định độ phức tạp Gaussian của ma trận là số lượng tối thiểu của các thao tác hàng và cột cơ bản cần có để đưa ma trận thành dạng tam giác trên. Đây là một đại lượng trong khoảng từ đến (thông qua việc tách biệt Gaussian). Khái …

18 cc.complexity-theory  lower-bounds  matrices 

Nó được biết đến là máy tính lượng tử mạnh hơn nhiều so với các đối tác cổ điển về độ phức tạp của truy vấn . Có các mô hình khác (tự nhiên hoặc nhân tạo) hoàn toàn giữa lượng tử và cổ điển về độ phức tạp của …

18 cc.complexity-theory  quantum-computing  query-complexity 

Tất nhiên, vấn đề thỏa mãn là một vấn đề cơ bản trong lý thuyết CS. Tôi đã chơi với một phiên bản của vấn đề với vô số biến. \newcommand{\sat}{\mathrm{sat}} \newcommand{\unsat}{\mathrm{unsat}} Thiết lập cơ bản. Đặt là tập hợp các biến không trống và có thể là vô hạn …

18 reference-request  lo.logic  sat  topology  lattice 

Tôi vừa đọc câu hỏi " Có phải nhân tố số nguyên là một vấn đề hoàn chỉnh NP không? " Vì vậy tôi quyết định dành một chút danh tiếng của mình :-) hỏi một câu hỏi khác có :QQQP(Q is trivial)≈1P(Q is trivial)≈1P(\text{Q is trivial}) \approx 1 Nếu …

18 cc.complexity-theory  oracles  factoring 

Tôi hiện đang học toán. Tuy nhiên, tôi không nghĩ rằng tôi muốn trở thành một nhà toán học chuyên nghiệp trong tương lai. Tôi đang nghĩ đến việc áp dụng kiến ​​thức toán học của mình để thực hiện nghiên cứu về trí tuệ nhân tạo. Tuy nhiên, tôi …

18 soft-question  machine-learning  ai.artificial-intel 

Tôi xin lỗi nếu điều này không đúng chủ đề. Có vẻ như tên miền đã hết hạn. Tôi hy vọng một số thành viên của cộng đồng ở đây (tôi không phải là một) có thể biết ai là quản trị viên / chủ sở hữu của trang web …

17 soft-question 

Một số vấn đề phức tạp lớn, tính toán mở phát sinh từ các ngôn ngữ lập trình, đặc biệt là phân tích và biên dịch chương trình là gì? Tôi đang tìm kiếm các vấn đề trên các dòng "độ phức tạp thời gian của suy luận kiểu Hindley-Milner" …

17 cc.complexity-theory  pl.programming-languages  big-list  open-problem 

Có thể chuyển đổi một CNF thành một CNF sao choCC\mathcal CΨ(C)Ψ(C)\Psi(\mathcal C) Hàm có thể được tính trong thời gian đa thức từ một số tham số ngẫu nhiên bí mật .ΨΨ\Psirrr Ψ(C)Ψ(C)\Psi(\mathcal C) có giải pháp khi và chỉ khi có giải pháp.CC\mathcal C Mọi giải pháp của …

17 cc.complexity-theory  cr.crypto-security  one-way-function  cryptojacking 

Một mạch Boolean không xác định có, ngoài các yếu tố đầu bình thường , một tập hợp các nguyên liệu đầu vào "không xác định" y = ( y 1 , ... , y m ) . Một mạch không xác định C chấp nhận đầu vào x nếu …

17 cc.complexity-theory  circuit-complexity  nondeterminism