Khoa học máy tính

Với một vô hướng, kết nối, đồ thị có trọng số nơi là hàm trọng lượng và kéo dài tối thiểu cây (MST) của . Bây giờ chúng ta giảm trọng lượng bằng của một cạnh mà không thuộc về . G=(V,E,w)G=(V,E,w)G = (V,E,w)wwww:E→Rw:E→Rw: E \to \mathbb{R}TTTGGGkkkeeeTTT Cách cập nhật …

8 algorithms  graph-theory  correctness-proof  weighted-graphs  minimum-spanning-tree 

Tôi đang cố gắng thiết kế lại thuật toán của mình để chạy trên mô hình Hadoop / MapReduce. Tôi đã tự hỏi nếu có bất kỳ cách tiếp cận toàn diện nào để đo độ phức tạp thời gian cho các thuật toán trên nền tảng Dữ liệu lớn. …

8 algorithms  algorithm-analysis  runtime-analysis  parallel-computing 

Biểu đồ là một khái niệm được xác định rõ trong toán học, khoa học máy tính và các ngành kỹ thuật phụ thuộc vào chúng. Tuy nhiên, thông thường, việc triển khai thực tế đồ thị (được định hướng) trong một miền hoặc ứng dụng nhất định yêu cầu …

8 graph-theory  terminology  graphs 

Mỗi lần tôi nghĩ rằng tôi hiểu định lý của Rice nghĩa là gì, tôi lại tìm thấy một ví dụ để làm tôi bối rối. Có lẽ ai đó có thể cho tôi biết tôi đang nghĩ sai ở đâu. Hãy lấy một số thuộc tính không tầm thường …

8 computability  undecidability 

Người ta nói rằng một chương trình bao gồm các thuật toán, tuy nhiên nếu chúng ta đề cập đến định nghĩa của chúng, thuật toán là một chuỗi các hướng dẫn được viết để thực hiện một tác vụ được chỉ định và một chương trình máy tính cũng …

8 algorithms  terminology  programming-languages 

Một tìm kiếm * tìm ra giải pháp tối ưu cho các vấn đề miễn là heuristic có thể được chấp nhận, điều đó có nghĩa là nó không bao giờ đánh giá quá cao chi phí của đường dẫn đến từ bất kỳ nút nào (và nhất quán nhưng …

8 algorithms  search-algorithms  heuristics 

Các nhân Schönhage-Strassen thuật toán hoạt động bằng cách chuyển phép nhân kích thước thành nhiều phép nhân kích thước với một số lý thuyết biến đổi, và recursing. Ít nhất tôi nghĩ đó là những gì nó làm bởi vì có một số sự thông minh khác và tôi …

8 algorithm-analysis  time-complexity  multiplication 

Thuật toán khớp chuỗi Rabin từ Karp yêu cầu hàm băm có thể được tính toán nhanh chóng. Một lựa chọn phổ biến là trong đó là số nguyên tố (tất cả các tính toán là mô-đun , trong đó là chiều rộng của một từ máy). Tại sao điều …

8 search-algorithms  strings  rolling-hash 

Tôi rất thú vị trong việc dạy lập trình cho học sinh cấp hai. Tôi muốn một ngôn ngữ lập trình với các tiêu chí sau: Đơn giản - giảm xuống mức tối thiểu tuyệt đối cần thiết để hỗ trợ lập trình tinh vi mà không cần quá nhiều …

8 programming-languages  education 

Thật khó để tìm ra ý nghĩa của một biểu tượng nếu bạn không biết nó được gọi là gì trong bối cảnh mà nó được viết. Biểu tượng kiểu dấu nháy đơn đó trong ký hiệu trình tự - đó là gì?

8 terminology 

Để cho L={<M>|ML={<M>|ML = \{ | M tạm dừng trên mỗi đầu vào xxx nhiều nhất 200∗|x|200∗|x|200 * |x| các bước }}\}. Là LLLquyết định? Có thể nhận ra? Cho rằng thành viên trong LLL khẳng định một cái gì đó về MMMHành vi của một chuỗi vô hạn, đối …

8 computability  turing-machines  undecidability  decision-problem 

Tôi hiện đang cố gắng chứng minh ngôn ngữ thường xuyên (để giải trí cá nhân). Ngôn ngữ là: Ngôn ngữ chứa tất cả các số trong ternary có chẵn lẻ bit khi được mã hóa dưới dạng nhị phân. Bây giờ, tôi hiện đã thử một vài cách tiếp …

8 formal-languages  regular-languages  arithmetic 

1) Có thuật toán nào tốt hơn O (| E |. | V |) ngây thơ để tính số lượng con cháu của mỗi đỉnh trong một DAG không? 2) Có một thuật toán trực tuyến để làm như vậy không, giả sử rằng các nút được thêm từng cái …

8 graph-theory 

Tôi hiểu rằng 3-Opt Heuristic để giải quyết vấn đề Nhân viên bán hàng du lịch liên quan đến việc loại bỏ ba cạnh khỏi biểu đồ và thêm ba điểm nữa để hoàn thành chuyến tham quan. Tuy nhiên, tôi đã thấy nhiều bài báo đề cập rằng khi …

8 algorithms  optimization  heuristics  traveling-salesman 

Một video trên YouTube Tôi đã xem giải thích sự khác biệt giữa bắt buộc và lập trình chức năng bằng cách chứng minh như thế nào những con số từ 1để 10được tóm tắt trong Java và trong Haskell tương ứng. Trong Java, bạn phải nêu rõ từng bước …

8 programming-languages  functional-programming  programming-paradigms  imperative-programming