Khoa học máy tính

Tôi đang cố gắng giải quyết vấn đề chi nhánh và ràng buộc này nhưng tôi không thể đưa ra bất kỳ hàm chi phí gần đúng nào tốt hơn chi phí. Hãy cùng nói nào GGG là một biểu đồ của nnn điểm giao { 1 , 2 , …

7 algorithms  graph-theory  optimization  backtracking  branch-and-bound 

Chúng ta có biết một chuỗi vô tận các vấn đề quyết định trong đó thuật toán hiệu quả nhất cho mỗi vấn đề Θ(nk)Θ(nk)\Theta(n^k) thời gian, ở đâu kkk tăng không giới hạn? Ví dụ, giả sử rằng chúng ta sẽ biết rằng việc tìm kiếm một k-clique mất …

7 complexity-theory  decision-problem  polynomial-time 

Đối với dự án hội chợ khoa học của mình, tôi đã triển khai tối ưu hóa cho thói quen sắp xếp của Python. Ý tưởng là để di chuyển các kiểm tra an toàn phải được thực hiện trong mỗi lần so sánh, ví dụ kiểm tra loại và …

7 reference-request  type-checking  program-optimization  interpreters 

Tất cả các bài viết với chủ đề lập trình chức năng tổng thể sử dụng một số loại kiểm tra kiểu tĩnh để đảm bảo tính tổng. Điều này có ý nghĩa khi xem xét hoy một cách dễ dàng là tạo ra một ngôn ngữ Turing-Complete. Câu hỏi …

7 functional-programming 

Về khởi đầu: Đây là một vấn đề của cuộc thi lập trình, nhưng không phải từ một cuộc thi đang diễn ra. Thật không may, tôi không thể cung cấp bất kỳ liên kết nào đến nhiệm vụ này, vì nó không có sẵn công khai. Đó là từ …

7 algorithms  graphs  searching 

Vì câu hỏi của tôi liên quan trực tiếp đến một phần của văn bản từ cuốn sách năm 2004, Logic trong Khoa học máy tính: Mô hình hóa và lý luận về các hệ thống (Ấn bản 2) của Michael Huth và Mark Ryan , để cung cấp bối …

7 reductions  logic  proof-techniques  undecidability 

Tôi đang tìm kiếm một thuật toán để tìm mức giảm bắc cầu của hệ thống phân cấp ngăn chặn hình chữ nhật DAG, tức là một cạnh có hướng tồn tại từ hình chữ nhật này sang hình chữ nhật khác nếu hình chữ nhật thứ nhất chứa hình …

7 algorithms  graphs  dag 

Tôi phải xây dựng một chu kỳ với độ dài cố định bao gồm chính xác góc bên trong hình chữ nhật x .nnnkkkwwwhhh Ví dụ: w=5h=3w=5h=3w = 5\\h=3 n=12k=6n=12k=6n = 12\\k = 6 Tôi đã phát hiện ra rằng tôi cần ít nhất góc và số góc và số …

7 algorithms  graphs  searching 

Một số trình biên dịch có các hàm tiện ích phân tách các cạnh quan trọng trong biểu đồ luồng điều khiển. Tôi cho rằng điều này không được thực hiện như một sự tối ưu hóa trong chính nó, mà là để đơn giản hóa các phân tích và …

7 compilers  program-optimization  data-flow-analysis 

Tôi (thật ngu ngốc hóa ra) tự tin rằng câu trả lời cho câu hỏi này là không. Vậy tại sao tôi hỏi? Bởi vì Tiến sĩ Aleksandar Prokopec tại EPFL trong khóa học lập trình song song của mình giới thiệu một cấu trúc dữ liệu mà ông khẳng …

7 complexity-theory  algorithm-analysis  data-structures  time-complexity  search-trees 

Tôi được tặng hai bộ S, TS,TS, T mỗi nnn điểm trong RkRk\mathbb{R}^k, Tôi muốn tìm một đồ trang sức a : S→ Tmột:S→Ta : S \rightarrow T, như vậy mà Σs ∈ Sd( s , a ( s ) )ΣS∈Sd(S,một(S))\sum_{s \in S} d(s, a(s)) được giảm thiểu, với ddd …

7 algorithms  optimization  computational-geometry  linear-programming  bipartite-matching 

Concorde TSP là một người giải quyết cho TSP. Người giải SAT là người giải quyết sự thỏa mãn của boolean. TSP và SAT hoàn thành NP. Do đó, tại sao lại dành thời gian để phát triển TSP của Concorde khi có rất nhiều người giải SAT trên thị …

7 np-complete  satisfiability  p-vs-np  traveling-salesman  sat-solvers 

Khi chuyển đổi các thuật ngữ từ ngôn ngữ này sang ngôn ngữ khác, thuộc tính mong muốn theo trực giác là việc duy trì ngữ nghĩa (như được sử dụng ở đây để chuyển đổi CPS): s⇓v⟹c(s)⇓c(v)s⇓v⟹c(s)⇓c(v) s \Downarrow v \implies c(s) \Downarrow c(v) Tôi có một chút rắc …

7 terminology  logic  compilers  semantics 

Tôi còn khá mới đối với các đống và đang cố gắng che giấu lý do tại sao các đống tối thiểu và tối đa được biểu diễn dưới dạng cây khi một mảng được sắp xếp xuất hiện để cung cấp các thuộc tính tối thiểu / tối đa …

7 data-structures  arrays  heaps 

Chúng tôi biết PP=RP,coPP=coRP,PP=coPP=coRP=RP=ZPP=BPP⊆P/polyPP=RP,coPP=coRP,PP=coPP=coRP=RP=ZPP=BPP⊆P/poly\mathsf{PP=RP},\mathsf{coPP=coRP},\mathsf{PP=coPP=coRP=RP=ZPP=BPP\subseteq P/poly}là tương đương và hệ thống phân cấp đa thức sụp đổ xuống cấp .222 Các sụp đổ không tầm thường khác và hậu quả là gì?

7 complexity-theory  complexity-classes