«time-complexity» 태그된 질문

입력 크기로 표현 된 문제를 해결하는 데 필요한 시간 자원 (원자 작업 또는 기계 단계 수). 질문이 알고리즘 분석과 관련이있는 경우 [runtime-analysis] 태그를 대신 사용하십시오. 계산이 * 완료 * 완료 될지 여부와 관련하여 질문이 있으면 [computability] 태그를 대신 사용하십시오. 시간 복잡성은 아마도 복잡성 이론의 가장 중요한 하위 주제 일 것입니다.

1
Clique 문제의 제한된 버전?
입력이 크기입니다 파벌 문제의 다음 버전을 고려 우리는 크기의 파벌 발견하라는 메시지가 . 결정 절차는 입력 그래프를 다른 표현으로 변경할 수 없으며 입력 그래프 이외의 여분의 비트 이외의 다른 표현을 사용하여 답을 계산할 수 없습니다 . 여분의 비트는 예를 들어 무차별 대입 알고리즘에서 사용되어 절도에 대한 철저한 검색 상태를 추적 …


4
입력이 단항 인코딩 될 때 강력한 NP-hard 또는 -complete 문제의 복잡성이 변경됩니까?
입력이 이진 인코딩 대신 단 항일 때 강력한 NP-hard 또는 NP-complete 문제 (예 : 여기에 정의 된대로 ) 의 난이도가 변경됩니까? 강력한 NP-hard 문제의 입력이 단항 인코딩되면 어떤 차이가 있습니까? 예를 들어 약한 NP-complete Knapsack 문제를 예로 든다면 바이너리 인코딩시 NP- 완료이지만 단항 인코딩시 동적 프로그래밍으로 다항식 시간으로 해결할 수 …

3
입력 크기가 클수록 인스턴스가 더 어려워지는 이유는 무엇입니까?
아래에서는 무한 테이프 튜링 기계를 사용한다고 가정합니다. 누군가에게 시간 복잡성의 개념을 설명하고 인스턴스의 입력 크기를 기준으로 측정 한 이유를 설명 할 때 다음 주장을 우연히 발견했습니다. [..] 예를 들어, 두 정수에 3 비트를 곱하는 것보다 두 정수에 100000 비트를 곱하려면 더 많은 단계가 필요합니다. 주장은 설득력이 있지만 어떻게 든 손을 …



1
구체화 유형 추론
직장에서 나는 동적 언어에 대한 몇 가지 유형 정보를 유추하는 임무를 맡았습니다. 다음 let과 같이 일련의 명령문을 중첩 된 표현식 으로 다시 작성합니다 . return x; Z => x var x; Z => let x = undefined in Z x = y; Z => let x = y in Z …
11 programming-languages  logic  type-theory  type-inference  machine-learning  data-mining  clustering  order-theory  reference-request  information-theory  entropy  algorithms  algorithm-analysis  space-complexity  lower-bounds  formal-languages  computability  formal-grammars  context-free  parsing  complexity-theory  time-complexity  terminology  turing-machines  nondeterminism  programming-languages  semantics  operational-semantics  complexity-theory  time-complexity  complexity-theory  reference-request  turing-machines  machine-models  simulation  graphs  probability-theory  data-structures  terminology  distributed-systems  hash-tables  history  terminology  programming-languages  meta-programming  terminology  formal-grammars  compilers  algorithms  search-algorithms  formal-languages  regular-languages  complexity-theory  satisfiability  sat-solvers  factoring  algorithms  randomized-algorithms  streaming-algorithm  in-place  algorithms  numerical-analysis  regular-languages  automata  finite-automata  regular-expressions  algorithms  data-structures  efficiency  coding-theory  algorithms  graph-theory  reference-request  education  books  formal-languages  context-free  proof-techniques  algorithms  graph-theory  greedy-algorithms  matroids  complexity-theory  graph-theory  np-complete  intuition  complexity-theory  np-complete  traveling-salesman  algorithms  graphs  probabilistic-algorithms  weighted-graphs  data-structures  time-complexity  priority-queues  computability  turing-machines  automata  pushdown-automata  algorithms  graphs  binary-trees  algorithms  algorithm-analysis  spanning-trees  terminology  asymptotics  landau-notation  algorithms  graph-theory  network-flow  terminology  computability  undecidability  rice-theorem  algorithms  data-structures  computational-geometry 

2
목록 대신 검색 트리를 사용하여 해싱
해싱 및 이진 검색 트리 자료로 어려움을 겪고 있습니다. 그리고 동일한 해시 값으로 항목을 저장하기 위해 목록을 사용하는 대신 이진 검색 트리를 사용할 수도 있습니다. 그리고 작업에서 최악의 경우와 평균 경우의 실행 시간을 이해하려고합니다. insert, find 과 delete 가치가 있습니다. 평균 사례. 그들은 목록과 관련하여 개선합니까?



1
APX 어려운 문제의 수집
모든 사람은 "Garey & Johnson"을 알고 있는데, 이는 NP-hardness 증거를 위해 변환해야 할 문제가 필요할 때마다 참조 할 수있는 곳입니다. 그러나 나는 최근에 APX-hardness 증거가 필요하다는 것을 알게되었고, APX-hard로 밝혀진 비슷한 (그리고 더 최신의 ..?) 모음이 있는지 궁금합니다. 아무도 이와 같은 것을 알고 있습니까? 이러한 문제를 체계적으로 수집하는 웹 사이트가 …

2
LIN의 HORN-SAT입니까? 그렇다면 P = LIN의 표시가 아닌 이유는 무엇입니까?
Complexity Zoo 는 을 결정 성있는 Turing machine이 선형 시간으로 해결할 수있는 결정 문제의 클래스로 정의합니다 .L I엔엘나는엔LIN L I엔⊆ P엘나는엔⊆피LIN \subseteq P HORN-SAT는 에서 해결할 수 있기 때문에 ( Propositional Horn Formulas (1984)의 만족도를 테스트하기위한 선형 시간 알고리즘에 나와 있음 )O ( n )영형(엔)O(n) (제안) 혼 공식이 만족 스러운지를 …

1
Big-Oh 시간 복잡도에 둘 이상의 변수가 포함될 수 있습니까?
예를 들어 두 문자열을 분석 해야하는 문자열 처리를하고 있다고 가정 해 봅시다. 나는 그들의 길이가 어떻게 될지에 대한 정보를 제공하지 않았으므로 그들은 두 개의 별개의 가족에서 나왔습니다. 알고리즘 또는 의 복잡성을 호출하는 것이 용납 될 수 있습니까?O(n∗m)O(n∗m)O(n * m)O(n+m)O(n+m)O(n + m) 비슷한 맥락에서, 우리가 선택한 알고리즘에는 실제로 두 단계가 필요하다고 …

2
P와 NP의 불평등에 대한 모순 증거?
계층 구조 정리를 사용하여 N이 NP가 아니라고 주장하려고합니다. 이것이 나의 주장이지만, 내가 선생님과 공제 후에 그것을 보여 주었을 때, 이것은 내가 받아 들여야 할 설득력있는 이유를 찾을 수 없을 때 문제가 있다고 말했다. 우리는 P=NPP=NPP=NP 라고 가정하여 시작합니다 . 그런 다음 를 산출 한 다음 뒤에옵니다 . 우리는 모든 언어 …

1
이것이 NP-Complete 문제 일 수 있습니까?
다음 문제점 설명을 고려하십시오. 초기 숫자가 주어지면, 당신과 당신의 친구는 교대로 완벽한 정사각형을 뺍니다. 제로에 도착하는 첫 번째 승리. 예를 들면 다음과 같습니다. 초기 상태 : 37 플레이어 1 빼기 16. 상태 : 21 플레이어 2 빼기 8. 상태 : 13 플레이어 1 빼기 4. 상태 : 9 플레이어 2 …

당사 사이트를 사용함과 동시에 당사의 쿠키 정책개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.