Câu hỏi được gắn thẻ «reference-request»

Tôi đang tìm kiếm các ngôn ngữ "có thể không có ngữ cảnh" nhưng chúng tôi không thể (không) chứng minh nó bằng các kỹ thuật tiêu chuẩn đã biết. Có một cuộc khảo sát gần đây về chủ đề hoặc một phần vấn đề mở từ một hội nghị …

21 reference-request  big-list  context-free 

Tôi đã gặp kết quả sau đây trong quá trình nghiên cứu của tôi. limn→∞E[#{|ai−aj|,1≤i,j≤m}n]=1limn→∞E[#{|ai−aj|,1≤i,j≤m}n]=1\lim\limits_{n\to \infty} \mathbb{E}\left[ \frac{\#\{|a_i-a_j|,1\le i,j\le m \}}{n} \right] = 1 trong đó m=ω(n−−√)m=ω(n)m=\omega(\sqrt n) và a1,⋯,ama1,⋯,ama_1,\cdots,a_m được chọn ngẫu nhiên từ [n][n][n] . Tôi đang tìm kiếm một tài liệu tham khảo / một bằng chứng …

21 reference-request  co.combinatorics  pr.probability 

Khi tôi dạy giới hạn đuôi, tôi sử dụng tiến trình thông thường: Nếu rv của bạn dương, bạn có thể áp dụng bất đẳng thức của Markov Nếu bạn có sự độc lập và cũng có sự khác biệt bị ràng buộc, bạn có thể áp dụng bất đẳng …

21 reference-request  pr.probability  randomized-algorithms 

Bối cảnh: Đặt là hai đỉnh của đồ thị vô hướng . Một tập đỉnh được là một -separator nếu và thuộc các thành phần được kết nối khác nhau của . Nếu không có tập con đúng của một -separator là một -separator thì là một -separator tối thiểu …

21 reference-request  graph-theory  graph-algorithms 

Có rất nhiều nơi những con số ππ\pi và hiện lên. Tôi tò mò muốn biết về các thuật toán có thời gian chạy chứa tỷ lệ vàng hoặctheo số mũ.(1+5–√)/2(1+5)/2(1+\sqrt5)/2ππ\pi

21 reference-request  big-list 

Hãy xem xét các lý do sau đây: Gọi biểu thị độ phức tạp Kolmogorov của chuỗi x . Định lý bất toàn Chaitin nói rằngK(x)K(x)K(x)xxx cho bất kỳ hệ thống chính thức phù hợp và đủ mạnh mẽ , có tồn tại một hằng số T (chỉ phụ thuộc …

21 cc.complexity-theory  reference-request  lo.logic  circuit-complexity  kolmogorov-complexity 

Gần đây, tôi đã giải quyết vấn đề tính toán tổng gần đúng của một danh sách các số không âm được sắp xếp. Đối với bất kỳ cố định , một O ( log n ) chương trình xấp xỉ thời gian đã được bắt nguồn như vậy mà …

21 ds.algorithms  reference-request 

Tôi đã thấy (và nghe nói) tuyên bố rằng việc thêm tiên đề cổ điển của loại trừ trung gian vào Coq là an toàn, nhưng dường như tôi không thể tìm thấy một bài báo ủng hộ yêu cầu này. Các bài báo tôi thấy được liệt kê trên …

21 reference-request  lo.logic  coq 

O ( log c n ) O ( n k ) c k n c 2 n k kN CNC\mathsf{NC} nắm bắt ý tưởng về khả năng song song hiệu quả và một cách giải thích về nó là các vấn đề có thể giải quyết được trong thời gian …

21 cc.complexity-theory  reference-request  complexity-classes  circuit-complexity  dc.parallel-comp 

(Đây là phần tiếp theo của câu hỏi này và câu trả lời của nó .) Tôi có chương trình tuyến tính số nguyên (TU) hoàn toàn đơn phương (TU) sau đây. Dưới đây là tất cả các số nguyên dương được cho là một phần của đầu vào. Một …

21 ds.algorithms  reference-request  linear-programming  integer-programming  polynomial-time 

Có một khảo sát tốt so sánh các máy chiết, bộ tập trung và siêu tập trung khác nhau và đưa ra các phương pháp tốt nhất về sự đánh đổi giữa tính ngẫu nhiên, thời gian và không gian?

21 reference-request  randomness  derandomization 

Wikipedia cung cấp các ví dụ về các vấn đề trong đó phiên bản đếm khó, trong khi phiên bản quyết định thì dễ. Một số trong số này đang đếm các kết hợp hoàn hảo, đếm số lượng giải pháp cho -SAT và số cách sắp xếp tôpô.222 Có …

20 reference-request  counting-complexity  nt.number-theory  permanent  decision-trees 

Tôi có hai câu hỏi lịch sử: Ai là người đầu tiên mô tả tính toán không điều kiện? Tôi biết rằng Cook đã mô tả các vấn đề hoàn chỉnh NP và Edmonds đề xuất rằng thuật toán P là thuật toán "hiệu quả" hoặc "tốt". Tôi đã tìm …

20 reference-request  soft-question  ho.history-overview  nondeterminism 

Câu hỏi này đã được di chuyển từ Trao đổi ngăn xếp khoa học máy tính bởi vì nó có thể được trả lời trên trao đổi ngăn xếp khoa học máy tính lý thuyết. Di cư 6 năm trước . (Câu hỏi này là một chút của "khảo sát".) …

20 cc.complexity-theory  reference-request  np-hardness 

Trong khi định lý của cho thấy, , tôi không biết về bất kỳ tài liệu nào điều tra về sự bao gồm có thể của . Những hậu quả phức tạp về mặt lý thuyết sẽ bao gồm như vậy?B Q P ⊆ P / nhiềuB P P ⊆ …

20 reference-request  quantum-computing  derandomization  conditional-results