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

Tôi vừa hoàn thành một bài viết ngắn (5 trang) về việc chứng minh một trò chơi kết hợp NP-Complete nào đó. Đây không phải là kết quả có ý nghĩa to lớn, nhưng nó là một thứ mà tôi tin là có thể xuất bản. Địa điểm nào sẽ …

12 journals 

Đầu vào là một vũ trụ UUU và một họ các tập con của UUU , nói, F⊆2UF⊆2U{\cal F} \subseteq 2^U . Chúng tôi giả định rằng các tập con trong FF{\cal F} có thể bao gồm UUU , tức là, ⋃E∈FE=U⋃E∈FE=U\bigcup_{E\in {\cal F}}E=U . Một chuỗi bao phủ gia …

12 cc.complexity-theory  ds.algorithms  approximation-algorithms  optimization  set-cover 

Trong khi trả lời câu hỏi này trên cstheory , tôi (không chính thức) đã chứng minh một cách nhanh chóng định lý sau: Định lý : Đối với bất kỳ cố định nào, mẫu thử chu trình Hamilton vẫn hoàn thành NP ngay cả khi bị giới hạn ở …

12 reference-request  np-hardness 

Chúng ta có thể chứng minh rằng cho mọi ngôn ngữ đó không phải là N P -Hard (điều này giả định P ≠ N P ), P L ≠ P SAT ? Thay phiên, điều này có thể được chứng minh theo bất kỳ giả định hợp lý?L ∈ …

12 cc.complexity-theory  complexity-classes  np-intermediate 

Tôi đang đọc một bài báo của Buhrman và Homer Hồi Superpolynomial Circuits, Hầu như thưa thớt thưa thớt và Phân cấp cấp số mũ . Ở cuối trang 2, họ nhận xét rằng kết quả của Kannan ngụ ý rằng không có mạch kích thước đa thức. Tôi biết …

12 cc.complexity-theory  complexity-classes  time-complexity  oracles  circuits 

Hãy xem xét trò chơi bài sau đây (được biết đến ở Ý là "Cavacamicia", có thể được dịch là "thoát y"): Hai người chơi chia ngẫu nhiên thành hai bộ bài một bộ bài tiêu chuẩn. Mỗi người chơi được một sàn. Người chơi thay phiên nhau đặt xuống …

12 board-games 

Có thể là ? Có những hậu quả thú vị của việc ngăn chặn như vậy? Nó sẽ mâu thuẫn với giả thuyết thời gian theo cấp số nhân?SAT¯¯¯¯¯¯¯¯¯¯∈NTIME(exp(n0.9))SAT¯∈NTIME(exp⁡(n0.9))\overline{SAT} \in NTIME(\exp(n^{0.9}))

12 sat  exp-time-algorithms  nexp 

Hãy xem xét một vectơ chiều trong đó . Đối với mỗi chúng ta biết và giả sử là độc lập. Sử dụng các xác suất này, có cách nào hiệu quả để lặp lại các vectơ chiều nhị phân theo thứ tự từ rất có thể đến ít nhất …

12 ds.algorithms  space-bounded 

Nó là nổi tiếng mà sắp xếp hoán vị bằng cách chuyển vị là trong , như số lượng tối thiểu là chuyển vị cần thiết để sắp xếp π ∈ S n là chính xác i n v ( π ) = { ( i , j ) ∈ …

12 sorting 

Mô hình tính toán đơn giản nhất mà vấn đề trống rỗng là không thể giải quyết được là gì? Vấn đề trống rỗng cho một mô hình tính toán (ví dụ: máy tự động trạng thái hữu hạn, máy tự động đẩy xuống xen kẽ, máy tự động lượng …

12 computability  decidability  undecidability  unary-languages 

Vì vậy, một tìm kiếm nhanh trên web đã khiến tôi tin rằng "APXHardness ngụ ý rằng không có QPTAS nào tồn tại cho một vấn đề trừ khi [một số lớp phức tạp] được đưa vào một số [lớp phức tạp khác]" và nó cũng được biết đến! Dường …

12 cc.complexity-theory  reference-request 

Liệu giữ?NPNP∩coNP=NPNPNP∩coNP=NP\mathsf{NP^{NP \,\cap\, coNP}=NP} Rõ ràng , nhưng đối với tôi, là "xác định" khiến tôi tin rằng điều này là đúng.N P ∩ c o N PNPNP≠NPNPNP≠NP\mathsf{NP^{NP}\neq NP}NP∩coNPNP∩coNP\mathsf{NP\cap coNP} Có một bằng chứng đơn giản (hoặc có thể chỉ theo định nghĩa)?

12 cc.complexity-theory  complexity-classes  oracles 

Một vấn đề lớn trong TCS là vấn đề thể hiện vĩnh viễn như một yếu tố quyết định. Tôi đã đọc bài báo Xác định vĩnh viễn của Agrawal và trong một đoạn, ông khẳng định vấn đề ngược lại là dễ dàng. Dễ dàng thấy rằng định thức …

12 cc.complexity-theory  algebraic-complexity  permanent  determinant 

Ngôn ngữ Dyck được xác định bởi ngữ pháp sau S → S SDyck(k)Dyck(k)\mathsf{Dyck}(k) trên tập các biểu tượng { ( 1 , ... , ( k , ) 1 , ... , ) k } . Ngôn ngữ Dyck trực giác là ngôn ngữ của dấu ngoặc đơn cân …

12 reference-request  fl.formal-languages  circuit-complexity  ho.history-overview  context-free 

Bổ đề Johnson-Lindenstrauss cho phép người ta biểu diễn các điểm trong không gian chiều cao thành các điểm ở chiều thấp hơn. Khi tìm các không gian chiều thấp hơn phù hợp nhất, một kỹ thuật tiêu chuẩn là tìm phân tách giá trị số ít và sau đó …

12 machine-learning