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

Có bằng chứng thay thế hoặc giải thích về kết quả của Grigoriev và Karpinki (STOC 1998, doi: 10.1145 / 276698.276872 ) trên các giới hạn dưới theo cấp số nhân của mạch số học Depth 3 tính toán trên một trường hữu hạn cố định trên một trường hữu …

8 circuit-complexity  arithmetic-circuits 

Chúng tôi muốn biết liệu có bất kỳ kết quả xấp xỉ được biết đến cho cardinality hạn chế tối thiểu - t -cut trên đồ thị có hướng. Chúng tôi không thể tìm thấy bất kỳ kết quả như vậy trong văn học.Sssttt Vấn đề được định nghĩa như …

8 ds.algorithms  graph-theory  co.combinatorics  graph-algorithms  approximation-algorithms 

Câu trả lời được chấp nhận Câu trả lời của Scott Aaronson đã được "chấp nhận" (chủ yếu vì đó là câu trả lời duy nhất !) Tóm tắt một câu của câu trả lời Các khái quát tự nhiên hợp lý của câu hỏi P so với NP rõ …

8 cc.complexity-theory  decidability 

Tôi đang đọc On Bulls của Harry Frankfurt , một tiểu luận triết học năm 1986 về khái niệm mờ nhạt này giữa sự thật và sự giả dối. Đây không phải là một bài tập vô cớ. Điều này có thể có các ứng dụng cho khoa học máy …

8 lo.logic  ds.data-structures  circuit-complexity  randomized-algorithms  db.databases 

Trong bài báo "Mã hóa CNF hiệu quả để chọn 1 từ N Đối tượng", các tác giả giới thiệu kỹ thuật "biến chỉ huy" của họ để mã hóa ràng buộc, và sau đó nói về vấn đề chuồng bồ câu. Vì lỗi của tôi có thể tồn tại …

8 cc.complexity-theory  sat  proof-complexity 

Tôi đọc cuốn sách nổi tiếng của Alon và Spencer về phương pháp xác suất trong tổ hợp. Có một khảo sát hoặc ghi chú bài giảng về những tiến bộ và mối quan hệ gần đây với các chủ đề lý thuyết phức tạp sau đây của phương pháp …

8 cc.complexity-theory  reference-request  co.combinatorics  soft-question  survey 

Một đang đóng là một mã số đó là đồng thời một tiền tố và hậu tố mã. Đó là, không có từ mã nào không phải là tiền tố cũng không phải là hậu tố của bất kỳ loại tiền mã hóa nào khác. Mã gắn có thể được …

8 coding-theory  prefix-free-code 

Tôi đang sử dụng một phép tính của ma trận phương sai - hiệp phương sai trong một chương trình tôi đã viết (cho Phân tích thành phần chính), và tôi tự hỏi sự phức tạp của nó là gì. Trong khi rõ ràng sự phân rã Eigenvector đang gây …

8 time-complexity  linear-algebra  matrices 

Tôi đã tìm thấy ứng dụng web này cho phép bạn tạo một định lý miễn phí cho một loại nhất định. Các định lý được tạo định lượng qua các loại và quan hệ trên các loại này. Những định lý (công thức) là những định lý về lý …

8 lo.logic  functional-programming  type-systems  parametricity  logical-relations 

Sửa một tập hợp điểm P ⊂ R d . Bây giờ một điểm truy vấn q đến và mục tiêu được tạo ra một điểm r được lấy mẫu một cách ngẫu nhiên từ ô Voronoi của q trong tập P ∪ { q } .nnnP⊂ RdP⊂RdP \subset \mathbb{R}^dqqqrrrqqqP∪ …

8 cg.comp-geom  randomized-algorithms  voronoi 

Hãy xem xét bất kỳ ngôn ngữ . Xác định (một chuỗi bit vô hạn) bằng công thức đệ quys ( L ) ∈ { 0 , 1 } ωLLLs ( L )∈{0,1}ωs(L)∈{0,1}ωs(L) \in {\lbrace 0, 1 \rbrace}^\omega s(L)n=χL( s(L)&lt;n)s(L)n=χL(s(L)&lt;n)s(L)_n=\chi_L(s(L)_{>0:s(L)_n=\chi_U(s(L)_{>0:s(L, a)_{2n}=\chi_V(s(L, a)_{<2n}) [Tôi đang sử dụng các chỉ số dựa …

8 cc.complexity-theory  ai.artificial-intel  p-vs-np  relativization 

Có một số ứng dụng của phân rã đồ thị mô-đun trong lý thuyết TCS / độ phức tạp? Tôi đặc biệt quan tâm đến việc sử dụng nó trong các bằng chứng hoặc giới hạn trên / dưới nếu nó xảy ra. [1] Phân rã đồ thị mô-đun , …

8 reference-request  graph-theory  graph-algorithms  application-of-theory  cc.complexity-theory 

Trong khi nghiên cứu một vấn đề trong lý thuyết trò chơi thuật toán, tôi đã quan tâm đến sự phức tạp của câu hỏi tối ưu hóa sau: Vấn đề Được: bộ mặt đất được cung cấp bởi ,nBạn= [ n ] = { 1 , Hoài , n …

8 cc.complexity-theory  ds.algorithms  np-hardness  optimization 

Mô tả ngắn gọn sau đây về "Câu đố về Trứng của Google" được biết đến chủ yếu từ trang web Google Trứng : Câu đố về Trứng của Google: Cho n tầng và m trứng, cách tiếp cận để tìm tầng cao nhất từ ​​đó trứng có thể được …

8 ds.algorithms  puzzles  dynamic-programming 

Ngôn ngữ của whilecác chương trình có thể diễn tả các chức năng có thể tính toán được. (Điều này đúng ngay cả khi các phép toán số học duy nhất trên các biến là, giả sử, tăng và giảm.) Nếu whileđược thay thế bằng for, làm cho các vòng …

8 cc.complexity-theory  computability  pl.programming-languages