Câu hỏi được gắn thẻ «gct»

Lý thuyết độ phức tạp hình học

1
Điều kiện tiên quyết để học GCT
Dường như Lý thuyết phức tạp hình học đòi hỏi nhiều kiến ​​thức về toán học thuần túy như hình học đại số, lý thuyết biểu diễn. Trong khi tôi là một sinh viên CS và KHÔNG có các lớp toán học rất trừu tượng và thuần túy, tôi quan …
3
Cấu trúc trong chứng minh tự nhiên và độ phức tạp hình học
Gần đây, Ryan Willams đã chứng minh rằng Cấu trúc trong Bằng chứng tự nhiên là không thể tránh khỏi để rút ra sự phân tách các lớp phức tạp: NEXPNEXP\mathsf{NEXP} và TC0TC0\mathsf{TC}^{0} . Cấu trúc trong Bằng chứng tự nhiên là điều kiện mà tất cả các bằng chứng …
2
Làm thế nào để phương pháp hình học Mulmuley-Sohoni tạo ra giới hạn thấp hơn tránh tạo ra bằng chứng tự nhiên (theo nghĩa Razborov-Rudich)?
Phrasing chính xác của tiêu đề là do Anand Kulkarni (người đề xuất trang web này được tạo ra). Câu hỏi này đã được hỏi như một câu hỏi ví dụ, nhưng tôi cực kỳ tò mò. Tôi biết rất ít về hình học đại số, và trên thực tế …
2
Trạng thái giới hạn mạch dưới cho mạch độ sâu giới hạn polylog
AC0AC0AC^{0}pppAC0[q]AC0[q]AC^{0}[q]AC0[q]AC0[q]AC^0[q]qqqgcd(p,q)=1gcd(p,q)=1\gcd(p,q)=1. Tuy nhiên, việc thu được kết quả giới hạn cụ thể trên các mạch độ sâu đa giác dường như nằm ngoài tầm với bằng cách sử dụng các phương pháp cổ điển như hạn chế đầu vào và xấp xỉ đa thức trên các trường hữu hạn. Tôi …
1
Bổ đề chuẩn hóa của Noether cho các trường hữu hạn
Câu hỏi của tôi là về các định lý 4.1 và 4.2 trong "Lý thuyết phức tạp hình học V" . Định lý đầu tiên nói rằng tồn tại thuật toán EXPSPACE để xây dựng hsop cho (xem định nghĩa trong bài viết) trên (trên thực tế trên trường đóng …
9 gct 
Khi sử dụng trang web của chúng tôi, bạn xác nhận rằng bạn đã đọc và hiểu Chính sách cookie và Chính sách bảo mật của chúng tôi.
Licensed under cc by-sa 3.0 with attribution required.