Câu hỏi được gắn thẻ «ho.history-overview»

Chỉnh sửa: Tôi chọn câu trả lời có điểm cao nhất vào ngày 06 tháng 12 năm 2012. Đây là một câu hỏi mềm. Khái niệm thuật toán (xác định) có từ thời BC. Điều gì về các thuật toán xác suất? Trong mục wiki này , thuật toán của …

27 ds.algorithms  reference-request  big-list  randomized-algorithms  ho.history-overview 

Nếu là đồ thị không đều d không định hướng và S là tập con của các đỉnh của cardinality ≤ | V | / 2 , gọi phần mở rộng cạnh của S là số lượngG=(V,E)G=(V,E)G=(V,E)dddSSS≤|V|/2≤|V|/2\leq |V|/2SSS ϕ(S):=Edges(S,V−S)d⋅|S|⋅|V−S|ϕ(S):=Edges(S,V−S)d⋅|S|⋅|V−S|\phi(S) := \frac {Edges(S,V-S)}{d\cdot |S|\cdot |V-S|} Trong trường hợp là số cạnh …

27 ds.algorithms  graph-theory  ho.history-overview  expanders  spectral-graph-theory 

Các biên tập viên thông thái khác tại Wikipedia đã từ chối yêu cầu của tôi để chuyển bài viết Wikipedia về thuật toán Rabinifer Karp sang thuật toán mà tôi nghĩ nên gọi là thuật toán Karp tựa Rabin, trên cơ sở tên Rabin của Karp được sử dụng …

26 ho.history-overview  string-matching 

Tôi chắc rằng mọi người đều biết về thí nghiệm kim của Buffon trong thế kỷ 18, đó là một trong những thuật toán xác suất đầu tiên để tính toán .ππ\pi Việc thực hiện thuật toán trong các máy tính thường yêu cầu sử dụng hàm số hoặc hàm …

26 ds.algorithms  reference-request  randomized-algorithms  ho.history-overview  monte-carlo 

Gần đây tôi đã dạy các nhà mở rộng, và đưa ra khái niệm về đồ thị Ramanujan. Michael Forbes đã hỏi tại sao họ được gọi theo cách này và tôi phải thừa nhận rằng tôi không biết. Bất kỳ ai?

25 graph-theory  soft-question  ho.history-overview  expanders 

Tôi đã đọc rằng ban đầu, Giáo hội đề xuất -calculus như là một phần trong bài viết Định đề Logic của ông (đây là một bài đọc dày đặc). Nhưng Kleene đã chứng minh "hệ thống" của mình không nhất quán sau đó, Church đã trích xuất những điều …

22 lo.logic  big-picture  lambda-calculus  ho.history-overview 

Thuật toán của Karatsuba cho phép nhân nhanh được xuất bản lần đầu tiên ở A. Karatsuba và Yu. Ofman (1962), "Nhân số nhiều số bằng máy tính tự động", Kỷ yếu của Viện hàn lâm khoa học Liên Xô 145: 293 Tiết294. Theo Karatsuba (1995, "Sự phức tạp của …

21 ho.history-overview 

Tôi có hai câu hỏi lịch sử: Ai là người đầu tiên mô tả tính toán không điều kiện? Tôi biết rằng Cook đã mô tả các vấn đề hoàn chỉnh NP và Edmonds đề xuất rằng thuật toán P là thuật toán "hiệu quả" hoặc "tốt". Tôi đã tìm …

20 reference-request  soft-question  ho.history-overview  nondeterminism 

Theo tài khoản lịch sử (chưa được xác minh), Kolmogorov nghĩ rằng mọi ngôn ngữ trong đều có độ phức tạp mạch tuyến tính. (Xem câu hỏi trước đó của Kolmogorov phỏng đoán rằng có các mạch kích thước tuyến tính .) Lưu ý rằng nó ngụ ý .P P …

19 cc.complexity-theory  circuit-complexity  ho.history-overview 

Gần đây tôi đã có một cuộc thảo luận về Turing Machines khi tôi được hỏi, "Máy Turing có nguồn gốc từ automata, hay nó là cách khác"? Tôi không biết câu trả lời tất nhiên, nhưng tôi tò mò muốn tìm hiểu. Máy Turing về cơ bản là một …

19 fl.formal-languages  computability  automata-theory  turing-machines  ho.history-overview 

Khi cố gắng thuyết phục các nhà kinh tế về sự liên quan của lý thuyết phức tạp trong in ấn, liệu có một tài liệu tham khảo tiêu chuẩn để trích dẫn? Tôi quen thuộc với bài đăng trên blog của Noam Nisan , khảo sát của Tim Roughgarden …

17 cc.complexity-theory  reference-request  application-of-theory  ho.history-overview  ce.computational-finance 

Tôi dạy cận dưới ngày hôm nay, và một trong những sinh viên được hỏi về lý do cho tên Một C . Giải thích chính thức là "A" là viết tắt của "Alternation".AC0AC0AC^0ACACAC Tôi mơ hồ nhớ được nói nhiều năm trước rằng Nick Pippenger Steve Cook đã đặt …

17 cc.complexity-theory  reference-request  ho.history-overview 

Có các trường hợp thú vị của các thuật toán đã được xuất bản với các giới hạn đã được chứng minh, và các giới hạn tốt hơn sau đó đã được xuất bản không? Không phải là thuật toán tốt hơn với giới hạn tốt hơn - rõ ràng …

16 ho.history-overview  analysis-of-algorithms 

AFAIK, Bằng chứng đầu tiên về việc sử dụng các hàm bậc cao hơn quay trở lại bài báo năm 1924 của Schönfinkel: "Trên khối xây dựng của logic toán học" - nơi ông cho phép một người chuyển các hàm làm đối số cho các hàm khác. Điều đó …

15 lo.logic  soft-question  ho.history-overview  intuition  function 

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