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

Có một số bằng chứng cho loglinear bị ràng buộc thấp hơn cho vấn đề duy nhất / tính khác biệt của phần tử (dựa trên cây tính toán đại số hoặc đối số nghịch cảnh), nhưng tôi đang tìm kiếm một điều đủ đơn giản để sử dụng trong …

13 cc.complexity-theory  lower-bounds  proofs 

Công thức Monotone-2CNF là một công thức CNF trong đó mỗi mệnh đề được cấu tạo bởi chính xác 2 nghĩa đen. Bây giờ, tôi có một giọng đều đều-2CNF công thức . Đặt là tập hợp các bài tập thỏa mãn củaTôi cũng có một orory có thể cung …

13 cc.complexity-theory  ds.algorithms  sat  counting-complexity 

Giả sử chúng ta có một bộ đồ thị S (đồ thị hữu hạn, nhưng số lượng vô hạn của chúng) và một nhóm P hoán vị tác dụng lên S. Sơ thẩm: Một hoán vị p trong P. Câu hỏi: Có tồn tại một đồ thị g trong S …

13 cc.complexity-theory  graph-theory  np-hardness  automorphism 

Trong một bài báo có tiêu đề "Về khả năng từ chối trong chuỗi tham chiếu chung và mô hình Oracle ngẫu nhiên", Rafael Pass viết: Chúng tôi lưu ý rằng khi chứng minh bảo mật theo định nghĩa không kiến ​​thức chuẩn trong mô hình RO [Random Oracle], trình …

13 cc.complexity-theory  cr.crypto-security  oracles  black-box 

Sau cuộc thảo luận về giới hạn dưới cho 3SAT [ 1 ], tôi tự hỏi đâu là kết quả ràng buộc chính thấp hơn được coi là sự đánh đổi trong không gian. Tôi đang loại trừ các kết quả, chẳng hạn như định lý của Savitch; một mục …

13 cc.complexity-theory  ds.algorithms  big-list  space-time-tradeoff 

Nói một cách đơn giản: sự tương ứng giữa các máy Turing với các nhà tiên tri và các họ mạch thống nhất với các nhà tiên tri là gì? Làm thế nào cái sau được định nghĩa để có được mô hình tính toán tương tự, cho một máy …

13 cc.complexity-theory  turing-machines  oracles  circuit-families 

Được biết đến nhờ Immerman và Szelepcsényi rằng nếu (ngay cả đối với các hàm có thể xây dựng ngoài không gian).f = Ω ( log )N S P A C E (f) = c o N S P A C E ( f)NSPACE(f)= =coNSPMộtCE(f){\rm NSPACE}(f)={\rm coNSPACE}(f)f= Ω ( nhật …

13 cc.complexity-theory  reference-request  space-bounded  alternating-hierarchy 

Lớp phức tạp PPAD được phát minh bởi Christos Papadimitriou trong bài báo năm 1994 của ông . Lớp này được thiết kế để nắm bắt sự phức tạp của các vấn đề tìm kiếm trong đó sự tồn tại của một giải pháp được đảm bảo bởi "Đối số …

13 cc.complexity-theory  reductions  search-problem  ppad 

Thành thật mà nói, tôi không biết nhiều về cách tạo số ngẫu nhiên (bình luận được chào đón!) Nhưng hãy giả sử mô hình lý thuyết sau: Chúng ta có thể lấy số nguyên ngẫu nhiên từ [ 1 , 2 n ][1,2n][1,2^n] và mục tiêu của chúng tôi …

13 cc.complexity-theory  np-hardness  randomized-algorithms 

Theo tôi hiểu, một bằng chứng cho thấy P = NP hoặc P ≠ NP sẽ cần phải không tương đối (như trong các lý thuyết đệ quy đệ quy). Hầu như tất cả các bằng chứng dường như là tương đối, mặc dù. Các ví dụ tốt về các …

13 cc.complexity-theory  lo.logic  computability  p-vs-np  relativization 

Lớp PPAD phức tạp thường được xác định bằng cách nói rằng End-Of-The-Line là PPAD-perfect. End-Of-The-Line là một vấn đề tìm kiếm. Đầu vào bao gồm một đồ thị có hướng trong đó mỗi nút có nhiều mức độ và mức độ tối đa 1. Đồ thị được đưa ra …

13 cc.complexity-theory  complexity-classes  ppad 

Có nhà nghiên cứu chỉ ra rằng việc xóa bit phải tiêu thụ năng lượng, bây giờ có nghiên cứu nào được thực hiện về mức tiêu thụ năng lượng trung bình của thuật toán với độ phức tạp tính toán không? Tôi đoán, độ phức tạp tính toán tương …

12 cc.complexity-theory  reference-request  it.information-theory  quantum-information  statistical-physics 

Trong bản in gần đây https://arxiv.org/abs/1801.00776 , người ta cho rằng số thực có thể được sắp xếp theo thời gian và không gian tuyến tính. Bài báo có vẻ hợp lý, mặc dù tôi không phải là một chuyên gia về sắp xếp các thuật toán.nnnO ( n logn----√) …

12 cc.complexity-theory  ds.algorithms  sorting 

Hãy tưởng tượng chúng ta có hai tập hợp kích thước mmm của các điểm X,Y⊂RnX,Y⊂RnX,Y\subset \mathbb{R}^n . Độ phức tạp của thời gian kiểm tra là gì nếu chúng chỉ khác nhau bởi phép quay? : tồn tại ma trận xoay OOT=OTO=IOOT=OTO=IOO^T=O^TO=I sao cho X=OYX=OYX=OY ? Có một vấn …

12 cc.complexity-theory  complexity-classes  graph-isomorphism  computational-geometry  high-dimensional-geometry 

Định lý phân cấp thời gian nói rằng máy turing có thể giải quyết nhiều vấn đề hơn nếu chúng có (đủ) nhiều thời gian hơn. Liệu nó có giữ theo một cách nào đó nếu không gian bị giới hạn không có triệu chứng? Làm thế nào để liên …

12 cc.complexity-theory  complexity-classes  turing-machines  space-bounded  time-hierarchy