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

Hãy xem xét câu hỏi tự nhiên sau: Cho một ngôn ngữ hữu hạn , ngữ pháp không ngữ cảnh nhỏ nhất tạo ra gì?LLLLLL Chúng ta có thể làm cho câu hỏi trở nên thú vị hơn bằng cách chỉ định một chuỗi ngôn ngữ , ví dụ là …

14 reference-request  fl.formal-languages  lower-bounds  grammars  context-free 

Các kết quả được biết có loại trừ sự tồn tại của cấu trúc dữ liệu "quá tốt không đúng sự thật" không? Ví dụ: người ta có thể thêm chức năng và vào cấu trúc dữ liệu bảo trì đơn hàng (xem Dietz và Sleator STOC '87 ) và …

14 ds.data-structures  big-list  lower-bounds  time-complexity 

Vấn đề #SAT là vấn đề # P-đầy đủ. Đây là một vấn đề chức năng chứ không phải là một vấn đề quyết định. Nó hỏi, đưa ra một công thức boolean trong logic mệnh đề, có bao nhiêu bài tập thỏa mãn . Giới hạn dưới tốt nhất …

14 cc.complexity-theory  lower-bounds  sat  counting-complexity 

Có một số kết quả giới hạn kích thước mạch nổi tiếng dựa trên các hạn chế ngẫu nhiên và Bổ đề chuyển đổi .A C0AC0\mathsf{AC^0} Chúng ta có thể phát triển kết quả Bổ đề chuyển đổi để chứng minh kích thước giới hạn dưới cho các mạch T …

13 cc.complexity-theory  circuit-complexity  lower-bounds  boolean-functions 

Có một số bằng chứng cho loglinear bị ràng buộc thấp hơn cho vấn đề duy nhất / tính khác biệt của phần tử (dựa trên cây tính toán đại số hoặc đối số nghịch cảnh), nhưng tôi đang tìm kiếm một điều đủ đơn giản để sử dụng trong …

13 cc.complexity-theory  lower-bounds  proofs 

Thật dễ dàng để xác minh rằng được cung cấp lưới chiều d của các điểm nguyên , với tính phụ thuộc thông thường, người ta có thể tìm thấy một dấu phân cách có kích thước (chỉ cần chọn bất kỳ siêu phẳng giữa, và loại bỏ tất cả …

13 reference-request  cg.comp-geom  lower-bounds 

Vấn đề tạm dừng nổi tiếng là không thể giải quyết được. Tuy nhiên, có thể "nén" thông tin theo cấp số nhân về vấn đề tạm dừng, do đó việc giải nén nó là có thể tính toán được. Chính xác hơn, có thể tính toán từ mô tả …

12 computability  lower-bounds  turing-machines  communication-complexity  oracles 

Hãy biểu thị kích thước tối thiểu của một (không-monotone) số học ( + , × , - ) mạch tính toán một cho đa tuyến đa thức f ( x 1 , ... , x n ) = Σ e ∈ E cMột ( f)Một(f)A(f)( + , × , …

12 cc.complexity-theory  circuit-complexity  lower-bounds  arithmetic-circuits 

vào năm 1979 Hopcroft / Ullman đã viết rằng L ⊆ P ⊆ NP ⊆ PSpace được biết đến nhưng L ⊊ PSpace là ngăn chặn thích hợp (& tầm thường) duy nhất được biết mặc dù tất cả đều được phỏng đoán là ngăn chặn thích hợp và "nơi …

12 cc.complexity-theory  reference-request  lower-bounds  p-vs-np  conditional-results 

Làm thế nào một người cho thấy rằng một tài sản nhất định không thể được thể hiện trong 2-CNF (2-SAT)? Có trò chơi nào, chẳng hạn như trò chơi cuội không? Có vẻ như trò chơi cuội đen cổ điển và trò chơi cuội đen trắng không phù hợp …

12 sat  lower-bounds  combinatorial-game-theory 

Hiệu quả nhất (trong thời gian phức tạp) thuật toán nổi tiếng hiện nay cho Divisibity Quyết Vấn đề là gì: cho hai số nguyên, nói và b , không một phân chia b ? Hãy nói rõ rằng những gì tôi yêu cầu không phải (nhất thiết) là một …

12 time-complexity  lower-bounds  nt.number-theory  primes 

Trọng lượng |x||x||x|của một chuỗi nhị phân x∈{0,1}nx∈{0,1}nx\in\{0,1\}^n là số lượng các chuỗi trong chuỗi. Điều gì xảy ra nếu chúng ta quan tâm đến việc tính toán một hàm đơn điệu trên đầu vào với một vài cái? Chúng ta biết rằng quyết định nếu một đồ thị có …

12 cc.complexity-theory  lower-bounds  circuit-complexity  parameterized-complexity  monotone 

Những vấn đề tiêu chuẩn chúng ta có thể giảm từ để chứng minh là gì giới hạn thấp hơn?Ω ( nhật ký nn )Ω(nđăng nhập⁡n)\Omega(n\log n) Tất nhiên, các vấn đề nhà nước ngoài việc phân loại và phân biệt thành phần.

12 cc.complexity-theory  lower-bounds 

Đây là một câu hỏi tiếp theo cho bài viết trước của Robin Kothari về kết quả độ cứng thời gian đa thức . Cụ thể, tôi quan tâm đến việc xem một số bằng chứng về độ cứng cho các vấn đề được cho là có giới hạn thấp …

12 graph-theory  cg.comp-geom  lower-bounds 

Câu hỏi này được lấy cảm hứng từ một câu hỏi hiện có về việc một ngăn xếp có thể được mô phỏng bằng cách sử dụng hai hàng đợi trong thời gian được khấu hao cho mỗi hoạt động của ngăn xếp hay không. Câu trả lời dường như …

12 ds.algorithms  ds.data-structures  lower-bounds  time-complexity  sorting