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

Giả sử và thuật toán thời gian tuyến tính nhanh cho SAT xuất hiện vào ngày mai. Đột nhiên RSA không an toàn, phần lớn hệ thống liên lạc hiện đại của chúng tôi bị hỏng và chúng tôi cần xem xét lại cách giữ bí mật với nhau.P=NPP=NPP = …

25 cr.crypto-security 

Tôi hy vọng đây không phải là một câu hỏi không chính trị để hỏi, nhưng đối với một nghiên cứu sinh thường xuất bản tại CCC / ITCS / ICALP (và đôi khi tại FOCS / STOC), có thể gây hại (thông thái nghề nghiệp) không? hội nghị kém …

25 soft-question  career 

Những gì được biết về độ phức tạp tính toán của số nguyên bao thanh toán trong các trường số chung? Cụ thể hơn: Qua các số nguyên, chúng tôi đại diện cho các số nguyên thông qua các mở rộng nhị phân của chúng. Các biểu diễn tương tự …

25 cc.complexity-theory  nt.number-theory  comp-number-theory 

Trong nhiều bài viết liên quan đến ngữ pháp không ngữ cảnh (CFG), các ví dụ về các ngữ pháp như vậy được trình bày thường thừa nhận các đặc điểm dễ dàng của ngôn ngữ mà chúng tạo ra. Ví dụ: S→aaSbS→aaSbS \to a a S b S→S→S \to …

25 fl.formal-languages  context-free  context-free-languages 

Bổ đề tính thường xuyên của Szemeredi nói rằng mọi đồ thị dày đặc có thể được tính gần đúng như một tập hợp của nhiều đồ thị giãn nở lưỡng cực. Chính xác hơn, có một phân vùng của hầu hết các đỉnh thành các tập hợp O ( …

25 graph-theory  co.combinatorics  expanders 

tttnnn1≤t≤n≤101≤t≤n≤101\le t \le n\le 10V1(n)=n−1V1(n)=n−1V_1(n) = n-1V2(n)=n−2+⌈n/2⌉V2(n)=n−2+⌈n/2⌉V_2(n) = n - 2 + \lceil n/2 \rceil Vt(n)Vt(n)V_t(n)M(n)=V⌈n/2⌉(n)M(n)=V⌈n/2⌉(n)M(n) = V_{\lceil n/2 \rceil}(n) Như @ MarkusBläser chỉ ra, bảng của Knuth dường như đã kết hợp các kết quả gần đây hơn từ Bill Gasarch, Wayne Kelly và Bill Pugh ( Tìm số …

25 ds.algorithms  reference-request  co.combinatorics  sorting  selection 

Câu hỏi này xuất phát từ sự tò mò thuần túy (nó xuất hiện trong khi suy nghĩ về việc xáo trộn một chuỗi , nhưng tôi không chắc liệu nó có thực sự liên quan hay không) vì vậy tôi hy vọng nó phù hợp. Có nhiều sản phẩm …

25 cc.complexity-theory  graph-algorithms 

Gần đây, Ryan Willams đã chứng minh rằng Cấu trúc trong Bằng chứng tự nhiên là không thể tránh khỏi để rút ra sự phân tách các lớp phức tạp: NEXPNEXP\mathsf{NEXP} và TC0TC0\mathsf{TC}^{0} . Cấu trúc trong Bằng chứng tự nhiên là điều kiện mà tất cả các bằng chứng …

25 cc.complexity-theory  complexity-classes  circuit-complexity  gct  barriers 

Cho một đồ thị vô hướng và không có trọng số G=(V,E)G=(V,E)G=(V,E) và một số nguyên chẵn kkk, độ phức tạp tính toán của các tập hợp các đỉnh S⊆VS⊆VS\subseteq V sao cho |S|=k|S|=k|S|=k và sơ đồ con của GGG bị giới hạn ở tập đỉnh SSS thừa nhận một …

25 cc.complexity-theory  co.combinatorics  counting-complexity 

Câu trả lời này cho các vấn đề lớn chưa được giải quyết trong khoa học máy tính lý thuyết? câu hỏi nói rằng nó mở nếu một vấn đề cụ thể trong NP yêu cầu thời gian Ω(n2)Ω(n2)\Omega(n^2) . Nhìn vào các ý kiến ​​dưới câu trả lời làm …

25 cc.complexity-theory  np  p-vs-np 

Kết quả của Robertson và Seymour chứng tỏ một thuật toán để thử nghiệm liệu một đồ thị cố định G là trẻ vị thành niên của H . Tôi có hai câu hỏi rưỡi về chủ đề này:O(n3)O(n3)O(n^3)GGGHHH 1) Có vẻ như đã có những cải tiến cho thuật …

25 reference-request  graph-theory  co.combinatorics  graph-algorithms 

Tôi sẽ tham dự hội nghị khoa học máy tính đầu tiên của mình và sau khi đọc lời khuyên về cách cải thiện các hội nghị, tôi nhận thấy một số gợi ý là về các sinh viên tốt nghiệp tham dự hội nghị đầu tiên của họ. Bạn …

25 soft-question  big-list  conferences 

Như đã nêu trong tiêu đề, tôi tự hỏi bất kỳ mối quan hệ và sự khác biệt giữa CIC và ITT. Ai đó có thể giải thích hoặc chỉ cho tôi một số tài liệu so sánh hai hệ thống này? Cảm ơn.

25 type-theory 

Người giải SAT rất quan trọng trong các cuộc tấn công đại số , ví dụ walksat và minisat . Tuy nhiên, khi giải quyết các vấn đề điểm chuẩn có sẵn ở đây, có một sự khác biệt lớn về hiệu năng giữa hai - Walksat nhanh hơn nhiều …

25 ds.algorithms  sat 

Những gì được biết về sự phức tạp của vấn đề sau đây: Đưa ra: số hữu tỉ x1&lt;x2&lt;…&lt;xnx1&lt;x2&lt;…&lt;xnx_1 < x_2 < \dotso < x_n . Output: số nguyên y1≤y2≤…≤yny1≤y2≤…≤yny_1 \le y_2 \le \dotso \le y_n . Mục tiêu: giảm thiểu ∑1≤i&lt;j≤ne(i,j),∑1≤i&lt;j≤ne(i,j),\sum_{1 \le i < j \le n} e(i,j), nơi …

25 ds.algorithms  reference-request  optimization