Câu hỏi được gắn thẻ «cc.complexity-theory»

Tôi đang xem xét các lớp biểu đồ có thể được đặc trưng bởi các đồ thị con bị cấm. Nếu một lớp đồ thị có một tập hợp hữu hạn các đồ thị con bị cấm, thì có một thuật toán nhận dạng thời gian đa thức tầm thường …

22 cc.complexity-theory  graph-theory  np-hardness 

Tôi tự hỏi liệu có bất kỳ lý do nào để tin rằng hoặc tin rằng không?NL=LNL=LNL=LNL≠LNL≠LNL\neq L Được biết, . Các tài liệu về derandomization của là khá thuyết phục rằng . Có ai biết về một số bài viết hoặc ý tưởng thuyết phục rằng không?NL⊂L2NL⊂L2NL \subset L^2RLRLRLRL=LRL=LRL=LNL≠LNL≠LNL\neq …

22 cc.complexity-theory  reference-request  complexity-classes  space-bounded 

Nếu một vấn đề là NP-hard (sử dụng giảm thời gian đa thức), thì điều đó có nghĩa rằng đó là P-hard (sử dụng không gian log hoặc giảm NC)? Có vẻ trực quan rằng nếu nó khó như bất kỳ vấn đề nào trong NP thì nó cũng khó …

22 cc.complexity-theory  np-hardness 

Tôi đang tìm kiếm một tài liệu tham khảo cho kết quả sau: Thêm hai số nguyên trong biểu diễn bao thanh toán cũng khó như bao thanh toán hai số nguyên trong biểu diễn nhị phân thông thường. (Tôi khá chắc chắn rằng nó ở ngoài đó bởi vì …

22 cc.complexity-theory  reference-request  time-complexity  factoring  encoding 

Câu hỏi này là phần tiếp theo của câu hỏi về thuật toán DNA được hỏi bởi Aadita Mehra . Trong các bình luận ở đó, Joe Fitzsimmons nói, một phần: Bán kính của hệ thống phải chia tỷ lệ theo khối lượng để tránh điều này. Sức mạnh tính …

22 cc.complexity-theory  quantum-computing  ne.neural-evol  physics  natural-computing 

Trong độ phức tạp tính toán của quang học tuyến tính ( ECCC TR10-170 ), Scott Aaronson và Alex Arkhipov lập luận rằng nếu máy tính lượng tử có thể được mô phỏng hiệu quả bằng máy tính cổ điển thì hệ thống phân cấp đa thức sụp đổ xuống …

22 cc.complexity-theory  quantum-computing 

Để kiểm tra sự hiểu biết của tôi, tôi muốn chia sẻ một vài suy nghĩ về yêu cầu năng lượng của tính toán. Đây là phần tiếp theo câu hỏi trước đây của tôi và có thể liên quan đến câu hỏi của Vinay về luật bảo tồn . …

22 cc.complexity-theory  big-picture  physics 

Những gì được biết về độ phức tạp thời gian của vấn đề sau đây, mà chúng ta gọi là 3-MUL? Cho một tập SSS của nnn số nguyên, ở đó các yếu tố a,b,c∈Sa,b,c∈Sa,b,c\in S mà ab=cab=cab=c ? Bài toán này tương tự như bài toán 3-SUM, hỏi xem …

22 cc.complexity-theory  ds.algorithms  time-complexity 

Định lý phân cấp thời gian không phá hủy ban đầu là do Cook (liên kết là S. Cook, Một hệ thống phân cấp cho độ phức tạp thời gian không xác định , JCSS 7 343 Nott353, 1973). Các trạng thái lý rằng đối với bất kỳ số thực …

22 cc.complexity-theory  nondeterminism  time-hierarchy 

Scott Aaronson đã đề xuất một cuộc trò chuyện thú vị : chúng ta có thể sử dụng siêu máy tính ngày nay để giúp giải quyết các vấn đề CS giống như cách các nhà vật lý sử dụng máy va chạm hạt lớn không? Cụ thể hơn, đề …

22 cc.complexity-theory 

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 

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 

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