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

Gần đây tôi đã xử lý các thuật toán liên quan đến nén và tôi đã tự hỏi đâu là tỷ lệ nén tốt nhất có thể đạt được bằng cách nén dữ liệu không mất dữ liệu. Cho đến nay, nguồn duy nhất tôi có thể tìm thấy về …

14 it.information-theory  data-streams 

Hãy là một công thức với CNF n biến và m khoản. Hãy t ∈ { 0 , 1 } n đại diện cho một nhiệm vụ khác nhau và f φ ( t ) ∈ { 0 , ... , m } đếm số lượng các điều khoản thoả …

14 cc.complexity-theory  sat  counting-complexity 

Đó là một cái tên tôi đã tạo nên cho vấn đề này. Tôi chưa thấy nó được mô tả ở bất cứ đâu trước đây. Tôi chưa thể tìm thấy bằng chứng về tính đầy đủ của NP cũng như thuật toán thời gian đa thức cho vấn đề …

14 cc.complexity-theory  np-hardness 

Nhiều hệ thống mật mã khóa công khai có một số loại bảo mật có thể chứng minh được. Ví dụ, hệ thống mật mã Rabin có thể chứng minh là khó như bao thanh toán. Tôi tự hỏi liệu loại bảo mật có thể chứng minh như vậy có …

14 cr.crypto-security  algebra  algebraic-complexity 

Mục tiêu : Giải quyết phỏng đoán rằng không có mặt phẳng chiếu thứ tự 12. Năm 1989, bằng cách sử dụng tìm kiếm trên máy tính trên Cray, Lam đã chứng minh rằng không có mặt phẳng chiếu thứ 10 nào tồn tại. Giờ đây, Số của Chúa cho …

14 open-problem 

Tôi là sinh viên khoa học máy tính đại học và tôi hiện đang lên kế hoạch cho dự án tốt nghiệp của mình. Tôi cần một số ý tưởng trong lĩnh vực điện toán lượng tử. Có ai giúp đỡ không?

14 quantum-computing  soft-question 

X= ∑TôiλTôiY2TôiX= =ΣTôiλTôiYTôi2X = \sum_i \lambda_i Y_i^2 Pr o b ( X&lt; E[ X] - t ) &lt; e x p ( - t2/ (4 ΣTôiλ2Tôi)Prob(X&lt;E[X]-t)&lt;exp(-t2/(4ΣTôiλTôi2)Prob(X < E[X] - t) < exp(-t^2/(4 \sum_i \lambda_i^2) Bằng chứng về bổ đề của họ tương tự như bằng chứng thông thường về ràng …

14 chernoff-bound 

Sẽ có bất kỳ hậu quả lớn nào nếu SAT có hầu hết các bằng chứng không phụ thuộc hoặc thậm chí mạnh hơn, SAT có các thuật toán thời gian phụ?

14 cc.complexity-theory  sat  proof-complexity 

Chúng tôi biết rằng thuật toán cắt xén của Karger có thể được sử dụng để chứng minh (theo cách không mang tính xây dựng) rằng số lần cắt tối đa có thể có mà một biểu đồ có thể có là select .(n2)(n2)n \choose 2 Tôi đã tự hỏi …

14 ds.algorithms  graph-theory  co.combinatorics  graph-algorithms  max-flow-min-cut 

Sau khi đọc câu hỏi gần đây "Phần bổ sung của ngữ cảnh không?" { w w w ∣ . . . }{www∣...}\{ www \mid ...\}; Tôi nhớ một vấn đề tương tự tôi không thể bác bỏ: Là bối cảnh miễn phí?L = { w w'∣ w , w'∈ …

13 fl.formal-languages  context-free 

Trong khuôn khổ học tập automata Angluin của , một mục tiêu học sinh học một ngôn ngữ thường xuyên L ⊆ Σ*L⊆Σ∗L\subseteq \Sigma^* bằng cách hỏi hai loại câu hỏi để cô giáo của mình: Lời truy vấn: trao w ∈ Σ*w∈Σ∗w\in \Sigma^* , là w ∈ Lw∈Lw\in L …

13 automata-theory  regular-language 

Có một mẹo cũ để viết ra một thuật toán, nếu P = NP, giải SAT trong thời gian đa thức. Về cơ bản, người ta liệt kê tất cả các cỗ máy thời gian đa thức và đa tác vụ trên chúng. Có một mẹo tương tự cho các …

13 universal-computation  one-way-function 

Bằng chứng Omer Reingold rằng đưa ra một thuật toán cho USTCON (Trong một U ndirected đồ thị với các đỉnh đặc biệt s và t , là họ Côn nối kết?) Chỉ sử dụng logspace. Ý tưởng cơ bản là xây dựng một biểu đồ mở rộng từ biểu …

13 graph-algorithms  nondeterminism  expanders  logspace 

Tôi có một câu hỏi (hy vọng đơn giản, có thể ngớ ngẩn) trên tờ giấy mốc của Babai cho thấy là quasipolynomial.GIGI\mathsf{GI} Babai đã chỉ ra cách tạo chứng chỉ rằng hai đồ thị cho i ∈ { 1 , 2 } là đẳng cấu, theo thời gian quasipolynomial …

13 graph-isomorphism  search-problem 

Giả sử chúng ta có một thuộc tính đồ thị có thể được kiểm tra trong thời gian đa thức không xác định và bằng chứng trong một hệ thống chính thức yếu (giả sử là 0 ) rằng tài sản bị đóng nhỏ. Chúng ta có thể nói bất …

13 cc.complexity-theory  lo.logic