Khoa học máy tính

Giả sử, chúng ta có hai đa giác không chồng chéo lồi và . Làm thế nào chúng ta có thể vẽ một đường thẳng chia thành hai phần có diện tích bằng nhau và cũng chia thành hai phần diện tích bằng nhau? Ngoài ra, chúng ta có thể …

7 computational-geometry 

Tôi đã bắt đầu học mật mã trong lớp và chúng tôi đã bắt gặp One-Time-Pad, trong đó khóa (được thống nhất thống nhất) miễn là chính thông điệp đó. Sau đó, bạn biến tin nhắn thành bit, làm và lấy văn bản mật mã. Điều này mã hóa tin …

7 randomized-algorithms  randomness  cryptography  encryption 

Là giao điểm của vô số nhiều bộ đệ quy (trong đó mỗi bộ là khác nhau) có đệ quy không? Đệ quy vô số? Tôi biết rằng liên kết không cần phải được đệ quy, bởi vì quyết định nếu một phần tử có trong tập hợp giống như …

7 computability  sets 

Về cơ bản tiêu đề nói gì. Tại sao bạn có thể "bỏ qua" phần "xy" nếu bạn muốn chứng minh liệu một ngôn ngữ có thường xuyên không?

7 regular-languages  pumping-lemma  chomsky-hierarchy 

Như nó nói trong tiêu đề: Có những trường hợp vấn đề mà chúng ta biết là không thể giải quyết? Hoặc tương đương Có bất kỳ vấn đề hứa hẹn nào với số lượng đầu vào hữu hạn không thể giải quyết được không? Xin lưu ý: Tôi nhận …

7 undecidability 

Tôi đang cố gắng để hiểu các tổ hợp Y. Bạn có thể giải thích tại sao những điều sau đây là tương đương (Y (f ∘ g)) (f (Y (g ∘ f))) (Y là kết hợp điểm cố định)

7 lambda-calculus  functional-programming  combinatory-logic 

Trong -calculus, chúng ta có thể mã hóa số học, số, booleans và thậm chí tính các yếu tố của các số, như được hiển thị ở đây .λλ\lambda Có mã hóa "cho" hoặc "trong khi" không?

7 lambda-calculus  computation-models 

Tôi quan tâm đến một vấn đề kết hợp như vậy: đưa ra một biểu đồ G = ( V, E)G= =(V,E)G=(V, E) và một hàm trọng lượng wv: V↦ Rwv:V↦Rw_v: V \mapsto Rvà we:E↦ Rwe:E↦Rw_e: E \mapsto R chúng tôi đang hỏi về một sơ đồ cảm ứng như …

7 graph-theory  optimization  approximation  greedy-algorithms 

Hãy nói rằng chúng tôi đã đưa ra đơn giản vô hướng đồ thị có nút và cạnh hai chiều. Đối với và chúng tôi muốn kiểm tra xem trong biểu đồ chỉ có một đường dẫn đơn giản giữa chúng.GGGNNNMMMxxxyyy Những gì tôi đã nghĩ, là chúng ta nên …

7 algorithms  graphs  shortest-path 

Đưa ra: Một danh sáchnnn số nguyên x1,x2, ... ,xnx1,x2,Giáo dục,xnx_1,x_2,\dots,x_n và một số nguyên kkk. Xác định: Làx--√1+x--√2⋯x--√n≤ kx1+x2⋯xn≤k\sqrt x_1 + \sqrt x_2 \cdots \sqrt x_n \le k? Câu hỏi: Có bất kỳ thuật toán thời gian đa thức cho vấn đề trên không? Nếu có, đưa ra một …

7 algorithms  complexity-theory  time-complexity 

Trong số các độ Turing có độ có dạng , ví dụ , , , v.v.0n0n0^n0000′0′0'0′′0″0'' Tôi sẽ chỉ chứng minh điều này nhanh chóng vì sự hoàn thiện. Hy vọng rằng không ai có bất kỳ điều gì với bằng chứng ngắn này: Bổ đề: Bất kỳ bộ số …

7 computability  turing-machines 

Tôi đang cố gắng chứng minh một số tuyên bố về việc thực thi trong các chương trình Java theo một số hạn chế nặng nề (về cơ bản tôi có một phỏng đoán rằng nếu hai phương thức thỏa mãn một tập các ràng buộc cho một đầu vào …

7 programming-languages  semantics  java  operational-semantics 

Tôi đã thấy mình hơi bối rối với hướng giảm được sử dụng để cho thấy rằng một số ngôn ngữ nhất định không được đệ quy. Ví dụ: giả sử chúng tôi muốn xác định xem ( ) là không thể giải quyết được. Tôi biết chúng ta có …

7 computability  turing-machines  reductions  halting-problem 

Tôi đã làm theo bằng chứng dở dang của một bổ đề: Goal forall (P : Type -> Prop) (Q : Prop), ((forall x, (P x)) -> Q) -> (exists x, P x -> Q). Proof. intros. eapply ex_intro. intros. apply H. intros. eapply H0. Vấn đề là eapplythất bại …

7 logic  coq 

Tôi đang làm việc để viết một tài liệu dễ đọc về ngữ nghĩa biểu thị của phép tính lambda. Vì vậy, tôi giới thiệu CPO, tính đơn điệu và liên tục. CPO là một tập hợp có thứ tự một phần và phần tử dưới cùng , yêu cầu …

7 computability  denotational-semantics