Khoa học máy tính

Đây là một câu hỏi từ kỳ thi của khóa học "Automata và Ngôn ngữ chính thức" của chúng tôi. Có một câu hỏi được yêu cầu chứng minh hoặc bác bỏ rằng mọi hoạt động "bổ sung tương đối" giữa hai ngôn ngữ nhạy cảm ngữ cảnh cũng sẽ …

7 formal-languages  closure-properties  context-sensitive 

Cho một đồ thị có hướng , tập cung tròn phản hồi là một tập hợp các cung có loại bỏ để lại một đồ thị theo chu kỳ. Vấn đề là tìm ra số lượng tối thiểu như vậy.G=(V,A)G=(V,A)G = (V,A) Tôi muốn tìm hiểu về có một số …

7 algorithms  graph-theory  approximation 

Wikipedia : Định lý chương trình có cấu trúc [...] nói rằng [...] mọi thuật toán có thể được biểu diễn chỉ bằng ba cấu trúc điều khiển. họ đang Thực hiện một chương trình con, và sau đó một chương trình con khác (trình tự) Thực hiện một trong …

7 computability  programming-languages  computation-models 

Tôi đã thấy hai biểu thức lambda khác nhau cho hàm KHÔNG logic. Một trong số họ chỉ áp dụng tham số của nó cho các hằng số truevà falsebên trong theo thứ tự ngược lại: NOT=λx.xfalsetrue=λx.x(λt.λf.f)(λt.λf.t)NOT=λx.xfalsetrue=λx.x(λt.λf.f)(λt.λf.t)NOT \;\;=\;\; \lambda x.\; x \; \mbox{false}\; \mbox{true} \;\;=\;\; \lambda x. \; x \; …

7 lambda-calculus 

Lưu ý: Tôi đã chuyển câu hỏi này từ stackoverflow.com Tôi có một vấn đề thuật toán mà tôi muốn xem liệu nó có thể được giải quyết tốt hơn không O(n)O(n)O(n): Tôi đã đưa ra một bảng TTT của nnn các phần tử trong đó mỗi phần tử là …

7 algorithms  search-algorithms 

Một số người có thể đọc môi khá tốt: bằng cách xem ai đó đang nói, họ có thể nói người nói đang nói gì (ngay cả khi không nghe bài phát biểu). Đã có công việc nào trong việc xây dựng phần mềm máy tính để đọc môi chưa? …

7 reference-request  computer-vision  pattern-recognition  facial-recognition 

Cho một máy Turing , chúng tôi nói rằng nếu ngôn ngữ do máy quyết định có thể được quyết định bởi một số máy trong thời gian đa thức. Chúng ta nói rằng nếu máy chạy trong thời gian đa thức. Lưu ý rằng có thể có máy chạy …

7 computability  time-complexity  turing-machines 

Đây không phải là bài tập về nhà. Tôi có giải pháp nhưng đó không phải là điều tôi đang nhận được. Tôi biết có nhiều giải pháp cho vấn đề nhưng tôi muốn chắc chắn rằng tôi không thiếu thứ gì. Câu hỏi như sau: Chứng minh rằng 2 …

7 asymptotics 

Hãy xem xét một ngôn ngữ thông thường LLL. Để choD(L)D(L)D(L) là một DFA tối thiểu cho LLL và N(L)N(L)N(L) là một NFA tối thiểu cho LLL(tối thiểu theo nghĩa số lượng trạng thái nhỏ nhất có thể có cho một máy tự động nhận dạng ngôn ngữ đã cho). …

7 formal-languages  automata  finite-automata  descriptive-complexity 

Với máy Turing vanilla, ý tôi là máy Turing có một băng (không có băng đầu vào hoặc đầu ra đặc biệt). Vấn đề như sau: băng ban đầu trống, ngoài một chuỗi nnn 111cát 000s bị chấm dứt bởi một ký tự cuối chuỗi. Đầu băng bắt đầu ở …

7 complexity-theory  turing-machines  time-complexity  lower-bounds 

Định lý của Ramsey nói rằng mọi đồ thị với nnn các nút chứa một cụm hoặc một tập độc lập với ít nhất 12log2n12log2⁡n\frac{1}{2}\log_2 n điểm giao. Tôi đã cố gắng tìm kiếm nó ở một vài nơi (bao gồm cả Sipser) nhưng tôi không thể hiểu được nhiều …

7 graph-theory  proof-techniques  combinatorics  discrete-mathematics 

Đối với luận án Cử nhân của tôi, tôi xem xét lớp ngôn ngữ được công nhận bởi các DFA đối xứng, nghĩa là tự động hữu hạn xác định (hoàn chỉnh) thỏa mãn điều kiện sau: Để cho AAA là một DFA hoàn chỉnh trên bảng chữ cái ΣΣ\Sigma. …

7 formal-languages  reference-request  regular-languages  finite-automata 

Cập nhật dựa trên ý kiến: Bằng cách nào chúng ta có thể phân biệt một con người thực hiện một số hoạt động trực tuyến và bot được lập trình để thực hiện các hoạt động tương tự, nói kiểm tra email, tải xuống một số tệp nhạc, mua …

7 machine-learning  artificial-intelligence  game-theory  computer-vs-human 

Tôi được cho một cây vô hướng TTT theo nghĩa lý thuyết đồ thị thông thường. Đưa ra một đỉnh vvv và một sự cố cạnh (v,u)(v,u)(v,u) cho vvv , tôi cần trả lời các truy vấn của biểu mẫu trả về bất kỳ lá TTT nào có thể truy …

7 algorithms  data-structures  trees 

Giả sử tôi có một vấn đề quyết định DDD và tôi mã hóa nó thành một ngôn ngữ L⊂{0,1}∗L⊂{0,1}∗L \subset \{0,1\}^*. Bây giờ, tôi cũng có thể mã hóa nó sang một ngôn ngữ khácL′L′L'. Có định lý nào liên quan đến độ phức tạp thời gian của LLL …

7 complexity-theory  terminology  time-complexity