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

Tôi đang đọc cuốn Thực thi ngôn ngữ lập trình chức năng của Simon Peyton Jones và có một câu khiến tôi hơi ngạc nhiên (ở trang 39): Ở một mức độ lớn hơn nhiều so với trường hợp của các ngôn ngữ mệnh lệnh, các ngôn ngữ chức năng …

17 functional-programming  semantics  imperative-programming 

Vấn đề chúng tôi xem xét ở đây là sự mở rộng của vấn đề tô màu khoảng thời gian nổi tiếng. Thay vì các khoảng, chúng tôi xem xét các hình chữ nhật có các cạnh song song với các trục. Mục tiêu là tô màu các hình chữ …

17 ds.algorithms  approximation-algorithms  cg.comp-geom  graph-colouring  online-algorithms 

Dễ dàng thấy rằng bất kỳ vấn đề nào có thể quyết định trong logspace xác định ( ) đều chạy trong hầu hết thời gian đa thức ( P ). Nhiều thuật toán logspace đã biết (Ví dụ: kết nối st không định hướng, đẳng cấu đồ thị phẳng) …

17 cc.complexity-theory  space-bounded  space-time-tradeoff 

Đưa ra một bước đi ngẫu nhiên trên biểu đồ, thời gian che phủ là lần đầu tiên (số bước dự kiến) mà mọi đỉnh đã bị chạm (bao phủ) bởi bước đi. Đối với các đồ thị vô hướng được kết nối, thời gian che phủ được biết là …

17 graph-theory  co.combinatorics  markov-chains  random-walks 

Tôi đang tìm hiểu xem có bất kỳ kết quả chung nào về hoặc các ví dụ liên quan đến tính đầy đủ của NP trong vấn đề tìm giải pháp thứ hai cho vấn đề hoàn thành NP hay không. Chính xác hơn, tôi quan tâm đến bất kỳ …

17 cc.complexity-theory  reference-request  np-hardness  unique-solution 

Một phần mở rộng tuyến tính của một poset P là một trật tự tuyến tính trên các yếu tố của P , sao cho x ≤ y trong P có nghĩa x ≤ y trong L cho tất cả x , y ∈ P .LLLPP\mathcal{P}PP\mathcal{P}x≤yx≤yx \leq yPP\mathcal{P}x≤yx≤yx \leq yLLLx,y∈Px,y∈Px,y\in\mathcal{P} …

17 graph-theory  co.combinatorics 

Vì thuật ngữ này là quá tải, nên một định nghĩa ngắn gọn đầu tiên. Một poset là một tập ban cho một thứ tự một phần . Cho hai phần tử , chúng ta có thể định nghĩa (tham gia) là giới hạn trên nhỏ nhất của chúng trong …

17 reference-request  co.combinatorics  metrics  lattice  order-theory 

Theo như tôi hiểu, tất cả đều biết các quy tắc trục xác định cho thuật toán đơn giản có các đầu vào cụ thể mà thuật toán yêu cầu thời gian theo cấp số nhân (hoặc ít nhất là không phải đa thức) để tìm ra tối ưu. Chúng …

17 cc.complexity-theory  reference-request  linear-programming  simplex 

Động lực học Glauber là một chuỗi Markov trên các màu của đồ thị, ở mỗi bước, người ta cố gắng đổi màu một đỉnh được chọn ngẫu nhiên bằng một màu ngẫu nhiên. Nó không trộn lẫn cho 3 màu của một chu kỳ 5: có 30 màu 3, …

17 graph-theory  markov-chains 

Câu hỏi này được lấy cảm hứng từ áo phông của Trung tâm thuật toán và ngẫu nhiên Georgia Tech , câu hỏi "Ngẫu nhiên hay không?!" Có nhiều ví dụ trong đó ngẫu nhiên hóa giúp, đặc biệt là khi hoạt động trong môi trường đối nghịch. Ngoài ra …

17 randomness  big-picture  randomized-algorithms 

Tôi đã tìm thấy cuốn sách Pairwise Độc lập và Derandomization về chủ đề này, nhưng nó thiên về nghiên cứu hơn là hướng dẫn. Tôi chưa quen với chủ đề "Derandomization", và như vậy, tôi muốn biết bắt đầu từ tham chiếu nào? Tôi thích một bài thảo luận …

17 cc.complexity-theory  derandomization  randomized-algorithms 

Một phân phối được gọi là -fool một hàm nếu . Và nó được cho là đánh lừa một lớp các hàm nếu nó đánh lừa mọi hàm trong lớp đó. Được biết, các không gian thiên vị đánh lừa lớp chẵn lẻ trên các tập con. (xem Alon-Goldreich-Hastad-Peralta để …

17 cc.complexity-theory  derandomization  space-bounded  pseudorandomness 

Hãy 0≤p≤10≤p≤10\le p\le 1 và xem xét các vấn đề quyết định Bè lũ p Input: số nguyên s , đồ thị G với t đỉnh và cạnh Câu hỏi: không chứa một bè lũ trên ít nhất đỉnh?pp_p sssGGGttts⌈p(t2)⌉⌈p(t2)⌉\lceil p\binom{t}{2} \rceil GGGsss Một thể hiện của CLIQUE chứa tỷ …

17 cc.complexity-theory  np  parameterized-complexity  clique 

Tôi quan tâm đến các thuộc tính của đồ thị định hướng ngẫu nhiên với mức độ cố địnhddd . Tôi đang tưởng tượng một mô hình đồ thị ngẫu nhiên trong đó mỗi đỉnh chọn d hàng xóm (giả sử có thay thế) uar Câu hỏi : Có bất …

17 graph-theory  co.combinatorics  automata-theory  random-walks 

Trước đây, tôi đã thực hiện các mô hình phối hợp sử dụng SAT và sự hài lòng ràng buộc thường xuyên như là công việc cốt lõi trong động cơ của họ. Tiếp tục công việc này, tôi muốn làm cho các mô hình trở nên tương tác hơn, …

17 sat  lo.logic  csp