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

Tôi đang tìm kiếm thông tin về độ phức tạp tính toán của phép nhân ma trận của ma trận hình chữ nhật. Wikipedia nói rằng độ phức tạp của phép nhân với B ∈ R n × p là (phép nhân sách giáo khoa).Một ∈ Rm × nMột∈Rm×nA \in …

14 cc.complexity-theory  time-complexity  linear-algebra  matrix-product 

Độ phức tạp truy vấn được biết đến nhiều nhất của thuật toán học Goldreich-Levin là gì? Bài giảng từ blog của Luca Trevisan , Bổ đề 3, nêu nó là . Đây có phải là nổi tiếng nhất về sự phụ thuộc vào n ? Tôi sẽ đặc biệt …

14 cc.complexity-theory  reference-request  lg.learning  fourier-analysis 

Độ phức tạp tính toán của việc tối ưu hóa các chức năng khác nhau so với nhóm đơn nhất gì?Bạn( n )Bạn(n)\mathcal{U}(n) Một nhiệm vụ điển hình, phát sinh thường xuyên trong lý thuyết thông tin lượng tử, sẽ là tối đa hóa một số lượng loại (hoặc đa …

14 cc.complexity-theory  reference-request  optimization  quantum-information 

Trả lời: không biết. Các câu hỏi được hỏi là tự nhiên, cởi mở và có vẻ khó khăn; câu hỏi bây giờ là một wiki cộng đồng. Tổng quat Câu hỏi tìm cách phân chia các ngôn ngữ thuộc lớp phức tạp - cùng với các máy Turing quyết …

14 cc.complexity-theory  polynomial-time  undecidability  independence 

Tôi quan tâm đến lịch sử ban đầu của các kết quả được công bố về sự đánh đổi không gian thời gian cho mục đích chung. Cụ thể, tôi muốn biết ai là người đầu tiên mô tả loại thuật toán sau để đánh giá một tính toán có …

14 cc.complexity-theory  ho.history-overview  space-time-tradeoff 

Vấn đề băng thông đồ thị được định nghĩa như sau. Cho đồ thị , bố cục của là ánh xạ một-một của các đỉnh của lên các số nguyên . Các băng thông của được định nghĩa làG = ( V, E)G=(V,E)G=(V,E) fffGGGGGG{ 1 , Khoan , | V| …

14 cc.complexity-theory 

Trong bài báo của Ben-Dor / Halevi [1], người ta đưa ra một bằng chứng khác cho thấy vĩnh viễn là -complete. Trong phần sau của bài báo, họ cho thấy chuỗi giảm IntPerm α NoNegPerm α 2PowersPerm α 0/1-Perm trong khi giá trị vĩnh viễn được bảo tồn dọc …

14 cc.complexity-theory  counting-complexity  permanent 

Câu hỏi. Trong bài báo của họ Cải tiến mô phỏng các mạch ổn định , Aaronson và Gottesman tuyên bố rằng mô phỏng mạch CNOT là ⊕L -complete (dưới mức giảm logspace). Rõ ràng là nó được chứa trong ⊕L ; làm thế nào để giữ kết quả độ …

14 cc.complexity-theory  counting-complexity  linear-algebra  logspace 

Câu hỏi này liên quan đến một trong những câu hỏi trước đây của tôi, vấn đề NP-hard trên cây . Tôi đang tìm kiếm các vấn đề P-đầy đủ trên cây.

14 cc.complexity-theory  graph-theory  tree  p-hardness 

Tôi biết rằng PNP[logn]PNP[log⁡n]\mathsf{P}^{\mathsf{NP}[\log n]} (logarit nhiều cuộc gọi đến nhà tiên tri NP) tương đương với PNP||PNP||\mathsf{P}^{\mathsf{NP}||}(số đa thức của các truy vấn song song với nhà tiên tri NP). Tôi đã tự hỏi thời tiết "chức năng" của các lớp này cũng tương đương, đó là, liệu FPNP[logn]=FPNP||FPNP[log⁡n]=FPNP|| …

14 cc.complexity-theory  complexity-classes 

Cách phổ biến nhất trong đó các nhà tiên tri xảy ra trong lý thuyết phức tạp như sau: Một nhà tiên tri cố định được tạo sẵn để nói, một máy Turing với một số tài nguyên hạn chế nhất định, và nghiên cứu làm thế nào nhà tiên …

14 cc.complexity-theory  oracles 

Có một số vấn đề trong lý thuyết biểu diễn tổ hợp và hình học đại số mà không có công thức tích cực nào được biết đến. Có một vài ví dụ tôi đang nghĩ đến, nhưng hãy để tôi lấy hệ số Kronecker làm ví dụ. Thông thường, …

14 cc.complexity-theory  counting-complexity  lower-bounds 

Beigi, Shor và Watrous có một bài viết rất hay về sức mạnh của bằng chứng tương tác lượng tử với các thông điệp ngắn. Họ xem xét ba biến thể của 'tin nhắn ngắn' và biến thể cụ thể mà tôi quan tâm là biến thể thứ hai của …

14 cc.complexity-theory  quantum-computing  interactive-proofs 

Từ lâu, người ta đã biết rằng, với bất kỳ mức độ Turing nào, có một nhóm được trình bày chính xác có vấn đề về từ ở mức độ đó. Câu hỏi của tôi là liệu điều tương tự có đúng với thời gian đa thức tùy ý độ …

14 cc.complexity-theory  computability  gr.group-theory 

Hai phần của TCS là thuật toán và độ phức tạp. Tôi sẽ nói một cách đơn giản rằng các thuật toán là nghiên cứu về giới hạn trên, cho thấy rằng bạn có thể làm một cái gì đó (với các tài nguyên bị hạn chế) và sự phức …

14 cc.complexity-theory  sorting