Khoa học máy tính lý thuyết

Tôi muốn hiểu Applicativevề lý thuyết thể loại. Các tài liệu cho Applicativebiết rằng đó là một functor đơn hình lỏng lẻo mạnh mẽ . Đầu tiên, trang Wikipedia về functor đơn hình nói rằng một functor đơn hình là lỏng lẻo hoặc mạnh mẽ . Vì vậy, dường như …

40 lo.logic  type-theory  functional-programming  ct.category-theory 

Đặt là một nhiệm vụ thuật toán. (Nó có thể là một vấn đề quyết định hoặc một vấn đề tối ưu hóa hoặc bất kỳ nhiệm vụ nào khác.) Chúng ta hãy gọi "về phía đa thức" nếu giả sử rằng là NP-hard được biết là ngụ ý rằng …

40 cc.complexity-theory 

Tôi sẽ xem qua các ghi chú khóa học tại CIS 500: Nền tảng phần mềm và các bài tập rất thú vị. Tôi chỉ ở bài tập thứ ba nhưng tôi muốn biết thêm về những gì đang xảy ra khi tôi sử dụng chiến thuật để chứng minh …

40 lo.logic  type-theory  proof-assistants  proof-theory  coq 

TUYÊN BỐ TỪ CHỐI: Đây là một câu hỏi kết thúc mở và những người theo chủ nghĩa stackexchange có lẽ sẽ cảm thấy một sự thôi thúc phi thường để bỏ phiếu xuống lãng quên. Tuy nhiên, tôi không thể nghĩ ra bất kỳ diễn đàn nào khác phù …

40 soft-question  advice-request 

Can mỗi chức năng đó là tính toán trong thời gian t trên một đơn băng máy Turing sử dụng một bảng chữ cái kích thước k = O ( 1 ) được tính trong thời gian O ( t ) trên một single-băng máy Turing sử dụng một bảng …

40 computability  turing-machines 

Đây là một câu hỏi về độ phức tạp của mạch. (Định nghĩa ở phía dưới.) Yao và Beigel-Tarui đã chỉ ra rằng mỗi họ mạch có kích thước có một họ mạch tương đương có kích thước ở độ sâu hai , trong đó cổng đầu ra là hàm …

40 cc.complexity-theory  circuit-complexity  upper-bounds 

Câu hỏi của tôi rất đơn giản: Các trường hợp xấu nhất thời gian chạy của thuật toán nổi tiếng nhất để tính toán một là gì eigendecomposition của một ma trận?n×nn×nn \times n Liệu eigendecysis giảm xuống nhân ma trận hay là thuật toán được biết đến nhiều nhất …

40 ds.algorithms  time-complexity  matrices  linear-algebra  na.numerical-analysis 

Lý lịch Việc tính toán trên các số thực phức tạp hơn so với tính toán trên các số tự nhiên, vì các số thực là các đối tượng vô hạn và có rất nhiều số thực, do đó các số thực không thể được biểu diễn một cách trung …

40 cc.complexity-theory  cg.comp-geom  computing-over-reals  computable-analysis 

Vào những năm 1980, Razborov nổi tiếng đã chỉ ra rằng có các hàm Boolean đơn điệu rõ ràng (như hàm CLIQUE) yêu cầu nhiều cổng AND và OR theo cấp số nhân để tính toán. Tuy nhiên, cơ sở {AND, OR} trên miền Boolean {0,1} chỉ là một ví …

40 lower-bounds  circuit-complexity  circuit-families 

Trong bài viết kinh điển năm 1979 của Andrew Chi-Chih Yao, ông đã tham khảo "MO Rabin và AC Yao, đang chuẩn bị". Điều này cho kết quả là độ phức tạp giao tiếp lỗi giới hạn của hàm đẳng thức EQ (cho dù hai số nguyên trong phạm vi …

40 ho.history-overview  communication-complexity 

Đây là một câu hỏi liên quan đến câu hỏi này . Đặt nó một lần nữa ở dạng đơn giản hơn nhiều sau nhiều cuộc thảo luận ở đó, rằng nó cảm thấy giống như một câu hỏi hoàn toàn khác. Bằng chứng cổ điển về tính không ổn …

40 computability  lo.logic  proofs 

Người ta thường tin rằng với tất cả , có thể nhân hai ma trận trong . Một số thảo luận ở đây .ϵ > 0ϵ>0\epsilon > 0n × nn×nn \times nÔ ( n2 + ε)O(n2+ϵ)O(n^{2 + \epsilon}) Tôi đã hỏi một số người quen thuộc với nghiên cứu này …

39 cc.complexity-theory  linear-algebra  big-picture  matrices  matrix-product 

Bằng chứng của Adman về được chứa trong cho thấy rằng nếu có một thuật toán ngẫu nhiên cho một vấn đề chạy trong thời gian trên các đầu vào có kích thước , thì cũng có một thuật toán xác định cho vấn đề chạy theo thời gian trên …

39 randomized-algorithms 

Đặt PRIMES (còn gọi là kiểm tra tính nguyên thủy ) là vấn đề: Cho số tự nhiên , n có phải là số nguyên tố không?nnnnnn Đặt FACTORING là vấn đề: Cho các số tự nhiên , m với 1 ≤ m ≤ n , n có hệ số …

39 cc.complexity-theory  lower-bounds  factoring  primes  p-hardness 

Có bất kỳ thuật toán sắp xếp so sánh đã biết nào không giảm xuống để sắp xếp các mạng, sao cho mỗi phần tử được so sánh lần?O ( nhật kýn )O(log⁡n)O(\log n) Theo tôi biết, cách duy nhất để sắp xếp với so sánh trên mỗi phần tử …

39 ds.algorithms  sorting  sorting-network