«cc.complexity-theory» 태그된 질문

P 대 NP 및 기타 리소스 제한 계산.

2
Kolmogorov의 복잡성을 출력 할 수 없습니까?
우리 튜링 기계 및 범용 튜링 기계의 프리픽스 프리 인코딩 수 수정 입력 해당 (의 프리픽스 프리 코드로 인코딩 뒤에 대로 출력) 입력에 대한 출력 가능 ( 둘 다 영원히 실행). 의 콜 모고 로프 복잡도 정의 , , 최단 프로그램의 길이 이되도록 .U 유U( T , X ) ( …
6
“큰”증인과의 자연스러운 NP- 완전 문제
" 선형 크기 증인으로 제한되는 NP는 무엇입니까? "라는 질문에 대한 질문은 선형 크기 O(n)O(n)O(n) 증인으로 제한되는 등급 NP에 대해 묻지 만 이 있습니까 자연 NP 완전 문제는 크기에 (예) 인스턴스 nnn 이상의 크기 이상의 증인이 필요 nnn ? 분명히 우리는 다음과 같은 인공 문제를 만들 수 있습니다 . L={1nw∣w encodes …
16
이론에 의해 쉽게 어려운 까다로운 알고리즘 문제
다음과 같은 현상이 발생하는 좋은 예를 찾고 있습니다. (1) 정의에서 작동하고 표준 결과 만 사용하여 문제를 해결하려는 경우 알고리즘 문제가 어려워 보입니다. (2) 반면에 (정규가 아닌) 정리를 알고 있으면 쉬워집니다. 이것의 목표는 학생들이 이론을 벗어난 사람들 (소프트웨어 엔지니어, 컴퓨터 엔지니어 등)에게도 더 많은 이론을 배우는 것이 유용 할 수 있음을 …
4
다항식 크기 ​​최소화의 복잡성
하자 정도의 수 (D) 다항식에 n 개의 변수 위에 F (2) , (D)는 일정 (2 또는 3을 말한다). f 에 대한 가장 작은 공식을 찾고 싶습니다 . 여기서 "수식"및 "수식 크기"는 명백한 방식으로 정의됩니다 (예 : 다항식 x 1 x 2 + x 1 x 3 의 가장 작은 공식 …
2
주어진 두 개의 문자열을 수락하는 DFA는 몇 명입니까?
정수 과 알파벳 . 을 시작 상태 1의 개 상태에서 모든 유한 상태 오토마타의 수집으로 정의합니다 . 우리는 모든 DFA (단순 또는 비 변성 상태가 아닌)를 고려하고 있습니다. 따라서 입니다.n Σ = { 0 , 1 }nnΣ={0,1}\Sigma=\{0,1\}DFA(n)DFA(n)DFA(n)nnn|DFA(n)|=n2n2n|DFA(n)|=n2n2n|DFA(n)| = n^{2n}2^n 이제 두 개의 문자열 x,y∈Σ∗x,y∈Σ∗x,y\in\Sigma^* 하고 K(x,y)K(x,y)K(x,y) 를 x 와 y …
5
RSA에서 SAT 로의 빠른 감소
Scott Aaronson의 블로그 게시물은 오늘 흥미로운 열린 문제 / 작업 목록을 복잡하게 나열했습니다. 특히 하나는 내 관심을 끌었다 : 가능한 한 적은 변수와 절을 사용하여 3SAT 인스턴스로 구성된 공개 라이브러리를 구축하면 해결 될 때 주목할만한 결과가 발생합니다. (예를 들어, RSA 인수 분해 문제를 인코딩하는 인스턴스입니다.)이 라이브러리에서 최고의 최신 SAT 솔버의 …
1
정식 비상 대화 기법이 있습니까?
많은 영역에서 현장에서 일하는 모든 사람이 마스터해야하는 표준 기술이 있습니다. 예를 들어, 로그 공간 축소의 경우 구성된 함수의 전체 출력을 구성하지 않고 항상 모든 비트 출력에 대한 결과를 다시 계산하여 로그 공간 제약 조건을 유지할 수 있도록 구성하는 "비트 트릭"구성. 내 질문은 비 상대화 기술에 관한 것입니다. 이론가들이 기본적인 비상 …
2
새 비치 정리에 대한 엄격한 하한
우선, 나는 어리 석음에 대해 미리 사과드립니다. 나는 결코 복잡성 이론의 전문가가 아니다 (그것과는 거리가 멀다! 나는 복잡성 이론에서 첫 수업을 듣는 학부생이다) 여기 내 질문이있다. 이제 Savitch의 정리에 따르면 이제이 하한이 빡빡하면 궁금합니다. 즉 를 달성 할 수 없습니다.NSPACE(f(n))⊆DSPACE((f(n))2)NSPACE(f(n))⊆DSPACE((f(n))2)\text{NSPACE}\left(f\left(n\right)\right) \subseteq \text{DSPACE}\left(\left(f\left(n\right)\right)^2\right)NSPACE(f(n))⊆DSPACE((f(n))1.9)NSPACE(f(n))⊆DSPACE((f(n))1.9)\text{NSPACE}\left(f\left(n\right)\right) \subseteq \text{DSPACE}\left(\left(f\left(n\right)\right)^{1.9}\right) 결정적 튜링 머신의 구성 그래프의 각 …
3
얼마나 많은 3-SAT 사례를 만족할 수 있습니까?
n 개의 변수에 대한 3-SAT 문제를 고려하십시오. 가능한 고유 한 절 수는 다음과 같습니다. C=2n×2(n−1)×2(n−2)/3!=4n(n−1)(n−2)/3.C=2n×2(n−1)×2(n−2)/3!=4n(n−1)(n−2)/3.C = 2n \times 2(n-1) \times 2(n -2) / 3! = 4 n(n-1)(n-2)/3 \text. 문제 인스턴스의 수는 가능한 한 조항들 세트의 모든 부분 집합의 수이다 : . 당연히, 각 , 적어도 하나의 만족스러운 인스턴스와 하나의 불만족스러운 …
3
PH에 알려지지 않았지만 P = NP 인 경우 P에있는 결정 문제
편집 : 라비 보 파나 (Ravi Boppana)는 그의 대답 에서 올바르게 지적 하고 스콧 아 론슨 ( Scott Aaronson)도 그의 대답 에 또 다른 예를 추가 했으므로이 질문 에 대한 대답은 내가 전혀 기대하지 않은 방식으로“예”로 밝혀졌습니다. 먼저 나는 그들이 묻고 싶은 질문에 대답하지 않았다고 생각했지만, 어떤 생각을 한 후에,이 …
2
n 여왕 완성의 복잡성?
전형적인 퀸즈 문제는 양의 정수 n이 주어지면 다음 조건을 만족하는 정수 배열 Q [ 1 .. n ] 가 있는지 묻습니다 .엔nn엔nnQ [ 1 .. n ]Q[1..n]Q[1..n] 모든 i에 대해 1 ≤ Q [ i ] ≤ n1≤Q[i]≤n1≤Q[i]≤n1\le Q[i] \le niii 모든 i ≠ j에 대해 Q [ i ] …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.