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

Bằng chứng tự nhiên là một rào cản đối với việc chứng minh các giới hạn thấp hơn về độ phức tạp mạch của các hàm boolean. Họ không trực tiếp ngụ ý bất kỳ rào cản như vậy trong việc chứng minh các giới hạn thấp hơn về độ …

15 cc.complexity-theory  circuit-complexity  barriers  natural-proofs 

Có hai lý thuyết chính, được nghiên cứu về phép tính lambda, lý thuyết beta và phần mở rộng sau khi hoàn thành của nó, lý thuyết beta-eta. Liệu hai lý thuyết này có một giữa, một loại quy tắc eta trung gian đưa ra một lý thuyết viết lại …

15 lo.logic  lambda-calculus  extensionality 

Đây là phần tiếp theo của câu hỏi này và có liên quan đến câu hỏi này của Shiva Kinali. Dường như các bằng chứng trong các bài báo này ( Allender , Caussinus-McKenzie-Therien-Vollmer , Koiran-Perifel ) sử dụng các định lý phân cấp. Tôi muốn biết liệu các bằng …

15 cc.complexity-theory  lower-bounds  relativization  permanent 

Xin lỗi trước nếu câu hỏi này quá đơn giản. Về cơ bản, điều tôi muốn biết là nếu có bất kỳ hàm f(x)f(x)f(x) có các thuộc tính sau: Lấy là khi tên miền và tên miền được giới hạn ở chuỗi -bit. Sau đófn(x)fn(x)f_n(x)f(x)f(x)f(x)nnn fn(x)fn(x)f_n(x) là tiêm fn(x)fn(x)f_n(x) là …

15 cc.complexity-theory 

Trong bài viết về "Đóng gói hình tròn cho thiết kế Origami khó" của Erik D. Demaine, Sandor P. Fekete, Robert J. Lang, trên trang 15, hình 13, họ cho rằng chiều dài cạnh của hình vuông nhỏ nhất bao quanh hai hình tròn diện tích 1/2 mỗi cái là …

15 cg.comp-geom 

Tôi luôn bị thu hút bởi việc thiếu bằng chứng số từ toán học thực nghiệm cho hoặc chống lại câu hỏi P vs NP. Mặc dù Giả thuyết Riemann có một số bằng chứng hỗ trợ từ xác minh bằng số, tôi không biết về bằng chứng tương tự …

15 cc.complexity-theory  soft-question  big-picture  experimental 

Trong khi cố gắng chứng minh một số thuộc tính cơ bản bằng cách sử dụng các loại cưỡng chế trong Coq, tôi tiếp tục gặp vấn đề sau và tôi không thể khắc phục được. Tôi đã chắt lọc vấn đề vào một kịch bản Coq đơn giản như …

15 coq  proof-assistants 

Một lớp cấu trúc di truyền (ví dụ như đồ thị) là một lớp được đóng dưới các cấu trúc cảm ứng, hoặc tương đương, được đóng lại dưới sự loại bỏ đỉnh. Các lớp biểu đồ loại trừ trẻ vị thành niên có các thuộc tính đẹp không phụ …

15 cc.complexity-theory  graph-theory  relational-structures 

Có phải bây giờ các thuật toán / bằng chứng đơn giản hơn để tam giác một đa giác phẳng trong thời gian tuyến tính? Một nguồn lực tốt về tình trạng của nghệ thuật của vấn đề nổi tiếng này là gì?

15 reference-request  cg.comp-geom 

Tôi đang tìm kiếm một thuật toán trực tuyến để duy trì việc đóng tạm thời của đồ thị chu kỳ có hướng với độ phức tạp thời gian nhỏ hơn O (N ^ 2) trên mỗi phép cộng. Thuật toán hiện tại của tôi là như thế này: For …

15 ds.algorithms  graph-theory  ds.data-structures  transitive-closure 

Một vấn đề P được cho là trong APX nếu tồn tại một số hằng số c> 0 sao cho thuật toán xấp xỉ thời gian đa thức tồn tại cho P với hệ số xấp xỉ 1 + c. APX chứa PTAS (được nhìn thấy bằng cách chọn bất …

15 cc.complexity-theory  complexity-classes  apx 

Cho một ngôn ngữ L được xác định bởi Máy Turing quyết định ngôn ngữ đó, liệu có thể xác định thuật toán liệu L có nằm trong NP không?

15 cc.complexity-theory  computability  turing-machines 

Câu hỏi này liên quan đến thuật toán Fisher-Yates để trả về một sự xáo trộn ngẫu nhiên của một mảng nhất định. Các trang Wikipedia nói rằng sự phức tạp của nó là O (n), nhưng tôi nghĩ rằng nó là O (n log n). Trong mỗi lần lặp …

15 ds.algorithms  permutations 

Chúng ta đều biết cho thấy có rào cản. Tất cả chúng ta đã nghiên cứu những rào cản này bởi vì chúng tôi tin rằng P ≠ N P .P≠ NPP≠NPP\ne NPP≠ NPP≠NPP\ne NP Tuy nhiên, giả sử và có những người khôn ngoan tin rằng khả năng đó …

15 p-vs-np  barriers 

Tôi tìm thấy một số cuốn sách về máy tính, nhưng tất cả chúng là về công nghệ. Tôi muốn một cái gì đó liên kết nhiều hơn với lý thuyết.

15 reference-request  soft-question  philosophy