Khoa học máy tính

Tôi đang tìm một định nghĩa chính thức về tệp không chỉ bao gồm lưu trữ mà còn bao gồm các khái niệm trừu tượng như Procfs hoặc / dev / null (hoặc bất kỳ tệp dựa trên cầu chì nào) không liên quan đến lưu trữ. Cho đến nay …

9 operating-systems  os-kernel  filesystems 

Trong bài viết " Làm phẳng kết hợp: sống sót mà không có dấu ngoặc đơn " của Chris Okasaki, ông cho thấy hai tổ hợp vừa đủ và cần thiết làm cơ sở để mã hóa các biểu thức Turing-Complete mà không cần đến toán tử ứng dụng hoặc …

9 lambda-calculus  combinatory-logic 

Tôi đã đăng bài này lên MathUnderflow nhưng không có câu trả lời, vì vậy tôi nghĩ tôi sẽ thử nó ở đây, Tôi đang đọc bài báo cũ của Rabin và Fischer [sẽ đăng một liên kết khi có thể] trong số những điều khác, sự phức tạp theo …

9 complexity-theory  reference-request  logic 

Tôi đang cố gắng đưa ra một bằng chứng cho những điều sau đây: Đối với bất kỳ ngôn ngữ AAA , tồn tại một ngôn ngữ BBB mà A≤TBA≤TBA \le_{\mathrm{T}} B nhưng B ≰TA≰TA\nleq_{\mathrm{T}} A . Tôi đã nghĩ đến việc để BBB là ATMATMA_{\mathrm{TM}} , nhưng tôi nhận …

9 computability  reductions  undecidability 

Gần đây tôi đã tự hỏi điều gì sẽ xảy ra nếu chúng ta cho phép các ngữ pháp không ngữ cảnh có vô số quy tắc. Rõ ràng, nếu chúng ta cho phép tùy ý các bộ quy tắc vô hạn như vậy, mọi ngôn ngữ trên một số …

9 formal-languages  context-free  formal-grammars 

Một đồ thị lưỡng cực là phẳng, nếu nó không có vị thành niên hoặc K 5 .K3,3K3,3K_{3, 3}K5K5K_5 Tôi đang tìm kiếm một điều kiện cần hoặc đủ và đủ để cho phép các bản vẽ phẳng không có các cạnh "đi xung quanh" các đỉnh. Đây là những …

9 graph-theory  terminology  graph-drawing 

Các câu trả lời cho câu hỏi này trên Crypto Stack Exchange về cơ bản nói rằng, để đo lường mức độ phức tạp của vấn đề logarit, chúng ta phải tính đến độ dài của số đại diện cho kích thước của nhóm. Có vẻ như tùy tiện, tại …

9 time-complexity  discrete-mathematics  cryptography 

Để giải quyết vấn đề này, trước tiên tôi đã quan sát thấy rằng ϕ(pe11 pe22⋯ pekk)=(e1+1)(e2+1)⋯(ek+1)ϕ(p1e1 p2e2⋯ pkek)=(e1+1)(e2+1)⋯(ek+1)\phi(p_1^{e_1} \space p_2^{e_2} \cdots \space p_k^{e_k}) = (e_1 + 1)(e_2 + 1)\cdots(e_k +1) Trong đó là số ước (không nhất thiết là số nguyên tố) của . Nếu là số nguyên nhỏ …

9 number-theory  primes 

Có một sự giảm thiểu nổi tiếng và thanh lịch từ vấn đề khớp lưỡng cực tối đa sang vấn đề luồng cực đại: chúng ta tạo một mạng với một nút nguồn , một nút đầu cuối và một nút cho mỗi mục được khớp, sau đó thêm các …

9 reductions  network-flow  bipartite-matching 

Thông thường tôi thấy rằng trong biểu diễn ngữ nghĩa hoạt động cấu trúc cho vòng lặp while, trạng thái chương trình không thay đổi: (whileBdoS,σ)→(ifBthenS;(whileBdoS)elseSKIP,σ)(whileBdoS,σ)→(ifBthenS;(whileBdoS)elseSKIP,σ)(while \> B \> do \>S, \sigma) \rightarrow (if \>B \> then \>S; (while \> B \> do \>S) \> else \> SKIP, \sigma) Đối …

9 formal-languages  programming-languages  formal-methods  operational-semantics 

Cho một tam giác (không có điểm Steiner) của đa giác đơn giản , người ta có thể xem xét tính kép của tam giác này, được định nghĩa như sau. Chúng ta tạo một đỉnh cho mọi tam giác trong tam giác của chúng ta và chúng ta kết …

9 reference-request  computational-geometry 

Tôi muốn tạo đường đi ngắn nhất ( sẽ nhỏ hơn 10) giữa tất cả các cặp trong biểu đồ. Biểu đồ là (thực ra là bản đồ tàu điện ngầm):kkkkkk tích cực vô hướng thưa thớt với khoảng 100 nút Kế hoạch hiện tại của tôi là áp dụng …

9 algorithms  graphs  optimization  shortest-path 

Tôi đang xem xét các kỹ thuật triển khai cho các ngôn ngữ lập trình, và gần đây đã bắt gặp các ngăn xếp spaghetti, được cho là phù hợp với mô hình kiểu truyền tiếp tục (được sử dụng trong ví dụ Scheme và SML / NJ ). Để …

9 data-structures  programming-languages  continuations 

Câu hỏi này xảy ra với tôi về vấn đề tạm dừng và tôi không thể tìm thấy câu trả lời hay trên mạng, tự hỏi liệu ai đó có thể giúp đỡ. Có thể là vấn đề tạm dừng có thể quyết định đối với bất kỳ TM nào …

9 computability  undecidability  halting-problem 

Hôm nay vào bữa trưa, tôi đã đưa ra vấn đề này với các đồng nghiệp của mình và thật ngạc nhiên, lập luận của Jeff E. rằng vấn đề có thể quyết định đã không thuyết phục được họ ( đây là một bài viết liên quan chặt chẽ …

9 computability  undecidability