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

Bài báo gần đây từ FOCS2013, Strong Backreen to Bounded Treecreen SAT của Gaspers và Szeider nói về mối liên hệ giữa treewidth của biểu đồ mệnh đề SAT và độ cứng của thể hiện. Đối với các trường hợp 3-SAT ngẫu nhiên, tức là các trường hợp 3-SAT được …

11 graph-algorithms  sat  treewidth  random-k-sat  hard-instances 

Tôi đang tìm kiếm một ngôn ngữ nhỏ giúp 'thuyết phục' sinh viên rằng máy turing là một mô hình điện toán đủ chung. Đó là, một ngôn ngữ trông giống như ngôn ngữ mà họ đã quen, nhưng cũng dễ dàng mô phỏng trên một máy turing. Papadimitriou sử …

11 turing-machines 

Tôi có một vài triệu giá trị 32 bit. Đối với mỗi giá trị, tôi muốn tìm tất cả các giá trị khác trong khoảng cách hãm là 5. Trong cách tiếp cận ngây thơ, điều này đòi hỏi so sánh , điều mà tôi muốn tránh.O(N2)O(N2)O(N^2) Tôi nhận ra …

11 ds.algorithms  co.combinatorics  approximation-algorithms 

Đây có thể là một câu hỏi rất đơn giản. Nhưng sự khác biệt giữa các loại và loại là gì? Hiểu biết hiện tại của tôi là bạn có một lý thuyết loại với các quy tắc loại đưa ra khái niệm về một câu lệnh được gõ tốt …

11 type-theory 

Tất cả các bộ giải #SAT mà tôi biết, ví dụ RelSat, C2D, chỉ trả về số lượng phiên bản thỏa đáng. Nhưng tôi muốn biết từng trường hợp đó? Có một bộ giải #SAT như vậy hay tôi nên sửa đổi một bộ giải #SAT có sẵn để làm …

11 lo.logic  sat  software 

Nhớ lại những đường kính của một đồ thị là độ dài của một con đường ngắn nhất dài nhất trong . Đưa ra một biểu đồ, một thuật toán rõ ràng để tính toán giải quyết vấn đề đường đi ngắn nhất của tất cả các cặp (APSP) và …

11 graph-theory  graph-algorithms  shortest-path 

Trong khi nguyên tắc chung là trong các bài báo của TCS, các tác giả được sắp xếp theo thứ tự abc, có một số mẫu đối xứng đáng chú ý xuất hiện, trong đó các tác giả được sắp xếp theo một cách khác, ví dụ, Phương pháp đại …

11 soft-question 

Một phần của khó khăn trong việc tìm hiểu thêm về vấn đề này là vấn đề khớp đồ thị khác với người anh em nổi tiếng hơn nhiều của nó, vấn đề khớp, nhưng khó phân biệt với nó khi sử dụng các công cụ tìm kiếm. Cho hai …

11 reference-request  graph-theory  graph-isomorphism 

Đây là phần tiếp theo câu hỏi trước đây của tôi: Độ phức tạp thời gian xác định được biết đến thấp nhất ràng buộc cho một vấn đề tự nhiên trong NP Tôi thấy hoang mang rằng chúng tôi không thể chứng minh bất kỳ thời gian xác định …

11 cc.complexity-theory  lower-bounds  big-picture  barriers 

Tôi đã tự hỏi nếu có bất kỳ ràng buộc thấp hơn (về độ phức tạp mẫu) được biết đến cho vấn đề sau: Với mẫu truy cập oracle để hai phân bố chưa biết D1D1D_1 , D2D2D_2 trên {1,…,n}{1,…,n}\{1,\dots,n\} , kiểm tra (WHP) liệu D1=D2D1=D2D_1=D_2 d2(D1,D2)=∥D1−D2∥2=∑ni=1(D1(i)−D2(i))2−−−−−−−−−−−−−−−−−−√≥ϵd2⁡(D1,D2)=‖D1−D2‖2=∑i=1n(D1(i)−D2(i))2≥ϵ\operatorname{d_2}(D_1,D_2)=\lVert D_1-D_2\rVert_2 = \sqrt{\sum_{i=1}^n\left(D_1(i)-D_2(i)\right)^2} …

11 ds.algorithms  lower-bounds  st.statistics  property-testing 

Được biết, một số (không tương đối hóa) lớp phức tạp cú pháp giữa PP{\bf P} và PSPACEPSPACE{\bf PSPACE} có tài sản sau đây, P⊆CoNP⊆US⊆C=P⊆PP⊆PSPACEP⊆CoNP⊆US⊆C=P⊆PP⊆PSPACE{\bf P} \subseteq {\bf CoNP} \subseteq {\bf US} \subseteq {\bf C_=P} \subseteq {\bf PP} \subseteq {\bf PSPACE} . Tôi tự hỏi liệu có tồn tại một …

11 cc.complexity-theory  complexity-classes 

Tôi đang cố gắng tìm hiểu mối quan hệ giữa độ phức tạp thuật toán và độ phức tạp mạch của các số xác định và phép nhân ma trận. Người ta biết rằng định thức của ma trận có thể được tính trong thời gian , trong đó là …

11 algebraic-complexity  arithmetic-circuits  matrix-product  determinant 

Hãy để là khoảng cách trung bình của một đồ thị liên thông G .ad(G)ad(G)\rm{ad}(G)G.G.G. Một cách để tính toán là bằng cách tổng hợp lên các yếu tố của D ( G ) , ma trận khoảng cách của G và mở rộng quy mô tổng một cách thích …

11 cc.complexity-theory  graph-theory  graph-algorithms 

Tôi, giống như nhiều người, là một người sử dụng phần mềm toán học sắc sảo như Mathematica và Maple. Tuy nhiên, tôi đã trở nên ngày càng thất vọng bởi nhiều trường hợp phần mềm như vậy chỉ đơn giản là cung cấp cho bạn câu trả lời sai …

11 cc.complexity-theory 

Trợ lý giảng dạy của một khóa học đã quản lý để viết một chương trình (chắc chắn) tạo ra các câu hỏi thi khó. Bây giờ, cô ấy muốn viết một chương trình tạo ra các câu trả lời tương ứng. Các vấn đề của Examiner hỏi liệu điều …

11 cc.complexity-theory  uniformity