Khoa học máy tính

Thuật toán của Dijkstra có được sử dụng trong các hệ thống tìm đường hiện đại như bản đồ Google hoặc satnav trong xe hơi của bạn không? Nếu không thì là gì?

10 algorithms  graphs  shortest-path  applied-theory 

Khi đọc một bài viết phác thảo sự khác biệt trong OO và lập trình hàm tôi đã bắt gặp các con trỏ hàm. Đã được một thời gian kể từ khi tôi hoàn thành bằng Khoa học Máy tính (2003) và vì vậy tôi đã tìm kiếm các con …

10 terminology  programming-languages 

Tôi đang cố gắng hiểu làm thế nào các cây được lập chỉ mục nhị phân (cây fenwick) có thể được sửa đổi để xử lý cả truy vấn phạm vi và cập nhật phạm vi. Tôi tìm thấy các nguồn sau đây: http://kartikkukreja.wordpress.com/2013/12/02/range-updates-with-bit-fenwick-tree/ http://programmingcontests.quora.com/Tutorial-Range-Updates-in-Fenwick-Tree http : //apps.topcoder.com/forums/? module = …

10 data-structures  binary-trees  search-trees 

Tôi đang nghiên cứu về thời gian chạy trường hợp xấu nhất của quicksort dưới điều kiện là nó sẽ không bao giờ làm một rất phân vùng không cân bằng cho các định nghĩa khác nhau về rất . Để thực hiện điều này, tôi tự hỏi mình câu …

10 algorithm-analysis  runtime-analysis  recurrence-relation 

Câu hỏi là khá nhiều trong tiêu đề. Có khi nào một ngôn ngữ có thể được chấp nhận bởi một DFA tối thiểu với n trạng thái, nhưng L R , sự đảo ngược của L , có thể được chấp nhận bởi một DFA với m trạng thái, …

10 formal-languages  reference-request  automata  finite-automata 

Sách giáo khoa của tôi nói: "Chúng tôi xác định hàm như sau: f ( 1 ) = 2 và f ( i + 1 ) = 2 f ( i ) 1.2 . Lưu ý rằng với n , chúng ta có thể dễ dàng tìm thấy trong O …

10 complexity-theory  algorithm-analysis  nondeterminism 

Tôi đang tìm kiếm một thuật toán để chuyển đổi một sơ đồ (đồ thị có hướng) thành một đồ thị không bị thay đổi theo một cách có thể đảo ngược, tức là bản đồ đó nên được xây dựng lại nếu chúng ta được đưa ra đồ thị …

10 algorithms  graph-theory  graphs 

Tôi là một sinh viên khoa học máy tính. Tôi muốn tạo ngôn ngữ lập trình của riêng mình (Một ngôn ngữ cơ bản với một vài hướng dẫn). Tôi biết làm thế nào để làm một phân tích cú pháp, tôi đã làm nó trong Perl. Trong một bài …

10 programming-languages  compilers 

Lý lịch Tôi đang học hỗ trợ, Coq, một mình. Cho đến nay, tôi đã hoàn thành việc đọc Coq của Yves Bertot trong một vội vàng . Bây giờ, mục tiêu của tôi là chứng minh một số kết quả cơ bản liên quan đến các số tự nhiên, …

10 automated-theorem-proving  proof-assistants  mathematical-programming  coq 

Theo tôi hiểu, bài toán gán là trong P vì thuật toán Hungary có thể giải nó trong thời gian đa thức - O (n 3 ). Tôi cũng hiểu rằng vấn đề gán là một vấn đề lập trình tuyến tính số nguyên , nhưng trang Wikipedia nói rằng …

10 complexity-theory  complexity-classes  linear-programming  integer-programming 

Tôi thấy khó phân biệt rõ ràng giữa Đa chương trình và Đa nhiệm. Nguồn chính của tôi là Wikipedia , nhưng bài báo WP có vẻ hơi mâu thuẫn với một số nguồn ít uy tín hơn (như giáo sư đại học của tôi). Khi tôi đọc WP, đa …

10 terminology  process-scheduling 

Từ quan điểm của hành vi tiệm cận, thuật toán "hiệu quả" là gì? Tiêu chuẩn / lý do để vẽ đường tại điểm đó là gì? Cá nhân, tôi sẽ nghĩ rằng bất cứ điều gì mà tôi có thể gọi một cách ngây thơ là "đa thức phụ", …

10 algorithms  terminology  asymptotics  landau-notation 

Đây trang về Knuth-Moriss-Pratt Thuật toán so với Boyer-Moore mô tả một trường hợp có thể nơi các thuật toán Boyer-Moore bị khoảng cách bỏ nhỏ trong khi KMP có thể thực hiện tốt hơn. Tôi đang tìm kiếm một ví dụ tốt (văn bản, mẫu) có thể chứng minh …

10 algorithms  substrings  matching 

Có một loạt các biểu tượng chóng mặt được sử dụng trong các bài báo toán học và CS. Tuy nhiên, nhiều người cho rằng sự quen thuộc cơ bản mà dường như hiếm khi được dạy ở một nơi. Tôi đang tìm một cuốn từ điển giống như sau, …

10 terminology  reference-request  education 

Làm cách nào tôi có thể xây dựng một ví dụ về DFA có trạng thái trong đó NFA tương đương có trạng thái. Rõ ràng tập hợp trạng thái của DFA nên chứa tất cả các tập hợp con của tập hợp trạng thái của NFA, nhưng tôi không …

10 automata  finite-automata