Câu hỏi được gắn thẻ «computing-over-reals»

Lý lịch Việc tính toán trên các số thực phức tạp hơn so với tính toán trên các số tự nhiên, vì các số thực là các đối tượng vô hạn và có rất nhiều số thực, do đó các số thực không thể được biểu diễn một cách trung …

40 cc.complexity-theory  cg.comp-geom  computing-over-reals  computable-analysis 

Bài toán tổng căn bậc hai hỏi, đưa ra hai chuỗi và của các số nguyên dương, cho dù tổng nhỏ hơn, bằng hoặc lớn hơn hơn tổng . Tình trạng phức tạp của vấn đề này là mở; xem bài đăng này để biết thêm chi tiết. Vấn đề …

37 ds.algorithms  big-list  reductions  computing-over-reals 

Một trong những điểm mấu chốt của thiết kế thuật toán là tìm ra thuật toán đa thức mạnh cho lập trình tuyến tính, tức là thuật toán có thời gian chạy bị giới hạn bởi đa thức về số lượng biến và ràng buộc và không phụ thuộc vào …

31 ds.algorithms  conditional-results  linear-programming  computing-over-reals  simplex 

Đây có thể là một câu hỏi cơ bản, nhưng tôi đã đọc và cố gắng tìm hiểu các bài báo về các chủ đề như tính toán cân bằng Nash và kiểm tra suy thoái tuyến tính và không chắc chắn về cách các số thực được chỉ định …

27 cc.complexity-theory  computability  na.numerical-analysis  computing-over-reals  computable-analysis 

Giả sử chúng ta được đưa ra một số đa giác đơn giản khác nhau trong mặt phẳng và hai điểm và bên ngoài mọi đa giác. Vấn đề đường đi ngắn nhất của Euclide là tính toán đường đi ngắn nhất của Euclide từ đến không giao nhau với …

22 ds.algorithms  cg.comp-geom  open-problem  computing-over-reals 

Hiện tại, việc tính toán các số thực trong hầu hết các ngôn ngữ phổ biến vẫn được thực hiện thông qua các phép toán dấu phẩy động. Mặt khác, các lý thuyết như hiệu quả loại hai (TTE) và lý thuyết miền từ lâu đã hứa hẹn tính toán …

19 cc.complexity-theory  computing-over-reals  computable-analysis  domain-theory 

Có thể kiểm tra bằng thuật toán nếu một số tính toán là số nguyên hay số nguyên? Nói cách khác, một thư viện có thể thực hiện các số tính toán để cung cấp các hàm isIntegerhay isRationalkhông? Tôi đoán rằng điều đó là không thể, và điều này …

18 computability  computing-over-reals  lambda-calculus  graph-theory  co.combinatorics  cc.complexity-theory  reference-request  graph-theory  proofs  np-complete  cc.complexity-theory  machine-learning  boolean-functions  combinatory-logic  boolean-formulas  reference-request  approximation-algorithms  optimization  cc.complexity-theory  co.combinatorics  permutations  cc.complexity-theory  cc.complexity-theory  ai.artificial-intel  p-vs-np  relativization  co.combinatorics  permutations  ds.algorithms  algebra  automata-theory  dfa  lo.logic  temporal-logic  linear-temporal-logic  circuit-complexity  lower-bounds  permanent  arithmetic-circuits  determinant  dc.parallel-comp  asymptotics  ds.algorithms  graph-theory  planar-graphs  physics  max-flow  max-flow-min-cut  fl.formal-languages  automata-theory  finite-model-theory  dfa  language-design  soft-question  machine-learning  linear-algebra  db.databases  arithmetic-circuits  ds.algorithms  machine-learning  ds.data-structures  tree  soft-question  security  project-topic  approximation-algorithms  linear-programming  primal-dual  reference-request  graph-theory  graph-algorithms  cr.crypto-security  quantum-computing  gr.group-theory  graph-theory  time-complexity  lower-bounds  matrices  sorting  asymptotics  approximation-algorithms  linear-algebra  matrices  max-cut  graph-theory  graph-algorithms  time-complexity  circuit-complexity  regular-language  graph-algorithms  approximation-algorithms  set-cover  clique  graph-theory  graph-algorithms  approximation-algorithms  clustering  partition-problem  time-complexity  turing-machines  term-rewriting-systems  cc.complexity-theory  time-complexity  nondeterminism 

Độ phức tạp (trên RAM số nguyên tiêu chuẩn) của việc tính toán biến đổi Fourier rời rạc tiêu chuẩn của một vectơ số nguyên là gì?nnn Thuật toán cổ điển cho các biến đổi Fourier nhanh , không phù hợp [1] được quy cho Cooley và Tukey, thường được …

18 ds.algorithms  time-complexity  computing-over-reals  computable-analysis 

Có một định lý chung sẽ nêu rõ, với việc vệ sinh đúng cách, rằng hầu hết các kết quả được biết đến liên quan đến việc sử dụng số thực có thể được sử dụng khi chỉ xem xét các số thực có thể tính toán được không? Hoặc …

16 computability  computing-over-reals  topology  model-theory 

Một câu hỏi gần đây đã thảo luận về thuật toán lập trình động hiện đại cho TSP, do độc lập với Bellman và Held-Karp . Thuật toán được báo cáo phổ biến để chạy trong thời gian . Tuy nhiên, như một trong những học sinh của tôi gần …

16 ds.algorithms  machine-models  computing-over-reals 

Tôi đang nghiên cứu mô hình tính toán BSS gần đây (ví dụ: Độ phức tạp và tính toán thực; Blum, Cucker, Shub, Smale.) Đối với số thực , người ta chỉ ra rằng, với một hệ thống đa thức f 1 , ⋯ , f m ∈ R [ …

13 cc.complexity-theory  computing-over-reals 

Trong bài giảng này ghi chú của Ola Svensson: http://theory.epfl.ch/osven/cifts/Approx13/Notes/lecture4-5.pdf , người ta nói rằng chúng ta không biết liệu ESPidean TSP có ở NP không: Lý do là chúng ta không biết cách tính căn bậc hai một cách hiệu quả. Mặt khác, có bài viết này của Papadimitriou: …

12 np  tsp  computing-over-reals 

Như chúng ta biết, định nghĩa về độ phức tạp tính toán của thuật toán hầu như không có gì phải bàn cãi, nhưng định nghĩa về độ phức tạp tính toán của các số thực hoặc các mô hình tính toán trên các số thực không phải là trường …

11 cc.complexity-theory  reference-request  computability  computing-over-reals  computable-analysis 

Sử dụng mô hình RAM / BSS thực, chúng ta có lớp NP R , (trong đó BSS là mô hình Blum-Shub-Smale của một máy tính có hoạt động trên thực tế). Chúng tôi có NP R hoàn thành vấn đề. Vì vậy, câu hỏi là có một sự tương …

10 cc.complexity-theory  computing-over-reals 

Ai đó có thể chỉ cho tôi tham chiếu về tính không xác định của mô đun chức năng liên tục trong PCF không? \newcommand{\N}{\mathbb{N}} \newcommand{\bool}{\mathsf{bool}} Andrej Bauer đã viết một bài đăng blog rất hay để khám phá một số vấn đề chi tiết hơn, nhưng tôi sẽ tóm …

10 pl.programming-languages  lambda-calculus  denotational-semantics  computing-over-reals