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

Phrasing chính xác của tiêu đề là do Anand Kulkarni (người đề xuất trang web này được tạo ra). Câu hỏi này đã được hỏi như một câu hỏi ví dụ, nhưng tôi cực kỳ tò mò. Tôi biết rất ít về hình học đại số, và trên thực tế …

22 cc.complexity-theory  np-hardness  lower-bounds  gct  barriers 

Đây là dọc theo dòng " Thuật toán từ sách ". Mặc dù giảm cũng là thuật toán, tôi nghĩ người ta nghi ngờ rằng người ta sẽ nghĩ đến việc giảm phản ứng với câu hỏi về thuật toán từ cuốn sách. Do đó một truy vấn riêng! Giảm …

22 ds.algorithms  np-hardness  big-list  reductions 

x∈Rnx∈Rnx \in \mathbb{R}^nA x∥x∥0&lt;k‖x‖0&lt;k\|x\|_0 < kAxAxAxAAARRRnnnR≪nR≪nR \ll nAAAkkk-spely xxx với RRR nhỏ như O(kno(1))O(kno(1))O(k n^{o(1)}) . Tôi có thể không có các tham số được biết đến nhiều nhất nhưng đây là ý tưởng chung. Câu hỏi của tôi là: có hiện tượng tương tự trong các cài đặt khác …

22 ds.algorithms  ds.data-structures  compressed-sensing 

Có ai biết về một chương trình nguồn mở để tính toán phân rã cây đồ thị cho một "k" (chiều rộng) cố định không? Tôi biết rằng vấn đề tìm phân tách cây là NP-Hard cho biến "k", nhưng các trường hợp đầu vào của tôi sẽ rất nhỏ …

22 ds.algorithms  graph-theory  graph-algorithms  software  treewidth 

mọi người đều biết có tồn tại nhiều vấn đề quyết định là NP-hard trên các biểu đồ chung, nhưng tôi quan tâm đến các vấn đề thậm chí là NP-hard khi biểu đồ cơ bản là một đường dẫn. Vì vậy, bạn có thể giúp tôi thu thập các …

22 graph-theory  np-hardness 

Tôi đã đọc " Có phải P Versus NP chính thức độc lập không? " Nhưng tôi đã bối rối. Người ta tin tưởng rộng rãi vào lý thuyết phức tạp rằng . Câu hỏi của tôi là về điều gì nếu điều này không thể chứng minh được (nói …

22 cc.complexity-theory  np-hardness  big-picture  proofs  p-vs-np 

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 đang viết bài trong khoa học máy tính lý thuyết đôi khi là một tác giả duy nhất không đồng nghĩa. Trước đó, tôi đã sử dụng số nhiều số 1 trong các giấy tờ như vậy, ví dụ: Chúng ta sẽ chỉ ra rằng các lớp phức tạp …

21 soft-question  paper-review  writing 

Gần đây, tôi đã trải qua trải nghiệm thú vị đau đớn khi giải thích một cách không chính thức khái niệm về độ phức tạp tính toán cho một lập trình viên tự học trẻ tài năng, người chưa bao giờ tham gia một khóa học chính thức về …

21 cc.complexity-theory  ds.algorithms  np-hardness 

Người ta biết rằng vấn đề sau đây là PSPACE-Complete: Với biểu thức chính quy , không L ( β ) = Σ * ?ββ\betaL ( β) = Σ*L(β)=Σ∗L(\beta) = \Sigma^* Điều gì về việc xác định tương đương với các biểu thức chính quy (cố định) khác ?αα\alpha Với …

21 cc.complexity-theory  automata-theory  regular-expressions  pspace 

Có bất kỳ vấn đề tự nhiên nào trong P mà giới hạn thời gian chạy được biết đến nhiều nhất có dạng , trong đó α là hằng số không hợp lý không?Ô ( nα)O(nα)O(n^\alpha)αα\alpha

21 cc.complexity-theory  time-complexity  polynomial-time 

Vấn đề sau đây gần đây đã xuất hiện trong nghiên cứu của tôi. Không phải là chuyên gia về các câu hỏi thuật toán, tôi đã tìm hiểu rất nhiều về các vấn đề phù hợp để giảm bớt. Tôi không thấy 3SAT sẽ hoạt động như thế nào …

21 cc.complexity-theory 

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 

f(n)f(n)f(n) limn→∞nc/f(n)=0limn→∞nc/f(n)=0\lim_{n\rightarrow\infty} n^c/f(n)=0c&gt;0c&gt;0c>0 Rõ ràng rằng với bất kỳ ngôn ngữ nào nó giữ cho mọi thời gian siêu chính thức bị ràng buộc . Tôi tự hỏi, thời điểm ngược lại của tuyên bố này cũng đúng? Đó là, nếu chúng ta biết cho mọi thời gian siêu đa …

21 cc.complexity-theory  ds.algorithms  complexity-classes 

Đối với các thuật toán ngẫu nhiên AA\mathcal{A} lấy các giá trị thực, "mẹo trung vị" là một cách đơn giản để giảm xác suất thất bại xuống bất kỳ ngưỡng nào δ&gt;0δ&gt;0\delta > 0 , với chi phí chỉ là một phép nhân t=O(log1δ)t=O(log⁡1δ)t=O(\log\frac{1}{\delta})trên đầu. Cụ thể, nếu đầu …

21 ds.algorithms  randomized-algorithms