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

Trong cuốn sách Arora-Barak, trong định nghĩa về các hàm xây dựng thời gian, người ta nói rằng việc sử dụng các hàm không có thời gian xây dựng có thể dẫn đến "kết quả dị thường". Có ai có một ví dụ về một "kết quả bất thường" như …

10 cc.complexity-theory 

Tham lam là một thuật ngữ không chính thức, nhưng có thể (không chắc chắn, đó là lý do tại sao tôi hỏi) rằng đối với một số vấn đề nhất định, lòng tham có thể được hình thành về mặt toán học và do đó được chứng minh rằng …

10 ds.algorithms  greedy-algorithms 

Tôi là một lập trình viên chuyên nghiệp tự học. Tôi khá giỏi về nó (Ruby, Unix, Clojure, Java, Objective-C), nhưng bây giờ tôi đang nghĩ đến việc đưa nó lên cấp độ tiếp theo bằng cách có thể đăng ký chương trình thạc sĩ hoặc tiến sĩ trong CS. …

10 soft-question  advice-request  career 

Báo cáo vấn đề : Đặt MMM là một máy tự động đẩy xuống (có khả năng không xác định) và để MộtMột\cal A là bảng chữ cái đầu vào của nó. Có một từ w ∈ A*w∈Một*w \in \cal A^* st | w | ≤k|w|≤k|w| \leq k được chấp …

10 cc.complexity-theory  np-hardness  fl.formal-languages  automata-theory 

Câu hỏi của tôi là về các chức năng tính toán hiệu quả tính toán. Không chính thức tôi quan tâm đến: Nếu một mệnh đề có thể tính toán được trong thời gian đa thức, chúng ta có thể tính toán nó bằng một số đa thức của cổng …

10 circuit-complexity  permutations  reversible-computing 

Khi giới thiệu phân rã mô-đun đồ thị , hầu hết các tác giả sử dụng biểu đồ 11 đỉnh, mà tôi sao chép từ wikipedia. Câu hỏi là ai là (người) thiết kế ban đầu của nó. (Tôi không hỏi ai đã vẽ biểu đồ này cho wikipedia, nhưng …

9 reference-request  graph-theory 

Đặt là một biểu đồ ngẫu nhiên trên các cạnh . Với xác suất rất cao, có nhiều xe máy. Mục tiêu của chúng tôi là xuất ra bất kỳ một trong chiếc xe này càng nhanh càng tốt.G ∼ G ( n , n- 1 / 2)G∼G(n,n−1/2)G \sim G(n, …

9 graph-theory  graph-algorithms  property-testing  random-graphs 

Đối với nhiều vấn đề, thuật toán có độ phức tạp tiệm cận tốt nhất có một yếu tố hằng số rất lớn được ẩn bởi ký hiệu O lớn. Điều này xảy ra trong phép nhân ma trận, phép nhân số nguyên (cụ thể là thuật toán nhân số …

9 cc.complexity-theory  ds.algorithms  time-complexity 

Một dạng yếu hơn của Định lý bất toàn đầu tiên của Gôdel, bằng chứng trực tiếp về cách thức của Gôdel dài, liên quan và ở một nơi nào đó khá phản trực giác, có bằng chứng đơn giản và trực quan dựa trên tính không ổn định của …

9 cc.complexity-theory  lo.logic  halting-problem 

Trong [1], Garey et al. xác định cái mà sau này được gọi là Bài toán tổng gốc vuông trong quá trình tìm ra tính đầy đủ NP của ESPidean TSP. Với số nguyên a1,a2,…,ana1,a2,…,ana_1, a_2, \ldots, a_n và LLL , xác định xem a1−−√+a2−−√+⋯+an−−√<La1+a2+⋯+an<L\sqrt{a_1} + \sqrt{a_2} + \cdots + …

9 reference-request  cg.comp-geom  na.numerical-analysis 

Có một loại kết quả trong TCS thường được gọi là kết quả bootstrapping . Nói chung, nó có dạng Nếu mệnh đề giữ, thì mệnh đề giữ.MộtAAMột'A′A' trong đó và là các mệnh đề trông giống nhau và dường như "yếu hơn" thì , đó là lý do chúng …

9 cc.complexity-theory 

Hai ngăn xếp có thể được thực hiện một cách hiệu quả bằng cách sử dụng một mảng có kích thước cố định: ngăn xếp số 1 bắt đầu từ đầu bên trái và phát triển sang bên phải và ngăn xếp số 2 bắt đầu từ đầu bên phải …

9 ds.data-structures  lower-bounds 

Gần đây, tôi đã trở nên quan tâm đến hình học đại số và đã bắt đầu đọc về nó. Tôi vẫn biết rất ít về lĩnh vực này, nhưng tôi muốn biết liệu nó có liên quan gì đến lĩnh vực chính của tôi, loại lý thuyết và ngôn …

9 pl.programming-languages  type-theory  algebra 

Cho dù có một số kết quả về việc giải quyết các vấn đề ngôn ngữ chính thức bằng cách sử dụng phân tích toán học, toán học liên tục. Ví dụ: giải quyết vấn đề không trống giao nhau cho ngôn ngữ không ngữ cảnh và ngôn ngữ thông …

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

Có một số mô hình khác nhau để xác định các phép biến đổi giữa các ngôn ngữ. Bộ chuyển đổi trạng thái hữu hạn và biến đổi biểu đồ có thể xác định MSO trên biểu đồ chuỗi là hai cái mà tôi quen thuộc nhất. Chúng ta biết …

9 fl.formal-languages