Khoa học máy tính lý thuyết

Khả năng cho một nhà khoa học máy tính thay đổi lĩnh vực của mình thành một nhà toán học thuần túy là gì? và cách trơn tru nhất để làm điều đó là gì? bất kỳ ví dụ cho những người có thể làm cho nó?

9 soft-question  research-practice  career 

Câu hỏi của tôi hơi mơ hồ. Tôi đã tự hỏi nếu (và làm thế nào), chúng ta có thể áp dụng khái niệm treewidth cho các vấn đề đóng gói trong biểu đồ. Tôi sẽ hài lòng với bất kỳ hiểu biết hoặc tài liệu tham khảo của công …

9 ds.algorithms  reference-request  graph-theory  graph-algorithms  approximation-algorithms 

Tôi muốn tìm hiểu một số ứng dụng của SGT trong lĩnh vực thông tin và lý thuyết mã hóa và có thể là truyền thông. Liên quan nhất đến tâm trí là công việc về Expander Code Michael Sipser và Daniel Spielman, "Mã mở rộng", Giao dịch của IEEE …

9 it.information-theory  coding-theory  spectral-graph-theory 

Trong bối cảnh của một số gần đây làm việc , chúng tôi đã xác định một ngôn ngữ dựa trên logic ba có giá trị à la Kleene, nơi tượng trưng cho sự thật, 0 cho false, và ⊥ cho lỗi hoặc đừng-bí quyết. Để cho thấy rằng ngôn …

9 reference-request  lo.logic 

Các công cụ tìm kiếm đang ngày càng được dựa vào như những người gác cổng thông tin, tuy nhiên các tiêu chí được sử dụng bởi các công cụ tìm kiếm để xếp hạng kết quả là không rõ ràng đối với người dùng. Làm thế nào người dùng …

9 ds.algorithms  data-mining 

Tôi có một câu hỏi, câu trả lời của ai có lẽ đã được biết đến, nhưng dường như tôi không thể tìm thấy bất cứ điều gì có ý nghĩa sau một chút tìm kiếm, vì vậy tôi sẽ đánh giá cao sự giúp đỡ nào đó. Câu hỏi …

9 computability  computable-analysis 

Có một chương trình tuyến tính mà tôi muốn không chỉ là một giải pháp mà là một giải pháp trung tâm nhất có thể trên mặt của đa giác giả định giá trị tối thiểu. Một tiên nghiệm, chúng tôi hy vọng mặt thu nhỏ phải có chiều cao …

9 ds.algorithms  linear-algebra  linear-programming 

Tôi muốn biết lý do tại sao để nhận dạng các ngôn ngữ không ngữ cảnh, chỉ có automata đẩy xuống không xác định (DPA = NPDA) hoạt động. Tại sao automata đẩy xuống xác định (DPDA) không nhận ra các ngôn ngữ như vậy?

9 fl.formal-languages  automata-theory  context-free 

Khi diễn giải các khóa là số tự nhiên, chúng ta có thể sử dụng công thức sau. h(k)=⌊m(kAmod1)⌋h(k)=⌊m(kAmod1)⌋\begin{equation} h(k) = \lfloor m (kA\bmod{1}) \rfloor \end{equation} Điều tôi gặp khó khăn trong việc hiểu là cách chúng ta chọn giá trị của A trong đó: 0&lt;A&lt;10&lt;A&lt;1\begin{equation} 0 < A < …

9 hash-function 

Theo dõi câu hỏi này ... Tôi đang cố gắng học cách sử dụng và tạo mạng lưới thần kinh cho nghiên cứu của mình, và một điểm là phần nào thoát khỏi tôi. Tôi nhận ra rằng các lớp ẩn là một phần cần thiết của điều này, tuy …

9 ne.neural-evol 

Giả sử tôi có một danh sách XX\cal X các tập con của {1,...,n}{1,...,n}\{1, ..., n\} . Tôi có thể làm tiền xử lý trong danh sách này nếu cần thiết. Sau quá trình tiền xử lý này, tôi được trình bày với một bộ A⊆{1,...,n}Một⊆{1,...,n}A \subseteq \{1, ..., n …

9 ds.algorithms  ds.data-structures 

Tôi đang tìm kiếm phần mềm để tính toán / ước tính khối lượng của khối đa diện lồi chiều cao. Cụ thể hơn, tôi đang quan tâm đến một chương trình, có thể xử lý các cơ quan có đỉnh d không gian ba chiều với các thông số …

9 cg.comp-geom  software  convex-geometry  high-dimensional-geometry 

Định lý PCP nêu rõ rằng mọi vấn đề quyết định trong NP đều có bằng chứng có thể kiểm tra được về mặt xác suất (hoặc tương đương, rằng có tồn tại một hệ thống chứng minh hoàn chỉnh và gần đúng cho các định lý trong NP sử …

9 lo.logic  pcp  polynomial-hierarchy 

(Xin lỗi nếu điều này bị đặt sai chỗ hoặc quá rộng. Tôi sẵn sàng đề xuất về cách cải tổ nó.) Tôi quan tâm đến việc truy ngược lại lịch sử "cổ đại" của các thuật toán dòng chảy tối đa và các thuật toán tối ưu hóa riêng …

9 ds.algorithms  graph-algorithms  ho.history-overview 

DLOGTIME được định nghĩa tại http://en.wikipedia.org/wiki/DLOGTIME được định nghĩa tại http://en.wikipedia.org/wiki/L_%28complexity%29 NC và NC n được xác định tại http: // en .wikipedia.org / wiki / NC_% 28 độ linh hoạt% 29LL\operatorname{L} NCNC\operatorname{NC}NCnNCn\operatorname{NC}^n DLOGTIME dường như là nhỏ nhất có thể hoạt động. Tôi đã đọc ở nhiều nơiL ⊆ …

9 cc.complexity-theory  circuit-complexity