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

Hãy xem xét mô hình sau: một chuỗi n-bit r = r 1 ... r n được chọn thống nhất một cách ngẫu nhiên. Tiếp theo, mỗi chỉ số i∈ {1, ..., n} được đặt vào tập A với xác suất độc lập 1/2. Cuối cùng, một đối thủ được …

19 cc.complexity-theory  randomized-algorithms  derandomization  extractors 

Có một ví dụ về một lớp biểu đồ cho vấn đề tô màu đỉnh trong P nhưng tập độc lập là vấn đề là NP hoàn thành?

19 cc.complexity-theory  graph-theory  complexity-classes 

Tôi quan tâm đến sự phức tạp của việc giải phương trình tuyến tính modulo k , đối với k tùy ý (và đặc biệt quan tâm đến các lũy thừa), cụ thể: Vấn đề. Đối với một hệ phương trình đã cho của mmm phương trình tuyến tính trong …

19 cc.complexity-theory  dc.parallel-comp  linear-algebra  nt.number-theory 

Có tài liệu tham khảo nào cung cấp chi tiết về giới hạn mạch cho các vấn đề khó cụ thể phát sinh trong mật mã như bao thanh toán số nguyên, bài toán logarit rời rạc / tổng hợp và biến thể của nó qua nhóm các điểm của …

19 cc.complexity-theory  complexity-classes  cr.crypto-security  circuit-complexity 

Tôi hiện đang quan tâm đến việc có được (hoặc xây dựng) và nghiên cứu các công thức 3-CNF không thỏa mãn và có kích thước tối thiểu. Nghĩa là, chúng phải bao gồm càng ít mệnh đề (tốt nhất là m = 8) càng tốt và càng ít biến …

19 cc.complexity-theory  sat 

Dự đoán thị trường chứng khoán là khó! TCS có thể làm cho tình cảm này chính thức hơn? Gần đây tôi đã bắt đầu suy nghĩ một chút về tài chính, và đang tự hỏi làm thế nào kiến ​​thức về TCS có thể giúp đỡ. Các quỹ phòng …

19 cc.complexity-theory  reference-request  survey  ce.computational-finance  algorithmic-lens 

Dường như được biết rằng để tìm câu trả lời cho truy vấn qua cơ sở dữ liệu quan hệ D , người ta cần có thời gian | D | | Q | và người ta không thể thoát khỏi số mũ | Q | .QQQDDD|D||Q||D||Q||D|^{|Q|}|Q||Q||Q| Vì có thể …

19 cc.complexity-theory  time-complexity  descriptive-complexity  db.databases 

Đặt là thời gian chạy tệ nhất của sự cố đối với đầu vào có kích thước . Hãy để chúng tôi làm cho vấn đề trở nên hơi kỳ lạ bằng cách sửa cho nhưng cho .f(n)f(n)f(n)nnnf(n)=n2f(n)=n2f(n) = n^2n=2kn=2kn=2kf(n)=nf(n)=nf(n) = nn=2k+1n=2k+1n=2k+1 Vì vậy, giới hạn dưới của vấn đề …

19 cc.complexity-theory  time-complexity 

EDIT lúc 2011/02/08: Sau khi một số tài liệu tham khảo tìm và đọc, tôi quyết định tách câu hỏi ban đầu thành hai câu hỏi riêng biệt. Đây là phần liên quan đến UP so với NP, đối với phần cú pháp và ngữ nghĩa, vui lòng xem Lợi …

19 cc.complexity-theory  complexity-classes  conditional-results  unique-solution 

Parity và giống như cặp song sinh không thể tách rời. Hoặc có vẻ như vậy trong 30 năm qua. Theo kết quả của Ryan, sẽ có sự quan tâm mới trong các lớp học nhỏ.AC0AC0AC^0 Furst Saxe Sipser đến Yao đến Hastad đều là những hạn chế ngẫu nhiên …

19 cc.complexity-theory  complexity-classes  lower-bounds  circuit-complexity 

Làm thế nào bạn sẽ thiết kế một hình ảnh để minh họa phỏng đoán trò chơi độc đáo? Đây là phần trình bày "Sự kiện hiện tại" về các trò chơi độc đáo tại Cuộc họp chung AMS tiếp theo và cho tập sách sẽ được sản xuất. Ví …

19 cc.complexity-theory  unique-games-conjecture 

Định lý yêu thích của tôi trong lý thuyết phức tạp là định lý phân cấp thời gian. Tuy nhiên, điều này đã được thực hiện vào năm 1965. Tôi muốn biết sau đó nếu có bất cứ điều gì tương tự cho Máy tính lượng tử. Ngoài ra, nếu …

19 cc.complexity-theory  quantum-computing 

Có dự án nào đang diễn ra để chính thức xác minh các định lý và bằng chứng về lý thuyết phức tạp bằng cách sử dụng một trợ lý chứng minh như Coq không? Có bất kỳ ranh giới để làm điều này?

18 cc.complexity-theory  complexity  proof-assistants 

Có NP hoàn thành bất kỳ vấn đề với không có tập con vô hạn của trường như rằng các thành viên trong Φ thể được quyết định trong thời gian đa thức, và cho tất cả x ∈ Φ , x có thể được giải quyết trong thời gian …

18 cc.complexity-theory  np-complete  heuristics 

Trong mô tả vấn đề chính thức của Clay cho P so với NP, có tuyên bố rằng sẽ tuân theo việc cho thấy rằng "mọi ngôn ngữ trong E [lớp ngôn ngữ có thể nhận biết theo thời gian theo cấp số nhân với máy Turing xác định] có …

18 cc.complexity-theory  circuit-complexity