«polynomial-time» 태그된 질문


2
C의 void 유형이 빈 / 하단 유형과 유사하지 않은 이유는 무엇입니까?
Wikipedia와 내가 찾은 다른 소스 void는 빈 유형이 아닌 C 유형을 단위 유형으로 나열 합니다. 나는 void빈 / 하단 유형의 정의에 더 잘 맞는 것처럼 혼란 스럽습니다 . void내가 알 수있는 한 값이 없습니다 . 반환 유형이 void 인 함수는 함수가 아무것도 반환하지 않으므로 일부 부작용 만 수행 할 수 …
28 type-theory  c  logic  modal-logic  coq  equality  coinduction  artificial-intelligence  computer-architecture  compilers  asymptotics  formal-languages  asymptotics  landau-notation  asymptotics  turing-machines  optimization  decision-problem  rice-theorem  algorithms  arithmetic  floating-point  automata  finite-automata  data-structures  search-trees  balanced-search-trees  complexity-theory  asymptotics  amortized-analysis  complexity-theory  graphs  np-complete  reductions  np-hard  algorithms  string-metrics  computability  artificial-intelligence  halting-problem  turing-machines  computation-models  graph-theory  terminology  complexity-theory  decision-problem  polynomial-time  algorithms  algorithm-analysis  optimization  runtime-analysis  loops  turing-machines  computation-models  recurrence-relation  master-theorem  complexity-theory  asymptotics  parallel-computing  landau-notation  terminology  optimization  decision-problem  complexity-theory  polynomial-time  counting  coding-theory  permutations  encoding-scheme  error-correcting-codes  machine-learning  natural-language-processing  algorithms  graphs  social-networks  network-analysis  relational-algebra  constraint-satisfaction  polymorphisms  algorithms  graphs  trees 

3
숫자 알고리즘에서 숫자의 단항 표현을 사용하지 않는 이유는 무엇입니까?
의사 다항식 시간 알고리즘은 입력 값 (크기)에서 다항식 실행 시간을 갖지만 입력 크기 (비트 수)에서 지수 실행 시간을 갖는 알고리즘입니다. 수 있는지, 예를 들어 시험 nnn , 소수인지 2 내지 번호로 루프가 필요 n−1n−1n-1 하고 있는지 확인 nnn 개조 iii 없거나 없다. 상기 중간 개조는 O (1) 시간이 걸리고, 전체 …

2
DAG에서 두 정점 사이의 최단 경로 및 최단 경로 찾기
비가 중 DAG (방향성 비순환 그래프) D=(V,A)D=(V,A)D = (V,A) 와 두 개의 꼭짓점 sss 및 ttt 가 주어지면 다항식 시간 에서 sss 에서 까지 의 최단 경로와 최단 경로를 찾을 수 ttt있습니까? 경로 길이는 모서리 수로 측정됩니다. 다항식 시간으로 가능한 경로 길이 범위를 찾는 데 관심이 있습니다. 추신 :이 질문은 …

1
경우
방금 Garey와 Johnson의 "컴퓨터와 다루기 힘든"6 페이지에서이 문장을 찾았습니다. 시간 복잡도 함수를 제한 할 수없는 알고리즘을 지수 시간 알고리즘이라고합니다 (하지만이 정의에는 일반적으로 지수로 간주되지 않는 과 같은 특정 비 다항식 시간 복잡도 함수가 포함되어 있음에 유의해야합니다. 기능).엔로그엔엔로그⁡엔n^{\log n} 다음과 같은 내 질문 경우 다항식도 지수 아니다,이 기능은 무엇이라고? 이름이나 특별한 …

1
P 또는 NP- 완료로 알려진 구간에 소수가 있는지 확인하고 있습니까?
나는에서 본 이 게시물에 그 간격의 소수가 있는지 숫자의 간격을 체질에 대한 몇 가지 상대적으로 빠른 알고리즘이 있다는 것을 유래에. 그러나 이것은 (간격에 프라임이 있습니까?)의 전반적인 결정 문제가 P에 있음을 의미합니까? 중복 또는 불필요). 한편, 구간이 충분히 큰 경우 (예 : ) Bertrand 's Postulate와 같은 것이 적용되며이 구간에는 확실히 …

2
지수 적으로 느끼지만 P 인 문제
나는 본질적으로 매우 지수적인 것으로 간주되는 문제를 해결하지만 궁극적으로 그것들을 해결하는 영리한 알고리즘을 가지고있는 것처럼 "예외적으로 유용한"알고리즘 / 문제 목록을 작성하려고합니다. 내가 의미하는 것의 예 : 선형 프로그래밍 (단순 알고리즘은 지수 시간이므로 다항식 시간 솔루션을 찾는 데 오랜 시간이 걸렸습니다!) 보다 일반적으로, 반정의 프로그래밍 원시성 테스트 2-SAT 및 HORNSAT 계산 …


1
선형 프로그래밍은 강력한 다항식 시간 알고리즘을 허용합니까?
선형 프로그래밍 문제 : 주어진 행렬 A ∈ Rm × n 및 b ∈ Rm에 대해 Ax ≥ b의 x ∈ Rn이 존재하는지 여부를 결정하는 강력한 다항식 시간 알고리즘을 찾습니다. 나는 Steve Smale의 수학에서 해결되지 않은 몇 가지 문제를 열거하고 있다는 것을 알고 있습니다. 그러나 이러한 선형 프로그래밍 문제는 지금까지 …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.