Khoa học máy tính

Thuật toán lựa chọn ngẫu nhiên là như sau: Dữ liệu vào: Một mảng gồm n số (riêng biệt, đơn giản) và một số k ∈ [ n ]AAAnnnk∈[n]k∈[n]k\in [n] Đầu ra: " Phần tử xếp hạng " của A (nghĩa là phần tử ở vị trí k nếu A …

14 algorithms  algorithm-analysis  probability-theory  randomized-algorithms 

Giả sử chúng ta có một tập hợp của N lập trình.S={a1,a2,a3,…,aN}S={a1,a2,a3,…,aN}S = \{ a_1,a_2,a_3,\ldots , a_N \}NNN Mỗi Coders có xếp hạng và số huy chương vàng E i , họ đã giành được cho đến nay.RiRiR_iEiEiE_i Một công ty phần mềm muốn thuê chính xác ba lập trình …

14 algorithms  algorithm-design 

Chúng ta biết rằng là trong N L bởi Immerman-Szelepcsényi lý lý và vì s t - c o n n đ c t i v i t y là N L - h a r d do đó s t - n ost-non-connectivityst-non-connectivityst\text{-}non\text{-}connectivityNLNL\mathsf{NL}st-connectivityst-connectivityst\text{-}connectivityNL-hardNL-hard\mathsf{NL\text{-}hard} là nhiều không gian log có …

14 complexity-theory  reductions  space-complexity 

Tôi muốn chứng minh rằng đây là một phần bài tập về nhà của tôi cho một khóa học tôi hiện đang tham gia. Tôi đang tìm kiếm một số hỗ trợ trong việc tiến hành, KHÔNG PHẢI TRẢ LỜI. Đây là câu hỏi trong câu hỏi: Một ngôi sao …

14 complexity-theory  time-complexity 

Tôi đang quan tâm đến việc tính toán nnn 'thứ sức mạnh của một ma trận . Giả sử chúng ta có một thuật toán để nhân ma trận chạy trong thời gian . Sau đó, người ta có thể dễ dàng tính toán trong thời gian . Có thể …

14 algorithms  complexity-theory  time-complexity  computer-algebra 

Tôi hiện đang đọc về học máy và tự hỏi làm thế nào để áp dụng nó vào chơi Connect Four . Nỗ lực hiện tại của tôi là một phân loại đa lớp đơn giản sử dụng mô hình hàm sigmoid và phương thức one-vs-all. Theo tôi, các tính …

14 machine-learning  board-games 

Tôi đang cố chứng minh rằng một cây nhị phân có nnn nút có nhiều nhất là ⌈n2⌉⌈n2⌉\left\lceil \frac{n}{2} \right\rceillá. Làm thế nào tôi sẽ đi về làm điều này với cảm ứng? Đối với những người đã theo dõi trong câu hỏi ban đầu về đống, nó đã được …

14 data-structures  binary-trees  combinatorics  graph-theory  proof-techniques 

Giả sử chúng ta có một ngôn ngữ đơn giản bao gồm các điều khoản: truetrue\mathtt{true} falsefalse\mathtt{false} nếu là những thuật ngữ sau đó như vậy là i ft1,t2,t3t1,t2,t3t_1,t_2,t_3ift1thent2elset3ift1thent2elset3\mathtt{if}\: t_1 \:\mathtt{then}\: t_2 \:\mathtt{else}\: t_3 Bây giờ giả sử các quy tắc đánh giá logic sau: iftruethent2elset3→t2[E-IfTrue]iffalsethent2elset3→t3[E-IfFalse]t1→t′1ift1thent2elset3→ift′1thent2elset3[E-If]iftruethent2elset3→t2[E-IfTrue]iffalsethent2elset3→t3[E-IfFalse]t1→t1′ift1thent2elset3→ift1′thent2elset3[E-If] \begin{gather*} \dfrac{} {\mathtt{if}\: \mathtt{true} …

14 logic  semantics  proof-techniques  term-rewriting 

Các thuật toán và cấu trúc dữ liệu bị lãng quên trong bộ nhớ cache là một điều khá mới, được giới thiệu bởi Frigo et al. trong các thuật toán lãng quên Cache, 1999 . Luận án của Prokop cùng năm cũng giới thiệu những ý tưởng ban đầu. …

14 algorithms  data-structures  computer-architecture  reference-request  cpu-cache 

Đặt là một ngữ pháp không ngữ cảnh. Một chuỗi các thiết bị đầu cuối và không thuộc đầu cuối của được cho là một hình thức sentential của nếu bạn có thể lấy nó bằng cách áp dụng tác phẩm của zero hoặc thời gian hơn để các biểu …

14 formal-languages  context-free  formal-grammars  closure-properties 

Tôi đã giải thích thuật toán lựa chọn thời gian tuyến tính xác định nổi tiếng ( thuật toán trung vị của trung vị) cho một người bạn. Sự đệ quy trong thuật toán này (trong khi rất đơn giản) khá phức tạp. Có hai cuộc gọi đệ quy, mỗi …

14 algorithms  recursion 

Tôi đã tìm kiếm các vấn đề thú vị và dễ dàng để đưa ra các vấn đề mở về khả năng tính toán (có thể hiểu được bởi các sinh viên đại học tham gia khóa học đầu tiên về khả năng tính toán) để đưa ra các ví …

14 computability 

Vấn đề băng thông tối thiểu là tìm một thứ tự các nút đồ thị trên dòng số nguyên để giảm thiểu khoảng cách lớn nhất giữa hai nút liền kề. Vấn đề quyết định là NP-đầy đủ ngay cả đối với cây nhị phân. Kết quả phức tạp cho …

14 complexity-theory  np-complete  reference-request  approximation 

tôi đã viết ∑i=1n1i=∑i=1nO(1)=O(n)∑i=1n1i=∑i=1nO(1)=O(n)\qquad \displaystyle \sum\limits_{i=1}^n \frac{1}{i} = \sum\limits_{i=1}^n \cal{O}(1) = \cal{O}(n) nhưng bạn tôi nói điều này là sai. Từ bảng cheat TCS tôi biết rằng tổng cũng được gọi là có mức tăng logarit trong nHnHnH_nnnn . Vì vậy, ràng buộc của tôi không phải là rất sắc …

14 asymptotics  landau-notation 

Cho một ngôn ngữ , xác định tập hợp độ dài của L là tập hợp độ dài của các từ trong L : L S ( L ) = { | bạn | ∣ u ∈ L }LLLLLLLLLLS(L)={|u|∣u∈L}LS(L)={|u|∣u∈L}\mathrm{LS}(L) = \{|u| \mid u \in L \} Những bộ số nguyên …

14 formal-languages  computability  regular-languages  finite-automata