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

Tôi chỉ đọc lên tính toán lambda để "làm quen". Tôi thấy nó là một hình thức tính toán thay thế trái ngược với Turing Machine. Đó là một cách thú vị để làm mọi thứ với các chức năng / giảm (nói một cách thô lỗ). Một số câu …

85 soft-question  big-picture  lambda-calculus  ho.history-overview 

Đây là một "câu hỏi lịch sử" hơn là một câu hỏi nghiên cứu, nhưng liệu sự giảm thiểu cổ điển đối với việc tìm kiếm thứ tự trong thuật toán của Shor để nhân tố hóa ban đầu được Peter Shor phát hiện ra, hay nó đã được biết …

79 quantum-computing  ho.history-overview  factoring 

Tôi muốn viết một cuộc khảo sát về các ứng dụng của Topology trong Khoa học máy tính. Tôi có kế hoạch bao gồm lịch sử của các ý tưởng tô pô trong Khoa học Máy tính và cũng nêu bật một vài phát triển hiện tại. Sẽ rất hữu …

61 reference-request  ho.history-overview  topology  survey 

Câu hỏi của tôi hôm nay là (như thường lệ) một chút ngớ ngẩn; nhưng tôi sẽ yêu cầu bạn vui lòng xem xét nó. Tôi muốn biết về nguồn gốc và / hoặc động lực đằng sau khái niệm treewidth. Tôi chắc chắn hiểu rằng nó được sử dụng …

61 graph-theory  co.combinatorics  big-picture  ho.history-overview  treewidth 

Theo hiểu biết của tôi, mô hình của Turing đã trở thành "tiêu chuẩn" khi mô tả tính toán. Tôi muốn biết lý do tại sao lại như vậy - đó là lý do tại sao mô hình TM trở nên được sử dụng rộng rãi hơn so với các …

44 reference-request  soft-question  computability  turing-machines  ho.history-overview 

Nếu bạn có thể đổi tên chương trình động, bạn sẽ gọi nó là gì?

43 ds.algorithms  soft-question  terminology  ho.history-overview 

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 

Vấn đề này được lấy cảm hứng từ câu hỏi MO này , mà tôi nghĩ là rất thú vị. Vấn đề mở lâu đời nhất trong TCS là gì? Rõ ràng câu hỏi này cần một số làm rõ. Đầu tiên, TCS là gì? Tôi nghĩ rằng sự tồn …

36 soft-question  open-problem  ho.history-overview 

Alan Turing , một trong những người tiên phong của khoa học máy tính (lý thuyết), đã có nhiều đóng góp khoa học cho lĩnh vực của chúng tôi, bao gồm xác định máy Turing, luận án Church-Turing, tính không chắc chắn và thử nghiệm Turing. Tuy nhiên, những khám …

34 soft-question  ho.history-overview 

Chúng tôi "biết" rằng được đặt tên theo Steve Cook và N C được đặt tên theo Nick Pippenger. Nếu tôi không nhầm, Steve Cook đã đặt tên NC để vinh danh Nick Pippenger, và tôi đã nói rằng điều ngược lại cũng đúng. Tuy nhiên, tôi đã không thể …

33 cc.complexity-theory  ho.history-overview 

Tôi có một câu hỏi lịch sử. Tôi đang cố gắng xác định tham chiếu cho thực tế là 3 độ màu của đồ thị (cách khác, độ biến màu cho ) là NP-hard.kkkk ≥ 3k≥3k\geq 3 Câu trả lời hấp dẫn là bản gốc giấy của Kar Karp, nhưng …

33 np-hardness  ho.history-overview 

Trong một vài câu hỏi gần đây ( q1 q2 ), đã có cuộc thảo luận về "Lý thuyết A" so với "Lý thuyết B", dường như để nắm bắt sự phân chia giữa nghiên cứu logic và ngôn ngữ lập trình và nghiên cứu về thuật toán và độ …

30 ho.history-overview  terminology 

Trong cuốn sách của mình, Boolean Function Complexity, Stasys Jukna đã đề cập (trang 564) mà Kolmogorov tin rằng mọi ngôn ngữ trong P đều có các mạch có kích thước tuyến tính. Không có tài liệu tham khảo được đề cập và tôi không thể tìm thấy bất cứ …

28 cc.complexity-theory  reference-request  circuit-complexity  ho.history-overview 

Grothendieck đã qua đời . Ông đã có tác động lớn đến toán học thế kỷ 20 tiếp tục vào thế kỷ 21. Câu hỏi này được hỏi phần nào theo phong cách / tinh thần, ví dụ, về những đóng góp của Alan Turing cho Khoa học máy tính …

27 big-picture  ct.category-theory  ho.history-overview 

Tại sao các ngôn ngữ thông thường (và từ các biểu thức chính quy) được gọi là "thông thường"? Có rất nhiều sự đều đặn trong các ngôn ngữ không ngữ cảnh các loại ngôn ngữ khác. Tôi cho rằng, ban đầu, tính từ "chính quy" đã được sử dụng …

27 regular-expressions  regular-language  ho.history-overview