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

Tôi có 400 quả bóng, trong đó 100 quả màu đỏ, 40 màu vàng, 50 màu xanh lục, 60 màu xanh lam, 70 màu tím, 80 màu đen. (những quả bóng cùng màu giống hệt nhau) Tôi cần một thuật toán xáo trộn hiệu quả, để sau khi xáo trộn, …

10 ds.algorithms  randomized-algorithms  permutations 

Bối cảnh: Chúng tôi chỉ xem xét sơ đồ. Đặt CYCLE là ngôn ngữ của đồ thị với một chu kỳ; nó là một vấn đề hoàn chỉnh NL. Đặt HASEDGE là ngôn ngữ của đồ thị có ít nhất một cạnh. Sau đó trivially, CYCLE∪HASEDGECYCLE∪HASEDGE\text{CYCLE} \cup \text{HASEDGE} không còn …

10 cc.complexity-theory  graph-theory  descriptive-complexity 

Tôi phải đối mặt với một tình huống khó xử khá khó khăn: - Tôi đã hoàn thành M.Tech trong CS 2 năm trở lại, hoàn thành luận án của mình trong lĩnh vực Kiểm tra VLSI. Mặc dù tôi thích công việc của mình nhưng tôi không muốn quay …

10 soft-question  advice-request  career 

Khi xem xét các tương tác trên các mạng, thường rất khó để tính toán động lực học một cách phân tích và các phép tính gần đúng được sử dụng. Các xấp xỉ trường trung bình thường kết thúc hoàn toàn bỏ qua cấu trúc mạng và do đó …

10 graph-theory  gt.game-theory  evolutionary-game-theory 

Tôi đang tìm kiếm toàn bộ kết quả của cụm sao Mặt trăng và Moser năm 1969 Trên Cliques trong Đồ thị (tồn tại các biểu đồ với một số lượng cực đại theo cấp số mũ theo ). Paywall của trường đại học của tôi không có quyền truy …

10 reference-request  graph-theory  co.combinatorics  clique 

Tôi thường nghe nói rằng bạn không thể viết chương trình để bắt lỗi trong trình duyệt web, hoặc trình xử lý văn bản hoặc hệ điều hành, bởi vì Định lý Rice: bất kỳ thuộc tính ngữ nghĩa nào cho ngôn ngữ hoàn chỉnh Turing là không thể giải …

10 computability 

Giả sử là ngôn ngữ Boolean, có chuỗi hữu hạn trên { 0 , 1 } . Gọi L n là số chuỗi trong L có độ dài n . Đối với hàm d ( n ) từ số nguyên dương đến số thực dương, L có mật độ trên …

10 cc.complexity-theory  reference-request  p-hardness 

Katz và Lindell đã đề cập đến trong cuốn sách của họ rằng LFSR đã trở nên khủng khiếp khi làm cơ sở cho các trình tạo giả danh, và ủng hộ rằng họ không được sử dụng nữa (tốt, họ cũng khuyên mọi người nên sử dụng mật mã …

10 soft-question  cr.crypto-security  pseudorandom-generators 

Một ngôn ngữ nằm trong lớp iff có hai ngôn ngữ và sao choLLLL 1 ∈ N P L 2 ∈ c o N P L = L 1 ∩ L 2DPDPDPL1∈NPL1∈NPL1 \in NPL2∈coNPL2∈coNPL2 \in coNPL=L1∩L2L=L1∩L2L = L1 \cap L2 Một vấn đề -complete chính quy là SAT-UNSAT: đưa ra …

10 cc.complexity-theory  np-hardness  complexity-classes  sat 

Nói rằng chúng ta có một khối đa diện ở dạng tiêu chuẩn: A x = bx ≥ 0Ax=bx≥0\begin{equation*} \begin{array}{rl} \mathbf{A}\mathbf{x} = \mathbf{b} \\\\ \mathbf{x} \ge 0 \end{array} \end{equation*} Có phương pháp nào được biết để tìm một siêu phẳng phân chia khối đa diện theo cách mà số đỉnh …

10 ds.algorithms  linear-programming  linear-algebra 

Tôi muốn bắt đầu tìm hiểu về Mã hóa mạng: http://en.wikipedia.org/wiki/Network_coding Bạn có biết bất kỳ khảo sát tốt nào (ví dụ từ Khảo sát và Hướng dẫn của IEEE) về các chủ đề trên. Tôi tìm thấy một số khóa học đại học trên google nhưng tôi muốn một …

10 it.information-theory  coding-theory  survey  ni.networking-internet 

Cho một đồ thị hỗn hợp G=(V,E,A)G=(V,E,A)G=(V,E,A) với các cạnh EEE và cung AAA , tìm một kết quả khớp trong EEE để giảm thiểu số lượng cung trong G/MG/MG/M , trong đó G/MG/MG/M thu được từ GGG bằng cách hợp đồng các đỉnh khớp và loại bỏ cung song …

10 cc.complexity-theory  reference-request  graph-theory 

Ai đó có thể chỉ cho tôi tham chiếu về tính không xác định của mô đun chức năng liên tục trong PCF không? \newcommand{\N}{\mathbb{N}} \newcommand{\bool}{\mathsf{bool}} Andrej Bauer đã viết một bài đăng blog rất hay để khám phá một số vấn đề chi tiết hơn, nhưng tôi sẽ tóm …

10 pl.programming-languages  lambda-calculus  denotational-semantics  computing-over-reals 

Câu hỏi của tôi là về sự tương đương của bảo mật của các chức năng một chiều ứng cử viên khác nhau có thể được xây dựng dựa trên độ cứng của bao thanh toán. Giả sử vấn đề của YẾU TỐ: [Cho cho các số nguyên tố ngẫu …

10 reference-request  cr.crypto-security  nt.number-theory  average-case-complexity  one-way-function 

Tôi đang đọc bài khảo sát xuất sắc của Watpy trên giấy về lý thuyết phức tạp lượng tử. Trong đó, ông tuyên bố rằng sẽ rất ngạc nhiên nếu một vấn đề hoàn chỉnh của QMA được phát hiện có một lời hứa trống rỗng (Ie Be a Language). …

10 cc.complexity-theory  quantum-computing