Máy phát điện giả ngẫu nhiên của Nisan có tương đối hóa không?

Nisan đã chứng minh trong "Psuedorandom Generators for Space-Bounded Computing", rằng tồn tại một trình tạo giả ngẫu nhiên "đánh lừa" các tính toán giới hạn không gian. Công trình này có đúng với mọi lời tiên tri (ít nhất là đối với các truy vấn không thích ứng) không?

cc.complexity-theory space-bounded derandomization

— Sebastian Ben Daniel
nguồn

Tôi không thể trả lời câu hỏi này, nhưng tôi muốn chỉ ra một bài báo liên quan có tiêu đề "Độ cứng so với sự ngẫu nhiên" ( dx.doi.org/10.1016/S0022-0000(05)80043-1 ), mà bạn có thể thấy hữu ích.

— MS Dousti

Nó phụ thuộc vào việc trong định nghĩa của bạn về Oracle TM, băng truy vấn orory cũng được giới hạn ở kích thước logarit: nếu nó bị chặn thì PRG cũng lừa L ^ A cho bất kỳ A nào, nếu nó không bị ràng buộc thì A có thể chứa danh sách "chuỗi giả ngẫu nhiên" và do đó L ^ A sẽ không bị lừa.

— Buổi sáng
nguồn

Điều này đúng với tất cả các trình tạo ngẫu nhiên giả, tuy nhiên, ví dụ, trình tạo NW không tương đối nếu chúng ta giả sử độ cứng chống lại lời sấm truyền mà chúng ta muốn đánh lừa. Tôi đã tự hỏi liệu chúng ta có thể làm một cái gì đó loại này cho máy phát điện này không.

— Sebastian Ben Daniel

Vì PRG này được chỉ định hoàn toàn (nghĩa là không dựa trên một số "chức năng cứng f" khác), nên không rõ cách sử dụng lời tiên tri trong cài đặt tương đối hóa.

— Noam