Khoa học máy tính

3

Cấu trúc dữ liệu nào sẽ lưu trữ hiệu quả các phạm vi số nguyên?

Tôi cần giữ một bộ sưu tập về các số nguyên trong phạm vi 0 đến 65535 để tôi có thể nhanh chóng thực hiện các thao tác sau: Chèn một số nguyên mới Chèn một loạt các số nguyên liền kề Xóa một số nguyên Xóa tất cả các …

10 data-structures efficiency search-trees integers

1

Có cách nào để kiểm tra nếu hai NFA chấp nhận cùng một ngôn ngữ không?

Hoặc ít nhất tạo ra một chuỗi các chuỗi mà một NFA chấp nhận, vì vậy tôi có thể đưa chuỗi đó vào NFA khác. Nếu tôi thực hiện tìm kiếm thông qua mọi đường dẫn của NFA, liệu nó có hoạt động không? Mặc dù điều đó sẽ mất …

10 algorithms regular-languages finite-automata

3

Khi kiểm tra n mục, làm thế nào để bao gồm tất cả các tập con t bằng càng ít tập con càng tốt?

Vấn đề này phát sinh từ kiểm thử phần mềm. Vấn đề là một chút khó khăn để giải thích. Trước tiên tôi sẽ đưa ra một ví dụ, sau đó cố gắng khái quát hóa vấn đề. Có 10 mục cần kiểm tra, từ A đến J và một …

10 algorithms combinatorics software-testing

3

số

Cho số sao cho có sự phân công các số là hoán vị của sao choMột 1 ≤ A 2 ≤ . . . ≤ Một k k Σ i = 1 A i = k ( 2 k + 1 ) i 1 , i 2 , . . …

10 np-complete decision-problem

1

Hình thức trong lập trình đồng thời và / hoặc phân phối?

Nền tảng của tôi đến từ các ngôn ngữ bắt buộc, chủ yếu là C, C ++ và Python. Tôi đã chọn Scala, Erlang và một chút Haskell một vài năm sau đó và từ đó đã trở nên rất quan tâm đến lập trình chức năng và các hình …

10 distributed-systems concurrency

1

Vấn đề sỏi

Sỏi là một trò chơi solitaire được chơi trên đồ thị vô hướng , trong đó mỗi đỉnh có 0 hoặc nhiều viên sỏi. Một động tác cuội đơn bao gồm loại bỏ hai viên sỏi từ một đỉnh v và thêm một viên sỏi vào một hàng xóm tùy …

10 algorithms graph-theory np-complete

2

Điều gì làm cho lambda tính toán có liên quan để nghiên cứu?

Tôi sẽ bắt đầu một khóa học khoa học máy tính vào mùa thu tới, nhưng tôi thực sự không thể hiểu được tính toán trong bối cảnh lập trình chức năng. Tôi có thể hiểu sai điều này hoàn toàn, nhưng dựa trên định nghĩa này từ Bách khoa …

10 programming-languages lambda-calculus

2

Làm thế nào để một cách hiệu quả tạo ra tất cả các chuỗi nhị phân với số lượng bằng 0 và 1 bằng nhau?

Một chuỗi nhị phân có độ dài nnn chỉ là một chuỗi các lệnh để mỗi hoặc là hoặc . Để tạo tất cả các chuỗi nhị phân như vậy, người ta có thể sử dụng cấu trúc cây nhị phân rõ ràng theo cách sau: gốc là "rỗng", nhưng …

10 algorithms graphs binary-trees

1

Cho một đồ thị hợp âm

Biểu đồ là hợp âm nếu nó không có chu kỳ cảm ứng có độ dài từ 4 trở lên. Một cây bè lũ T của G là một cây trong đó các đỉnh của cây là những bè phái tối đa của G . Một cạnh trong T tương …

10 algorithms graph-theory reference-request

1

Vấn đề tối ưu hóa bị ràng buộc trong Entropy ma trận

Tôi có một vấn đề tối ưu hóa bị ràng buộc trong entropy ma trận (Shannon) . Ma trận có thể được viết dưới dạng tổng của ma trận hạng 1 có dạng trong đó là một vectơ chuẩn hóa đã cho. Các hệ số của ma trận hạng một …

10 optimization entropy

3

Phân chia công bằng của bánh hai chiều

Tôi quan tâm đến các thủ tục phân chia đất đai công bằng (tức là phân chia không ghen tị, hoặc ít nhất là phân chia theo tỷ lệ). Trái ngược với vấn đề phân chia bánh được nghiên cứu kỹ, phân chia đất đai là hai chiều, nghĩa là …

10 reference-request game-theory

1

Làm thế nào để hiểu chốt SR

Tôi không thể quấn đầu xung quanh cách SR Latch hoạt động. Dường như, bạn cắm một dòng đầu vào từ R và một dòng khác từ S, và bạn có nghĩa vụ phải nhận kết quả trong và .Q 'QQQQ'Q′Q' Tuy nhiên, cả R và S đều yêu cầu …

10 circuits sequential-circuit

2

Phân loại nào chính xác hơn cho phân loại SVM?

Tôi đang học phân loại SVM và gặp phải một vấn đề. Tôi không chắc liệu vấn đề nan giải này có một thuật ngữ cho nó. Giả sử chúng tôi muốn phân loại bệnh nhân bằng SVM dựa trên mẫu người khỏe mạnh (cả hai giới) và người bị …

10 machine-learning

3

Bắt đầu với Phân tích chương trình

Tôi đang tìm kiếm các nguồn lực để bắt đầu với phân tích chương trình . Cuốn sách duy nhất tôi tìm thấy về chủ đề này là cuốn sách Nielson & Nielson . Ngoài ra, có vẻ như chỉ có những cuốn sách "trình biên dịch" trong đó "phân …

10 reference-request compilers semantics

3

Ngôn ngữ quyết định và ngữ pháp không hạn chế?

Máy Turing và ngữ pháp không giới hạn là hai hình thức khác nhau xác định ngôn ngữ RE. Một số ngôn ngữ RE là có thể quyết định, nhưng không phải tất cả đều được. Chúng ta có thể định nghĩa các ngôn ngữ có thể quyết định bằng …

10 computability turing-machines formal-grammars