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

Thuật toán thử nghiệm phân phối cho thuộc tính phân phối P (chỉ là một tập hợp con của tất cả các phân phối trên [n]) được phép truy cập vào các mẫu theo một số phân phối D và được yêu cầu quyết định (whp) nếu hoặc ( ở …

13 cc.complexity-theory  machine-learning  query-complexity  property-testing 

Công thức xác định nhỏ nhất cho định thức có kích thước theo văn hóa dân gian (hoặc theo Ran Raz trong công thức Đa tuyến tính cho Giấy vĩnh viễn và Xác định là Kích thước siêu đa thức ).nO (nhật kýn )nO(log⁡n)n^{\mathcal O(\log n)} Bạn có bất kỳ …

13 cc.complexity-theory  reference-request  algebraic-complexity  determinant 

Có một số kết quả giới hạn kích thước mạch nổi tiếng dựa trên các hạn chế ngẫu nhiên và Bổ đề chuyển đổi .A C0AC0\mathsf{AC^0} Chúng ta có thể phát triển kết quả Bổ đề chuyển đổi để chứng minh kích thước giới hạn dưới cho các mạch T …

13 cc.complexity-theory  circuit-complexity  lower-bounds  boolean-functions 

Loại bỏ Gaussian làm cho yếu tố quyết định tính toán thời gian đa thức ma trận. Việc giảm độ phức tạp trong tính toán định thức, hay nói cách khác là tổng các số mũ, là do sự hiện diện của các dấu hiệu tiêu cực thay thế (thiếu …

13 cc.complexity-theory  time-complexity  algebraic-complexity  gr.group-theory  determinant 

Bất cứ ai cũng có thể liệt kê một số vấn đề nổi tiếng thỏa mãn các điều kiện sau: 1. has a generalization problem that is known to be NP-complete 2. has not been proved to be NP-complete nor has a known polynomial time solution.

13 cc.complexity-theory  np-hardness 

Có bằng chứng nào cho thấy việc mô phỏng máy Turing trên máy Turing không biết gì không thể được thực hiện trong ít hơn trong đó là số bước mà máy Turing sử dụng ? Hay đây chỉ là một giới hạn trên?O ( m logm )Ôi(mđăng nhập⁡m)\mathcal{O}\left(m\log m\right)mmm …

13 cc.complexity-theory  turing-machines 

Tôi muốn biết về lịch sử của hai thuật ngữ này: " hiệu quả ", " khả thi ". Ai đã sử dụng chúng về tính toán / thuật toán lần đầu tiên? (theo nghĩa hiện đại của các thuật ngữ này, tức là thế kỷ 20). Làm thế nào …

13 cc.complexity-theory  ds.algorithms  ho.history-overview 

Định lý giả định song song của Raz là một kết quả quan trọng trong PCP, không gần đúng, v.v ... Định lý này được định hình như sau. Một trò chơi , trong đó S , T , A , B là các tập hữu hạn, π là phân …

13 cc.complexity-theory  complexity-classes  pcp  interactive-proofs 

Tôi có một câu hỏi liên quan đến khả năng giảm SERF của Impagliazzo , Paturi và Zane và các thuật toán phụ. Định nghĩa về khả năng giảm SERF đưa ra những điều sau đây: Nếu là Nông nô khử để và có O ( 2 ε n ) …

13 cc.complexity-theory  reference-request 

Trong định nghĩa về khả năng biến đổi tham số cố định (mạnh), giới hạn thời gian là một biểu thức có dạng trong đó thể hiện đầu vào là với tham số , là đa thức và là hàm tính toán .f( k ) . p ( | x …

13 cc.complexity-theory  reference-request  fixed-parameter-tractable 

Đặt một ma trận thực n × vuông A và hai vectơ x và b có độ dài n , sao cho A x = b . Việc giải cho x thông qua loại bỏ Gaussian tiêu chuẩn mang lại độ phức tạp tổng hợp gần như O ( n …

13 cc.complexity-theory  linear-algebra  matrices 

Tôi đã thực hiện một số tìm kiếm về điều này nhưng tôi cũng không thể tìm thấy câu trả lời. Huck trả lời đầy đủ. Cảm ơn :)

13 cc.complexity-theory  complexity-classes  time-complexity  space-complexity 

Parity-L, còn được gọi là L, là tập hợp các ngôn ngữ được công nhận bởi một máy Turing không xác định, chỉ có thể phân biệt giữa một số chẵn hoặc số lẻ của các đường dẫn "chấp nhận". Một câu hỏi liên quan gần đây đã được Niel …

13 cc.complexity-theory  counting-complexity 

Câu hỏi này được thúc đẩy bởi một câu hỏi MathOverflow của Peng Zhang . Valiant đã chỉ ra rằng việc đếm các nhóm tối đa trong một biểu đồ chung là # P-đầy đủ, nhưng điều gì sẽ xảy ra nếu chúng ta hạn chế các biểu đồ không …

13 cc.complexity-theory  counting-complexity  partial-order  clique 

Mỗi lần tôi dạy NP-Complete, sinh viên hỏi "có vấn đề nào được biết là không thuộc về NP không?" Làm thế nào bạn sẽ trả lời? Tôi thường đưa ra cho họ một vấn đề không thể giải quyết được như một ví dụ, nhưng điều này thường không …

13 cc.complexity-theory  complexity-classes  teaching