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

Có một kết quả được biết đến về mức độ phức tạp của 1 trong 3-SAT với số lần xuất hiện hạn chế không? Tôi đã đưa ra cách giảm đáng kể sau đây với Peter Nightingale, nhưng tôi muốn trích dẫn điều gì đó nếu điều này được biết. …

11 reference-request  sat  reductions 

Cho một tập hợp các siêu phẳng được xác định bởi các vectơ bình thường , các loại tế bào của nó (hoặc vectơ ký hiệu) đều là các vectơ t ∈ { + , - } m mà tồn tại một vectơ v ∈ R d để ⟨ v …

11 co.combinatorics  cg.comp-geom  computational-geometry  metric-spaces 

Có lý thuyết đồ thị thuật toán / lý thuyết số / tổ hợp / lý thuyết thông tin / lý thuyết trò chơi. Có phân tích toán học thuật toán? Theo wiki, phân tích toán học bao gồm các lý thuyết về sự khác biệt, tích hợp, đo lường, …

11 cc.complexity-theory  reference-request  soft-question  computability 

Tôi là một sinh viên tốt nghiệp ngành khoa học máy tính lý thuyết, và đặc biệt, các thuật toán gần đúng. Bây giờ tôi thấy rằng tôi quan tâm nhiều hơn đến toán học thuần túy (tôi có thể nói điều này bởi vì tôi dường như thích các …

11 reference-request  soft-question 

Hầu hết các lý thuyết loại mà tôi biết là dự đoán mà theo tôi là Void : Prop Void = (x : Prop) -> x không được đánh máy tốt trong hầu hết các định lý định lý vì loại pi này thuộc cùng vũ trụ Propvà không phải …

11 lo.logic  type-theory 

Tôi đã suy nghĩ về ngôn ngữ này thuộc lớp nào: là đồ thị, là số tự nhiên và là số màu củaL={⟨G,k⟩∣GL={⟨G,k⟩∣GL =\{ \langle G,k \rangle \mid G kkkkkkG}G}G\} Tôi nghĩ về là (1) "không có màu của màu k-1" và (2) "có màu của màu ". Bây giờ, …

11 cc.complexity-theory  np-hardness  complexity-classes 

Hàm Ackermann nghịch đảo thường xảy ra khi phân tích thuật toán. Một bài trình bày tuyệt vời về nó ở đây: http://www.gabrielnivasch.org/fun/inverse-ackermann . và [Ký hiệu: [x] có nghĩa là chúng ta làm tròn x đến số nguyên gần nhất, trong khi đăng nhập Là hàm nhật ký lặp …

11 ds.algorithms  ds.data-structures  bounds 

Sự khác biệt giữa khung logic và lý thuyết loại là gì? Cả hai đều có loại, thuật ngữ và dựa trên tính toán lambda phụ thuộc. Chúng tôi có Edinburg LF dựa trên tính toán lambda-pi, tuy nhiên, dường như với tôi có một số khác biệt tinh tế …

11 lo.logic  type-theory 

Tôi đã gặp vấn đề sau trong sách giáo khoa thuật toán tiếng Séc cũ của tôi, thật đáng buồn là không có gợi ý hay giải pháp nào. "Chúng tôi xác định các từ Fibonacci là , , , trong đó và là các chữ cái chung. chuỗi (trên …

11 string-matching  string-search 

Tôi hiện đang nghe bài nói của Alan Kays "Nó thực sự phức tạp hay chúng ta chỉ làm cho nó phức tạp?" ( https://www.youtube.com/watch?v=ubaX1Smg6pY&= ) trong đó anh ta nói rằng "semaphores là một ý tưởng tồi và có một thứ gọi là thời gian giả vượt trội" (ở …

11 terminology  concurrency 

Cây quyết định đọc một lần được định nghĩa như sau: và F a l s e là những cây quyết định đọc một lần.TrueTrueTrueFalseFalseFalse Nếu và B được đọc một lần cây quyết định và x là một biến không xảy ra trong một và B , sau đó …

11 cc.complexity-theory  lo.logic  decision-trees  boolean-formulas 

Hệ thống bổ sung véc tơ (VAS) là một tập hợp hữu hạn các hành động . là tập hợp các dấu . Một chạy là một từ không có sản phẩm nào của các dấu hiệu st . Nếu một từ như vậy tồn tại, chúng tôi nói rằng …

11 fl.formal-languages  decidability 

Là vấn đề đẳng cấu nửa hữu hạn nghịch đảo hữu hạn GI-hoàn thành ? Ở đây các nửa nhóm nghịch đảo hữu hạn được giả sử được đưa ra bởi các bảng nhân của chúng.

11 cc.complexity-theory  graph-isomorphism 

Bằng chứng của Goldreich và cộng sự rằng ba khả năng tạo màu không có bằng chứng kiến ​​thức sử dụng cam kết bit cho toàn bộ màu của đồ thị trong mỗi vòng [1]. Nếu một đồ thị có đỉnh và cạnh , hàm băm an toàn có bit …

11 communication-complexity  zero-knowledge 

Tôi đang xem xét ý tưởng về các thuật toán lượng tử chính xác. Cụ thể, tôi đang xem xét các hạn chế có khả năng của , bao gồm các ngôn ngữ có thể quyết định chính xác bởi các họ mạch lượng tử đồng nhất đa thời gian …

11 quantum-computing  circuit-families