«time-complexity» 태그된 질문

결정 문제 CNF-SAT는 다음과 같이 설명 될 수 있습니다. 입력 : 결합 형 일반 형식 의 부울 수식ϕϕ\phi 질문 : 를 충족하는 변수 할당이 있습니까?ϕϕ\phi 비 결정적 2 테이프 튜링 머신으로 CNF-SAT를 해결하기위한 여러 가지 접근 방식을 고려하고 있습니다. 단계 에서 CNF-SAT를 해결하는 NTM이 있다고 생각 합니다.n ⋅ 폴리 ( …

19 time-complexity  sat  turing-machines  np  nondeterminism 

특정 문제를 해결하려고하는데 automata 이론을 사용하여 해결할 수 있다고 생각했습니다. 다항식 시간에 어떤 오토마타 모델이 격리를 결정할 수 있는지 궁금합니다. 즉 기계 있는 경우 효율적으로 테스트 할 수 있습니다 .M1,M2M1,M2M_1, M_2L(M1)⊆L(M2)L(M1)⊆L(M2)L(M_1) \subseteq L(M_2) 기억해야 할 것은 DFA와 역수 제한 카운터 머신입니다. 카운터 수가 고정되어 있습니다 ( 이 백서 참조 ). …

18 fl.formal-languages  automata-theory  time-complexity  polynomial-time  decidability 

계산 가능한 숫자가 합리적인지 정수인지 알고리즘 적으로 테스트 할 수 있습니까? 즉, 구현 계산 가능한 숫자는 기능을 제공하는 라이브러리 가능할 것이다 isInteger나 isRational? 나는 그것이 불가능하다는 것을 추측하고 있으며, 두 숫자가 같은지 테스트 할 수는 없지만 그것을 증명하는 방법을 알지 못한다는 사실과 관련이 있습니다. 편집합니다 계산 가능한 수는 엑스xx 함수에 …

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 

나는 분모에 로그가있는 알고리즘을 본 적이 없으며이 양식에 실제로 유용한 알고리즘이 있는지 궁금합니다. 정렬 또는 트리 기반 알고리즘과 같이 런타임에 로그 팩터가 곱해질 수있는 많은 것들을 알고 있지만 로그 팩터로 나눌 수있는 것은 무엇입니까?

18 ds.algorithms  big-list  time-complexity 

정수 벡터의 표준 이산 푸리에 변환 을 계산하는 복잡성 (표준 정수 RAM)은 무엇입니까?엔nn 고전 고속 푸리에 변환 알고리즘에 대한 부적절, [1] 쿨리 Tukey에 기인는 일반적으로 실행되는 것으로 설명 시간. 그러나이 알고리즘에서 실행되는 대부분의 산술 연산은 복잡한 번째 근본 단위 (대부분의 경우 )가 비합리적인 것으로 시작하므로 일정한 시간에 정확한 평가는 합리적이지 …

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

시간 복잡성이나 회로 하한선으로 직접 작업하는 것은 무섭습니다. 따라서 쿼리 복잡성 (또는 의사 결정 트리 복잡성)과 같은 도구를 개발하여 하한을 처리합니다. 각 쿼리는 하나 이상의 단위 단계를 수행하고 쿼리 간 계산은 무료로 계산되므로 시간 복잡도는 쿼리 복잡도만큼이나 높습니다. 그러나 분리에 대해 말할 수 있습니까? 고전 또는 양자 문헌에서의 작업에 대해 …

18 cc.complexity-theory  reference-request  time-complexity  query-complexity 

선형 시간 으로 양의 정수 값 을 정렬하는 데 관심이 있습니다 (균일 한 비용 측정을 가진 RAM 모델에서, 즉 정수는 최대 로그 크기를 가질 수 있지만 그에 대한 산술 연산은 가정합니다) 단위 시간). 물론 이것은 비교 기반 정렬 알고리즘으로는 불가능하므로 "근사"정렬, 즉 일부 순열 의 은 실제로 정렬되지 않지만 의 …

16 reference-request  time-complexity  sorting 

주어진 두 개의 행렬 및 B 순열 행렬이 존재하면 결정의 문제를 P가 되도록 B = P - 1 P는 동일하다 (그래프 동형). 그러나 우리가 P 를 단지 뒤집을 수없는 행렬로 완화한다면 , 복잡성은 무엇입니까? 이 문제 또는 다른 어려운 문제 와 관련이있는 치환과는 별도로, 가역 행렬 P 에 대한 다른 …

16 ds.algorithms  time-complexity  linear-algebra  matrices  graph-isomorphism 

PTIME 또는 coNP-hard에서 다음 문제가 있습니까? 변수 에서 부정없이 두 개의 부울 식 및 가 주어지면 (즉, 식은 및 를 통해 완전히 작성됩니다 ). 인지 , 즉 변수에 대한 모든 지정에 대해 동일한 값을 갖는지 여부를 결정 하십시오.이자형1이자형1e_1이자형2이자형2e_2엑스1, … , x엔엑스1,…,엑스엔x_1,\dots,x_n∧∧\wedge∨∨\vee이자형1≡ e2이자형1≡이자형2e_1 \equiv e_2 두 표현이 모두 DNF로 주어지면, 우선 …

16 cc.complexity-theory  time-complexity  boolean-functions  monotone 

나는 대답이 '아니오'라고 기대하지만 실제로 반례를 만들 수는 없습니다. 차이점은 ∩ε>0DTIME(O(n2+ε))∩ε>0DTIME(O(n2+ε))∩_{ε>0} \mathrm{DTIME}(O(n^{2+ε})) 에서 O ( n2 + ε)O(n2+ε)O(n^{2+ε}) 알고리즘을 균일하게 선택할 수 없다는 것입니다 에서 εεε . 더비 테일링 인수 (예 :이 질문 참조 )에 의해 언어 L을 결정하는 튜링 머신 M_i 세트 가 ∀ε> 0 ∃M_i ∈ O (n …

15 cc.complexity-theory  time-complexity 

리니어 타임 인플레 이스 리플 셔플 알고리즘이 있습니까? 이것은 특히 거대 손이 수행 할 수있는 알고리즘입니다. 균등 한 크기의 입력 배열을 균등하게 나누고 두 반쪽의 요소를 인터리빙합니다. Mathworld에는 리플 셔플 에 대한 간단한 페이지가 있습니다. 특히, 입력 배열 1 2 3 4 5 6을 1 4 2 5 3 6으로 …

15 ds.algorithms  time-complexity 

주어 행렬 (가정 , 컬럼의 랭크 및 기준을 계산하는 가장 빠른 알고리즘이 무엇인가)?m×nm×nm \times nm≥nm≥nm \ge n 선형 Matroid 교차를 통해 해결할 수 있다는 것을 알고 있습니다 .O 시간 결정 알고리즘과 시간 무작위 알고리즘을 의미합니다. 거기에 보다 직접적 행렬 곱셈에 문제 (또는 가우스 소거법)를 감소하는 시간 결정적 알고리즘?O(mn1.62)O(mn1.62)O(mn^{1.62})O(mnω−1)O(mnω−1)O(mn^{\omega-1})O(mnω−1)O(mnω−1)O(mn^{\omega-1})

15 ds.algorithms  reference-request  time-complexity  linear-algebra  matrices 

일정한 시간은 절대적으로 낮은 시간의 복잡성입니다. 일정 시간에 계산할 수있는 사소한 것이 있습니까? 우리가 Turing machine 모델을 고수한다면, 입력의 더 긴 부분이 일정한 시간 내에 도달 할 수 없기 때문에 응답은 입력의 일정한 길이의 초기 세그먼트에만 의존 할 수 있기 때문에 많은 것을 할 수 없습니다. 반면에 O(logn)O(log⁡n)O(\log n) 비트 …

14 cc.complexity-theory  ds.algorithms  time-complexity 

직사각형 행렬의 행렬 곱셈의 계산 복잡성에 대한 정보를 찾고 있습니다. Wikipedia는 에 곱하는 이 (학교 곱셈) . B ∈ R n × p O ( m n p )A∈Rm×nA∈Rm×nA \in \mathbb{R}^{m \times n}B∈Rn×pB∈Rn×pB \in \mathbb{R}^{n \times p}O(mnp)O(mnp)O(mnp) 나는 경우가 과 보다 훨씬 작은 , 나는 선형보다 더 복잡성을 얻을 수 …

14 cc.complexity-theory  time-complexity  linear-algebra  matrix-product 

"너무 좋아서"데이터 구조의 존재를 배제한 결과가 알려져 있습니까? 예를 들어 , 주문 유지 보수 데이터 구조 에 and 기능을 추가 하고 ( Dietz 및 Sleator STOC '87 참조 ) 여전히 시간 작업을 얻을 수 있습니까?에스P l i t에스피엘나는티Split제이o 나 n제이영형나는엔JoinO (1)영형(1)\mathcal{O}(1) 또는 정수 키와 시간 연산으로 순서 집합을 구현할 수 …

14 ds.data-structures  big-list  lower-bounds  time-complexity