«complexity-theory» 태그된 질문

문제 해결의 (계산적) 복잡성과 관련된 질문

1
3 차 삼각형이없는 그래프에서 독립적으로 설정
3 차 삼각형이없는 그래프에서 최대 독립 세트가 NP- 완전하다는 것을 알고 있습니다. 독립 세트의 크기가 정확히 이어야하는 경우에도 NP가 완전 합니까?| V| / 2|V|/2|V|/2 기본적으로, 3 차 삼각형이없는 그래프 문제에 대한 독립 설정 문제의 예는 정확히 노드를 가져야합니다 . 어떤 인스턴스도 보다 작은 독립적 인 크기의 세트를 갖지 않습니다 .| …
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 
1
최고 SAT 솔버가 쉬운 숫자를 고려할 수 있습니까?
현대의 SAT 솔버는 많은 실제 SAT 인스턴스 예를 해결하는 데 매우 능숙합니다. 그러나 어려운 것을 생성하는 방법을 알고 있습니다. 예를 들어 , 인수 분해에서 SAT 로 축소를 사용 하고 RSA 번호를 입력으로 제공합니다. 이것은 쉽게 팩토링의 예를 들면 어떨까요? 대신에 두 개의 큰 소수를 복용 I가 소수 걸릴 경우 어떻게 …
1
유 방향 그래프 진단이 NP-hard임을 증명
나는 한동안 머리를 부딪친 숙제를 받았으며 어떤 힌트라도 감사하겠습니다. NP- 완전성이 입증 된 알려진 문제를 선택하고 그 문제에서 다음 문제로의 축소를 구성하는 것을 DGD (지정 그래프 진단)라고합니다. 문제 DGD 의 인스턴스는 꼭짓점 , 지정 모서리 및 양의 정수 됩니다. 세 가지 유형의 꼭지점이 있습니다 : 들어오는 모서리 만있는 꼭지점, 나가는 …
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
NP- 완전 문제 해결을위한 모든 알려진 알고리즘이 건설적인가?
인증서를 암시 적으로 생성하지 않고 NP- 완전 문제에 "예"를 올바르게 출력하는 알려진 알고리즘이 있습니까? 나는 만족도 오라클을 만족스러운 할당 파인더로 바꾸는 것이 간단하다는 것을 이해한다. 만족할만한 오라클이 원래의 문제와 그 변수의 결합을 해결할 것을 요구할 때마다 변수를 반복한다. 그러나 그러한 포장지가 유용할까요? 모든 앉은 솔버가 가능한 할당 공간을 검색합니까? 또는 …
2
만족도를 결정하는 것보다 만족도 문제의 해결책을 찾기가 어렵습니까?
주어진 부울 표현식이 실제로 계산에 대한 솔루션을 찾는 것과 계산적으로 구별 가능한지 여부를 결정하는 문제가 있습니까? 다시 말해, 불리언 변수에 대한 '올바른 설정'을 명시 적으로 결정하지 않고 주어진 표현식이 만족 스럽다는 것을 발견하는 다른 방법이 있습니까? 또는 모든 가능한 증명이 다항식 시간을 '올바른 설정'으로 줄입니까? 나의 무지를 용서해라, 나는 단지 …
3
NDTM의 답을 효율적으로 뒤집을 수없는 이유는 무엇입니까?
나는 NDTM의 답을 효율적으로 뒤집을 수 없다는 것을 여러 번 읽었습니다. 그러나 나는 왜 그런지 이해하지 못한다. 예를 들어, 에서 실행 되는 NDTM 이 주어진 경우 , 이 텍스트 (섹션 3.3)는 다른 NDTM 가 시간에 의 답 을 뒤집는 방법을 어떻게 결정할 수 있는지 불분명하다고 말합니다 .O ( n ) …
2
복잡성 이론에서 의사 결정 문제가 일반적으로 사용되는 이유는 무엇입니까?
에서 위키 백과 : 계산 문제의 유형 : 가장 일반적으로 사용되는 문제는 의사 결정 문제 입니다. 그러나 복잡성 클래스는 함수 문제, 계산 문제, 최적화 문제, 약속 문제 등을 기반으로 정의 할 수 있습니다. 또한 NP-complete, NP-hard, NP, ...의 정의가 의사 결정 문제에 대해서만 정의되는 것을 보았습니다. 왜 그런지 궁금합니다. 다른 …
2
A가 리덕 터블을 B에 매핑하면 A의 보수는 리덕 터블을 B의 보수에 매핑합니다
나는 계산 이론에서 마지막을 위해 공부하고 있으며,이 진술이 거짓인지 아닌지에 대한 올바른 대답 방법으로 고심하고 있습니다. 의 정의 에 의해 다음 문장을 구성 할 수 있습니다.≤m≤m\leq_m 승 ∈ A⟺에프( w ) ∈ B → w ∉ A⟺에프( w ) ∉ Bw∈A⟺f(w)∈B→w∉A⟺f(w)∉Bw \in A \iff f(w) \in B \rightarrow w \notin …
3
효율적인 계산 개념
다항식 시간 튜링 머신 알고리즘은 최악의 경우 런타임이 입력 크기의 다항식 함수에 의해 제한되는 경우 효율적인 것으로 간주됩니다. 나는 강력한 교회 튜링 논문을 알고있다 : Turing 머신에서 모든 합리적인 계산 모델을 효율적으로 시뮬레이션 할 수 있습니다 그러나 나는 미적분학 알고리즘의 계산 복잡성을 분석하기위한 견고한 이론을 알지 못합니다.λλ\lambda 알려진 모든 계산 …
5
모든 정수 선형 프로그래밍 문제가 NP-Hard입니까?
내가 알기 로, 헝가리어 알고리즘이 다항식 시간-O (n 3 )으로 해결할 수 있기 때문에 할당 문제 는 P에 있습니다 . 또한 할당 문제는 정수 선형 프로그래밍 문제이지만 Wikipedia 페이지에 이것이 NP-Hard라고 표시되어 있습니다. 나에게 이것은 할당 문제가 NP-Hard에 있음을 의미합니다. 그러나 할당 문제는 P와 NP-Hard 모두에있을 수 없습니다. 그렇지 않으면 …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.