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

Có tài liệu tham khảo nào cung cấp chi tiết về giới hạn mạch cho các vấn đề khó cụ thể phát sinh trong mật mã như bao thanh toán số nguyên, bài toán logarit rời rạc / tổng hợp và biến thể của nó qua nhóm các điểm của …

19 cc.complexity-theory  complexity-classes  cr.crypto-security  circuit-complexity 

Tôi hiện đang quan tâm đến việc có được (hoặc xây dựng) và nghiên cứu các công thức 3-CNF không thỏa mãn và có kích thước tối thiểu. Nghĩa là, chúng phải bao gồm càng ít mệnh đề (tốt nhất là m = 8) càng tốt và càng ít biến …

19 cc.complexity-theory  sat 

Điện toán đảo ngược là một mô hình tính toán chỉ cho phép các hoạt động có thể đảo ngược nhiệt động. Theo nguyên tắc của Landauer, trong đó tuyên bố rằng việc xóa một chút thông tin sẽ giải phóng nhiệt, điều này loại trừ các hàm chuyển đổi …

19 cr.crypto-security  quantum-computing  big-picture  physics  quantum-information 

Câu hỏi rất đơn giản và trực tiếp: Đối với một cố định , có bao nhiêu ngôn ngữ (khác nhau) được chấp nhận bởi một DFA có kích thước (tức là trạng thái)? Tôi sẽ chính thức tuyên bố điều này:n nnnnnnnnnn Xác định một DFA là , trong …

19 co.combinatorics  fl.formal-languages  automata-theory  regular-language  dfa 

Dự đoán thị trường chứng khoán là khó! TCS có thể làm cho tình cảm này chính thức hơn? Gần đây tôi đã bắt đầu suy nghĩ một chút về tài chính, và đang tự hỏi làm thế nào kiến ​​thức về TCS có thể giúp đỡ. Các quỹ phòng …

19 cc.complexity-theory  reference-request  survey  ce.computational-finance  algorithmic-lens 

Đặt GGG là đồ thị vô hướng không trọng số với nnn đỉnh và mmm cạnh. Có thể xử lý trước GGG và tạo cấu trúc dữ liệu có kích thước m⋅polylog(n)m⋅polylog(n)m \cdot \mathrm{polylog}(n) để nó có thể trả lời các truy vấn có dạng "khoảng cách giữauuu và vvv …

19 graph-theory  graph-algorithms  ds.data-structures 

Dường như được biết rằng để tìm câu trả lời cho truy vấn qua cơ sở dữ liệu quan hệ D , người ta cần có thời gian | D | | Q | và người ta không thể thoát khỏi số mũ | Q | .QQQDDD|D||Q||D||Q||D|^{|Q|}|Q||Q||Q| Vì có thể …

19 cc.complexity-theory  time-complexity  descriptive-complexity  db.databases 

Trong lý thuyết thông tin lượng tử, khoảng cách giữa hai kênh lượng tử thường được đo bằng định mức kim cương. Ngoài ra còn có một số cách để đo khoảng cách giữa hai trạng thái lượng tử, chẳng hạn như khoảng cách theo dõi, độ trung thực, v.v …

19 quantum-computing  it.information-theory  quantum-information 

Tôi đã đọc ở đâu đó rằng một máy Turing không thể tính toán được điều này và do đó nó không thể giải quyết được nhưng tại sao? Tại sao máy tính không thể tạo ra phân tích cú pháp và đưa ra quyết định? Có lẽ tôi sai …

19 computability  turing-machines  context-free 

Đặt là thời gian chạy tệ nhất của sự cố đối với đầu vào có kích thước . Hãy để chúng tôi làm cho vấn đề trở nên hơi kỳ lạ bằng cách sửa cho nhưng cho .f(n)f(n)f(n)nnnf(n)=n2f(n)=n2f(n) = n^2n=2kn=2kn=2kf(n)=nf(n)=nf(n) = nn=2k+1n=2k+1n=2k+1 Vì vậy, giới hạn dưới của vấn đề …

19 cc.complexity-theory  time-complexity 

Một DFA có một từ đồng bộ hóa nếu có một chuỗi gửi bất kỳ trạng thái nào của DFA đến một trạng thái duy nhất. Trong 'Phỏng đoán Cerny cho Automata định kỳ của AN Trahtman (Toán học rời rạc và Khoa học máy tính lý thuyết tập 9: …

19 fl.formal-languages  automata-theory  open-problem  synchronization 

Tôi quan tâm đến các mô hình đồ thị ngẫu nhiên tương tự như đồ thị của các mạng máy tính thực. Tôi không chắc chắn nếu mô hình nghiên cứu tốt ( n đỉnh, mỗi cạnh có thể được chọn với xác suất p ) có tốt cho việc …

19 reference-request  graph-theory  co.combinatorics 

Tôi đang tìm cách để duy trì một cây bao trùm tương đối cân bằng của đồ thị, khi tôi thêm các nút / cạnh mới vào biểu đồ. Tôi có một đồ thị vô hướng bắt đầu như một nút duy nhất, "root". Ở mỗi bước, tôi thêm vào …

19 graph-theory  ds.data-structures  graph-algorithms  tree  online-algorithms 

EDIT lúc 2011/02/08: Sau khi một số tài liệu tham khảo tìm và đọc, tôi quyết định tách câu hỏi ban đầu thành hai câu hỏi riêng biệt. Đây là phần liên quan đến UP so với NP, đối với phần cú pháp và ngữ nghĩa, vui lòng xem Lợi …

19 cc.complexity-theory  complexity-classes  conditional-results  unique-solution 

Để cụ thể, hãy xem xét LP để giải quyết trò chơi có tổng bằng hai người chơi trong đó mỗi người chơi có hành động. Giả sử mỗi mục nhập của ma trận xuất chi A nhiều nhất là 1 trong giá trị tuyệt đối. Để đơn giản, chúng …

19 ds.algorithms  approximation-algorithms  online-learning  linear-programming