Khoa học máy tính

2

Thuật toán để giải quyết vấn đề ràng buộc phẳng (quái vật Pokemon Pokemon Go tìm kiếm)

[Lưu ý: Vấn đề này được lấy cảm hứng từ Pokemon Go. Trước tiên tôi sẽ giải thích vấn đề bằng thuật ngữ toán học, sau đó giải thích kết nối với Pokemon Go. Mục tiêu của tôi là không gian lận trong trò chơi. Nếu tôi muốn gian lận, …

8 algorithms computational-geometry constraint-satisfaction

1

Tại sao bộ mã hóa MP3 sử dụng biến đổi Fourier nhanh trước khi áp dụng mô hình tâm lý học?

Karlheinz Brandenburg mô tả một bộ mã hóa MP3 như thế này: Nguồn: MP3 và AAC Giải thích Tôi đã đánh dấu FFT vì tôi không chắc tại sao thực sự cần thiết phải thực hiện nó. Tại sao mô hình tâm lý học không thể được áp dụng cho …

8 algorithms data-compression fourier-transform

1

Thuật toán thời gian tuyến tính để tìm đường đi ngắn nhất từ đến

Định nghĩa. Cho một đồ thị và hai đỉnh và , các vấn đề -shortest-con đường được tìm đường dẫn đơn giản ngắn nhất giữa và trong .s t k k s t GG = ( V, E)G= =(V,E)G=(V,E)SSstttkkkkkkSSstttGGG Lưu ý rằng độ dài của các đường dẫn này không …

8 algorithms graphs optimization shortest-path enumeration

3

Giới hạn trên của sợi (n + 2)

Tôi có một vấn đề bài tập về nhà làm tôi bối rối vì toán học vượt quá những gì tôi đã làm, mặc dù chúng tôi đã nói rằng không cần thiết phải giải toán này. Chỉ cần cung cấp một giới hạn trên gần và biện minh cho …

8 asymptotics combinatorics upper-bound

1

Nguồn gốc của khái niệm các loại

Về tình trạng nghệ thuật mà tôi đang chạy trước Lý thuyết Loại Tôi có tất cả những câu hỏi liên quan đến lịch sử của các loại. Ý tưởng về Type đến từ đâu? (Dường như tất cả bắt đầu khi Russell và Whitehead đề xuất một cách để …

8 type-theory history

1

PDE-Turing và vật lý

Khi tôi đọc về luận án Church-Turing, dường như có một tuyên bố chung rằng "thực tế vật lý là Turing có thể tính toán được". Cơ sở cho yêu cầu này là gì? Có bất kỳ kết quả lý thuyết dọc theo những dòng này? Đối với bối cảnh, …

8 computability simulation church-turing-thesis hypercomputation

1

Có thể xây dựng DFA cho các từ có độ dài lẻ với 1 ở giữa không?

L:={w∈{0,1}∗|L:={w∈{0,1}∗|L := \{w \in \{0,1\}^* | độ dài của là số lẻ 1 ở giữawww∧∧ \wedge w}w}w\} Vì vậy, bảng chữ cái là . Vấn đề của tôi là tôi không thể theo dõi sự bình đẳng của ký tự trước và sau . Một DFA giới hạn cho độ …

8 formal-languages finite-automata formal-grammars

4

Chúng ta có tạo ra một ngôn ngữ lập trình bằng cách viết một trình biên dịch không?

Nói rằng, tôi muốn tạo ngôn ngữ lập trình của riêng tôi. Giả sử rằng tôi đã đưa ra tất cả các quyết định về cách tôi muốn nó nhìn và hành động, tôi chỉ cần viết một trình biên dịch cho nó? Ví dụ, mã Java cấp cao có …

8 programming-languages compilers

3

Tập hợp con tối đa theo cặp không chia hết cho

Tôi có một tập hợp các số, và muốn tính toán tập hợp con tối đa sao cho tổng của bất kỳ hai trong số các yếu tố của nó là không chia hết cho một số nguyên . Tôi đã cố gắng giải quyết vấn đề này, nhưng tôi …

8 algorithms efficiency

1

Sự phức tạp của một tìm kiếm trong ngoặc sử dụng mediants là gì?

Tôi đang cố gắng ước tính độ phức tạp của thuật toán mà tôi đã viết cho trình dịch ngược Reko , trong đó tôi đang cố gắng "hoàn tác" thông tin được trình biên dịch thực hiện thành một phép chia số nguyên theo hằng số . Trình biên …

8 algorithm-analysis runtime-analysis numerical-algorithms

1

Chứng minh! là thời gian xây dựng đầy đủ

Chúng tôi vừa hoàn thành bài học "Khả năng xây dựng thời gian" trong lớp vào tuần trước và, ví dụ, chúng tôi đã chỉ ra rằng hoàn toàn có thể xây dựng được, tức là tồn tại một máy Turing (nhiều băng xác định) cho , dừng lại sau …

8 complexity-theory turing-machines time-complexity

1

Cấu trúc dữ liệu để tìm kiếm hiệu quả, khi chèn và xóa chỉ là một phía

Tôi cần một cấu trúc dữ liệu để lưu trữ một số nnn phần tử, mỗi phần tử được liên kết với một số thời gian khác nhau . khác nhau và trong khi nó có giới hạn trên lý thuyết, đây là nhiều bậc có độ lớn lớn hơn …

8 data-structures search-trees algorithm-design

3

Mục đích của phép tính tổ hợp SKI (hoặc thậm chí là phép tính lambda) là gì? Một số ví dụ thực tế của việc sử dụng nó là gì?

Tôi hiểu nó là gì, nhưng tôi không thấy nó được sử dụng như thế nào cho các thuật toán hay bất cứ thứ gì. Có lẽ tôi đang thiếu một cái gì đó. Tôi cần ai đó cho tôi một ví dụ về cách sử dụng nó để tôi …

8 algorithms lambda-calculus combinatory-logic

1

Tại sao `insertionsort` không bằng với`map mergesort`?

Trong các loại lý thuyết podcast ep. 3 , Dan Licata tuyên bố rằng thực tế là với mọi đầu vào, insertionsort và mergesort cho cùng một kết quả không có nghĩa là kết quả sẽ bằng nhau khi được sử dụng như các hàm bậc cao hơn làm đối …

8 type-theory functional-programming equality homotopy-type-theory

3

Mối quan hệ giữa Logic bậc nhất và Lý thuyết bậc nhất là gì?

Tôi nghĩ rằng bất kỳ FOT nào cũng là tập con của FOL, nhưng dường như không phải vậy, vì FOL đã hoàn thành (mọi công thức đều hợp lệ hoặc không hợp lệ), trong khi một số FOT (như số học số nguyên tuyến tính) chưa hoàn tất. Vậy, …

8 logic first-order-logic