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

Đây là phần tiếp theo câu hỏi trước đây của tôi: Độ phức tạp thời gian xác định được biết đến thấp nhất ràng buộc cho một vấn đề tự nhiên trong NP Tôi thấy hoang mang rằng chúng tôi không thể chứng minh bất kỳ thời gian xác định …

11 cc.complexity-theory  lower-bounds  big-picture  barriers 

Tôi đã tự hỏi nếu có bất kỳ ràng buộc thấp hơn (về độ phức tạp mẫu) được biết đến cho vấn đề sau: Với mẫu truy cập oracle để hai phân bố chưa biết D1D1D_1 , D2D2D_2 trên {1,…,n}{1,…,n}\{1,\dots,n\} , kiểm tra (WHP) liệu D1=D2D1=D2D_1=D_2 d2(D1,D2)=∥D1−D2∥2=∑ni=1(D1(i)−D2(i))2−−−−−−−−−−−−−−−−−−√≥ϵd2⁡(D1,D2)=‖D1−D2‖2=∑i=1n(D1(i)−D2(i))2≥ϵ\operatorname{d_2}(D_1,D_2)=\lVert D_1-D_2\rVert_2 = \sqrt{\sum_{i=1}^n\left(D_1(i)-D_2(i)\right)^2} …

11 ds.algorithms  lower-bounds  st.statistics  property-testing 

Dana Angluin ( 1987 ; pdf ) định nghĩa một mô hình học tập với các truy vấn thành viên và truy vấn lý thuyết (đối chiếu với một chức năng được đề xuất). Cô ấy cho thấy rằng một ngôn ngữ thông thường được biểu thị bằng một DFA …

11 cc.complexity-theory  machine-learning  lower-bounds  lg.learning  query-complexity 

Đây là phần tiếp theo của câu hỏi trước đây của tôi về giới hạn giao tiếp thấp hơn cho các hàm boolean một phần . Ai đó có thể đề nghị bất kỳ tài liệu tham khảo về giới hạn thấp hơn cho giao tiếp nhiều bên không nhất …

11 cc.complexity-theory  reference-request  lower-bounds  communication-complexity  norms 

Động lực cho câu hỏi này là thực tế là hầu hết các chuỗi n-bit là không thể nhấn được. Theo trực giác, chúng ta có thể đề xuất bằng cách tương tự rằng hầu hết các bằng chứng cho Tautology là không thể áp dụng cho kích thước đa …

11 lower-bounds  proof-complexity  kolmogorov-complexity 

Có 2DFA với trạng thái (trong đó n không cần thiết, giả sử ít nhất 4) yêu cầu ít nhất 2 n trạng thái để mô phỏng bằng cách sử dụng bất kỳ DFA nào?nnnnnn2n2n2^n Một hai chiều DFA (2DFA) là một automaton hữu hạn nhà nước xác định được …

10 automata-theory  lower-bounds 

Các câu dưới đây có liên quan đến tối ưu của Bellman-Ford sss - ngắn nhất thuật toán lập trình con đường năng động (xem bài này cho một kết nối). Ngoài ra, một câu trả lời tích cực sẽ ngụ ý rằng kích thước tối thiểu của chương trình …

10 graph-theory  circuit-complexity  lower-bounds 

Tóm lại, các định lý phân cấp thời gian nói rằng một máy Turing có thể giải quyết nhiều vấn đề hơn nếu nó có nhiều thời gian hơn cho việc tính toán. Cụ thể cho TM xác định và các hàm có thể xây dựng theo thời gian với …

10 cc.complexity-theory  lower-bounds  big-picture  time-complexity  time-hierarchy 

Tôi muốn biết trạng thái hiện tại của quá trình chuyển pha cho k-sat ngẫu nhiên, với n biến và m mệnh đề, c = m / n được biết đến nhiều nhất cho giới hạn trên và dưới.

10 cc.complexity-theory  sat  lower-bounds  upper-bounds  phase-transition 

Trong SODA 1995 , Jeff Erickson đã chỉ ra giới hạn thấp hơn cho sự thỏa mãn tuyến tính (kiểm tra xem một số tập hợp của số thực có thỏa mãn phương trình tuyến tính trên các biến không). Phương pháp chứng minh sử dụng infinitesimals và nguyên tắc …

10 cg.comp-geom  lower-bounds  algebraic-complexity 

Đặt biểu thị chuỗi có độ dài tương ứng với bảng chân lý của bài toán tạm dừng cho các đầu vào có độ dài .HALTnHALTnHALT_n2n2n2^nnnn Nếu chuỗi độ phức tạp Kolmogorov là , thì một trong những chuỗi lời khuyên sẽ được sử dụng vô cùng thường xuyên và …

10 cc.complexity-theory  reference-request  computability  lower-bounds 

Hai ngăn xếp có thể được thực hiện một cách hiệu quả bằng cách sử dụng một mảng có kích thước cố định: ngăn xếp số 1 bắt đầu từ đầu bên trái và phát triển sang bên phải và ngăn xếp số 2 bắt đầu từ đầu bên phải …

9 ds.data-structures  lower-bounds 

Tôi tin rằng các câu trả lời cho câu hỏi này đưa ra các lớp sao cho tất cả các đa thức , có một vấn đề trong lớp không có mạch có kích thước p ( n ) . Tuy nhiên, tôi đang hỏi về kích thước mạch ωpppp …

9 circuit-complexity  lower-bounds 

Tôi đã gặp câu hỏi sau đây, đó là một bài tập dễ dàng (spoiler bên dưới). Chúng tôi được cung cấp trường hợp của sự cố tạm dừng (ví dụ: TM ) và chúng tôi cần quyết định chính xác vấn đề nào trong số đó dừng lại trên …

9 computability  lower-bounds 

Tôi bối rối. Tôi muốn chứng minh rằng rằng vấn đề phân loại một bởi ma trận có nghĩa là các hàng và cột là thứ tự tăng dần là . Tôi tiến hành bằng cách giả sử rằng nó có thể được thực hiện nhanh hơn và cố gắng …

9 time-complexity  lower-bounds  matrices  sorting  asymptotics