Khoa học máy tính

Tôi đã đọc Giới thiệu về Thuật toán của Cormen et al. và tôi đang đọc phát biểu của định lý Master bắt đầu từ trang 73 . Trong trường hợp 3 cũng có một điều kiện đều đặn cần được thỏa mãn để sử dụng định lý: ... 3. …

15 algorithms  asymptotics  mathematical-analysis  landau-notation  master-theorem 

Vấn đề này, đối với tôi, trông rất thú vị. Đó là về việc tìm một chu trình đơn giản (tức là chu kỳ không phải là các nút lặp lại) trong một biểu đồ có hướng. Giải pháp của tôi là như thế này, tức là, biểu đồ này …

15 algorithms  graphs  enumeration 

Trong một bài giảng, một giáo sư đã đề cập rằng các máy tính hiện đại không có sức mạnh tính toán như máy Turing vì chúng không có bộ nhớ vô hạn và vì không máy tính nào có thể có bộ nhớ vô hạn nên máy Turing không …

15 computability 

Giả sử A có thể rút gọn đến B, tức là, . Do đó, máy Turing chấp nhận Một có quyền truy cập vào một oracle cho B . Hãy để cho Turing máy chấp nhận Một là M Một và nhà tiên tri cho B là O B . …

15 complexity-theory  np-complete  reductions  complexity-classes 

Các thuật toán cờ vua hiện tại đi khoảng 1 hoặc có thể 2 cấp xuống một cây đường có thể tùy thuộc vào nước cờ của người chơi và nước đi của đối thủ. Hãy nói rằng chúng ta có khả năng tính toán để phát triển một thuật …

15 algorithms  turing-machines 

Cho một tập bộ, tôi muốn tìm một bộ như vậy mà mỗi bộ trong chứa ít nhất một yếu tố của . Tôi cũng muốn chứa càng ít phần tử càng tốt trong khi vẫn đáp ứng tiêu chí này, mặc dù có thể tồn tại nhiều hơn một …

15 algorithms  optimization  sets 

Tôi tự học trợ lý bằng chứng và quyết định bắt đầu một số bằng chứng cơ bản và tiến lên. Vì các bằng chứng dựa trên các bằng chứng khác và do đó hình thành một hệ thống phân cấp, nên có một kho lưu trữ phân cấp các …

15 reference-request  logic  proof-assistants 

Tôi đang cố gắng rút ra bài báo kinh điển trong tiêu đề chỉ bằng các phương tiện cơ bản (không có chức năng tạo, không phân tích phức tạp, không phân tích Fourier) mặc dù với độ chính xác thấp hơn nhiều. Nói tóm lại, tôi "chỉ" muốn chứng …

15 combinatorics  discrete-mathematics  trees  average-case  random-walks 

Tôi đang sử dụng một máy tính kỹ thuật số để viết tin nhắn này. Một cỗ máy như vậy có một tính chất mà nếu bạn nghĩ về nó, thực sự khá đáng chú ý: Đó là một cỗ máy mà nếu được lập trình phù hợp, có thể …

15 computability  turing-machines  history 

Tôi đang làm việc trên một trình biên dịch cho một ngôn ngữ nối và muốn thêm hỗ trợ suy luận kiểu. Tôi hiểu Hindley, Milner, nhưng tôi đã học lý thuyết loại khi tôi đi, vì vậy tôi không chắc làm thế nào để thích nghi với nó. Là …

15 programming-languages  logic  compilers  type-theory  type-checking 

Thuật toán tối thiểu hóa DFA của Brzozowski xây dựng một DFA tối thiểu cho DFA bằng cách:GGG đảo ngược tất cả các cạnh trong , làm cho trạng thái ban đầu thành trạng thái chấp nhận và trạng thái chấp nhận ban đầu, để có NFA cho ngôn ngữ …

15 algorithms  finite-automata  runtime-analysis 

Khi còn là sinh viên, tôi đã thấy một vấn đề trong sách giáo khoa thiết kế hệ thống / logic kỹ thuật số, về những người lính N đứng trong một hàng, và muốn bắn cùng một lúc. Một phiên bản khó khăn hơn của vấn đề là những …

15 algorithms  distributed-systems  clocks 

Có các thuộc tính không thể giải quyết được của automata giới hạn tuyến tính (tránh các thủ thuật ngôn ngữ thiết lập trống)? Điều gì về một máy tự động hữu hạn xác định? (đặt sang một bên độ hấp dẫn). Tôi muốn lấy một ví dụ (nếu có …

15 computability  automata  undecidability 

Tôi đang cố gắng tìm một bị ràng buộc cho phương trình lặp lại sau đây:ΘΘ\Theta T(n)=2T(n/2)+T(n/3)+2n2+5n+42T(n)=2T(n/2)+T(n/3)+2n2+5n+42 T(n) = 2 T(n/2) + T(n/3) + 2n^2+ 5n + 42 Tôi cho rằng Định lý Master không phù hợp do số lượng các bài toán con và phép chia khác nhau. Ngoài …

15 asymptotics  recurrence-relation  master-theorem 

Khi chúng ta so sánh độ phức tạp của hai thuật toán, thường xảy ra trường hợp hoặc (có thể cả hai), trong đó và là thời gian chạy (ví dụ) của hai thuật toán.f(n)=O(g(n))f(n)=O(g(n))f(n) = O(g(n))g(n)=O(f(n))g(n)=O(f(n))g(n) = O(f(n))fffggg Luôn luôn là trường hợp này sao? Nghĩa là, có ít …

15 asymptotics  mathematical-analysis