Khoa học máy tính

1

Là đơn nguyên IO về mặt kỹ thuật không chính xác?

Trên wiki haskell có ví dụ sau về việc sử dụng đơn vị IO có điều kiện (xem tại đây) . when :: Bool -> IO () -> IO () when condition action world = if condition then action world else ((), world) Lưu ý rằng trong ví dụ này, …

12 programming-languages functional-programming haskell

5

Có trường hợp sử dụng nào cho loại dưới cùng như một loại tham số chức năng không?

Nếu một hàm có kiểu trả về ( kiểu dưới cùng ), điều đó có nghĩa là nó không bao giờ trả về. Nó có thể ví dụ như thoát hoặc ném, cả hai tình huống khá bình thường. Có lẽ nếu một hàm có tham số kiểu thì nó …

12 type-theory type-checking

3

Tại sao biểu tượng trống không được coi là một phần của bảng chữ cái đầu vào của máy Turing?

Các định nghĩa về máy Turing luôn rõ ràng về biểu tượng trống không phải là một phần của bảng chữ cái đầu vào. Tôi tự hỏi những gì đi sai khi bạn sẽ làm cho nó một phần của bảng chữ cái đầu vào, bởi vì có hiệu quả …

12 turing-machines

2

Nếu giới hạn dưới của một vấn đề là theo cấp số nhân thì đó có phải là NP không?

Giả sử rằng chúng ta có một vấn đề và chúng tôi đã chỉ ra rằng giới hạn dưới để giải quyết là .ppppppΩ ( 2n)Ω(2n)\mathcal{\Omega}(2^n) có thể giới hạn thấp hơn ngụ ý vấn đề trong không?Ω ( 2n)Ω(2n)\mathcal{\Omega}(2^n)NPNPNP

12 time-complexity np-complete

2

Lời thừa số trong thời gian

Cho hai chuỗi , chúng tôi viết cho phép nối của chúng. Cho một xâu và số nguyên , chúng tôi viết cho phép nối của bản sao của . Bây giờ được cung cấp một chuỗi, chúng ta có thể sử dụng ký hiệu này để 'nén' nó, tức …

12 dynamic-programming word-combinatorics

2

Các vấn đề cảm thấy theo cấp số nhân nhưng là P

Tôi đang cố gắng xây dựng một danh sách các thuật toán / vấn đề "đặc biệt hữu ích", như trong việc giải quyết các vấn đề "có vẻ rất" theo cấp số nhân, nhưng có một số thuật toán đặc biệt thông minh cuối cùng giải quyết chúng. Ví …

12 complexity-theory polynomial-time efficiency

4

Các nhà điều hành quay đầu hàng đầu có nghĩa là gì?

Tôi biết rằng các tác giả khác nhau sử dụng các ký hiệu khác nhau để thể hiện ngữ nghĩa ngôn ngữ lập trình. Như một vấn đề thực tế Guy Steele giải quyết vấn đề này trong một video thú vị . Tôi muốn biết liệu có ai biết …

12 type-theory denotational-semantics

2

Có bao nhiêu cặp dấu ngoặc đủ để làm cho Brainfuck Turing hoàn thành?

Brainfuck là ngôn ngữ lập trình hoàn chỉnh Turing chỉ sử dụng 8 ký hiệu (6 nếu bạn bỏ qua I / O). Hai thứ đáng chú ý nhất đẩy nó đến sự hoàn thiện của Turing là [và ]về cơ bản là nhãn và goto của Brainfuck. Thông thường, …

12 turing-completeness

1

Có một sự đẳng cấu giữa (tập hợp con) lý thuyết loại và đại số quan hệ?

Nó xuất phát từ quan điểm dữ liệu lớn. Về cơ bản, nhiều khung công tác (như Apache Spark) "bù đắp" sự thiếu các hoạt động quan hệ bằng cách cung cấp các giao diện giống Functor / Monad và có một chuyển động tương tự đối với chuyển đổi …

12 relational-algebra category-theory curry-howard

5

Tại sao âm thanh ngụ ý sự nhất quán?

Tôi đã đọc câu hỏi Tính nhất quán và đầy đủ có nghĩa là sự đúng đắn? và tuyên bố đầu tiên trong đó nói: Tôi hiểu rằng âm thanh ngụ ý sự nhất quán. Điều mà tôi đã khá bối rối vì tôi nghĩ rằng âm thanh là một …

12 terminology logic first-order-logic propositional-logic incompleteness

3

Chiến lược tối ưu cho một trò chơi trừu tượng

Tôi đã gặp vấn đề sau trong một cuộc phỏng vấn (rằng tôi đã không giải quyết được, không cố gắng gian lận trong quá khứ): Trò chơi bắt đầu với số nguyên dương . (Ví dụ A 0 = 1234. ) Số này được chuyển đổi thành biểu diễn …

12 algorithms optimization

1

Là đóng gói một túi quà cho Rupert dễ dàng hơn Santa?

Hoặc: Chúng ta có cần Rupert để nhận quà không? Đặt vấn đề sang một bên, ông già Noel phải đối mặt với vấn đề sau (nhiều, nhiều lần): Với một chiếc túi với capacity¹ CCC và một bộ quà {p1,…,pn}{p1,…,pn}\{p_1, \dots, p_n\} , mỗi kích thước , ông muốn …

12 algorithms complexity-theory optimization packing

2

Một mâu thuẫn của người Viking trong logic xây dựng là gì?

Trong nền tảng thực tiễn cho ngôn ngữ lập trình , Robert Harper nói Nếu một mệnh đề là đúng nghĩa là có một bằng chứng về nó, thì một mệnh đề đó có nghĩa là gì? Nó có nghĩa là chúng tôi có một từ chối của nó, cho …

12 logic

4

PRNG để tạo số với n bit chính xác

Tôi hiện đang viết một số mã để tạo dữ liệu nhị phân. Tôi đặc biệt cần tạo các số 64 bit với một số bit đã cho; chính xác hơn, quy trình sẽ lấy một số 0<n<640<n<640 < n < 64 và trả về số 64 bit giả ngẫu …

12 algorithms information-theory coding-theory pseudo-random-generators

2

Chứng minh tautology với coq

Hiện tại tôi phải học Coq và không biết làm thế nào để đối phó với or: Ví dụ, đơn giản như vậy, tôi không thấy cách chứng minh: Theorem T0: x \/ ~x. Tôi thực sự sẽ đánh giá cao nó, nếu ai đó có thể giúp tôi. Để …

12 logic coq